【先着1,000名様!】1,000円分をプレゼント!

今日はよろしくお願い致します。

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)となったのですがどこかおかしいでしょうか?

このQ&Aに関連する最新のQ&A

A 回答 (1件)

B(R^n) や σ(J_n) は、R^n の部分集合族ですから、


=R^n とはなりません。
    • good
    • 0
この回答へのお礼

ありがとうございました。
そうでした。

お礼日時:2008/09/03 09:36

このQ&Aに関連する人気のQ&A

お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!


人気Q&Aランキング