有理数の集合の測度が0であることの証明は
http://oshiete1.goo.ne.jp/qa3714410.html
が定石だと思うのですが、その証明の過程で起こってることがとっても不思議です
「稠密な集合の1点1点を幅のある区間で覆っている」のに、Rを覆えないどころか、区間の幅の和がいくらでも小さくなっちゃうなんて。。。
このことについて、「なるほど~」と思える解説を教えてください
(集合の濃度にはあまり触れずにおねがいします)
よろしくおねがいします
No.2ベストアンサー
- 回答日時:
#1です。
> うーん、集合和を有限で止めている覚えはないんですけど。。。
なるほど、質問の意図を読み違えていました。
> だからRを覆っているということはないはずです。
あまり、触れないように避けたのですが、Rって、実数集合のことだったんですね。
Rationalかと思ったのですが、有理数は、普通Qでしたよね。
たしかに、Rは、覆っていませんでした。
Rを覆っていないというのは、どんどん小さくなっていく加算無限の区間列の和集合に含まれないような実数が、どこかわからないけど、存在するといったイメージでしょうが、
実際、区間列の生成方法をうまく決めれば、そのような実数を探し出すことができそうな気がします。
そのような実数があったとして、その実数の近くのどの有理数をとっても、
その有理数を含む区間は狭すぎて、その実数を含まない状況になっていると想像できます。
専門家でなく、また、結構ブランクがあるので、ちゃんとした確認までしてませんが、
(と言い訳させていただきますが)
たぶん、あっているのではないでしょうか?
この回答への補足
さきほど、区間列に含まれる実数を探し出すほうが困難と書いたのですが、測度的に圧倒的に少ないという意味でした。。。
誤解を招くような表現で、すみません
たしかに実数の集合Rって書くべきでした。。。
わかりにくい質問ですみませんでした
有理数の立場から考えるのではなく、実数の立場から考えれば、ある実数の近くまで有理数が到達する頃には、有理数を含む区間の幅が急激に減少してるので、覆うことができないという解釈ですね
すべての実数は、Qから距離ゼロの位置にあるといっても、距離はinfで定義されるので、そこに無限が介在していて、距離ゼロという言葉以上にずっと遠くの彼方にあるイメージでしょうか。。。
でも、区間列の幅の和はいくらでも小さくできるので、実際は「そのような実数を探し出すこと」よりも、区間列に含まる実数を探し出すほうが困難なことなんですよね
それが不思議に思えてしまいます。。。
返信、ありがとうございました
No.1
- 回答日時:
は、言葉で言うと、測度0の集合の加算無限個の和集合の測度は0ということでしょうが、
これは、個人的には、非常にインパクトがあり、直感的で心に残る定理だと思います。
有理数は、実数上の点で、当然、測度0、また、加算集合なので、
上記のことから、有理数集合は、測度0になります。
おそらく、milk-roadさんが、「Rを覆えない」という印象は、
集合和を途中で(有限で)止めるからだと思います。
(証明手順の順序の問題で、証明としては問題ないと思いますが。)
リーマン流では、有限で止めないといけませんが、
ルベーグ流で、極限集合まで考えて良いと思います。
思考手順を若干修正して、有理数集合を覆える集合を考えてみたら良いのではないでしょうか?
有理数を順序付けして、n番目の要素を長さ = ε*r^n (0<r<1) の区間で覆ってやれば、
極限集合は、有限の長さになっていますし、ちゃんと覆ってもいます。
数学の難しいところですが、 手順だけを示して、実際に行わないというのも、大事のような気がします。
とくに、極限集合を先に作るという作業は、たとえば、手で実際に最後まで書くことはできませんので。
ご参考になったでしょうか?
うーん、集合和を有限で止めている覚えはないんですけど。。。
また、回答にある「極限集合」がRを覆っているとしたら、それは開区間の可算和になるので、Rの外測度が0っていうことになっちゃいますよね?
だからRを覆っているということはないはずです
ただ、質問文に書いた「1点1点を幅のある区間で覆っている」というところで、有限が入り込んじゃってる感じはあるんです
人間がやることですので、任意に1点を選ぶと言っても、無限の先から有理数をもってくるわけにはいかないですから。。。
ありがとうございました
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 数学の答えと解き方を教えてください。 問:ある(人数の非常に多い)集団から無作為に6名を選んで身長を 4 2022/12/14 10:06
- 統計学 ある試験の受験者全員の平均点について調査したい. いま,受験者全員を母集団とし,母集団の分散が40と 2 2023/01/30 19:19
- 分譲マンション 分譲マンション 管理組合として、この場合どう体制を取れば良いでしょうか? 3 2022/07/26 00:56
- 数学 ハイネボレルの被覆定理、内田伏一著 「集合と位相」定理22.1 1 2022/07/07 10:49
- 統計学 最悪値を集めたCPK 5 2022/11/17 21:26
- 高校受験 高校受験 社会が一向に伸びません… 暗記は苦手ではないです。(むしろ得意です。) けれど模試だったり 4 2023/01/03 16:42
- 物理学 時間を語るなら、(複数の時間の正体)を知る必要が有る。 1 2023/02/16 22:14
- 統計学 母集団分布を平均 μ, 分散 σ2 の正規分布と想定し, 母集団から無作為抽出した標本のデータ(標本 4 2023/01/30 20:25
- 統計学 統計学、エクセルがわかりません!解答と詳しい解説をお願いします! (1)それぞれの地域別に記述統計量 9 2022/08/21 16:30
- 数学 無理数の数字の組み合わせ。無限の意味について 5 2022/05/28 22:53
このQ&Aを見た人はこんなQ&Aも見ています
おすすめ情報
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
∈と⊂の違いは何ですか?
-
集積点が、まったく分かりませ...
-
順列組合せについて
-
数字の上のバー
-
数学で、数字の上にある横線の意味
-
部分が全体に等しいのが無限で...
-
数学でのセミコロンについて
-
A∨Φ(空集合)=A A∧Φ(空集合...
-
このマーク?はどういう意味の...
-
15以下の自然数の集合を全体集...
-
閉包と集積点と内部
-
線形代数
-
ZFCが一番少ない公理系ではない?
-
ボレル集合体に含まれないRの部...
-
高校1年の数学Aです。 この、ピ...
-
数Aの問題で、 「AもBも含む」...
-
R\\{0} って、0を除く実数って...
-
集合Aと集合BがあってA=Bの時っ...
-
空集合のべき集合
-
保育園・幼稚園で集合写真を購...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
∈と⊂の違いは何ですか?
-
数学で、数字の上にある横線の意味
-
数字の上のバー
-
数学でのセミコロンについて
-
高校数学 集合Xの要素の個数を ...
-
数字は存在するのか
-
部分が全体に等しいのが無限で...
-
集積点が、まったく分かりませ...
-
ACCESSのSQL
-
要素と、部分集合の違いを教え...
-
R\\{0} って、0を除く実数って...
-
保育園・幼稚園で集合写真を購...
-
アレフ2以上の集合?
-
凸集合
-
Rの半開区間(0,1]と開区間(0,1)...
-
有理数÷有理数は絶対有理数なん...
-
⊆この記号の意味は?
-
1から100までの自然数で、3,4,5...
-
内包的記法と外延的記法について
-
A∩BとAかつBは意味が違うのでし...
おすすめ情報