|
８ 測度空間と可測関数 | |
| f-denshi.com 最終更新日： 04/12/19 （メモ） | ||
この章はルベーグ積分の厳密な定義に直接必要な用語の準備です。
リーマン積分は，面積が自明な細長い短冊(長方形)の寄せ集めを用いて，連続関数で囲まれる面積を近似することから始まりますが，ルベーグ積分は，測度が自明な特性関数の寄せ集めで可測関数を近似することから始めます。
可測関数とは何か？・・・ ぶっきらぼうに言えば，ルベーグ積分可能な関数ということですが，それでは ミ も フタ も ナイ？
集合 ＋ ボレル集合体 ||| 可測空間 特性関数 → ↓ ↓ ← 測度 可測関数 測度空間 ↓ ルベーグ積分論
[１] 測度空間の定義です。
|
測度の定義１： 集合 X に対してボレル集合体[#]β を定め，これを可測空間 (X,β)といいます。 このとき，関数(＝集合関数)， m ： β → R+＝[0，∞] が測度であるとは次の条件を満たすことである。 (1) m(φ) ＝ 0 (2) 可測集合列，A1，A2，･･･∈β が互いに共通部分を持たない(互いに素)ならば， この測度の定められた可測空間を，測度空間 X(β，m) という。 |
特に ｍ(X)＜∞ のときは有限測度，さらに m(X) ＝ 1 のときは，確率測度と言い， 確率空間 X(β,m) ともいいます。
Appendix 3 に挙げた”正四面体のサイコロ” は確率空間の例です。
集合列の極限と「ファトゥーの補題」 について，Appendix 4 にまとめておきましたので，詳しくない人はそこを読んでください。
[１] 可測関数の定義です。
|
定義： 可測関数 X 上の実数値をとる関数 f(x)と X のボレル集合体βがあたえられていて，任意の実数 a，ｂ ( a＜b ) に対して X0≡｛x| a ≦ f(x)＜b｝ ∈ β であるとき，f は可測関数(またはβ-可測)であるという。 ボレル集合体 ⇒ [#] |
可測関数のイミを理解する一番の方法は位相空間(ユークリッド空間)おける連続関数と対比することです。可測関数とは一言で，「完備ではない連続関数の集合」を完備化して得られた，「完備な関数の集合」(の元)ということができます。理解を助けになるよう下に比較一覧を書いておきました。
| 空間 | 連続関数 | 可測関数 | ||||||||||
| 数にたとえたイメージ！ | 有理数(完備でない)みたいなもの | 実数(完備)みたいなもの | ||||||||||
| 定義される空間 | 位相空間 ( ユークリッド空間でもOK ) | 可測空間 | ||||||||||
| 空間を定める集合族 | 開集合族 o | ボレル集合体 β | ||||||||||
|
|
|||||||||||
| 定義 |
任意の実数 a，b (a＜b) に対して， |
任意の実数 a，b (a＜b) に対して， |
||||||||||
| リーマン積分 | 可能 | 可能とはかぎらない | ||||||||||
| a・f＋b・g， f・g， |f| | f，g が連続関数ならば， ←は連続関数 |
f，g が可測関数ならば， ←は可測関数である。 |
||||||||||
| sup fn，inf fn，lim fn，lim fn | fn が連続関数であっても， ←は連続関数とはかぎらない。 |
fn が可測関数ならば， ←は可測関数である。 |
連続関数の定義はAppendix 5も参考にしてください。
この表から連続関数と可測関数を分け隔てているものは何かといえば，開集合族とボレル集合体の性質の違いで，集合の可算個の共通部分をとったとき，再び，その集合族に属するといえるか否かです。連続関数の場合は有限個でないとダメなんです。
可測関数の性質を列挙しておくと，
f を可測な関数とするとき，
(１) R1の任意の開集合 O に対して，f-1(O)∈β
(２) R1の任意の閉集合 F に対して，f-1(F)∈β
(３) R1の任意のボレル集合 B に対して，f-1(B)∈β
[１] 第１章で考えたディリクレ関数以外の一般的な関数を取り扱うために次のような定義関数(＝特性関数)，及び単関数を定義します。 まず，
e(x，A) ≡
1 ････ x ∈A [ 定義関数] 0 ････ x A
を導入します。 もし，「A ＝有理数」 ならば，これはディリクレ関数 [#] と同じです。
[２] 一方，単関数は，区間 [ a，b ] が共通部分のない有限個の可測集合に，
A ＝A1∪A2∪･････An
と分割できるとき，実数を， a1，a2･････，an として，
η(x)≡a1e(x，A1)＋a2e(x，A2)＋････＋ane(x，An) [単関数]
と表せるη(x) として定義します。
[３] そして，単関数の重要な性質は，
単関数は可測関数である。
さらに，次のような性質も容易に確かめられます。
η(x)，ψ(x)が単関数
⇒ (１) αη(x)＋βψ(x)
(２) η(x)ψ(x)
(３) |η(x)|
(４) Max[η(x)，ψ(x)]，Min[η(x)，ψ(x)]
も単関数
[４] そして，任意の可測関数が単関数(と極限概念)を用いて表せるという事実，すなわち，
|
定理： 可測関数 f(x) ( ≧ 0 ) に対して，
となるような単関数の増加列， 0≦η1(x)≦η2(x)≦・・・≦ηk(x)≦・・・ が存在する。 |
| ♪ ・・・・ ♪ なぜなの こんなに 幸せなのに 水平線を見ると 哀しくーなる あのころの 自分を遠くで 見ている こーんな感じ ⇒ ・・・・・♪  証明の ルーレット 廻してー アレコレ 深く考えるのは Mystery ・・・・・ |
 |
これでルベーグ積分の厳密な定義に必要な準備は完了です。
著者のメモ
|
Rn の可測集合全体の濃度は， 2 |
 |
である。 |
| / |
