証明問題, B(R^n)=σ(J_n)を示せ(B(R^n)はn次元ボレル集合体)
今日はよろしくお願い致します。
B(R^n)をn次元ボレル集合体,σ(J_n)をn次元区間J_nから生成されるσ集合体とする。
[問] B(R^n)=σ(J_n)となる事を示せ。
[証]
R^nの位相はn次元開区間の任意個の和集合T:={∪[λ∈Λ]I_λ∈2^X;I_λはn次元開区間(Λは非可算集合)}と採れるから
B(R^n)=σ(T)(∵ボレル集合体の定義)
=∩[B∈{B;T⊂B,BはR^n上のσ集合体)}]B(∵生成されるσ集合体の定義より)
=R^n
(∵Tを覆えるのはR^nしかないので
(∵もし,仮にR^nの真部分集合でTを覆えたものがあったとすると
少なくとも(-∞,+∞)×(-∞,+∞)×…×(a,+∞)×…×(-∞,+∞)(a∈R,n個の直積集合)
というような有界な区間がある。この時,
(-∞,+∞)×(-∞,+∞)×…×(a-1,+∞)×…×(-∞,+∞)∈Tなのに
(-∞,+∞)×(-∞,+∞)×…×(a,+∞)×…×(-∞,+∞)はTを覆えてない))
同様に
σ(J_n)=∩[B∈{B;J_n⊂B,BはR^n上のσ集合体)}]B(∵生成されるσ集合体の定義より)
=R^n(∵上記と同じ理由)
従って
B(R^n)=σ(J_n)となったのですがどこかおかしいでしょうか?
お礼
ありがとうございます。 もらったサイト3つみました。 ほどほどというのは、恥ずかしながら超詳しすぎるとなんだか敷居が高いというか。 http://store.yahoo.co.jp/threeeight/a5dfa5eaa5.html ここはすっごいコアですね。 ちょっと調べないと。 http://www.standardfarm.com/ ここおもろいっす。 http://www.standardfarm.com/spiewak/003.html このモデルさん、誰かに似てますね。 http://www.rakuten.co.jp/chunkyfactory/1768615/1803564/#1367836 ここの女の子、かわいいです。 ありがとうございます。 他にもありますか？