ここの続き。集合列についてもう少し書く、と書いていた。集合列の極限について色々見ていくと、こういう記述がある。
- 上極限集合とは『無限に多くの
に含まれる点の集まり』
- 下極限集合とは『有限以外は全て
に含まれる点の集まり』
何を言っているか分からないので、調べてみた。ここが分かりやすいと思った。
で、自分の言葉で書いてみるのが大切なので書いてみる。
単調増加列の極限
単調増加列とはとなるような集合列で、その極限を
と書く。
単調減少列の極限
単調減少列とはとなるような集合列で、その極限を
と書く。
ふむふむ
集合列の極限というのは、加算無限個の和集合や積集合で表わす、ということが新しいところか。なんか応用確率論で適当に聞いていたような記憶があるぞ。で、さっきのところによると、上極限の「無限に多くのに属する点の集まり」を考える、とある。よし、日本語でおk。
無限に多くのとは、すべてのnについて、
となるようなkが存在して、そんなkよりも先にある
に属している点、ということらしい。まだ日本語じゃないな。kより先にある
、という表現がよく分からないぞ。n=1とすると、k=1とかk=2はこの条件を満たす。その先にある
というのは
とか
のこと、ということか。で、kをどんどん大きくすれば、
はどんどん小さくなっていくので、単調減少列、ということになる。なので、上で定義した極限の考えを使うと
ということになる。まだ分からない。そこでルベーグ積分30講 (数学30講シリーズ)を引っ張り出す。P81。下から6行目くらいにこんな記述がある。
ということは、どんなnをとっても常に
が成立することである。
頭の悪い僕にはこれでもよく分かっていなかったんだけど、ようやく分かってきた。どこが分からなかったかと言えば、「どんなnを取っても」というところと「集合の"かつ"を取る」という操作がどう結びつくのか分からない、というところだ。
「どんなnを取っても」と「集合の"かつ"を取る」の関係性
でも、分かった。「どんなnを取っても」成立する、というためにはこういうとが言えればよい。例えばこういうことを考えればいいだろう。集合関数*2を考えて、その集合が、ある性質を満たしていれば1、そうでなければ0を返すようなindicator functionを考える。集合が添字付けられているとして(添字がnとする)、どんなnについてもある性質が成立するということはn個の集合に対して、indicator functionを適用したかけ算がまだ1であればよい、というとだ。もうちょっとちゃんと説明する。indicator functionをとして
が成立するということだ。積を取っているので、どれか一つでも性質を満たさなければ全体は0になってしまう。つまり、これが成立するということは、どんなnに対しても成立する、ということだ。これは「どんなnを取っても」と同値だろう。だから、「集合の"かつ"を取る」を取っていたわけだな、なるほど。
よし、じゃあ今度は「下極限とは「有限以外は全て
に含まれる点の集まり」』の方を理解しよう
さっきと似たような手順を踏むことにしよう。似たようなことをすると
ということは、ある
となるnに対して
が成立することである。
ということになる。「あるとなるn」って何?ってところで僕が頭は止まるわけですね、分かります。
となるnに対しては、xが
に入っているかは分からない。なんだけど、
となるnに対しては
であることを保証できる、ということを言っている。そういうnすべてに対して言いたいから積集合を取ってるわけね。これは上極限にやったindicator functionのところの話と一緒。
で、は上の性質を満たすように並び替えとかを考えればよい。
というのは有限個である。で、
というのは、そんな有限個の添字のやつを取り除いたやつだから、有限以外は全て
に含まれる点の集まりという表現が出てくるわけだな、なるほど。
で、今度はの和集合演算が問題になってくる。だけど、ここは最初の単調増加列の極限という話を思い出せばどうにかなる。
というのはk=1から無限までの積集合を取っているからかなり狭い集合(べん図的な意味で)になっているんだろうなぁということが予想される。で、
、
とやっていけば、"かつ"の条件が一個ずつはずれていくので、スタートとなるnが増えれば増えるほど
というのはでっかくなっていく。ということは
というのはnに対して単調増加列だということが分かる、というわけだ。単調増加列の極限というのは、
というのが定義だったから、今回の場合に適用してやると。
という風になる。
まとめると、ある有限個のところを取り除いた積集合を考えるんだけど、それの極限を考えると、下極限集合の定義と一致しているね→ということは、下極限集合は『有限以外は全てに含まれる点の集まり』ということになる、というわけですね。
なんか長くなってしまったんだけど、これは僕の理解が足りていない何よりの証拠ですね。がーんばろーっと。