- ベストアンサー
測度論の非可測集合って何?
実数の定理でしょうか? 興味がかきたてられます。 stomachmanさん、ぜひ回答をお願いします。 (全然急ぎでなくて結構です) もちろんstomachmanさん以外の方も、回答をお待ちしています。
- みんなの回答 (2)
- 専門家の回答
質問者が選んだベストアンサー
その他の回答 (1)
- stomachman
- ベストアンサー率57% (1014/1775)
関連するQ&A
- バナッハ-タルスキーの定理って何?
しつこくてすみません。mori0309です。 バナッハ-タルスキーの定理って何ですか? 自分で調べるべきなんでしょうけど、他の方たちにも この魅惑の世界を知っていただきたいです。 またまたstomachmanさんお願いします。 (急ぎでないです) もちろん他の方でもOKです。
- ベストアンサー
- 数学・算数
- 【測度論】Borel集合でない可測集合は零集合
Borel集合でない可測集合の存在はわかりましたが,ある本によると,そのような集合(Non-Borel measurable set)はすべて零集合(Lebesgue測度が0)だそうですが,どうすれば証明できるのでしょうか?よろしくお願い致します.
- ベストアンサー
- 数学・算数
- 測度論;完備化、測度零集合について。
こんにちは、測度論(確率論)を勉強しているのですが、完備化について質問させてください。 まず、ルベーグ測度を考える上でなぜσ-加法族の完備化が必要となるのか? 例えばR上のボレル集合体はRの開集合全体の加算和、加算交差などから成る集合体で極めて多様な集合を含むはずですが、それに含まれない測度零集合がRに存在して、それらを付け加えることで完備になる、という理解をしていますが、ボレル集合体に含まれない測度零集合とはどんなものでしょうか?例を挙げていただけるとありがたいです。 即ち、B(R);R上のボレル集合体, μ;B(R)上の測度として N* = {N⊂R ; NはB(R)に属さず、N⊂A∈B(R) , μ(A)=0}となるN*の要素はどんなものでしょうか? ボレル集合体ではルベーグ測度を考えるのに不十分、という理由が今ひとつ分かっていません。
- 締切済み
- 数学・算数
- 測度ゼロの集合?
X=Y=[0,1] B_X=B_Y:[0,1]上のボレル代数 m:ルベーグ測度 n:数え上げ測度(counting measure) として、測度空間(X, B_X, m)と(Y, B_Y, n)の直積測度空間を考えます。 このとき、PlanetMathの記事 http://planetmath.org/encyclopedia/CounterExampleToTonellisTheorem.html によりますと、対角線集合 D={(x,y)∈X×Y|x=y} の直積測度がゼロになるということなのですが、これはなぜでしょうか。測度論がわかる方がおられましたら、教えていただけないでしょうか。 どうぞ宜しくお願いします。
- 締切済み
- 数学・算数
- 証明問題 可測 測度論
可測関数列0≤f_1 (x)≤f_2 (x)≤⋯に対してf(x)=〖lim〗_(n→∞) f(x)とおけば ∫_(-∞)^∞〖f(x)dx=〖lim〗_(n→∞) 〗 ∫_(-∞)^∞ f(x)dx これについて、積分の定義がうまくいったとして、測度論を用いて上の定理をどのように証明したらいいのでしょうか。
- 締切済み
- 数学・算数
- 測度0の集合の補集合は稠密?
「AがR^nで測度0のときその補集合はR^nで稠密になることは明らか」 とあったのですがどうやって示せばいいのかわかりません. イメージ的には納得いきますが... 証明の方法を教えてほしいです.よろしくお願いいたします.
- ベストアンサー
- 数学・算数
- 外測度と開集合・閉集合について
添付の画像について2つ程質問があります。 (下層に画像の問題についての補足のせています) (1)始めのA=∪[k→∞]Akである、のところがなぜ成り立つかがいまいち分かりません。 (文脈から「G^cは閉集合。よって…」とあるので開集合・閉集合の定理の中でA=∪[k→∞]Akが言えるものがあるのかなと探してたのですが分からず…) (2)「もし、Σ[j=1→∞]Г(Dj)<∞であればlim[k→∞]Σ[j≧k]D(Гj)=0である…」の部分、本当はlim[k→∞]Σ[j≧k]Г(Dj)=0(誤植?)かと思うのですが、これもなぜ0になるかが分かりません。 以下画像の問題の補足をします。 問題は 「R^n上の外測度Гと、 R^n の部分集合E1, E2 に対して、d (E1, E2)[距離関数]>0ならばГ(E1UE2)=Г(E1)+Г(E2)が成立しているとする。 このとき A をR^nの部分集合, G を開集合で A⊂GとしAn={x∈A|d(x,G^c)≧1/k} (k=1,2,...) とおくと、 lim[k→∞] Г(Ak)=Г(A) が成り立つ。」 というものです。G^cはRの補集合です。 [証明] 冒頭の証明は「Gが開集合なのでG^cは閉集合。よってA1⊂A2⊂…⊂Ak⊂…AかつA=∪[k→∞]Akである。」 とあり、以降続きが画像の部分です。 ご教授頂けますと幸いです。 何卒宜しくお願い致しますm(_ _)m
- ベストアンサー
- 数学・算数
- 再:ルベーグ測度,直積測度の零集合
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]としてもらっても構いません。 全くわからないので、よろしくお願いします。
- 締切済み
- 数学・算数
お礼
何回も読みましたが、素人の私に理解できるハズがありませんでした。以下はひとり言です。 stomachmanさん、気にしないでください。自分でコツコツ考えます。 1.有理数の点の集合には面積がないというのは、それが非連続だからだろうか? 点自体には面積は ないのだから連続していなければ「広がり」をもちようがないのかな? 2.「シェルピンスキーのガスケット」の場合の三角形のくりぬき方では、無数の三角形の斜辺の線自体が 欠損することはないから、結局、網目のような線だけがのこり、面積はゼロだが残った線上の実数は 非可算無限個である、ということなのかな? 3.面積が非可測とは構成する点が連続なのか非連続なのか知る方法がないということなのかな? 「アルゴリズムを記述することが不可能」とはまさにそういうこと? 4.選択公理がないとは、たとえば「目の前に群集はいるのに、その中の誰か一人を呼んで舞台の上に 上げようと思っても、その呼び出し方が決められない(存在しない)」ということかな? 「連続」っていうことは本当に不思議なことですね。考え出すとやめられないです。これは、きっと 宇宙の神秘そのものかもしれません。けっして数学者の遊びの世界なんかじゃないと思うのですが。
補足
stomachmanさん、すばやい回答ありがとうございました。回答者を指名するのはルール違反なのでしょうね。ゴメンナサイ。回答していただいた内容を小生のつたない頭で、いっしょうけんめい理解しようとしているところです。