![](http://oshiete.xgoo.jp/images/v2/pc/qa/question_title.png?e8efa67)
カントールの対角線論法について質問です。野矢茂樹著の「無限論の教室」によると、
x0 = 0.1111...
x1 = 0.1011...
x2 = 0.0111...
x3 = 0.1010...
...
のように 0 から 1 までの小数を2進数で列挙して、その対角線を取った 0.1010... の小数点以下の 0 と 1 を逆転させた x = 0.0101... が、列挙したはずの 0 から 1 までの小数のどれにも当てはまらないことから、それは矛盾である。したがって実数を自然数と 1 : 1 に対応させることはできない、としています。
以上は、もし実数が自然数と同じ濃度ならば、という仮定の下でのことなので、実数を x1, x2, x3, ... と連番で、つまり自然数の濃度で表したらどうなるのかということを考えています。しかしここでその仮定がないとき、何の仮定もないときに、0 から 1 までの実数を列挙せよと言われたら、やはり上に挙げた x1, x2, x3, ... が生まれると思います。するとやはり対角線論法により矛盾しますが、ここでは仮定がないので仮定を背理法の前提として棄却する訳にはいかず、その矛盾は何の前提もないパラドックスになってしまうように思われます。
私はどこかで間違っているのでしょうか? ネット上ではこれについての言及は見つけられませんでした。どなたかご存知の方、教えていただければ幸いです。
A 回答 (63件中51~60件)
- 最新から表示
- 回答順に表示
No.13
- 回答日時:
x1, x2, x3, ... と*添え字に自然数を使う*限り, 「それらで全ての実数を網羅している」ことと「実数が自然数と同じ濃度である」こととは等価だよね.
逆にいうと, 「何の仮定もないとき」には「x1, x2, ... と*添え字に自然数を使って*全ての実数を列挙できる」ということも仮定できない.
もちろん添え字に実数を使っていいなら「全ての実数を列挙する」ことは可能だけど, それはあまりにトリビアル.
No.12
- 回答日時:
もし
x1, x2, x3, ... の列挙は、
それで 0 と 1 の間のすべての小数点以下の桁が 0 と 1 である組み合わせを列挙できた
とした
のならば
自然数の集合から実数の集合への全射写像が存在することになり
実数が自然数と同じ濃度ということになるのです
だけれども
対角線論法を使って矛盾するから
x1, x2, x3, ... の列挙は、
それで 0 と 1 の間のすべての小数点以下の桁が 0 と 1 である組み合わせを列挙できていなかったという
ことになり
自然数の集合から実数の集合への全射写像が存在しないことになり
実数と自然数は同じ濃度ではないのです
No.11
- 回答日時:
> 私には全実数が可算だという仮定をしてもしなくても、
> 0 と 1 の間のすべての小数点以下の桁が 0 と 1 である組み合わせ
> つまり 0 と 1 の間のすべての実数を列挙することは可能だと思われるのですが…。
そんな気がしますか?
これはもう、論理というより気持ちの問題かな?
例えば、S = { 1,2,3,4,5 } という集合の元を □□□ というマスに埋めるとき、
どのように埋めても S の元のうち 2 個は入る場所がありません。
それと同じで、全実数の集合のほうが全自然数の集合より濃度が大きければ、
どのように列挙しても、全ての実数に自然数の添字を付けることはできません。
全ての実数に自然数の添字を付けることができると考えることは、
全実数の集合の濃度が全自然数の集合の濃度以下だと仮定したことになるのです。
仮定したことを、あなたが自覚しているかしていないかにはかかわらず。
>どのように列挙しても、全ての実数に自然数の添字を付けることはできません。
これも私にとって分からない点なのですが、自然数の数も無限で、いくらでも取り出せるのだから、ここからは実数のみで対応する自然数はないよ、という地点は永遠に来ないと思うのです。だから自然数と実数が 1 : 1 に対応すると思っている訳ではないですが。無限がからむと分からないことだらけです。
No.10
- 回答日時:
> そうでしょうか? x1, x2, x3, ... の列挙は、それで
> 0 と 1 の間のすべての小数点以下の桁が 0 と 1 である組み合わせを列挙した
> のですから、それは仮定の下でなく、
> 0 と 1 の間のすべての実数を列挙したことになるのはないでしょうか?
いや、そーはなりません。
実数に番号をつけて x1, x2, x3, ... と並べていく作業は可能です。しかし、
それで列に並べることができるのは、実数の中の可算部分集合だけです。
(1)もし実数が可算であると仮定すれば、全ての実数が列に現れることになるので
普通に対角線論法が可能だし、
(2)全ての実数の集合の濃度が非可算であれば、どうやって並べても
自然数で添字づけした列に全ての実数が現れることは決してできません。
列に全ての実数が現れるとしている時点で、
既に全実数が可算だと仮定してしまっているのです。
「仮定する」という文字を文面に書かなかったとしても、
それは記述を省略しただけで、仮定しなかったことにはなりません。
再びお礼の欄で失礼します。
>(2)全ての実数の集合の濃度が非可算であれば、どうやって並べても
>自然数で添字づけした列に全ての実数が現れることは決してできません。
ここですね。私には全実数が可算だという仮定をしてもしなくても、0 と 1 の間のすべての小数点以下の桁が 0 と 1 である組み合わせ、つまり 0 と 1 の間のすべての実数を列挙することは可能だと思われるのですが…。
おかしなことを言っていたらすみません。
No.9
- 回答日時:
お礼コメントに対してですが、ここで証明したい事は結局「0から1までの実数すべてを列挙する事はできない」と言う事ですよね(2進数云々と言う条件を外しても本質的には同じ事なので)。
そして今回のお礼コメントに書かれているようにそれは不可能です。なので「すべての実数を列挙する事ができるとすれば」と言う最初の仮定が成り立たないわけですから「自然数と実数は一対一対応させられない」と言う教科書通りの結論になります。こう書くと「その仮定をしなかった時の事を聞いてるんだが」と言われるのでしょうが、その仮定なしにこの作業は何の意味も持ちません。ただ単に「実数を拾い集めて列べているだけ」と言うだけのものになります。そして並べた実数がすべてなのかそれとも一部だけしかないのかも分かりません。いろんな意味で(数学的にも他の意味でも)全く無意味な作業でしかなくなります。
再びお礼で失礼します。
>ただ単に「実数を拾い集めて列べているだけ」と言うだけのものになります。そして並べた実数がすべてなのかそれとも一部だけしかないのかも分かりません。
しかし 0 と 1 の間のすべての小数点以下の桁が 0 と 1 である組み合わせを列挙した数の集合は、実数が自然数と同じ濃度ならばの仮定がないときでも、0 と 1 の間のすべての実数を網羅していることになるのではないでしょうか?
No.8
- 回答日時:
一応追記。
実数を列挙する目的は「すべての実数を挙げる」と言うのが目的ですから、実数をただ取り出して並べるだけではなく「それらがすべての実数になっている」と言う事が必要になります。なのですべての実数が網羅されていなければ「列挙する目的が果たせない(≒列挙できていない)」と言う事になります。
回答ありがとうございます。
お礼の欄で失礼します。
>なのですべての実数が網羅されていなければ「列挙する目的が果たせない(≒列挙できていない)」と言う事になります。
仮定のない列挙において、0 と 1 の間のすべての小数点以下の桁が 0 と 1 である組み合わせを列挙したのですから、0 と 1 の間のすべての実数を列挙したことにはならないのでしょうか?
No.7
- 回答日時:
「0から1までの実数を列挙」と言われてx1、x2、x3と挙げて行くと言う事は、結局それぞれの実数に1、2、3と言う自然数を割り振っている事になりますよね(現に割り振ってますし)。
なのでx1、x2、x3と言う具合に挙げて行く事自体が「自然数と実数は同じ濃度(一対一対応が可能)」と仮定している事になります。No.6
- 回答日時:
> 何の仮定もないときに
ここがダウト。
> 0 から 1 までの実数を列挙せよと言われたら、
> やはり上に挙げた x1, x2, x3, ... が生まれると思います。
実数を x1, x2, x3, ... と列挙することは
何の仮定も無しに可能だが、
その列挙した列に全ての実数が現れていると仮定することは
全実数の集合が可算だと仮定したことになる。
何の仮定もないのではなく、
仮定したことを忘れているだけだ。
大阪や京都の人にはうっかりさんが多いけれど、
そういうことをちゃんと考えとくのが関東流。
回答ありがとうございます。
お礼の欄で失礼します。
>実数を x1, x2, x3, ... と列挙することは
>何の仮定も無しに可能だが、
>その列挙した列に全ての実数が現れていると仮定することは
>全実数の集合が可算だと仮定したことになる。
そうでしょうか? x1, x2, x3, ... の列挙は、それで 0 と 1 の間のすべての小数点以下の桁が 0 と 1 である組み合わせを列挙したのですから、それは仮定の下でなく、0 と 1 の間のすべての実数を列挙したことになるのはないでしょうか?
No.5
- 回答日時:
そもそも「何の仮定もしていない」と考えている点がおかしいと思います。
実数を列挙云々と言っている時点で既に「自然数と実数は同じ濃度」と言う事を前提としている事になるはずです。背理法における仮定とは「○○と仮定すると」と言う具合に明確に書かれたものばかりではありません。No.4
- 回答日時:
「列挙」とは、ただ並べることじゃない。
漏れなく並べ尽くす、ということです。そして、並べ尽くすとは、すべての要素それぞれに固有の番号をつける、ということに他なりません。「集合Xの濃度が、自然数全部の集合Nの濃度と同じ(|X| = |N|)」という関係は「Xの要素とNの要素を1:1に対応づけられる」ということによって定義されます。だから、|X| = |N| の時、Xの要素を並べ尽せる。
だから、Xの濃度が自然数の濃度より大きいなら、並べ尽くせないのは定義から明らかです。その場合、ただ並べるだけならご自由ですけれども、そうやって作ったリストはXの部分集合Yであって、|X|>|Y|=|N|である。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 回答の意味について 3 2023/07/06 14:14
- 数学 実数同士の対応における対角線論法について 6 2023/07/08 17:01
- 数学 実数同士の全単射写像について 2 2023/07/05 17:12
- 数学 回答の意味について 4 2023/07/11 11:19
- 数学 ある方から頂いた回答について 1 2023/07/10 11:34
- 数学 すべての自然数とすべての実数を1対1で対応させる(すべての実数を一列に並べる)方法について 3 2023/05/26 17:14
- 数学 【高校物理】 Q.とある波動の問題で、sin5°, sin10°, ・・・, sin90°の値が載っ 2 2021/12/09 15:20
- 数学 線形代数の対称行列についての問題がわからないです。 2 2023/01/08 14:59
- 数学 素因数分解の可能性の証明 10 2021/11/04 08:34
- 統計学 テキストの解答が間違っているのか、私が間違っているのか 5 2021/12/14 16:00
このQ&Aを見た人はこんなQ&Aも見ています
-
「環境が人を育てる」って本当?環境によって人格や生き方は本当に変わるのか
環境が人生に与える影響は実際どれほどのものなのか、専門家の田宮由美さんに伺った。
-
すべての自然数とすべての実数を1対1に対応させる方法:ファイナル
数学
-
対角線論法の疑問
数学
-
チェビシェフの不等式について
数学
-
-
4
「偶然」とは?
数学
-
5
数学 『トランプ』が関わる問題を解くために必須となる知識
数学
-
6
「偶然」のパラドックス
数学
-
7
数直線上の位置を示す、新たな記号を作るべきではないですか?
数学
-
8
もしも数学
数学
-
9
ピタゴラスの定理は辺の長さが虚数でも成り立ちますか
数学
-
10
左のひしょとう関数を
数学
-
11
変な計算方法(笑)
数学
-
12
「偶然」と「必然」は確率か?
数学
-
13
数学1+Aの問題を教えてください
数学
-
14
写真の問題の(3)についてですが、僕の書いた(2)の回答と同じように、(3)を求めることはできないの
数学
-
15
M={(x,y)∈R^2|y=x^2}がc∞級多様体であることを示せという問題の証明方法が知りたいで
数学
-
16
数学の問題です。 写真の斜線部の求め方を教えてください。 四角形ABCDは長方形です。 よろしくお願
数学
-
17
tan(z)のローラン展開である tan(z)=a(-1)/(z-π/2)+a(0)+a(1)(z-
数学
-
18
論理学を学んでると ・「開いた前提」 ・∧-導入規則(左)、 ・∨-消去規則、 ・¬-消去規則などが
数学
-
19
(2)の考え方を教えてください
数学
-
20
x,yが互いに素なとき、x+y/2とx-y/2も互いに素であることが言えるのは何故でしょうか?
数学
おすすめ情報
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
必要条件、十分条件についてで...
-
数Ⅰの問題です x,yは実数、nは...
-
有理数を文字置き→互いに素な整...
-
xy=0ならばx=0またはy=0 の対偶...
-
ウェイソン選択課題について悩...
-
アリバイの理論について
-
【命題が偽である場合の反例の...
-
不完全定理により、「ある命題...
-
存在しないものに関しては何を...
-
数学の背理法について質問です...
-
強い仮定、弱い仮定、とは
-
「逆もまた真なり」について
-
nは自然数 n^2と2n+1は互いに素...
-
nが自然数のとき、2^n +1 +3^2...
-
命題「PならばQ」でPが偽ならば...
-
数1の命題と条件という章の 必...
-
天使と悪魔(論理学)
-
命題の証明がわかりません
-
数学での背理法について
-
n=3の倍数ならば、n=6の倍数で...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
数学の背理法について質問です...
-
a>0、b>0⇔a+b>0、ab>0
-
以前も質問させていただいたの...
-
命題「PならばQ」でPが偽ならば...
-
命題を証明せよとはどういう意...
-
n=3の倍数ならば、n=6の倍数で...
-
数学の反例について。 P⇒Qの反...
-
背理法について
-
x≠1⇒xの二乗≠1の真偽
-
「逆もまた真なり」について
-
数学の論理学的な質問なんです...
-
カントールの対角線論法につい...
-
対偶法による無理数の証明につ...
-
a,bが有理数として√6が無理数を...
-
nは自然数 n^2と2n+1は互いに素...
-
数学 x,yは実数とする。「xy+1=...
-
数学。「次の命題の真偽を調べ...
-
強い仮定、弱い仮定、とは
-
有理数+無理数=無理数 の証明
-
命題論理に関する英単語
おすすめ情報
yahoo! 知恵袋でも同じ質問をしたのですが、回答に適切に対応することができず、聞きたいことを聞きそびれてしまったので、こちらで質問させていただきました。
お礼ではなくこちらに書くべきでしたかね? まだ慣れないもので…。
回答ありがとうございます。
私が知りたいのは、「実数が自然数と同じ濃度ならば」という仮定の下で対角線論法を使って、矛盾するよね、だから実数が自然数と同じ濃度ではない、とするところを、仮定なく実数を列挙したらどうなるのか、その場合も対角線論法を使って矛盾になってしまうのではないか、とうことなのですが。それは不可能だということでしょうか?
すみません、お礼欄の訂正です。
× mtrajcp さんは、決して無限にはたどりつかないと思っているのか、無限への過程における有限のみがある思っているのか、どっちなのでしょう?
○ mtrajcp さんは、無限への過程によって無限にたどりつくと思っているのか、決して無限にはたどりつかず、無限への過程における有限のみがある思っているのか、どっちなのでしょう?
すいません。No.43 へのお礼コメントの
>次に No.35 の回答中の (0.2111… )₃ が列挙した列の中に現れないときについてですが、…
の段落は、間違いです。No.35 へのお礼コメントで自分で超限順序数の必要性を導いたのでした。
それを受けて、No.35 での 3進数による実数の列挙では、循環節 1... の後に循環節 2... が来るとき、 (0.111...1110222...)₃ のようにすれば、それは (0.111...1111)₃となって循環節 1... を列挙の中に出現させることができると思いました。
そろそろ質問を閉じさせていただきたいと思います。
返信が追いつかなかった回答者の方を含め、付き合っていただきありがとうございます。最初は相手にされないんじゃないかと心配していたのですが、こんなに反響があるとは。ほとんど反対意見でしたけどね。色々やり取りしましたが、パラドックスになるのではという疑念はついに否定されず、疑念を深める結果になりましたが、私としてはそれもまた良しです。
ではさようなら。