- ベストアンサー
有理数と実数とではどちらが多いか
- みんなの回答 （11）
- 専門家の回答
質問者が選んだベストアンサー
無限集合の比較をするとき、２つの集合の要素同士を１対１に対応させることができるなら、一方が一方より多いとはいえません。すべての整数の集合と、すべての偶数の集合は、すべての整数の集合のnに対して、すべての偶数の集合の2nを対応させると、２つの集合は１対１のペアを作れますから、同じ濃度です。無限集合でも一番下の階層は、自然数の集合と１対１に対応させられます。整数の集合も偶数の集合もそうだし、初めてのときは意外な気がしますが、有理数の集合も自然数の集合と１対１にできます。 一方無理数の集合はどのようにしても自然数と１対１に対応させることができないことがカントールの対角線論法という方法で証明されています。 対角線論法というのは次のようなものです。話をわかりやすくするために無理数を０以上１未満の無理数に限定して考えます。自然数と無理数をもし１対１に対応させることができるならば、すべての無理数を含む表を作ることができるはずです。たとえば、つぎのような表です。 1 3865356457849305768933257570937834780....... 2 906456875836903690289080238905829034........ 3 37485375896083456908345683095680367.......... 4 324778967894567876895789743527387482374890.... 5 2364568345643576534278546654565647986... 6 029356784568374689378569735638975986... 7 017537637284653683678365378368.......... 8 67323425238734978237845789306784.......... 9 23897465783465783874689754389.. 10 37753475894758943789578435789 ........................... ................................. こんな表ができて、この表にはすべての無理数が含まれているはずです。無理数の部分は無理数の0.以下の小数部と考えてください。 ところが、この表の無理数の部分の左上から斜めに数字を拾って、3047566579.... という数字の列にさらに各数字が０～８の時は＋１し、９の時は０にするという操作をやってみます。4158677680..... という無理数が作れます。この数字は表のどこかにあるでしょうか？ 絶対にありません。すべての無理数を含む表を作ったはずなのに、この表に絶対に現れない無理数ができてしまう。これが、カントールの対角線論法といわれる、すべての無理数を自然数と対応させることができないという証明です。 つまり、すべての有理数は自然数と１対１に対応させることができるのに対し、無理数はできないので、無理数が有理数より多いといわれているわけです。
その他の回答 (10)
- jmh
- ベストアンサー率23% (71/304)
#9 です。 > 質問の回答が質問になっている… > ←ここに（小さく）「種類：補足要求」とあるときは、例えば「質問が曖昧なので説明して欲しい」という意味です。 ある無限が他の無限よりも「多い（大きい？）」とは何んですか？ > 実数の方が有理数より多く存在すると思う > どうしてそう思うのか、理由を教えてください。包含関係ですか？ それとも、この質問は「どちらが多いか？」だけではなくて「比較方法が存在するか？」も同時に訊いていますか？
お礼
皆様の御回答参考に少しですが理解できました。ありがとうございました。
補足
>どうしてそう思うのか、理由を教えてください。包含関係ですか？ はい、包含関係です。
- moritan2
- ベストアンサー率25% (168/670)
書き忘れましたが、すべての有理数が自然数と対応できる証明です。 まず、正の有理数が自然数と１対１に対応することを示します。正の有理数は、横に分母、縦に分子を取った二次元の表のどこかに存在します。で、この表のすべての場所に、次のように通し番号を付けることができます。 1 2 4 7 11 16 3 5 8 12 17 6 9 13 18 10 14 19 15 20 21 すべての正の有理数に通し番号をつけられるわけなので、すべての正の有理数は自然数と対応するということです。で、これをちょっとひねって通し番号のnを2n+1に、負の有理数を2nに、有理数の０を１に対応させれば、すべての有理数が自然数に１対１に対応したことになりました。
お礼
参考になりました。ありがとうございました。
- jmh
- ベストアンサー率23% (71/304)
ここでの「多い」が「濃度」を意味しないのなら、「多い」とは何ですか？ > 実数の方が有理数より多く存在すると思う… > なぜ？ 逆に、有限の場合は「思う」だけではないと思います。たとえば、Ａ＝｛１，２，３｝とＢ＝｛４，５｝では、なぜ、Ａの方が「多い」のでしょうか？ 同じ方法で、無限を比較できますか？
お礼
はいありがとうございました
補足
つまり、どういうことですか？質問の回答が質問になっているような・・・
有理数が実数に含まれるから実数の集合のほうが大きい というだけであれば濃度という考え方は必要ありません。 （それは含む含まれるの関係だけです） 偶数の集合は整数に含まれますが、濃度としては等しい という例から分かるとおり（それは理解しておいでで しょうか？）濃度と包含関係は別物です。 ここで詳しい説明を求めておられますがそれは無理というものです。
お礼
アドバイスありがとうございます。偶数と整数の濃度が等しいというのは知りませんでした。というより、何故？謎が謎を呼びますね。濃度って各要素間の間隔みたいなものってことですかね？詳しい説明が無理ってのは、このサイトの限界なんですかねぇ～。
- yoikagari
- ベストアンサー率50% (87/171)
喧嘩腰で反論されるとは思わなかったな。 自分が気に入らない解答を排除するとは余りにも幼稚だな。 もう一度聞くよ、何でURLを示す解答は駄目なんだ。 数学の場合、指数も添字も満足に表示できない掲示板で解答するより、表現が自由なURLを使った方が、良い回答ができる場合が多々ある。 しかも、この手の有名問題には、優れた解答があるURLがたくさんある。 それを何で、いちいちつたなく再構成する必要があるわけ？ 頭があるんだろ、くだらない鸚鵡返しではなく「どうしてURL表示の解答がいけないのか」きちんと論理的に説明してくれよ。
お礼
御無礼致しました師匠。
補足
自分が論理的とでも？
全ての有理数は実数であるからです。 そもそも有理数は分数で表すことができる数で、実数は数直線上で定義ができる数です。全ての有理数は数直線上で定義できます。 #4さんのURLでは、「集合Aが集合Bのなかに埋め込める，つまりの部分集合との間に一対一対応が存在するとき，濃度の関係は|A|≦|B|である」と書かれています。つまり、有理数という集合Aは、実数という集合Bに組み込まれるため、濃度は実数のほうが大きくなります。
お礼
わかり易いアドバイスありがとうございます。良く考えてみたらそうですよね、全ての有理数は実数なんですよね。濃度という概念は、面白いもんですね。
- yoikagari
- ベストアンサー率50% (87/171)
私のつたない説明よりも、以下のサイトをご覧ください。 実数の方が有理数より「多く」存在することの証明が詳しく書いてあります。 P.S. 濃度の概念無しに「無限」を語るのは厳しいですよ。 無限の「大きさ」を見る上で必要不可欠ですから、腹をくくって「濃度」と言う概念に慣れてください。
お礼
ありがとうございやした。
- a-saitoh
- ベストアンサー率30% (524/1722)
大学でこのあたりを教わってからもう長い年月が経つのでうろ覚えですが。 無限に多いものに普通の意味での(「100個より1000個が多い」というような自然な発想での)大小関係は付けられません。 そこで数学では、ANo.1で言われているように「濃度」という概念で無限大を類別します。 濃度という考え方では、自然数、整数、偶数、奇数、有理数はすべて同じカテゴリ(「可算無限」、アレフ0、などといいます)に入ります。 一方実数の濃度は可算無限ではないことが証明されています。 詳しくはANO.1の参考URLをごらんください。
お礼
回答有難うございます。実数は可算ではないというのは、なんとなくわかります。濃度は、少し知っていましたが、濃度無くして証明は不可能ですか。 詳しく、わかり易く、説明してくださる能力をお持ちの方、説明お願いします。URLじゃなしに。
- proto
- ベストアンサー率47% (366/775)
集合の濃度を比べることはできます。 ここで説明するより参考のページ見てもらった方が早いと思います↓
お礼
参考URLありがとうございます あの、つまり、どういうことなんでしょうか？わかり易く説明して頂きたいんですが。それが可能な方、宜しく御願いします。
両方無限にありますよね。だからどちらが多いとは言えないんじゃないでしょうか。ただ、実数の方が濃度は大きいことは証明されています。
お礼
アドバイスありがとうございます
関連するQ&A
- （√２）＾（√２）は有理数か無理数か
（無理数）＾（無理数）＝有理数 となる場合が存在する、という証明（下記）の中で出てくる（√２）＾（√２）は、有理数なのか無理数なのかわかっているのでしょうか。教えてください。 証明：（√２）＾（√２）が有理数なら、そういう場合が存在する。もし（√２）＾（√２）が無理数なら、（（√２）＾（√２））＾（√２）＝２だからそういう場合は存在する。（√２）＾（√２）は有理数か無理数なのだから、以上で証明終わり。
- ベストアンサー
- 数学・算数
- 整数、有理数、実数について
A0={p∈R:p<√2}Rは実数 A1={p∈Q:p<√2}Qは有理数 A2={p∈Z:p<√2}Zは整数 このときA0⊃A1⊃A2を示せ。という問題なのですが、明らかに自明なので一体どうやったら証明できるのかで悩んでいます。皆さんならどのように証明されますか？背理法が有効なのでしょうか？
- ベストアンサー
- 数学・算数
- 有理数と無理数が無限個あること
開区間（a,b） は無限個の有理数と無限個の無理数を含むことを証明せよ。 という問題に悩んでいます。有理数の稠密性と有理数と無理数の和が無理数になることを利用するのがヒントらしいのですが、それでもよく分かりません。どなたか詳しい方がいらっしゃいましたら、解説よろしくお願いします。
- 締切済み
- 数学・算数
- 実数の連続性（超実数が存在しないこと）をデデキント
実数の連続性（超実数が存在しないこと）をデデキントの切断をつかって背理法で証明してください。 有理数から無理数を定義するのとおんなじようなかんじでできませんか？（；＿；） お願いします（；＿；）
- 締切済み
- 数学・算数
- 有理数無理数の定義とはなにか答えられる方いませんか？
有理数や無理数はどのように厳密に定義されるのですか？ 有理数は２つの整数の比である。 循環する無限小数である。 無理数は循環しない無限小数である。 などを耳にしますが、(無限)小数の定義は何？とか思うのですが そのように考えるのはおかしいでしょうか？ 自然数や整数を定義する際に用いる言葉で有理数が定義されるべきではないのですか！？ 高校生などに教える際の有理数や無理数の定義が知りたいのではなく。 どのような過程を経て、これらの数は矛盾なく定義されるのか"詳しく"知りたいです。 自然数から整数を構成して、そこから有理数→実数(無理数)という流れですよね。 こうゆうのは"群"などの話になるんでしょうか？ 知っている方、回答よろしくお願いします！ あと、この質問文のような内容が独学で勉強できる本でオススメなものがあれば、ぜひ教えていただきたいです。
- 締切済み
- 数学・算数
- 「数直線を有理数だけで埋める事はできない」について
「数直線を有理数だけで埋めることはできない」というのがよく分かりません。 どの無理数についても限りなく近い有理数が存在するんだから、有理数だけでも埋められるんじゃないかと思うのですが、間違いなのでしょうか。 また、有理数同士の四則演算の結果は有理数になるはずなのに、どうして四則演算を無限に繰り返した結果であるeやπは無理数なのでしょうか。
- ベストアンサー
- 数学・算数
- 有理数でない数について
今高校一年の勉強をしているのですがわからない事が一つあります。 整数、有限小数、循環小数のいずれかであれば必ず有理数であるのは解ります。この逆（有理数であれば循環少数、有限小数、整数のいずれかである）も納得です。 ここで循環しない無限小数は上から有理数ではない、もわかります。 ここで質問なのですが有理数でないものは必ず循環しない無限小数であるといえるのでしょうか？
- ベストアンサー
- 数学・算数
お礼
回答ありがとうございました。カントールの対角線論法で証明が為されていたんですね。