Q∩[0,1]全体の測度=Σ[r∈Q∩[0,1]]点{r}の測度=0
と本で見かけたのですが測度とは関数の事ですよね。だからこれは
Q∩[0,1]全体の測度による像=Σ[r∈Q∩[0,1]]点{r}の測度による像=0
という意味ですよね。
測度とは
「(Ω,B)を可測空間(Bはσ集合体)とする時,f:B→Rが(Ω,B)上の可測
⇔
(i) ∀A∈B,f(A)∈{r∈R;0≦r}∪{+∞},f(φ)=0
(ii) ∀m,n∈N (m≠n), B∋b_m,b_nは互いに素 ⇒ f(∪[k∈N]b_k)=Σ[k=1..∞]f(b_k)」
の事だと思います。
点{r}の測度fによる像=0だから
Σ[r∈Q∩[0,1]]点{r}の測度fによる像=0なんだと思います。
どうして
(点{r}の測度fによる像)=0
と言えるのでしょうか?
つまり,
(Q∩[0,1]全体の測度fによる像)=f(∪[b∈Q∩[0,1]]{b})=Σ[b∈Q∩[0,1]]f({b})と変形できると思いますが
これからどうしてf({b})=0が言えますでしょうか?
推測ですが
f({b})=#{b}/#(Q∩[0,1])=1/(アレフ0)=0と乱暴に計算してもいいでしょうか?
(上の定義からはf({b})=#{b}/#(Q∩[0,1])と書ける事すらも言えてませんが…)
No.2ベストアンサー
- 回答日時:
おはようございます。
簡単に説明しますが、B⊃{b_i}(b_i は単調減少列 つまり、b_i⊃b_{i+1})
ならば
f(∩b_i)=lim f(b_i)
が成り立ちますから(このことは、ご自分で調べてください。測度論の本には必ず載っています。)
点{r}に対し、b_i=(r-1/i,r+1/i) とすれば
f({r})=f(∩b_i)=lim f(b_i)=lim 2/i=0
となって、f({r})=0となるのです。
> B⊃{b_i}(b_i は単調減少列 つまり、b_i⊃b_{i+1})
> ならば
> f(∩b_i)=lim f(b_i)
> が成り立ちますから(このことは、ご自分で調べてください。測度論の本には必ず
> 載っています。)
> 点{r}に対し、b_i=(r-1/i,r+1/i) とすれば
> f({r})=f(∩b_i)=lim f(b_i)=lim 2/i=0
> となって、f({r})=0となるのです。
有難うございます。
「(Ω,B,m)を測度空間とし,A_1,A_2,…∈Bとする時,
A_1⊃A_2⊃…且つm(A_1)<∞ならばlim[n→∞]m(A_n)=m(∩[n=1..∞]A_n) 」
という命題がありました。
ただ
「limf(b_i)=lim 2/i」
の変形が分かりません。
f(b_i)=2/i
とどうしてこのように変形できるのでしょうか?
(何の定義?)
No.3
- 回答日時:
#2です。
追加の説明です。#2でf({r})=0 となることが示すことができるから
Q∩[0,1]全体の測度=Σ[r∈Q∩[0,1]]点{r}の測度=0
なのであって、
>(Q∩[0,1]全体の測度fによる像)=f(∪[b∈Q∩[0,1]]{b})=Σ[b∈Q∩[0,1]]f({b})と変形できると思いますが
>これからどうしてf({b})=0が言えますでしょうか?
このことからは f({b})=0 となることは導けません。
この本で測度の定義は発見できませんでしたが
> 点{r}に対し、b_i=(r-1/i,r+1/i) とすれば
> f({r})=f(∩b_i)=lim f(b_i)=lim 2/i=0
> となって、f({r})=0となるのです。
で納得いたしました。
No.4
- 回答日時:
>点{r}の測度fによる像=0だから
>Σ[r∈Q∩[0,1]]点{r}の測度fによる像=0なんだと思います。
そのように導くこともできますが、測度の完全加法性と、有理
数の可算性より、Q∩[0,1]の測度が零であることを直接導くこ
ともできます。そのほうが予備知識を必要とせず、理解しやす
く確実ですよね。
質問者さんが使っている本でも直接導いているのではない
でしょうか。
> そのように導くこともできますが、測度の完全加法性と、有理
> 数の可算性より、Q∩[0,1]の測度が零であることを直接導くこ
> ともできます。そのほうが予備知識を必要とせず、理解しやす
> く確実ですよね。
完全加法性とは
「A_n∈B (n=1,2,…),A_j∩A_k=φ(j≠k)ならば
m(Σ[n=1..∞]A_n)=Σ[n=1..∞]m(A_n)」
ですよね。これからどうやって簡単に導けるのでしょうか?
すいません。ご教示ください。m(_ _)m
No.5
- 回答日時:
この問題に限らず、数学の問題を考える場合には、見通しというか、ある程度アウトラインを描く必要があります。
これは、私自身を戒める言葉ではありますが・・・。ところで、Q∩[0,1]の測度が零であることを直接導くには、
1)有理数を順番に並べてみます。可算集合ですからそれは可能ですよね。
2)1番目の有理数を含む幅ε_1の閉区間をA_1とします。
3)有理数を順番に見ていって、A_1に属さない最初の有理数を含む幅ε_2の閉区間をA_2とします。ただし、A_1∩A_2=Φとなるようにε_2を選びます。
4)以下同様に、(A_1∪A_2)∩A_3=Φとなる幅ε_3の閉区間をA_3とします。
ε1,ε_2,ε_3・・・は次第に小さくなるように選びますが、その辺はご自分で工夫して下さい。
ここから先は、ご自分で考えて下さい。何度も繰り返しますが、数学では「見通しを持つ」ことが大切です。
遅くなりまして申し訳ありません。
前ページには
測度定義は
「(Ω,B)を可測空間とする時,
f:B→R∪{+∞}がΩ上の測度
⇔
(i) ∀A∈B,f(A)∈[0,+∞],f(φ)=0
(ii) ∀m,n∈N(m≠n),b_m,b_n∈B且つb_m∩b_n=φならばf(∪[k=1..∞]b_k)=Σ[k=1..∞]f(b_k)」
しか載ってません。
> ところで、Q∩[0,1]の測度が零であることを直接導くには、
> 1)有理数を順番に並べてみます。可算集合ですからそれは可能ですよね。
> 2)1番目の有理数を含む幅ε_1の閉区間をA_1とします。
> 3)有理数を順番に見ていって、A_1に属さない最初の有理数を含む幅ε_2の閉区間
> をA_2とします。ただし、A_1∩A_2=Φとなるようにε_2を選びます。
有理数の稠密性からいって
そのようなA_nを採る事は可能なのでしょうか?
具体的にどのように採ればいいのでしょうか?
No.6
- 回答日時:
こんばんは。
>ただ
>「limf(b_i)=lim 2/i」
>の変形が分かりません。
>f(b_i)=2/i
>とどうしてこのように変形できるのでしょうか?
>(何の定義?)
b_i=(r-1/i,r+1/i) ですから、
f(b_i)=(r+1/i)-(r-1/i)=2/i
です。(∵測度の定義)
ですから lim f(b_i)=0 となります。
有難うございます。
> f(b_i)=(r+1/i)-(r-1/i)=2/i
> です。(∵測度の定義)
f(b_i)=(r+1/i)-(r-1/i)
が測度の定義ですか?
測度定義は
「(Ω,B)を可測空間とする時,
f:B→R∪{+∞}がΩ上の測度
⇔
(i) ∀A∈B,f(A)∈[0,+∞],f(φ)=0
(ii) ∀m,n∈N(m≠n),b_m,b_n∈B且つb_m∩b_n=φならばf(∪[k=1..∞]b_k)=Σ[k=1..∞]f(b_k)」
だと思うのですがこれからどうして
f([r+1/i,r-1/i])=(r+1/i)-(r-1/i)
が導けるのでしょうか?
お手数お掛けましてスイマセン。
No.7
- 回答日時:
こんばんは。
私自身に思い込みが合ったのか?確かに測度の定義は確かに
>測度とは
>「(Ω,B)を可測空間(Bはσ集合体)とする時,f:B→Rが(Ω,B)上の可測
>⇔
>(i) ∀A∈B,f(A)∈{r∈R;0≦r}∪{+∞},f(φ)=0
>(ii) ∀m,n∈N (m≠n), B∋b_m,b_nは互いに素 ⇒ f(∪[k∈N]b_k)=Σ[k=1..∞]f(b_k)」
>の事だと思います。
ですが、ここでは具体的に fとしてルベーグ測度を考えているんですよね?質問者さんの読まれている本で、もう一度確認してください。
有難うございます。
>> の事だと思います。
> ですが、ここでは具体的に fとして
> ルベーグ測度を考えているんですよね?
いえ、まだルベーグ測度は相当後のページに紹介されてます。
ルベーグ積分超入門「森真著」
> 質問者
> さんの読まれている本で、もう一度確認してください。
今回のはp78の話しなのですがそれ以前のページにルベーグ測度の定義は載ってませんね。
No.8
- 回答日時:
こんばんは。
質問者さんの挙げている本はおろか積分論の本さえ手元に無いため、記憶をたどりながら回答しますが、多分この質問にあるfには『R上の区間の長さを測る』という前提があるのではないかと思います。つまり、実数直線上の閉区間[a,b]に対して
f([a,b])=b-a
という、測度として必然的に求められることを前提としているか、またはそういったことと同じような事柄がこの問題の前に説明されているのではないでしょうか?もし、そうでなければ、例えばfとして1点測度が1となるようなcounting measureとかも考えられるのです。その前提があれば1点測度が0となるのも理解できると思います。
遅くなりまして申し訳ありません。
前ページにはやはり
測度定義は
「(Ω,B)を可測空間とする時,
f:B→R∪{+∞}がΩ上の測度
⇔
(i) ∀A∈B,f(A)∈[0,+∞],f(φ)=0
(ii) ∀m,n∈N(m≠n),b_m,b_n∈B且つb_m∩b_n=φならばf(∪[k=1..∞]b_k)=Σ[k=1..∞]f(b_k)」
しか載ってません。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 体温計・血圧計 体温計のメーカー別の測定値の差異について。 オムロンとテルモの体温計を持ってますが、0.4度程測定地 2 2022/12/13 14:56
- 工学 測温抵抗体 2つの温調で利用できますか? 1 2022/11/22 21:18
- 電気・ガス・水道業 酸素濃度の測定 マンホール点検 3 2023/03/18 13:39
- フリーソフト 通信量を計測するソフトを探してます 1 2022/08/18 14:39
- 食器・キッチン用品 温度計について 温度計を買う予定で、欲しい機能としては、温度が300度以上、制度1度以下が1度、測定 2 2022/05/06 16:02
- ダイエット・食事制限 体重の増減が激しいです。 20歳164cm女です。 昨日の夜裸で体重を測ったら55.7kgでした。 7 2022/12/06 13:15
- その他(悩み相談・人生相談) 昼の20分のヘルパーさんが、うちの親が今体温を測ったら38度4分って言っています。 同じデジタル体温 3 2022/09/18 13:27
- 物理学 写真のような時、2つ質問したいことがあります。 ①電車内の観測者からは、糸を切られた物体は、左斜 め 8 2022/08/23 10:31
- 妊活 ドゥーテストの排卵予測検査薬使って陽性が出たんですが 基礎体温がガタガタで 多分今だと黄体期で基礎体 3 2022/04/02 07:25
- 統計学 2019年度の毎日朝6時に測定された東京都霞が関における窒素酸化物(Nox)濃度のモニタリングデータ 4 2023/04/24 16:45
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
おすすめ情報