• ベストアンサー

ルベーグ可測集合

ルベーグ可測集合は常に有界集合ですか?

質問者が選んだベストアンサー

  • ベストアンサー
  • ojisan7
  • ベストアンサー率47% (489/1029)
回答No.3

定義を復習してください。集合が可測であることと、有界であることとは別の問題です。たとえば、開区間(0,∞)はルベーグ可測であって、ルベーグ測度は∞ですよね。

kesexyoki
質問者

お礼

回答ありがとうございます。 やっぱりそうですよね。 お礼遅れました。

全文を見る
すると、全ての回答が全文表示されます。

その他の回答 (2)

  • 10ken16
  • ベストアンサー率27% (475/1721)
回答No.2

実数全体は 可測集合でしょうか? 有界でしょうか?

kesexyoki
質問者

お礼

実数全体は可測かつ非有界、ですかね? 回答ありがとうございます。

全文を見る
すると、全ての回答が全文表示されます。
  • jmh
  • ベストアンサー率23% (71/304)
回答No.1

なぜそう思うの?

kesexyoki
質問者

お礼

問題に出てきて、迷ってしまったのです。 御礼遅れてすみません。

全文を見る
すると、全ての回答が全文表示されます。

関連するQ&A

  • ルベーグ可測集合ってなんですか???

    ルベーグ可測集合を上手く捉えられません。 頭が悪いので簡単に説明して下さい。 今の自分の解釈は、 長さや面積や体積を持つ図形はどんな集合と言えるか?↓ ルベーグという名前の人が、これら(の図形)は測ることが出来るので、 長さや面積や体積を持つ図形の集合を「ルベーグ可測集合」と名付けた。         長さ確定図形・・・・・・・・・・・・   1次元ルベーグ可測集合         面積確定図形・・・・・・・・・・・・   2次元ルベーグ可測集合         体積確定図形・・・・・・・・・・・・   3次元ルベーグ可測集合  という。 私の疑問は、Q1.長さや面積や体積を持つ図形以外に、ルベーグ可測集合に属するものは無いのか??? ということと、 Q2.「全ての図形はルベーグ可測というわけではない」  とは、どういう意味なのか??? ということです。測ることが出来ないくらい巨大な(宇宙サイズ?)図形に対して言ってるんですかね??? ちなみに、 面積(体積)がゼロの図形は、面積(体積)が0で確定しているので、面積(体積)を持つというそうです。 ってことは、面積(体積)0の図形はルベーグ可測集合に属しますよね? 面積が0の図形とは、円盤じゃなくて円周のこととか、 体積が0の図形とは、壁の無いお家(柱、骨組み)のこととか・・・ですか??? なんか的外れなことを言っていたらすみません・・・・ すっごく分かりやすく教えて下さい。

  • あるルベーグ積分の参考書の例題で、

    あるルベーグ積分の参考書の例題で、 例)有界閉集合はルベーグ可測であることを示せ。 解)Kを有界閉集合とするとルベーグ内測度の定義より    Kの外測度≦Kの内測度   がわかります。・・・・・・   ・・・・・・・・・・  というのが、ありましたが、  どの参考書を見ても、外測度より内測度のほうが大きい  という記述はありません。  この式は、ほんとうに正しいのか、どなたか、教えて下さい。  よろしくお願いします。

  • ルベーグ測度

    ルベーグ測度μ、集合Eとすると、Eが有界ならμ(E)<∞が成り立つらしいのですが、ではμ(E)=∞となるのはどんなときでしょうか? Eが非有界ならμ(E)=∞となるのでしょうか?

  • ボレル可測ではないルベーグ可測な集合

    ボレル集合でない可測集合の作り方は極めて病的と聞きましたが、その例はどのようなものでしょうか? よろしくお願いします。

  • 【測度論】Borel集合でない可測集合は零集合

    Borel集合でない可測集合の存在はわかりましたが,ある本によると,そのような集合(Non-Borel measurable set)はすべて零集合(Lebesgue測度が0)だそうですが,どうすれば証明できるのでしょうか?よろしくお願い致します.

  • ルベーグ積分 *可測集合

    次の問題を教えてください! 可測集合A⊆R(実数)でm(A)>0だが任意の実数x<yに対して(x,y)⊆not Aとなるものの例をあげよ。A=R/Qを考える。 お願いします><

  • 導関数の可積分性

    fをC^2級の函数とします。つまり二階導関数まで存在してそれは連続。 さらにfとf"はともに可積分(ルベーグ可積分)とします。 このときf'も可積分になることは示されるものなのでしょうか? 容易に出来る気もするのですが、混乱してできません。 もし万が一反例があるのなら、それを教えて頂きたいです。 あとこれだけの主張でも証明できるような気はするのですが、 fおよび、f"がともに有界(したがってf'も有界になりますが) という付加条件をつける必要があるのならそうしていただけるとありがたいです。 とにかくf'の可積分性がどうしてもいいたいです。

  • ルベーグ測度0とは?

    ルベーグ測度がゼロの集合上で..... と説明が続くのですが, 簡単に測度がゼロとは,どういうことをいいたいのでしょうか? 簡単に教えていただけたらうれしいです.

  • 再:ルベーグ測度,直積測度の零集合

    X,Yをユークリッド空間R^m,R^nの部分ルベーグ測度空間(X,Yはルベーグ可測集合で測度有限)とします。 φ(x,y)をx∈X,y∈Yを自由変数とする論理式、例えば「f(x,y)=g(x,y)」(f,gは可測関数)とします。 「φ(x,y)  a.e ((x,y)∈X×Y)」  ならば  「「φ(x,y)  a.e (x∈X) 」 a.e (y∈Y)」 は成り立ちますか。また、成り立たない場合はどのような反例がありますか。 但し、X×YはXとYの直積測度空間です。簡単な場合として、m=n=1,X=Y=[0,1]としてもらっても構いません。 全くわからないので、よろしくお願いします。

  • 可測集合

    可測集合S,Tに対して次が成り立つことを示す μ(S∩T)+μ(S∪T)=μ(S)+μ(T) お願いします><