概収束からノルム収束に持っていくための条件
実際に使うときは,条件の2つめを確かめるときに 答えが出てしまうところがおいしい。
Th. Beppo-Leviの単調収束定理 が以下を満たすとする。 1. 単調増加列 2. 積分列が収束 このとき,極限関数 f=lim fn もまた可積分で,その積分は I に一致する。
Cor. Brezis版 条件をa.e.に緩めてもおk Ω⊂Rd が 1. ほとんどいたるところ単調増加 2. 積分が有限 このとき概収束極限 が存在し, さらに,ノルム収束する。
Ex. 積分列が収束しなきゃだめ
Ex. 単調列じゃなきゃだめ
Cor. 非負級数の項別積分(B.Levi) 1. 非負性 2. 級数が収束
Th. Lebesgueの優収束定理 上から一様に押さえられていたらおk 1. 概収束 2. 一様有界性 このとき,極限関数も可積分で, 積分と極限は交換可能
Cor. Brezis版 最後の結論は,以下のノルム収束と同値。こっちのが使いやすい。
Cor. 極限関数の可積分性 上から一様に押さえられていたら極限も可積分 一様有界性
Cor. 積分区間が単調増加列 積分列が収束
Egorovの定理 E上の収束可測収束列は、Eの測度が有限ならほとんど至る所一様収束する。
Luzinの定理 区間[a,b]上の可測関数は、"ほとんど"連続である。
I:有界閉区間 f∈L(I), a.e.Iで有限
Ex. Dirichlet's 関数 I=[0,1]上の,有理点で1,それ以外は0をとる関数(ディリクレ関数)は, a.e.I で 恒等関数 g(x)≡0 に等しい。
優収束定理の系として得られる。
Cor. パラメータ付きの積分
Cor. 微分と積分の交換