- 締切済み
無限の濃度に関する問題
雑誌、Newton別冊「ゼロと無限の科学」で扱われている内容に、以下のようなものがあります。 (文章は適当に削ったり、変えたりしています) ・問題設定 無限に広い平面があり、その平面には正方形の格子模様が書かれている、その正方形の格頂点には垂直に、太さがない棒が立てられている。 今、1つの頂点から、ある方向へ光線を発射する。 この光線は、いずれかの棒にぶつかるだろうか? また、光線も太さのないものとする。 ・Newtonの解答 問題を単純化するために、xy座標と、格子点(x,yともに整数であるような座標)を考え、 原点から光線を発射するものとする。 そうすると、光線の道筋は1次関数y=axで表せる。 このとき、傾きaが有理数であれば、何かしらの格子点を通ることになる。 たとえば、a=2/3であれば、(3,2)という点を通る。 だが、傾きaが無理数であれば、いかなる格子点も通ることはない。 つまり、ある実数aを無作為に選んだとき、それが有理数か無理数であるか。という問題に帰着できる。 ここで、有理数の個数はアレフゼロの無限であり、無理数の個数はアレフワンの無限である。 これは無理数の個数が圧倒的に有理数より多いことを示している。 (有理数より無理数の方が圧倒的に多いことは前のページで述べられています) つまり、光線は、直感に反し、ほぼ100%の確率で、棒にぶつかることなく無限の彼方に飛んでいくことになる。 これがNewtonに書かれていることなのですが、 最後の「ほぼ100%の確率で」というところが引っかかります。 ほぼ100%といいますが、具体的に確率は計算できないのでしょうか? (恐らくできないから、具体的な数値が書いてないのだと思いますが・・・) 高校レベルの数学しか理解してないのですが、 この程度の知識でこの問題に答えは出せますか?
- ZecSirius
- お礼率33% (34/101)
- 数学・算数
- 回答数9
- ありがとう数2
- みんなの回答 (9)
- 専門家の回答
みんなの回答
- arrysthmia
- ベストアンサー率38% (442/1154)
「当たらない」=「当たることの確率密度が 0」≠「当たることの確率が 0」 ってだけの話なんだけど、解らない人には永遠に解らない。(苦い思い出を回想中)
- koko_u_u
- ベストアンサー率18% (216/1139)
「当たらない」と言っているのではなくて、「当たる確率は 0 だ」と言っているだけです。 両者は数学的に異なる概念ですが、説明するのが面倒くさいので我こそは、という人どうぞ。
この議論を見ていると、Diracの量子力学の「力学変数ξがオブザーバブルであるための数学的条件」 についての記述を思い出します。 「ξの固有値は(有限個あるいは無限個の)とびとびの数の組から成りたっていることもあり、あるいは もう一つの場合として、たとえば a と b との間にあるすべての数というふうに、一定の領域内にある すべての数から成りたっていることもある。さきの場合には、どんな状態をとってもξの固有状態に 従属しているという条件は、どんなケットをとってもξの固有ケットの和として表わせるという条件になる。 あとの場合にはこの条件は修正する必要がある。それは和をとる代わりに積分をすることもあるからで ある。つまり、あるケット |P> はξの固有ケットについてにの積分 |P>=∫|ξ'>dξ' で表わされることもある。」 という所です。 「太さがない」棒、「光線も太さのない」ものという点を以って、光が棒に絶対に当たらない、と主張して いる人の意見が目立ちますが、「傾き a が有理数であれば、何かしらの格子点を通ることになる」という ように、本来の趣旨である「その点を通るか否か」(棒に当たるか否かではなく)、を議論すべきでしょう。 そうすれば答えは自ずと決まってきます。
- arrysthmia
- ベストアンサー率38% (442/1154)
ほらね。
棒の数はアレフ0、と考えてよいのでしょう。 > 傾きaが無理数であれば、いかなる格子点も通ることはない。 この場合は、100% 棒にぶつからない。 > 傾きaが有理数であれば、何かしらの格子点を通ることになる。 この場合は、棒にぶつかる。 光は、そのどちらかの傾きの方に飛ぶ。 従って、ぶつかることのない確率は100%ではない。
- arrysthmia
- ベストアンサー率38% (442/1154)
確率は、厳密に 100% です。 棒に当たる確率が 0 であることが理解できず、 「当たる可能性は 0 じゃない」と言って 食い下がる人を納得させるのは、 難しいことが多いものです。 その著者は、困った人との議論を避けたのか、 自身が困った人なのか… どっちなんでしょうね。 自然数を任意に一個選ぶような状況だと、 そのような「任意に」がちゃんと定義できるのか という問題があって、 私も「ほぼ」で逃げたくなりますが、 質問の状況なら、単位円周上に一様分布する点 と原点を結べばよいだけですから、 初等的な考察で十分、確率 100% と言い切れます。
- koko_u_u
- ベストアンサー率18% (216/1139)
>ほぼ100%といいますが、具体的に確率は計算できないのでしょうか? 具体的には 100% です。 読者が混乱するのを避けるために「ほぼ」と付けたのでしょう。
- funoe
- ベストアンサー率46% (222/475)
例えば、 自然数全体の中から任意に一つを選んだ時それが「3」である確率はほぼ0% 逆に、「3」が選ばれない確立はほぼ100% ってのと同じ意味です。 有理数全体を100倍しても、10000倍しても、それよりもなお無理数全体の方が「多い」(その前ページにある「圧倒的に多い」っていう意味ですけどね)ことが示されているので、一般の読者の直感に訴える意味で「ほぼ100%」っていう、文学的な表現をしているものと思われます。
光が棒にぶつかる割合は、(アレフ0)/{(アレフ0)+(アレフ1)} ですね。 これは、殆ど 0 なので、ほぼ100%、ぶつからないと言えるのです。 二つの任意の有理数、例えば、10^(-8) と 1.11×10^(-8) の間の 無理数を数えると、これの濃度も アレフ1 で、無限大の数あります。 このことから、ほぼ100% でも、並ではない程度がお分かりでしょう。
関連するQ&A
- 有理数と無理数が無限個あること
開区間(a,b) は無限個の有理数と無限個の無理数を含むことを証明せよ。 という問題に悩んでいます。有理数の稠密性と有理数と無理数の和が無理数になることを利用するのがヒントらしいのですが、それでもよく分かりません。どなたか詳しい方がいらっしゃいましたら、解説よろしくお願いします。
- 締切済み
- 数学・算数
- 有理数集合の濃度は非可算?!
有理数集合の濃度は非可算?! 有理数集合Qの濃度は可算ですが、以下のように考えたところQ(の部分集合)が非可算無限集合になってしまいました。 どこが誤りかご教授願います。 正の有理数は素数のベキを用いて 2^α×3^β×…(α,β,…∈Z) で一意的に表される。 素数の個数は可算無限個なので Q+とZの可算無限個の直積が一対一対応する。 このときZも可算無限集合なので、可算無限集合の可算無限直積で非可算無限集合になる。 よってQ+は非可算無限集合である。
- ベストアンサー
- 数学・算数
- 有理数と無理数について
「有理数は有限小数または循環小数となり、無理数は循環しない無限小数となることを示せ」という問いに関してアドバイスを下さい。 私的に考えた解答を書いてみます。 有理数とは、mおよびnが整数である時、m/nを有理数と呼ぶ。つまり、有限小数または循環小数が分数であるならば、有理数は有限小数または循環小数と言える。 例えば循環小数A=0.12121212・・・・を分数にする。 (10xA)-A=(12.12121212・・・)-(0.12121212・・・) 9A=12 A=4/3 となり、循環小数Aは分数となり有理数は有限小数または循環小数である。・・・・・どうでしょうか? 「無理数が循環しない無限小数である」というのは実数数において有理数以外のものが無理数だと認識している私は、分数表示できない数は無理数である・・としか示せないので、なんだか上手に表現できません。 アドバイス待ってます。
- ベストアンサー
- 数学・算数
- 次の問題を解いて解法を教えてください。
nを2以上の自然数とし、正2n角形の2n個の頂点を反時計回りにA1、A2,…,A2nとする。A1,Ai,Aj(1<i<j)を3頂点とする三角形で∠AiA1Aj≧90°を満たすものの個数をNnとする。 (1)N4を求めよ。 (2)Nnをnの式で表せ。 (3)A1、A2,…,A2nの中から3点選び、これらを頂点とする三角形を作るとき、この三角形が鋭角三角形(すべての角の大きさが90°より小さい三角形)となる確率Pnを求めよ。 (4)lim(n→∞)Pnを求めよ
- ベストアンサー
- 数学・算数
- 円周率【超越数】を有理数で定義する
円周率は超越数です. それを有理数を項とした無限級数で定義できます. 例:π/4=1-1/3+1/5- ... 有理数の和と無理数(超越数)が等しいというのはおかしい という考え方はできますか? あるいは,「円周率とは,たまたまそういう数なんだ」 ということなんでしょうか.
- ベストアンサー
- 数学・算数
- 0.9999…と1の間の無限小の差?
0.9999…と1の間の無限小の差? 0.9999…=1について考えているときに、以下のような疑問を抱きました。 「ある有理数Aとそれに隣り合う無理数Bを考える。そのようなAとBの差は無限に小さいはずだ。しかし、AとBは違う数なのだからその差は存在しなければならないと思われる。このような"無限小の差"が存在するならば、0.9999…と1との間にも同様の差があるといえないだろうか。」 質問としてまとめますと、 (1)上で述べたような2数A、Bの間の差は存在するのか。数学的にどの様に説明、表現されるのか。 (2)0.9999…と1の間にもそのような差が存在するのか。存在しないならば「AとBとの差」と「0.9999…と1との差」の違いはなんなのか。 何かフワフワした質問で恐縮ですが、宜しくお願いします。
- 締切済み
- 数学・算数