久し振りにルベーグ積分を勉強する。
二つの可測性の一致
ルベーグ測度について、話が滑らかに進んだのは、可測性の定義にカラテオドリのものを採用したから。カラテオドリの定義を採用したことにより、数学的な設定としてはよくなったが、面接という図形に密着した幾何学的な感触は損なわれてしまった。そういうわけで、
- 面積概念の持つ重み
- 集合演算の持つ軽み
を合流させていくことを考えよう。
カラテオドリとルベーグの意味での可測の一致性
久々すぎてカラテオドリの意味での可測とかルベーグの意味での可測とかすら分からなくなっているという終わっている状況。カラテオドリの意味での可測
Sがカラテオドリの意味での可測であるとは、すべてのに対して
が成立することである。
今見ると普通じゃねーかと思ってしまったりしてしまう。どういうまずい状況があったんだっけか。カラテオドリの意味での可測とかルベーグの意味での可測とかは8章にあるらしいが、とりあえず飛ばすことにする(ぉ。
で、この式はを示している。ええっと、内測度と外測度が一致するってことか。で、これが言えるとルベーグの意味での可測であるとも言える…んだっけか。とりあえず一致するとルベーグの意味での可測であるということにしておこう。[あとで調べる]。
追記
P43に書いてあった。ルベーグ可測な集合の定義らしい。内測度と外測度が一致することがルベーグ測度の定義らしい。あとで思い出す。
で、同値であることを言うので、逆方向も成立することを言う。ルベーグの意味で可測だったらカラテオドリの意味でも可測であるということですね。それを言う。逆方向を言うためには等側包と言う読み方も分からないのが何か出てきた。これ自体はP91とかP92とかに出てきている。
が、分からない。
面積と測度
Sをの有界な集合とする。ジョルダンのように、有限個の半開区間だけを用いて、Sを外側からと、内側からおおって、その面積の極限として、Sを外から測ったと内から測ったとき、それはルベーグ測度の観点から見た時、何を測ったことになっているんだろうか?面積と測度の関係性とかについて書いてあるらしい。
で、ジョルダンの意味での内測度とか外測度とかがまた出てくるんだけど、実はこんな命題が成立するらしい(P97)。
Sの閉包を、Sの内点の集合をとすると、が成立する。
で、内包とか内点ってのは集合とか位相の言葉らしくってゆとりの俺にはよく分からないっぽいんだけど、説明自体はP97とかに書いてある。そこで出てくる集積点とかってのはこの辺が詳しい。
で、この二つを証明したら、何かこんな定義がが成立するということらしい。これが成り立つと一体何に役にたつのかがよく分かんない。
過去の記録
- 第二講 数直線上の長さ - yasuhisa's blog
- 第三講 直線上の完全加法性の様相 - yasuhisa's blog
- 第四講 ふつうの面積概念 - yasuhisa's blog
- 第五講 ルベーク外測度 - yasuhisa's blog
- ルベーグ積分とはなんぞや - yasuhisa's blog
- ボレル集合体とはなんぞや - yasuhisa's blog
- ボレル集合体に対してもうちょい深める - yasuhisa's blog
- 集合列の上極限と下極限 - yasuhisa's blog
- 積分の2歩手前くらい(上極限集合と下極限集合の続き) - yasuhisa's blog
- いろいろ(先生に質問したところとか) - yasuhisa's blog