■ このスレッドは過去ログ倉庫に格納されています
実数は可算無限であることの証明
- 1 :132人目の素数さん:2020/08/20(木) 23:46:40 ID:H3GW72tv.net
- 整数部が0である実数は次のように数えられるのはないか。
この論理を否定する論理が知りたいです。
よろしくお願いします。
0.0
0.1
0.2
0.3
0.4
0.5
0.6
0.7
0.8
0.9
0.01
0.11
0.21
0.31
0.41
0.51
0.61
0.71
0.81
0.91
0.02
0.12
0.22
…
- 178 :132人目の素数さん:2020/11/27(金) 21:22:04.83 ID:xfjb/py5.net
- 〔問題〕
3次元の空間全体を次のような3つの部分に分割
できるでしょうか?
すなわち、その1つはx軸に平行などんな直線
とも高々有限個の共通点しか持たず、2つ目はy軸
に平行などんな直線とも高々有限個の共通点しか
持たず、3つ目はz軸に平行などんな直線とも高々
有限個の共通点しか持たない、というような3つの
部分です。
数セミ増刊「数学の問題」第(3)集, 日本評論社 (1988)
●87
* この問題はカントールの連続体仮説と同等らしい…
(W.Sierpinski,1951)
- 179 :132人目の素数さん:2020/11/28(土) 15:04:50.07 ID:FagdS+YP.net
- >>129
デーデキント 著 「数について −連続性と数の本質−」 岩波文庫(青924-1) (1961/Nov)
河野伊三郎 訳 163p.
http://www.iwanami.co.jp/book/b247034.html
よりも
遠山 啓 著 「無限と連続」 岩波新書(青版G-3) (1952/May)
194p.814円
http://www.iwanami.co.jp/book/b267428.html
の方が読みやすそう…
- 180 :132人目の素数さん:2021/01/19(火) 22:27:40.14 ID:RmDSEufY.net
- アレフ-1グランプリ
- 181 :132人目の素数さん:2021/02/24(水) 09:32:49.23 ID:L9PmkNI0.net
- ・参考スレ
実数範囲での有理数でも無理数でもない数 (2016/05/27〜)
http://rio2016.5ch.net/test/read.cgi/math/1464337452/
無理数が存在しないこと… (2018/11/24〜)
http://rio2016.5ch.net/test/read.cgi/math/1543055522/
- 182 :132人目の素数さん:2021/07/02(金) 19:32:11.64 ID:cCOB5Dag.net
- >>129
>>150
同じ無理数でも
整係数多項式の根である「代数的数」と、
解析的に定義された自然対数やe
は生まれからして stranger なんだろうな。
ゲルフォント=シュナイダーの定理やベイカーの定理は
このことを端的に示しているかも。
- 183 :132人目の素数さん:2021/07/02(金) 20:12:40.58 ID:cCOB5Dag.net
- Billy Joel
http://www.youtube.com/watch?v=qdLPI6XhEN8 05:04,
http://www.youtube.com/watch?v=ZFiIO9L9Nlg 05:06,
http://www.youtube.com/watch?v=3JussqDv0ZA 04:16,
- 184 :132人目の素数さん:2021/07/03(土) 05:46:11.63 ID:3Myjk3kT.net
- クロネッカーはあさはかだったという話だよね
- 185 :132人目の素数さん:2021/07/03(土) 08:58:52.75 ID:0S01gOIV.net
- どこが?
- 186 :132人目の素数さん:2021/07/17(土) 21:19:49.30 ID:Js3VOks3.net
- >>129
大部の「解析教程」の諸結論を導くためには
この収束判定法(コーシー列は収束する)だけを認めれば十分だと。
実数の公理もない時代にそこまで追い詰めたのは
コーシーの偉業だった。
と同時に、この収束判定法をどう扱うべきか(公理?)
が以後の実数論 (デデキント、カントール) の課題となった。
- 187 :132人目の素数さん:2021/07/25(日) 21:28:52.52 ID:0rv1EuHc.net
- コーシーの収束判定法を仮定しない解析学も可能だろうけど、
諸定理の大半が潰れるから砂漠みたいになる…
クロネッカーもそこまではしてないと。
- 188 :132人目の素数さん:2021/07/30(金) 07:16:56.81 ID:oWjQc2j0.net
- >>182
e^z「0はいらん」 (ピカール)
むむむ、仲わるそう…
- 189 :132人目の素数さん:2021/09/15(水) 20:07:22.98 ID:UyKWpegQ.net
- >>182
解析的に定義された数 というのは
・「切断」や「基本列」を用いて存在が保証された数
・それを用いて定義された数
かな。これらが超越数になるのか。
(切断公理などを否定すると消える…)
- 190 :132人目の素数さん:2021/10/27(水) 05:24:44.61 ID:eJfqHHEu.net
- (7)
こうして自然を数によって尽くそうとするピタゴラスの企ては終わった。
超越数の発見、その範囲において、品種において、代数の無理数よりも
豊富であること、超越数は近代数学の最も基本的な量を含んでいること、
このことは代数学という有力な機関も、有理数の数論のように有限算法
しか扱かわないところに不十分な点がある。
- 191 :132人目の素数さん:2021/10/27(水) 05:52:20.89 ID:eJfqHHEu.net
- しかし無限算法を正当と認めること、これら不思議なものを
有理数の算法と対等に認めることは、19世紀の厳格主義者にとっては、
ギリシアの厳格主義者にとってと同様に、嫌悪すべきものであった。
そのうち一段と声をあげたのは近代直観主義の父、レオポルト・
クロネッケルである。
彼は紛争の種を無理数の導入にあるとして、数学から無理数を追放
しようとした。
整数の絶対的本性を宣言して、自然数域と直接それに引き直される
有理数域とを 数学を建設するただ一つの地盤であると主張した。
「整数は神様がお作りになったもので、その他は人間わざである」
というのは彼の有名な文句である。
しかし時代は個人にかかわりなく進んだ。
デーデキント 著「数について」岩波文庫(青924-1) ☆☆ (1961)
解説 (河野伊三郎) p.160
- 192 :132人目の素数さん:2022/10/13(木) 07:29:53.07 ID:gg4UHjrS.net
- たぶんカントールの対角線論法は選択公理を(密輸して)使っていると思うね。
実数の集合は無限集合だが、それが可算であると仮定して
実数のそれぞれに固有の自然数の番号を割り付けて、とやるのだが。
無限集合の場合にそれが可算であるからといって、各要素に対して
自然数の番号を割り付ける操作をいったいどうやって構成するのか
は具体的には与えられず、そのような割り付け方が「存在する」
といって先に進んで矛盾をしめしているが、そのような割り付け方の
「存在」が仮定できるところに、選択公理を密輸してはいないだろうか?
- 193 :132人目の素数さん:2022/10/13(木) 12:27:58.94 ID:fL/YwQ6V.net
- >>192
それはどちらかというと背理法に対する懐疑ですね
- 194 :132人目の素数さん:2022/10/13(木) 18:28:39.49 ID:gg4UHjrS.net
- たとえば、矛盾を出そうとして自然数と実数の対応表というものを作ることを
考える。1つずつコツコツと新しい実数を対応表に登録していくとする。
(つまり一辺にすべての実数を対応表に登録することまではしない)。
すると、どの段階においても、決して矛盾は起きないのだ。
(有限個の表ができているだけだから当然といえば当然だから)。
そうして、表が有限段階に収まるかぎりは、対角線論法は意味を持たない。
いったいどうやって、無限集合のすべての要素を対応付け作業が
できるというのか。それをするのが、絵空事である選択公理だと思う。
数学的帰納法も自然数と対応させた手順になっていて、すべての自然数を
作りあげていく過程を示しているが、有限の段階ではそこまでの自然数
が現れるだけで、それを延々と永久に続けていても常に自然数全体は
得られないでそこまでの自然数が得られる。ただし限りがなく作り出されて
いくから、そのようなもの全部を含めた集合というものを考えることに
するならば、自然数の集合というものが出来ることになる。
任意にその集合の要素nをとってくれば、0から始めてペアノの公理に
基づいて1ずつ上昇していけば有限回の操作でnにたどり着く。
これは具体的な手順を示しているから選択公理は関係ないのだろう。
- 195 :132人目の素数さん:2022/10/13(木) 18:32:45.66 ID:HnRC5ifv.net
- 私は馬鹿を相手に真面目に答えてしまったようだ
失敗、失敗。
- 196 :132人目の素数さん:2022/10/17(月) 11:49:23.61 ID:M341Q52x.net
- 計算可能な実数全体の集合は可算の濃度を持つ。
- 197 :132人目の素数さん:2022/12/15(木) 18:45:03.88 ID:j/qjOTBM.net
- カントールの議論は、まず実数の集合というものがあるということを
暗黙の仮定として開始しているが、もしも実数の集合というものが
実は最初から存在していなければ、論理は空虚になり、証明は崩れる。
よって、まずは実数の集合というものの存在とそれの満たすべき
性質を示す必用があるだろう。
- 198 :132人目の素数さん:2022/12/15(木) 19:04:09.48 ID:5UcghKee.net
- >>197
公理的集合論を勉強してください
- 199 :132人目の素数さん:2022/12/15(木) 22:02:08.81 ID:itdNU1//.net
- その前に日本語の勉強をするべきだろう
- 200 :132人目の素数さん:2022/12/19(月) 13:53:11.69 ID:xV+uVY6n.net
- 直感的に不加算だとうけど、カントール対角線論法は2^nをnと同列に扱ってるのは腑に落ちない。(「数学の無限」)
自然界は連続体だとしたら連続体仮設も検証しやすいかも。プランク長は最小単位とは限らないし
仮に最小単位としても数学的連続体は考えられるが現実自然界で実在すれば、わかりやすい。
あとカントールは平面幾何でも定理残してたんだな。
- 201 :132人目の素数さん:2022/12/19(月) 14:17:17.23 ID:Osg0aEK1.net
- 選択公理選択公理ってうるせーぞ
対角線論法の少数は選択関数を任意に取って整列してるから選択公理も整列可能定理も要らねーよ
- 202 :132人目の素数さん:2022/12/19(月) 14:18:52.50 ID:Osg0aEK1.net
- 言葉全然足りんかった
可算集合と非加算集合の濃度が違うことの証明
- 203 :132人目の素数さん:2022/12/21(水) 13:27:11.45 ID:4unmNvFC.net
- 正方行列でもないのに対角線論法を使うのはおかしいと思ったが(数学の無限・カントールを超えて)
2^nや10^nの冪を持ち出すと、陰には超越数たるネイピア数eが隠れているから、代数的数と濃度が同じではない、ということかな。
- 204 :132人目の素数さん:2022/12/22(木) 00:16:44.53 ID:zwQNq/Yd.net
- https://i.imgur.com/UahslXr.jpg
https://i.imgur.com/L0osfLj.jpg
https://i.imgur.com/2Mgm1bB.jpg
https://i.imgur.com/lRup8wR.jpg
https://i.imgur.com/7icPiD9.jpg
https://i.imgur.com/OAAgDqm.jpg
https://i.imgur.com/auJnqc8.jpg
https://i.imgur.com/JChAlVP.jpg
https://i.imgur.com/m3W8NXT.jpg
https://i.imgur.com/nwkBJMH.jpg
https://i.imgur.com/EYjaOjU.jpg
https://i.imgur.com/C22vEtO.jpg
- 205 :132人目の素数さん:2022/12/22(木) 03:53:55.05 ID:o2STx9rz.net
- 構成可能な実数は、その構成法を指定する算法と対応して可付番であるから、
そのような構成可能な実数であって0と1の区間にあるものの小数表現を
表にして並べ、その対角線に並んでいる数字とは異なる数字を選んで並べた
小数表現の実数xが表に現れていないと主張するときに、
その実数xは「可付番の実数で0と1の区間にあるものの小数展開を
番号に沿ってならべて対角線に並べて一致しない数字を並べて作る」
という「構成法」で作った数であるから、表に現れているはずなのだが、
それが表に抜けているというのは、どこがおかしいのだろうか?
- 206 :132人目の素数さん:2022/12/22(木) 12:34:41.13 ID:UQzo4fZ+.net
- >>205
「可付番の実数で0と1の区間にあるものの小数展開を番号に沿ってならべて対角線に並べて一致しない数字を並べて作る」という「構成法」
それが構成的でないというのが味噌ですね
- 207 :132人目の素数さん:2022/12/22(木) 14:07:25.37 ID:QA1SYBuC.net
- >>206
対角線論法のおかしな点はまさにそこ。
(発散の少ない)2進法で3桁までなら2^3で8個の小数点表示がある。
これに対角線論を導入すると上から3番目までに発言しない小数を導いたにすぎず、
「存在しない」と主張する小数は4〜8番目に存在する。
正方行列なら対角線論法は成立するがn行2^n列長方形行列(nが巨大だとほとんど縦直線)
に適用するのはおかしい。
- 208 :132人目の素数さん:2022/12/22(木) 19:03:15.30 ID:kM5V/yvf.net
- >>207
正方行列とか言い出している時点で馬鹿扱いされる
- 209 :132人目の素数さん:2022/12/23(金) 14:18:49.51 ID:MJ5/prm9.net
- じゃあ、まさかの長方形?
あるいは、三角だったりする?
- 210 :132人目の素数さん:2022/12/25(日) 10:36:40.13 ID:sFYqOF1a.net
- 構成可能な実数の集合をR^{*} としてやれば、R^{*}はRの真部分集合であって
可算な集合になる。
R^{*} に対してカントールの対角線論法を適用すると、矛盾が生じる。
なぜならば、対角線論法は、実数が無限に並んだ表に対して、その
小数点以下の対角線上にある数字を並べて「構成した」数xは
その表には含まれないという。しかし、一方でその数xは
構成的実数を元にして(小数点以下の数字を並べるという操作で)「構成された」
実数だから、それもまた1つのR^{*}の元であるはずなのに、どういうわけか
可算集合であるR^{*}の要素を並べた表には含まれていない、
ということになるのだ。
どこかなにかがおかしいでは無いか?
- 211 :132人目の素数さん:2022/12/25(日) 11:05:12.87 ID:yvz2bvhB.net
- そうか、対角線があるから正方形だね
- 212 :132人目の素数さん:2022/12/26(月) 02:28:50.59 ID:SO0v4DPk.net
- カントールの対角線論法に対する疑念としての追加。
Rを実数の集合とするとき、Rの部分集合として(0,1)区間のものを
とってきて、それが可算であると仮定して, r_1, r_2, r_3, .... と並べる
ことができたとする。しかし、各実数r_kを小数展開したとして、
などとさらっと述べているが、どんな実数も小数展開
(小数点以下の任意の桁の数字)を与えることが出来るかどうかは怪しい気がする。
つまり、小数展開を与えれば実数が定まるというのは良いが、
その逆ははたして常に成立するのだろうか?
構成可能な実数に限定すればそのことは真なのだが。
表に出てくる実数r_kのそれぞれについて、小数点以下第k桁目の数字を集めて
実数xの小数表現を作るという作業の際に、r_kの第k桁目の数字を取り出す
方法がなければ、実数xを作れない(構成できない)だろう。
実数xが作れないとなると、対角線論法による背理法の矛盾にまで到達しない
ことになる。
- 213 :132人目の素数さん:2022/12/26(月) 23:47:41.63 ID:SO0v4DPk.net
- たとえば、実数sとして、たとえばその二進展開を
sの小数点以下第k桁目がkが素数なら1、合成数なら0というルールで決めれば、
任意の第k桁目が0か1かはまあ原理的には有限の手間で求まる。
しかし、sの第k桁目がゲーデル数がkに対応する命題が真なら1、偽なら0という
ルールで決めたときには、そのような実数sの小数点以下第k桁目の数は
確定しているはずだとはいえども、それを求める手段を構成できないので、
sの第k桁目を求められないから、対角線論法を実際に行って
対角線上に並んだ数字と一致しない数字を並べた小数展開の実数aを作る、
と述べているステップが実行不能になるはずだ。
- 214 :132人目の素数さん:2022/12/26(月) 23:56:17.51 ID:HkZ4QHvB.net
- 計算量の話と対角線論法は別の話
- 215 :132人目の素数さん:2022/12/27(火) 02:39:15.77 ID:1pC7mOOV.net
- >> 212
実数を無限の長さまで小数展開してから対角線論法に持っていくのが原因なので
小数展開は有限な桁数までしか行わないようにすればいいのです。
例えば
命題) 以下の(1) - (3) を認めれば、実数全体の集合は可算(可付番) な集合ではない。
(1) 実数全体集合には、通常の大小関係が定義される。
(2) 整数は10進展開可能
(3) カントールの区間縮小法は成立する。
補題 任意の実数αと任意の正整数 k に対して、α を小数第 k 位まで表現することができる。
補題の証明は略
命題の証明
実数全体の集合が可算(可付番) な集合と仮定して矛盾を導く。
実数全体の集合が可算なので、α_1, α_2, ... と並べることができる。
b_0 を 0 として、任意の正整数 k に対して、
b_k を以下のように定める。
・ α_k の小数第 k 桁目の値が 9 と異なっていれば、b_k = 1, 9 と等しいならば b_k = 2とする。
β_k = b_0 . b_1 ・・・ b_k とおき、区間 I_k = [β_k, β_k + 10^k] とおけば、
I_1 ⊃ I_2 ⊃ ・・・
かつ
|I_k| -> 0 (k->∞)
なので、(3) のカントールの区間縮小法より、
ある実数βがただ一つ決まり、任意のk に対して、β∈ I_k。
βは実数なので、β = α_N となる正整数 N が存在する。
ここでα_N とβの小数第 N 位の値をそれぞれ a_N, b_N とすると、
b_N の定義より a_N と b_N は異なる。
さて、a_0 と b_0, a_1 と b_1, ..., a_N と b_N を比較して、
a_0 = b_0, ..., a_{k-1} = b_{k-1}, a_k != b_k とする。
a_N と b_N は異なるので、必ず k は存在する。
もし、a_k > b_k ならば
b_0 . b_1 b_2 ・・・ b_{k-1} b_k <= β < b_0 . b_1 b_2 ・・・ b_{k-1} a_k <= α_N
となって、α_N = β に反する。
同様にして b_k > a_k の場合も矛盾となる。
以上のことから、実数全体の集合は可算(可付番) な集合ではない。
- 216 :132人目の素数さん:2022/12/27(火) 07:46:49.94 ID:54Cbbi6K.net
- >補題 任意の実数αと任意の正整数 k に対して、
>α を小数第 k 位まで表現することができる。
任意の実数として、整数部は0で、小数第k桁目が
ゲーデル数kの命題が真なら1、偽なら0である二進展開を持つものを選ぶと、
計算量云々ではなくて、第k桁目を決定できる如何なる「算法」も存在しない。
つまり任意に与えたkに対してそのような実数を小数第k位まで表現することは
構成的には「不可能」なんだよ。カントールの対角論法の証明では、
対角線上の数字を並べて「構成した」実数が表に現れないので矛盾を引き起こす
などといっているが、そのような「構成」をすることはできない。
だからおそらく、選択公理を密輸しているのじゃないかと思うのだよ。
- 217 :132人目の素数さん:2022/12/27(火) 08:38:20.03 ID:LoNJljOz.net
- >>216
もう一度言う
計算量理論と対角線論法は別物だ
- 218 :132人目の素数さん:2022/12/27(火) 10:39:57.65 ID:54Cbbi6K.net
- 計算の量ではない、計算不能(計算するアルゴリズム=手続が存在しない)
といっているのだ。
- 219 :132人目の素数さん:2022/12/27(火) 11:24:54.59 ID:oI4o94U4.net
- その「実数」を使えば「実数」+1も計算できないから足し算もできなくなるな
- 220 :132人目の素数さん:2022/12/27(火) 12:19:17.77 ID:t0ThWf4M.net
- >>218
計算量理論は計算の量の理論ではない
- 221 :132人目の素数さん:2022/12/28(水) 13:47:42.46 ID:N+ICku3d.net
- >>208
それ以前に「2^n行n列」の間違いだった。
正方行列の、いずれの行にも含まれない行ベクトルは対角線論法で求めることができるが、正方行列じゃないからおかしい。
無論、論理学的に「対角線論法はおかしい」=「実数は可算」となるわけではないが。
あと、視点を変えると2^√2のような演算は代数的に閉じていない(超越数)から「冪」であること自体が不加算かもしれん。
- 222 :132人目の素数さん:2022/12/28(水) 14:06:11.57 ID:A4nmu6e9.net
- 正方形じゃないと、長方形だったりすると、対角線がずれるんだよ
- 223 :132人目の素数さん:2022/12/28(水) 14:19:42.42 ID:j/v0ecos.net
- >>221
行列といっている時点でおかしい
線形性は仮定されていない
- 224 :132人目の素数さん:2022/12/28(水) 16:05:08.16 ID:sGlyuMan.net
- 1番目は1じゃない、2番目は2じゃない、…って完全順列を思い出させるな。無論並び替えではないので順列とは違うが、要素がn!個ですら対角線論法はダメダメだ。
- 225 :132人目の素数さん:2022/12/31(土) 19:29:22.76 ID:jrZLF4aQ.net
- カステラ1番、電話は2番、三時のおやつは文明堂♪
- 226 :132人目の素数さん:2023/01/13(金) 11:51:44.49 ID:eAeW6niR.net
- 0.99999…、2進法の0.1111…は無ということだけど、白玉を0、黒玉を1とすると
全部白玉(0.000…=0)は有で全部黒玉(0.1111…、10進でいう0.9999…)はダメという
ことになってしまう。
数直線の1のすぐ左側の数を、超越数0.99999…としてはどうだろうか。1と0.9999…の中間数は当然
存在せず、隙間がないから実数の稠密性が担保できる。
- 227 :132人目の素数さん:2023/01/17(火) 12:35:31.30 ID:U98YHn1v.net
- 電話は1番、カステラ2番、3時のおやつは文明堂♪
と謡って首に
総レス数 227
81 KB
掲示板に戻る
全部
前100
次100
最新50
read.cgi ver 2014.07.20.01.SC 2014/07/20 D ★