- ベストアンサー
ごめんなさい!! また「無限」です。
自然数と偶数にそれぞれラべルをつけて対応させるんですよね。 1 2 3 4 5 ・・・・・・ ∞ | | | | | | 2 4 6 8 10 ・・・・・・ ∞ こうなるから、(自然数の個数)=(偶数の個数)=∞ 。 ここで質問なのですが、5個目まで数えた段階で、10までの偶数は少なくとも認識されているといえますよね。この世界で。 自然数も同時に数えているのだから、少なくとも6、8、10は、まだ数えていないけれどもこれから数えなければならない ‘在る’数ですよね。・・・と思うんですけど。どうでしょうか。 ∞を「認識の限界を超えた数」と思うのが間違っているのでしょうか。 私には∞と∞を対応させることのほうが不思議に思えるのですが・・・。 だって∞=∞じゃないし、∞-∞=0じゃないし・・・・・・。
- lamop
- お礼率64% (34/53)
- 数学・算数
- 回答数8
- ありがとう数11
- みんなの回答 (8)
- 専門家の回答
質問者が選んだベストアンサー
- ベストアンサー
数学苦手な者同士助け合いましょうね。 ご質問の趣旨は、「下の偶数の列に8や10がすでにあるから、上の自然数の列で、もう少し進んだところで、すでにカウントした数に出くわす、それが何かヘン」ということだと思います。 結論から言うと、「上と下は別と考えましょう」ということです。 「無限」を扱う思考ですが、根っこの発想は「素朴」と言っていいくらい単純なものです。要するに、「一個、二個、三個…」と数えられれば、「自然数と対応できている」ということで、「無限の《濃度》が自然数と同じ(アレフ・ゼロと言います)」になります。 「数える」んです。それだけ。 それで、ご質問の件に戻ります。上の列は「貼り付けるラベルの集合」と考えて下さい。そして、下の列は「貼り付けられる偶数の集合」です。「別の集合」ということになります。 ですから、たとえ下の列で6や8や10が先に出てきていたとしても、それは上の列の「ラベル」とは別物です。下の列の6や8には、3と4の「ラベル」が貼られており、上の列の6や8という「ラベル」は、下の列の12や14に貼り付けられます。こうして、一対一の対応が無限に続きます。そして結論は「自然数と偶数は、同じだけ無限にある」となるわけです。 同様の論法で、奇数もアレフ・ゼロ、平方数もアレフ・ゼロと言えます。「有理数」はどうだと思われますか? …分数です。分数…0と1の間にも無限にありそう(分母を増やして刻んでいけば、そうですよね?)。ということは、自然数よりもずっとたくさんありそう…。 ところが、これもアレフ・ゼロです。カントールが「対角線論法」という目の覚めるような見事なやり方で証明しています。…面白いですよ。(^^
その他の回答 (7)
わ、すみません。下のHP、よく読んだら stomachmanさんの解説と同趣旨でした。やっぱり僕の勘違いでしたね。ごめんなさい。
stomachman師匠、お言葉ですが、前半で紹介されている論法こそが、まさに「対角線論法」では? 僕の勘違いかな… 一応、検索してみたら、下記のHPが見つかりました。そこでは、「斜め数え」が「対角線論法」で、「自然数と有理数はアレフ・ゼロ」の証明となっているようです。 うーん、なんか、わからん…
- nikorin
- ベストアンサー率24% (47/191)
No.93959で「対角線論法」という言葉をだしたnikorinです。 stomachmanさんの言われたとおりで、対角線論法は実数が可算でない ことを示すものでした。 誤解、混乱を招いてしまったことをお詫び致します。
- stomachman
- ベストアンサー率57% (1014/1775)
stomachmanです。ちょっと補足。 カントールの「対角線論法」について三人の回答者が触れていらっしゃいますが、ちょっと待って。「対角線論法」は実数の個数がアレフ0より多い事を証明するのに使うのであって、有理数が自然数と同じ個数あることを示すのには関係ないと思いますよ。 1/1, 1/2, 3/2, ... などの有理数を数えるには、横軸に分母、縦軸に分子の値を取った平面を考えます。平面上の点(x,y)が(5,3)であれば、その点は3/5を表している、と考える訳ですね。2/2や4/4など、同じ有理数が繰り返し出てきてしまいますが、別のものとして数えてしまいましょう。 実際に絵を描いてやってみてくださいね。 まず、点(1,1)を数えます。次に(2,1)、(1,2)を数えます。次に(3,1),(2,2),(1,3)を数えます。.... 次に(n,1)(n-1,2),....,(1,n)を数えます。.... このように斜めに数えていけば、全ての点を順番に数え上げることができますね。でも2/2や4/4など、同じ有理数も別のものとして数えてました。この事から、 ●(1) 有理数の個数≦自然数の個数 ということが分かります。一方有理数の列1/1, 1/2, 1/3, 1/4,....は明らかに自然数と1:1に対応します。この他にも有理数はあるのですから、 ●(2) 有理数の個数≧自然数の個数 ですね。 だから、(1)と(2)より ●(3) 有理数の個数=自然数の個数 という結論になります。有理数の個数は自然数の個数と、(ナント)同じなのです。(対角線論法の出番はないんですよ。) ついでですから、対角線論法の話もしましょう。 0と1の間の実数を無限小数で書くことにします。たとえば0.5の代わりに0.49999....と書く。 もし、0と1の間の実数の個数が自然数と同じアレフ0であるならば、それらの実数全部に番号を付けて並べた表が作れる筈です。たとえば (1) 0.0123234... (2) 0.0124821... : さて、ここで一つの実数aを次のようなやり方で作ります。a=0.xxxxxxx....ですが、 aの小数点以下1桁目は(1)の小数点以下1桁目とは違う数字にし、 aの小数点以下2桁目は(2)の小数点以下2桁目とは違う数字にし、 : とやります。すると、aは先ほどの表には出てこない実数になります。だって表のn番目の数は、n桁目がaとは違っていますからね。 全部並べた表の筈なのに、漏れが出てしまう。これは最初の仮定:「もし、0と1の間の実数の個数が自然数と同じアレフ0であるならば」が間違っていた、という事です。だから、0と1の間の実数の個数はアレフ0よりも多いことが分かります。 これが対角線論法。どうしてそういう名前なのか、もうお分かりですね。 なお「カントールの対角線論法が間違い」と決めつけるのはちょっとフェアではありません。数をどのようにして構成するか、つまり数そのものの定義の仕方に依る話であり、ひいてはその数学の基礎としてどんな公理系を採用したか、に依るからです。(ここまで来ると、よほどきちんと説明しないと混乱しちゃいますね。)
- nuts
- ベストアンサー率36% (141/389)
「無限論の教室」(野矢茂樹)という本に、面白い解釈が出ていました。カントールの対角線論法は間違いだ、しかし無限という概念は成立し得るというのです。 カントールが扱った無限は「実無限」と呼ばれ、この例で言えば自然数がどんなに先に進んでもそれに対応した偶数があらかじめ用意されている……という考え方ですね。 それに対して「可能無限」という考え方があって、これは無限に近い数字の対応を考えたときに、はじめてその数字が現れるというように考えます。たとえば、できるだけ大きな自然数nを考えたとき、それに対するn*2を考えることができる。こうして無限は「その場で」誕生していく、というような主張です。(考える時間が無限に必要ということにはなりません。いくらでも大きな数を「その場で」考えることができますから)。 現在の数学の主流になっている考え方ではありませんが、文系人間のわたしにとってはたいへん解りやすい本でした。哲学者の書いた数学の本というだけでも、ちょっと興味を惹かれませんか。
- nikorin
- ベストアンサー率24% (47/191)
「∞」というのは、ひたすら大きいということを表す「記号」であって ある定まった数をさすものではないと思います。 従って、∞に∞を対応させるというのは正しくないと思います。 (感じはわかりますが) どんな自然数 n をとってきても、1つの偶数 2n を対応させることができる という意味で個数がいっしょ(というか同じだけ無限にある;「濃度」がいっしょ) ということなんです。 同様の意味で自然数と有理数も同じ「濃度」です。調べてみると面白いと思います。 キーワードは「対角線論法」です。 認識云々についてはよくわかりませんが、私は、自然数も偶数も共にすべて そろっていて、n と 2n を一つ一つ結んでいくというイメージを持っています。
- stomachman
- ベストアンサー率57% (1014/1775)
自然数の話ですね。 ∞を数だと思ってはいけません。間違いです。従って∞と∞を対応させるのも間違いです。 nと2nを対応付けている訳ですが、nも2nも数であって、∞じゃないですよ。 これでいかが?
お礼
回答ありがとうございます。あの、ではなぜ(自然数の個数)=(偶数の個数)と言えるのですか?
関連するQ&A
- (-1)^nでnを無限大にとばしたとき
大学受験用の参考書にて、 (-1)^n はn→∞において、 nが偶数のとき1 nが奇数のとき-1 となっています。 さらに、 2n乗では1 2n±1乗では-1 となっています。 そこで質問なのですが、以前に無限大というのは数ではなく量だと聞きました。それなのになぜ偶数や奇数があるのでしょうか。また2nや2n±1でわかれるということは、無限大というのは自然数なのですか?
- ベストアンサー
- 数学・算数
- 箱の中の無限個のボールを取り出す確率
無限の世界では自然数と偶数は「同数」(言葉は正確ではないです)になると知りました。そこで疑問に思ったのですが、答えを考えて下さい。 箱の中に赤青2種類の無限個のボールがあります。 赤ボール:1から番号(自然数)が付いていて番号の欠番や重複はありません。 青ボール:偶数の番号(正の数)がついていて同じく欠番や重複はありません。 つまり、箱の中のボールはこんな感じ。 赤1, 赤2,青2, 赤3, 赤4,青4, 赤5, 赤6,青6, : この箱の中からボールを1個取り出す時、それが赤である確率はどうなりますか? [A案] 番号に注目すると赤と青の割合は2:1の割合で番号が増えていくので赤の確率は2/3。 [B案] 赤は自然数の数だけあり、青は偶数の数だけある。これらは同数なので確率は1/2。 A案、B案、どう思いますか?
- ベストアンサー
- 数学・算数
- 数学IAの問題で・・・
100以下の偶数の内、3の倍数でない自然数の個数を求めよ。 という問題なのですが、答えは17個であっていますか?(100以下の偶数は50個・3の倍数は33個なので50-33=17、という風に計算しました。) ご回答お願いします。
- ベストアンサー
- 数学・算数
- 自然数と偶数の一対一対応について
自然数の中から小さい方から順番にn個取り出した集合をAとし、 正の偶数の中から小さい方から同様に、同じ数だけ取り出した集合をBとします (要は自然数と正の偶数の一対一対応です) A={1,2,3,4,5, ...n} B={2,4,6,8,10,...2n} (AとBは同じ数) ここで、あるnの時の"Aには存在しないBの要素(値)の数"を考えます n=1の時、1個 n=2の時、1個 n=3の時、2個 個数だけ上げていくと、 1,1,2,2,3,3,4,4,5,5,.....と続きます "Aには存在しないBの要素の数"は、nの数に対して単調増加しており、 全てのnにおいて、少なくとも1以上であるように見えます また、nが無限大になった時でも、"Aには存在しないBの要素の数"は1以上あるようにしか思えません nが無限の時、Aを自然数全体の集合、Bを正の偶数全体の集合と呼ぶとします。 nが無限の時でも、Aに含まれないBの要素が存在します。 言い換えれば、自然数(=A)ではない正の偶数が存在するということです。 (もしそうなら最大値の存在が示せそうな気がしますし、現時点で私はそれが正しいように思います) この考えで、どこか間違いがあれば教えてください
- 締切済み
- 数学・算数
- 双子素数の無限性について
以下のような証明を作ってみました。 この問題が数学史上未解決の難問であることは知っているので、必ず どこかが間違っているのでしょうが、自分で作っておいてなんですけど、 どこが間違っているのかすら理解できませんでした。(馬鹿) 誰かどこかが間違っているか、なるべくわかりやすく指摘してもらえない でしょうか? 証明 ある3*10^n乗という数について考える。 双子素数は有限で、この素数以降には双子素数は存在しないものと 仮定する。 数直線上の3*10^n乗の点を0とすると、これ以降の素数の出現は、 +1,+7,+11,+13,+17……のように今までの素数と、1を足した場所で、 素数となる可能性のある点が出現する。 これのうち双子素数となる可能性のある点は、全てどちらかがそれ以 前に登場した2,3,5を除く二つ以上の素数の積でなければならない。 どちらも素数であるとすると、双子素数が存在しないという前提に反する からである。 双子素数のうち一つにつき、その点が何らかの素数の積であるために は、それぞれ異なる素数が二つずつ必要になる。 また、これは3*10^n乗以前に存在した素数でなければならず、2,3,5の 倍数でもない。 そして、一つとして同じ素数を使ったペアは存在しない。 例えば、 3*10^n乗+11がa*bという素数の積であったとき、 3*10^n乗+17がaの積もしくはbの積であることは絶対にない。 こうして6*10^n乗未満の範囲で、3*10^n乗の一つ以前まで全ての素数 を足していくと、双子素数の点を否定するために使う素数は、 あらわれるかもしれない双子素数の総数*2となる。 ではここで双子素数の点を否定するために使える素数の組み合わせに ついて考えてみる。 (1) まず、この範囲内のいずれか一点を否定するには、6*10^n乗までの数に 収まる必要がある。 それよりも一つ上の素数と組み合わせると6*10^n乗を上回ってしまう限界 値をpとする。 この上に存在する素数は全て、このpの範囲内の数との組み合わせでしか 6*10^n乗までの範囲内の素数の積になることはできない。 つまり、この限界値pまでの素数の2倍以上の組み合わせはありえない。 (実際に最小と最大同士を組み合わせていくと一定以上に大きい数にしか ならないので、組み合わせることのできる組数は必ずこれより小さくなる) 母数を2倍した場合、pの1,6倍付近が次の限界値p2となり、やはりそこ までの素数の数*2が組み合わせの最大値である。 (2) いかなる素数を組み合わせても6*10^n乗を上回ってしまう組み合わせ しかなくなり、それがまだ双子素数としてあらわれる可能性のある点の 総数を超えていなければ、必ず双子素数の数は増加する。 言い換えると、 限界値pまでの素数の個数<双子素数としてあらわれる可能性のある点の総数 であると、双子素数は必ず増加する。 (3) これが3*10^n乗で、 限界値pxまでの素数の個数>双子素数としてあらわれる可能性のある点の総数 であった場合、双子素数は増加するとも、増加しないともいえない。 双子素数が有限であることを前提にすると、3*10^n乗以降の双子素数として あらわれる可能性のある点は、全てどちらか一方が素数でないことは確かで ある。 では6*10^n乗以降の場合はどうか? 3*10^n乗の範囲で、a*bで否定された素数を2倍すれば絶対に偶数、つまり 2の倍数になる。 つまり、次の範囲では絶対に同じ組み合わせを使うことができないので、増え た限界値px2の範囲内で、新たに異なる組み合わせを見つけてくる必要がある。 ・11*7 11*89のように一方が同じ組み合わせは使える可能性はある。 そして、同じように、 12*10^n乗 24*10^n乗 と無限に繰り返す。 母数を2倍しても限界値px2までの素数の個数は当然に増加しない。 px2はpの1,6倍程度の位置に存在するからである。 (n<2nの間にならば、最低でも1の素数が含まれているが、この場合組み合わせ として使える素数が増えることも確実ではない) 途中で登場した組み合わせは全て2の倍数になっていくので、同じ組み合わせは 二度と使えない。 従って使える組み合わせは、必ず一定数減り続ける。 そのため、これを無限に繰り返せば、いつか限界値pxまでの素数の組み合わせ では絶対に否定できない点があらわれるはずである。 そこは必ず双子素数となる。 以上により、3*10^n乗以降でも、双子素数は必ず増加する。 これは双子素数が有限であるという前提と矛盾する。 よって、双子素数は無限である。
- ベストアンサー
- 数学・算数
- 無限なのに「増える」?
無限の性質に関して質問します。 例えば、自然数の数は無限です。そして自然数の数は増減しません。 この例から、一般に、ある集合が無限集合である場合、その集合の要素は増減しないということが言えるのでしょうか。 それとも、一般化することができずに、対象となる無限集合固有の性質によって異なる結果がありえるのでしょうか? 例題として、 宇宙空間の体積という集合Uを考えます。 集合Uが無限集合である場合、Uの要素は無限であり、したがってUの要素は増減しないので、宇宙空間の体積は増えない。つまり宇宙空間は膨張しない。 逆に宇宙空間が膨張するという観測事実を真とすれば、この集合Uは無限集合ではない。 と言っても良いのでしょうか? 問題の整理が数学的でなくて申し訳ありませんが、数学のご専門の方(=無限の扱いに慣れている方)は、「無限なものが増減する」という命題をどう捉えるのか知りたくて質問しております。 数学の専門でない素人に分かるように解説していただだければ有り難いです。
- ベストアンサー
- 数学・算数
- 数学的なコトバ
情けない・・・ 質問です。 整数、自然数とは何ですか? 「0」はどちらに入ってどちらに入らないのでしょうか。 「0」は偶数なのですか? 「-1」「-2」といった数に対して、奇数、偶数という見方はできるのでしょうか。 「1.3」といった小数点の入った数には偶数、奇数とかあるのでしょうか。 「正整数」とはなんのことでしょう? 高校生にもなって、こんなことが分かりません。 というより、高校生になってやっと「数学」というものがわかりはじめたのでしょうか、こんな基本的なことが引っかかるようになりました。 ぜひ、ご回答お願いします。 また、こういう数学的なコトバの定義について詳しいHPを知っていれば紹介お願いします。
- ベストアンサー
- 数学・算数
- 個数の処理、どうもしっくりこない
数学が苦手です。ふと思い出したことがあるので質問します。 「100までの自然数のうち3で割り切れる数の個数を求めよ」 という問題の場合、100÷3をした記憶があるのですが、これは何故だったのでしょうか。 同じように、 「100までの自然数のうち3と4で割り切れる数の個数を求めよ」 では、100÷12(3と4の最小公倍数)をした覚えがありますが、何故この式で個数が求められるのかがどうもしっくりいきませんでした。 小さい数で具体例を出されれば見た感じで「そうなるんだな」とまでは思えるのですが大きな数になると図が書けないせいか納得がいかないのです。 どなたかわかりやすいように説明していただけませんか。
- ベストアンサー
- 数学・算数
お礼
数学・・・興味はあるんだけどなあ・・・・・・。苦手です。がんばります。 さて。あの、「すでにカウントしたから変だ」と思ったのではなくて、 「カウントできるはずなのにカウントしないで(∞にいっちゃって)、8や10を取りこぼしているのでは?」と思ったのです。 しかしこれは∞を数のように(対応させた上下で同時に)ぶち当たるものだと考えていたことによるものだと納得しました。 「対応していない」で、「同じくらい無限」なのだということで、よくわかりました。 みなさんありがとうございました。しかし皆さんはさらに先に行ってるようなので、私ももう少しがんばってみます。