19/06/10 22:41:37.91 NUzKSRzn.net
ＰＤＦ 「数学者は無限をどのように捉えてきたか」河野 俊丈
高校生向けか、大学教養の一コマか、はたまた、一般市民向けか、よくわからなかったが、取りあえず貼る（＾＾；
URLﾘﾝｸ(www.ms.u-tokyo.ac.jp)
数学者は無限をどのように捉えてきたか
河野 俊丈
東京大学大学院数理科学研究科
URLﾘﾝｸ(www.ms.u-tokyo.ac.jp)
東京大学大学院数理科学研究科 河野俊丈
652:１３２人目の素数さん
19/06/10 23:47:58.17 L3FJvBM3.net
工学部はむげんをどのようにかんちがいしてきたか
653:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/11 00:15:07.27 qGy+Mtwk.net
>>605
古代ギリシャ人は、幾何学を通じて無限の概念に到達していたと思われる
１）例えば、直線は、端点を持つ線（現代用語では「線分」）ではない。
「有限直線を連続して1直線に延長すること」が、公準として要請されている
「平行線とは、同一の平面上にあって、両方向に限りなく延長しても、いずれの方向においても互いに交わらない直線である」
これらより、直線は無限に伸びる線と、ギリシャ人は規定している
２）円錐曲線論では、「双方に無限に伸びた直円錐」の断面から、円錐曲線論をアポロニウスが著書にしている
古代ギリシャでは、幾何と数論は別ものだったという話しもあるので、自然数が何個だとは考えなかったかもしれない
しかし、デカルト座標以降、直線に整数目盛りをした数直線を考えると、直線が無限なら、目盛りも無限ということになる（＾＾；
なお、古代ギリシャでは、時間も無限だと考えていたようです
(>>338より）
参考
URLﾘﾝｸ(www.qmss.jp)
ユークリッド『幾何学原論』
定義
2 線とは、幅のない長さである。
3 線の端は点である。
4 直線とは、その上にある点について、一様に横たわる線である。
23 平行線とは、同一の平面上にあって、両方向に限りなく延長しても、いずれの方向においても互いに交わらない直線である。
公準（要請）
つぎのことが要請されているとせよ。
2 有限直線を連続して1直線に延長すること。
URLﾘﾝｸ(kotobank.jp)
コトバンク
大辞林 第三版の解説
円錐曲線
双方に無限に伸びた直円錐の円錐面を頂点を通らない平面で切ったときできる切り口の曲線。切る平面の傾きによって円・楕円・放物線・双曲線が得られる。これらの曲線はいずれも二変数の二次方程式と対応させられるので、円錐曲線はまた二次曲線ともいう。
URLﾘﾝｸ(ja.wikipedia.org)
円錐曲線
古代ギリシャのアポロニウスが円錐曲線論の体系を著書にまとめ、中世ヨーロッパではケプラーによって天体の軌道との関連が見出された。
またアポロニウスによる総合幾何学的な円錐曲線論はオイラーによって解析幾何学を用いて現代的に書き換えられた。
654:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/11 00:19:29.35 qGy+Mtwk.net
>>607
工学では、無限は便利に使える道具です
哲学的に考えるものにあらずです（＾＾；
まあ、場の量子論の繰り込み理論みたいなものですよ
URLﾘﾝｸ(ja.wikipedia.org)
繰り込み（くりこみ）とは、場の量子論で使われる、計算結果が無限大に発散してしまうのを防ぐ数学的な技法であり、同時に場の量子論が満たすべき最重要な原理のひとつでもある。
655:１３２人目の素数さん
19/06/11 00:27:08.50 XteiuJF2.net
>>601
>無限集合なんて存在しない（笑
では自然数の個数を答えて下さい
656:１３２人目の素数さん
19/06/11 00:34:02.08 XteiuJF2.net
>>556に答えられないところを見るとお前ホントに分かってないんだな
もう国語ですらなく病気レベルだよそれ
今すぐスレ閉じて病院池よキチガイ
657:１３２人目の素数さん
19/06/11 02:15:12.50 StAcTMKB.net
おっちゃんです。
>>595
微分積分から pdf を使っていたら、内容は身に付かない。
多分その pdf は大学の講義に合わせて書かれたようなモノだろう。
>>596
私が読んだかなり以前に書かれた連分数の洋書は、その pdf の参考文献に挙がっていなかった。
658:１３２人目の素数さん
19/06/11 02:54:54.77 StAcTMKB.net
>>596
まあ、解析系の研究者の下で連分数の卒業研究を書くことも十分あり得ると思う。
何ら不思議な話ではない。
659:１３２人目の素数さん
19/06/11 07:05:32.09 U3DFacTm.net
>>601
>実数とは有理数と無理数のことである
哀れな素人氏のいう無理数の定義が不明
有理数（整数の比）でない、というだけでは
なぜそれが数なのか明らかでない
660:１３２人目の素数さん
19/06/11 07:07:20.32 U3DFacTm.net
>>604
＞可算無限とか可能無限とは結局は有限のことである
可算無限は可能無限とは違うよ
可算無限は実無限であって、有限ではない
ここ、間違えたら恥かくよ
661:１３２人目の素数さん
19/06/11 07:08:44.00 U3DFacTm.net
>>609
＞工学では、無限は便利に使える道具です
スレ主は道具の使い方を間違えてる
662:１３２人目の素数さん
19/06/11 07:14:19.86 U3DFacTm.net
>>609
＞場の量子論の繰り込み理論みたいなもの
理解もしてないものを理解したかの如く語るのがスレ主の悪い癖
663:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/11 07:25:21.71 qGy+Mtwk.net
>>612
＞微分積分から pdf を使っていたら、内容は身に付かない。
（>>595）
URLﾘﾝｸ(genkuroki.github.io)
微分積分学のノート 微分積分学 黒木玄
の冒頭に
”このファイルは Julia Box (URLﾘﾝｸ(juliabox.com)<))をインストールしたい場合には・・”
とあるので、黒木玄さんの意図は、Julia言語というプログラミングを使って、数値計算と平行して解析を学ぼうということでしょうね（＾＾
それに、”pdf を使っていたら、内容は身に付かない”というけれど、印刷して製本するという手段もあるし
いまどき、pdfだからどうのこうのという意図がわからん。pdfを拒否したら、21世紀の数学はできないよ
664:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/11 07:33:59.41 qGy+Mtwk.net
>>611
サイコパスピエロちゃん、夜遅くまでご苦労ｗ（＾＾
（>>583より）
(引用開始)
定理定理ね、教えてはやらん（＾＾
ID:JLEbmgN7さん（>>514）、見てお分かりと思うが
（>>520に）示した判例が、
”どの定理と矛盾するのか具体的に言って”（>>527）
だってさ
これでは理系とはいえんよね（＾＾
関数関係で、藤田博司先生PDFを>>357で引用して示しているのにね
まあ、PDFなんか見ないでも、わからんといかんよね
すうがくの”す”が分ってないレベルだわｗ（＾＾
(引用終わり)
教えてはやらんが、ヒント
ヒント１）藤田博司先生PDF >>357 ”ディリクレ：対応としての関数”
ヒント２）定理以前の話
すうがくの”す”が分ってないレベルだわｗ（＾＾
665:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/11 07:46:28.94 qGy+Mtwk.net
>>608
そう言えば、ユークリッド『幾何学原論』は、実は『原論』であって、幾何以外も扱っていたことを思い出した（＾＾；
数論で、”素数が無数に存在することの証明”というのがあったね（下記）
”素数が無数に存在することの証明”→”自然数が無限に存在する”が言えるだろう
これ自明だから、ユークリッド『原論』では言及していない気がする（聞いたことがないので（＾＾ ）
URLﾘﾝｸ(ja.wikipedia.org)
素数が無数に存在することの証明
(抜粋)
素数が無数に存在することの証明は、古くは紀元前3世紀頃のユークリッドの『原論』に記され、その後も多くの証明が与えられている。素数が無数に存在することは、しばしばユークリッドの定理（英: Eucli
666:d's theorem）と呼ばれる。 目次 1 ユークリッド 2 ゴールドバッハ 3 オイラー 4 エルデシュ 5 フュルステンベルグ 6 π が無理数であることを使った証明 7 サイダック ユークリッド 『原論』第9巻命題20[1]で、素数が無数に存在することが示されている。その証明は、次の通りである[2]。 a, b, …, k を任意に与えられた素数のリストとする。 その最小公倍数 P := a × b × ? × k に 1 を加えた数 P + 1 は、素数であるか、合成数かのいずれかである。 素数であれば、最初のリストに含まれない素数が得られたことになる。 素数でなければ、何らかの素数 p で割り切れるが、p はやはり最初のリストに含まれない。 なぜならば、リスト中の素数は P を割り切るので、P + 1 を割り切ることは不可能だからである。 任意の素数のリストから、リストに含まれない新たな素数が得られるので、素数は無数に存在する。 (引用終り)
667:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/11 07:52:05.45 qGy+Mtwk.net
>>620 文字化け訂正＆補足
（訂正）
”その最小公倍数 P := a × b × ? × k に 1 を加えた数 P + 1 は”
↓
”その最小公倍数 P := a × b ×・・・ × k に 1 を加えた数 P + 1 は”
（補足）
ここ、ペアノの公理を使っているね（＾＾
明言していないが
668:哀れな素人
19/06/11 07:58:22.35 ylfB6H+T.net
>>608
お前が依然として何も理解していないことが明白だ（笑
無限という概念をギリシャ人が持っていたことなど当り前だ（笑
しかしその無限は、お前が思っているような実無限ではないのだ（笑
現代数学が可算無限、可能無限と呼んでいるものなのである（笑
実無限などという概念を知ったら
ギリシャ人は失笑するだろう（笑
669:哀れな素人
19/06/11 08:04:26.28 ylfB6H+T.net
>>615
珍レス乙（笑
だから有限個である（笑
お前らは僕が何を言っているか全然分っていない（笑
自然数はいくらでも増やすことができるが、
どんなに増やしても有限個なのである（笑
670:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/11 08:12:55.44 qGy+Mtwk.net
>>618 補足
（>>595） で、”3.π と e とEuler定数 γ”を強調したつもりだったのだがね（＾＾
URLﾘﾝｸ(genkuroki.github.io)
微分積分学のノート 微分積分学
黒木玄
3.π と e とEuler定数 γ
URLﾘﾝｸ(genkuroki.github.io)'s%20%CE%B3.pdf
4 Euler定数
4.1 Euler定数の定義
4.2 条件収束交代級数への応用
4.3 Euler定数がガンマ函数の無限積表示に出て来ること
4.4 Euler定数が高次元単体上の一様分布に関連して自然に出て来ること
4.5 ζ(s) - 1/(s-1) の s→0 での極限がEuler定数に等しいこと
671:哀れな素人
19/06/11 08:20:27.65 ylfB6H+T.net
>>614
珍レス乙（笑
無理数とは整数比をもたない数のことである（笑
これが無理数の定義であって、
無理数を数として認めることは、ギリシャ時代はいざ知らず、
現代では最初から前提として承認されている（笑
もしそれが不満なら、無理数が数であることを証明せよ、
と数学界に文句を言ってくれ（笑
>>615
可算無限＝可能無限
非可算無限＝実無限
ではないのか（笑
少なくとも僕はそのように理解している（笑
尤も僕は現代数学のこんな用語を知りたいとは思っていない（笑
とにかく非可算無限＝実無限などというものはない（笑
672:哀れな素人
19/06/11 08:29:33.27 ylfB6H+T.net
>>610のようなレスを見ると、このスレの連中は
可算無限とか可能無限と呼ばれているものは、
結局は有限と同じことである、
ということすら理解していないことが分る（笑
以前からずっとそうだった（笑
>>615の男もそうだ（笑
可算無限とは結局は有限のことだ、
ということが分っていない（笑
だから可算無限とは実無限のことだ、
などというアホなことを書く（笑
間違えて恥をかいているのはお前だ（笑
673:１３２人目の素数さん
19/06/11 08:32:59.10 b/lMJcFU.net
とんでもがつどうスレ、類友
674:哀れな素人
19/06/11 08:36:02.33 ylfB6H+T.net
このスレの連中は、非常に単純なことが理解できない（笑
ケーキを食べ尽くすことはできない。
1/2+1/4＋1/8……は１にならない。
0.99999……は１ではない。
自然数はどんなに増やしても有限個しかない。
線は点の集合ではない。
こういう単純なこと、基礎的なこと、がまったく理解できていない（笑
スレ主も一石も、その他全員も（笑
675:１３２人目の素数さん
19/06/11 08:37:35.43 XteiuJF2.net
>>619
こいつやっぱり分かってなかった
もはや国語ですらなく脳の障害レベルの間違いなのにｗ
いいから病院池よキチガイ
676:哀れな素人
19/06/11 08:40:56.43 ylfB6H+T.net
>>627
こういう一行横チャリを書いている奴は
例外なくアホである（笑
このアホも僕が言っていることはトンデモだと思っているのだ（笑
たぶん昨日の一行横チャリ馬鹿だろう（笑
数学的な議論ができないから、
こういう一行横チャリを書くのだ（笑
677:１３２人目の素数さん
19/06/11 08:48:25.85 Ml8kyv2s.net
>僕が言っていることはトンデモだと思っているのだ（笑
典型的なトンデモ。「マチガッテル系」の類型ですな。
参考url ↓
URLﾘﾝｸ(taurus.ics.nara-wu.ac.jp)
678:１３２人目の素数さん
19/06/11 08:50:29.30 XteiuJF2.net
>>630
数学の議論がしたいなら何で>>610を無視する？
679:哀れな素人
19/06/11 08:52:18.18 ylfB6H+T.net
>>631
だから「マチガッテル系」だと思っているお前がアホなのである（笑
ここの連中は全員アホだから、僕が間違っている、と思っている（笑
680:哀れな素人
19/06/11 08:55:48.85 ylfB6H+T.net
>>632
>>623を読め（笑
>>610と>>615を間違えた（笑
自然数はどんなに増やしても有限個しかないのである（笑
681:哀れな素人
19/06/11 09:01:00.04 ylfB6H+T.net
ここの連中は小児じみたアホ揃いだから説明してやると、
自然数は有限個である、という意味は、
たとえば自然数は１００で終りだ、
というような意味ではない（笑
自然数はいくらでもあるのだ（笑
それこそ無限にある（笑
しかし無限にあるが、有限個しかないのである（笑
分るか？（笑
これが分ればひとつ賢くなったといえる（笑
682:１３２人目の素数さん
19/06/11 09:05:55.66 StAcTMKB.net
>>618
>数値計算と平行して解析を学ぼうということでしょうね（＾＾
微分積分からそのようなことをするという話は聞いたことない。そもそも、著者自身が pdf で
>論理的に完璧な説明をするつもりはない. 細部のいい加減な部分は自分で訂正・修正せよ
と書いている。その pdf では図を用いながら数値計算のプログラムと一緒に微分積分を説明している。
その pdf は、微分積分を分かり易く説明したいのか数値計算をしたいのか、
一体何をしたいのかがよく分からない構成になっている。
683:１３２人目の素数さん
19/06/11 09:06:58.32 Ml8kyv2s.net
こいつの賢いの定義=腐った俺様爺頭に近づくことｗ
684:哀れな素人
19/06/11 09:07:48.54 ylfB6H+T.net
自然数だけではないぞ（笑
有理数にしても無理数にしても実数にしても、
無限にあるが有限個しかないのである（笑
これが分ればすべてが分る（笑
今から読書するので、ここで中断（笑
685:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/11 10:14:45.83 N8E2AQ1D.net
>>622
哀れな素人さん
どうもスレ主です。
＞現代数学が可算無限、可能無限と呼んでいるものなのである（笑
可算無限と可能無限とは、大分違うけど
なお、21世紀の現代数学では、”可能無限”という用語は使わない
しいて言えば、sup（上限）とmaxみたいな使い分けだろうか
例えば 数列 an=n∈N（自然数） で、 maxは存在しないが、sup（上限）は（無限大をとることを許せば）必ず存在する（下記）
URLﾘﾝｸ(mathtrain.jp)
高校数学の美しい物語
sup（上限）とinfの意味，maxとの違い 最終更新:2016/05/18
(抜粋)
日本語で言うと「上界の最小値」です。
supはmaxの一般化
supは常に存在する
URLﾘﾝｸ(ja.wikipedia.org)
上極限と下極限
(抜粋)
性質
数列 (an) の上極限と下極限は（無限大をとることを許せば）必ず存在する。
これは極限値が存在するかどうか分からないのと対照的である。
(引用終わり)
>実無限などという概念を知ったら
>ギリシャ人は失笑するだろう（笑
古代ギリシャ人なら、
実無限という概念を知ったら
理解を示すと思うよ
686:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/11 10:23:03.36 N8E2AQ1D.net
>>636
>その pdf では図を用いながら数値計算のプログラムと一緒に微分積分を説明している。
>その pdf は、微分積分を分かり易く説明したいのか数値計算をしたいのか、
>一体何をしたいのかがよく分からない構成になっている。
黒木玄が書いているのは、
Julia言語 (URLﾘﾝｸ(julialang.org))などを使った
実際に使える「微分積分」
別の言葉で言えば、コンピュータを動かす「微分積分」でしょう
おっちゃんみたいに、平方根の開平を手計算でやるのを趣味にしている人には
このセンス分からんかもね（＾＾
687:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/11 10:35:09.55 N8E2AQ1D.net
>>629
>もはや国語ですらなく脳の障害レベルの間違いなのにｗ
そっくりお返しするわｗ（＾＾
あんたの言葉をｗ
ヒント１）藤田博司先生PDF >>357 ”ディリクレ：対応としての関数”
↓
ヒント１）藤田博司先生PDF >>357 ”ディリクレ：対応としての関数”＋”リーマン：任意の関数を積分するとは”
（ヒント２）定理以前の話）
すうがくの”す”が分ってないレベルだわｗ（＾＾
（>>520より）再録
＜時枝記事の解法抽象
688:化版＞ １）可算無限数列ｓ （s = (s1，s2，s3 ，・・・) で、数s1たちが箱に入っているとする （数学的には余計だが、時枝とのつなぎのために）） ２）ある番号から先のしっぽが一致する同値類を考える ３）ある有限の数Dを何らかの方法で決める（ここを抽象化している（＾＾ ） ４）(D+1) 番目から先の箱だけを開ける（数学的には、「情報を得る」ないし単に「知る」としても意味同じ） ５）同値類の代表の数列のD番目の数と、問題の数列のD番目の数が一致する確率1-ε （ここに、εはいくらでも小さくできる） となる 有限の数Dを決める方法は、時枝記事の通りでもいいし、別の方法でもいい。 選択公理を使っても使わなくてもいい。 但し、数学的に正当化できる手段でなくてはならない（例：こっそり箱を覗くなどはダメです） （反例の存在） もし、上記の＜時枝記事の解法抽象化版＞（ここに時枝記事も含まれる）が正しいとすると これに対する反例は、一般数学の中にいくらでも存在する（可算無限数列が取れさえすれば良いのだから（＾＾ ） 例えば、関数値の数列の数当て（>>193&>>197） (引用終わり)
689:哀れな素人
19/06/11 10:39:34.63 ylfB6H+T.net
>>637
お前のそういうレスそのもので、
お前のアホさと品性の下劣さが分る（笑
>>839
可算無限と可能無限はどう違うのか、説明してくれ（笑
ギリシャ人が実無限などという概念を知ったら
抱腹絶倒すること間違い茄子（笑
お前にしてもここの連中にしても、
とにかく一度アリストテレス「形而上学」を読め（笑
お前らが実無限などというアホ概念を信じていること、
そこにお前らの間違いがあるのだと、
何度説明してもお前らは理解しない（笑
690:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/11 10:44:28.23 N8E2AQ1D.net
>>639
>古代ギリシャ人なら、
>実無限という概念を知ったら
>理解を示すと思うよ
現代数学では、無限小と無限大とは、双対でね（＾＾
少なくとも、シラクサのアルキメデスは、理解するんじゃないですかね（＾＾；
”無限個の無限小を足し合わせることで積分が与えられる”という話し（下記）
URLﾘﾝｸ(ja.wikipedia.org)
無限小
(抜粋)
数学における無限小（むげんしょう、英: infinitesimal）は、測ることができないほど極めて小さい「もの」である。
無限小に関して実証的に観察されることは、それらが定量的にいくら小さかろうと、角度や傾きといったある種の性質はそのまま有効であることである[1]。
術語 "infinitesimal" は、17世紀の造語 拉: infinitesimus（もともとは列の「無限番目」の項を意味する言葉）に由来し、
これを導入したのは恐らく1670年ごろ、メルカトルかライプニッツである[2]。
無限小はライプニッツが連続の法則（英語版）や同質性の超限法則（英語版）などをもとに展開した無限小解析における基本的な材料である。
よくある言い方では、無限小対象とは「可能な如何なる測度よりも小さいが零でない対象である」とか「如何なる適当な意味においても零と区別することができないほど極めて小さい」などと説明される。
故に形容（動）詞的に「無限小」を用いるときには、それは「極めて小さい」という意味である。
このような量が意味を持たせるために、通常は同じ文脈における他の無限小対象と比較をすること（例えば微分商）が求められる。
無限個の無限小を足し合わせることで積分が与えられる。
シラクサのアルキメデスは、自身の著書 The Method of Mechanical Theorems（英語版）（『方法』）において不可分の方法と呼ばれる手法を応分に用いて領域の面積や立
691:体の体積を求めた[3]。 正式に出版された論文では、アルキメデスは同じ問題を取り尽くし法を用いて証明している。 (引用終わり)
692:１３２人目の素数さん
19/06/11 10:44:45.88 Ml8kyv2s.net
>>642
だからおまえ典型的なマチガッテル系じゃんｗ
>ある学問分野について、ある時点で誤った方向に進み始め
>現在はまったく出鱈目なものになっていると主張する人を
>マチガッテル系と定義します。
693:哀れな素人
19/06/11 10:52:48.41 ylfB6H+T.net
>>644
典型的なマチガッテル系がお前（笑
こんな時間に投稿しているとは、お前は一石か（笑
さて>>644のようなおバカはほっとくとして
URLﾘﾝｸ(oshiete.goo.ne.jp)
No5で、加算無限は誤字です。可算無限として、読んでください。
No.5
有限の操作でえられるものの集まりが、可能無限。加算無限にあたりますから
可能無限は加算無限集合ですから
↑そら見ろ、可能無限は可算無限だと書かれているぞ（笑
>>615の男もスレ主も、可能無限と可算無限は違うと書いているが（笑
694:哀れな素人
19/06/11 10:58:02.05 ylfB6H+T.net
こうして見ると、理系のお前らでさえ、
可能無限は可算無限だと考えている者と
可能無限と可算無限は違うと考えている者がいることが分る（笑
要するに理系のお前らでさえ、
現代数学の概念を正しく理解していないことが分る（笑
正しい理解のないまま、延々と、
たとえば時枝問題について議論している（笑
695:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/11 11:06:52.19 N8E2AQ1D.net
>>642
＞可算無限と可能無限はどう違うのか、説明してくれ（笑
まず、シラクサのアルキメデス >>643をご参照
あと、可算無限を理解するには、下記の藤田博司
「運動の数学的記述に連続体が必要不可欠」
で、これと対（連続体と）になる概念です
可能無限は、哲学用語ですね
21世紀の数学では使いません（＾＾
下記数学屋のメガネご参照
（>>350より）
URLﾘﾝｸ(bookmeter.com)
読書メーター
魅了する無限―アキレスは本当にカメに追いついたのか
藤田博司 著
技術評論社 2009年2月
無限の不思議を数学好きの一般読者に語ります。アキレスとカメのパラドックスを題材として、運動の数学的記述に連続体が必要不可欠であることを説明しています。
ネタバレ数学の無限の見方、考え方を教えてくれる本。全部理解できたとは言えないのだけど、無限を説明しようとしてきた過去の数学者の思考の一端に触れられて面白かった。そしてゼノンのパラドックス。アキレスはカメに追いつけるはずなんだけどなあ。
(引用終わり)
URLﾘﾝｸ(blog.livedoor.jp)
数学屋のメガネ
数理論理学を勉強してきました。そのメガネで世界を眺めてみたいと思います。
2006年03月03日
実無限と可能無限
(抜粋)
野矢茂樹さんの『無限論の教室』（講談社現代新書）では、実無限と可能無限が中心的な話題となっている。野矢さんの分身のようなタジマ先生は、実無限に懐疑的で、無限の概念としては可能無限だけを認めるべきだと主張している。
実無限というのは、無限の対象の全体性を把握して、無限が実際に存在しているとする立場だ。可能無限というのは、無限を把握出来るのは、限りがないということを確認する操作が存在していることだけで、無限全体というのは認識出来ないとする立場だ。
実無限を認めないという立場は、それなりに納得出来るものだ。無限という言葉で呼んではいても、その細部にわたってそれが分かっていないとき、それを果たして「無限」という言葉で呼んでいいものかどうかに疑問を持つというのは正当な疑問のように思える。
よく分かっていないものに対して「無限」という判断をするのは、単に名前を付けているだけのような気もする。
(引用終わり)
696:哀れな素人
19/06/11 11:15:15.20 ylfB6H+T.net
>>647
�
697:｢や、お前の言葉で説明してくれ（笑 コピペはいいかげんにやめろ（笑 お前のアホさを示すだけだ（笑 実際に上で可能無限は可算無限だと考えている者がいる（笑 可能無限は哲学用語で可算無限は数学用語だ、 などという定義もないだろう（笑 お前はコピペばかりで自分で考えない（笑 だからみんなからバカにされるのだ（笑
698:哀れな素人
19/06/11 11:21:25.10 ylfB6H+T.net
ヤフー掲示板で一石と市川氏が論争していたとき、
いつも可能無限という語を使っていたと思う。
数学の問題に関する論争だ。
だからこの二人は可能無限は数学用語だと思っているのだ。
可能無限は哲学用語で可算無限は数学用語だ、
などという世界共通認識などあるとは思えない（笑
とにかくお前はいつもコピペ、コピペ、コピペだ。
だからバカにされるのだ。少しは自分の頭で考えろ。
知識を収集することが学問ではないぞ。
699:哀れな素人
19/06/11 11:25:27.58 ylfB6H+T.net
自然数はいくらでも増やすことができる。
これを可能無限とも言い、可算無限とも言うのである。
自然数だけではない。
有理数も無理数も実数も、みんな自然数と同じだ。
いくらでも増やすことができるのだ。
しかしいくら増やしても有限個のままなのである。
このことをここの連中は理解していないのである。
700:哀れな素人
19/06/11 11:32:37.46 ylfB6H+T.net
もしかしたら可算無限とは
自然数や有理数や無理数のことで、
非可算無限とは実数のことを指しているのかもしれない。
なにしろ現代数学では、実数は線のようにべったり繋がっている、
と考えているからだ（笑
しかし実数は線のように繋がっているわけではない（笑
だから実数も可算無限なのである（笑
701:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/11 12:06:57.34 N8E2AQ1D.net
>>648
>いや、お前の言葉で説明してくれ（笑
別に、同じことでしょ
つーか、自分の言葉といっても、自分が勉強したことを語るだけですから
いわゆる、資格試験用語の「アウトプット」というやつですね（下記）（＾＾
＞コピペはいいかげんにやめろ（笑
＞お前のアホさを示すだけだ（笑
私は全く逆に考えています
こと数学に関しては、自分で考えた数学など、基本的に信用しません
（それ、どこか間違っている（ないし不正確な）可能性ありです。
もし、間違っていないなら、それはすでにどこかに発表されていることに同じでしょう
もし、全く新規で正しい数学を語るなら、それにはこのスレは向きません。どうぞ他所で願います（＾＾ ）
よって、根拠（典拠）なしの記述を、私は信用しませんので、悪しからず（＾＾
>実際に上で可能無限は可算無限だと考えている者がいる（笑
"可能無限は可算無限だと考えている者"は、プロ数学者ではなく、ド素人でしょうね
>可能無限は哲学用語で可算無限は数学用語だ、
>などという定義もないだろう（笑
現在の大学数学のテキストで、「可能無限」を大学の数学として教えるところ皆無でしょう
「可算無限」は、大学数学科では必ず教えますよ（＾＾
（参考）
URLﾘﾝｸ(shuchi.php.co.jp)
PHP online 衆知
資格取得のプロが実践する「最短最速」スピード勉強法
2017年10月31日 公開
高島徹治（資格コンサルタント）
「インプット学習」の見切り方、「アウトプット学習」の回し方
(抜粋)
全体の学習プロセスを練る際には、インプット学習と、アウトプット学習の双方を考慮してください。
インプット学習とは、書籍や参考書から知識を脳に取り入れる（＝インプット）作業を指します。
それに対してアウトプット学習とは、取り入れた知識を吐き出す（＝アウトプット）作業のことです。問題集や過去問題などに取り組み、記憶した知識を答案用紙に書き出していきます。
以上
702:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/11 12:11:39.19 N8E2AQ1D.net
>>649
＞ヤフー掲示板で一石と市川氏が論争していたとき、
一石は、キチガイサイコパスです
＞いつも可能無限という語を使っていたと思う。
まあ、市川氏と数学外の場外乱闘（プロレス用語）でしょうね
＞だからこの二人は可能無限は数学用語だと思っているのだ。
さすがに、ピエロは可能無限は哲学用語と分かっているでしょうね
”哲学用語”と分かっていなければ、”単なる数学落ちこぼれ”というだけのこと
703:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/11 12:16:02.87 N8E2AQ1D.net
>>652
>>652 訂正と補足
＞>実際に上で可能無限は可算無限だと考えている者がいる（笑
＞"可能無限は可算無限だと考えている者"は、プロ数学者ではなく、ド素人でしょうね
ド素人と断定するのは言い過ぎで、ド素人か哲学者でしょう
哲学者が、可能無限を論じるのは、反対しません。そういう議論も必要と思います
本題
>>651
(引用開始)
もしかしたら可算無限とは
自然数や有理数や無理数のことで、
非可算無限とは実数のことを指しているのかもしれない。
なにしろ現代数学では、実数は線のようにべったり繋がっている、
と考えているからだ（笑
(引用終わり)
その通りです
＞しかし実数は線のように繋がっているわけではない（笑
＞だから実数も可算無限なのである（笑
（＾＾；
704:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/11 12:26:52.26 N8E2AQ1D.net
>>652 補足
＞こと数学に関しては、自分で考えた数学など、基本的に信用しません
＞（それ、どこか間違っている（ないし不正確な）可能性ありです。
＞ もし、間違っていないなら、それはすでにどこかに発表されていることに同じでしょう
＞ もし、全く新規で正しい数学を語るなら、それにはこのスレは向きません。どうぞ他所で願います（＾＾ ）
＞よって、根拠（典拠）なしの記述を、私は信用しませんので、悪しからず（＾＾
ある数学の教科書なりの記述があって、それをベースに
自分なりに咀嚼して、「こういうふうに考えられる」とか
「ここの記述が分かりにくいが、こう考えたらどうか」とか
それはありだと思う
でも、そのときは、教科書なりの記述がベースですよね
ベースなしの数学議論は、信用しません。私はやりません（＾＾
705:哀れな素人
19/06/11 12:38:00.62 ylfB6H+T.net
>>652-655
アホレス乙（笑
お前のアホさがよく分る（笑
自然数は、どこまでも増やすことが可能だから、
これを可能無限と呼んでいるのである（笑
実数は線のように繋がっているわけではない（笑
それが分らないからお前はアホなのである（笑
お前は知識を収集するだけで自分で考えない（笑
知識を収集するだけで、どれが正しいのか、
という判断も下さない（笑
一体何のためにお前は知識を吸収しているのだ阿呆（笑
706:哀れな素人
19/06/11 12:43:21.85 ylfB6H+T.net
市川のおっさんはそれほど利口な人ではない（笑
アホなこともたくさん書いているし、
おそろしく強情なところもある（笑
しかしあのおっさんは自分で考えている。
自分の頭で考えている。
自分の頭で考えて、実無限はおかしい、と判断しているのだ。
お前のように自分で考えず、現代数学を鵜呑みにして、
実無限という概念を疑いもしない馬鹿とは違う（笑
はっきりいうが、お前は市川氏よりもアホなのである（笑
知識は市川氏の百倍あっても、市川氏よりアホだ（笑
そこらのJKよりもアホなのである（笑
707:哀れな素人
19/06/11 12:47:01.15 ylfB6H+T.net
ここのスレ民は、お前はアホだと分っているのだ（笑
僕も分っている（笑
しかしお前がみんなから攻撃されているから、
可哀そうだと思い、僕はお前を援護しているだけである（笑
そこを間違えるな（笑
708:哀れな素人
19/06/11 12:50:24.12 ylfB6H+T.net
このスレは、いつもお前が大量のコピペを貼り付けるから、
いつも数学板の上位にある。
上位にあるが、ただそれだけだ（笑
ほとんど誰も寄って来ない（笑
ただコピペが貼り付けてあるだけだからだ（笑
いつも上位にあるが、お前の頭と同じで、内容空疎（笑
709:哀れな素人
19/06/11 12:58:23.37 ylfB6H+T.net
そうやって知識の収集をして、
フツーの人の百倍の知識があっても、お前は
ケーキを食べ尽くすことはできない。
1/2+1/4＋1/8……は１にならない。
0.99999……は１ではない。
ということすら理解できないのである（笑
こんなことはJKだって理解しているのに（笑
ま、このことはお前だけでなく、
ここのスレ民全員に言えることだが（笑
710:１３２人目の素数さん
19/06/11 13:01:12.90 XteiuJF2.net
>>623
>自然数はいくらでも増やすことができるが、
>どんなに増やしても有限個なのである（笑
そんなことは聞いてない
俺が聞いてるのは自然数の集合Nの元の個数は何個か？だ
お前の珍説ではNは有限集合なんだろ？
711:１３２人目の素数さん
19/06/11 13:03:22.70 XteiuJF2.net
>>641
まだ分からんならもはや脳の病気だらか病院池キチガイ
712:１３２人目の素数さん
19/06/11 13:14:59.64 XteiuJF2.net
>>651
>だから実数も可算無限なのである（笑
じゃあ実数の集合は無限集合じゃんｗ
しかしそれはお前の珍説「無限集合は存在しない」に反するｗ
お前バカだろｗ
713:１３２人目の素数さん
19/06/11 13:21:21.13 XteiuJF2.net
>>646
>要するに理系のお前らでさえ、
>現代数学の概念を正しく理解していないことが分る（笑
>正しい理解のないまま、延々と、
>たとえば時枝問題について議論している（笑
ど素人のお前には議論に見えるのかｗ
理系でも文系でもないサルの調教をしてるだけぞｗ
714:哀れな素人
19/06/11 16:21:18.95 ylfB6H+T.net
>>661
お前のアホさがよく分る（笑
だから自然数の集合Nの元の個数は有限個だ、
と言っているのである（笑
>>663
お前のアホさがよく分る（笑
だから可算無限集合とは有限集合だ、
と言っているのである（笑
これまで何度も何度もそう説明してきたのに、
全然理解していない（笑
この頭の悪さが2chの人間の特徴だ（笑
715:哀れな素人
19/06/11 16:25:28.74 ylfB6H+T.net
可能無限とか可算無限は結局有限と同じことだ、
と何度も書いてきたのに、分っていない（笑
ちなみにこのことは僕だけの特殊な説ではない（笑
ネット上でもそう説明されている（笑
嘘だと思うなら検索してみればいい（笑
716:１３２人目の素数さん
19/06/11 16:34:24.15 bio667RC.net
脳味噌腐るスレ
717:哀れな素人
19/06/11 16:38:54.38 ylfB6H+T.net
↑出ました、一行横チャリしか書けない馬鹿（笑
平日のこんな時間に投稿しているアホニート（笑
718:哀れな素人
19/06/11 16:45:21.40 ylfB6H+T.net
お前らは次のことを知る必要がある（笑
�
719:P 可能無限集合、可算無限集合とは有限集合であること。 ２ 自然数も有理数も無理数も実数も可能無限、可算無限であること。 ３ それゆえ自然数も有理数も無理数も実数も有限集合であること。 これさえ分ればすべて分ったのと同じことだ（笑 しかしお前らはこれが分っていないのである（笑
720:１３２人目の素数さん
19/06/11 16:47:58.76 StAcTMKB.net
>>640
大学一年レベルでも、線型代数の計算をコンピュータですることはよくある。
フーリエ解析の計算をコンピュータですることもよくある。
ただ、全体的に見て、誰を相手に作った微分積分の pdf かはよく分からない。
微分積分を使う数学をコンピュータでするために作った寄せ集めにしては、まだ他にも題材はある。
721:１３２人目の素数さん
19/06/11 17:06:49.62 XteiuJF2.net
>>665
>だから自然数の集合Nの元の個数は有限個だ、
>と言っているのである（笑
お前はケーキを2個買うときに「ケーキを有限個下さい」と言うのか？
もしそうならお前は数も数えられぬウツケモノということになる。
そうではなく「ケーキを2個下さい」と言うなら、お前は二枚舌野郎ということになる。
ほれ、答えて見ろ
722:１３２人目の素数さん
19/06/11 17:12:48.26 StAcTMKB.net
それじゃ、おっちゃんもう寝る。
723:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/11 17:21:23.65 N8E2AQ1D.net
>>656
>お前は知識を収集するだけで自分で考えない（笑
>知識を収集するだけで、どれが正しいのか、
>という判断も下さない（笑
>一体何のためにお前は知識を吸収しているのだ阿呆（笑
哀れな素人さん、どうもスレ主です。
あなたには、(線型偏微分方程式の)基本解と言っても、チンプンカンプンでしょ？（＾＾
「実数は線のように繋がっているわけではない」と言われても、それがどうした？と
例えばある物質があって、原子から構成されていると
だから、「本当はどんな物質も、実は可算有限個の原子から成るのだ」と
厳密にはそうでしょう
だが、それを、数学では、連続体として扱う。熱伝導を考えるとき、熱伝導の偏微分方程式を解きます
グリーン関数や、デルタ関数 δ(x) を用いて
その理論を整備したのが、シュワルツ先生とか佐藤幹夫先生とか
「本当はどんな物質も、実は可算有限個の原子から成るのだ」という、哲学（物理学？）の真理は別として
数学的には、連続体として扱う方がすっきりしているのです
なので、数学の世界に、連続体の理論があって良い。いや、ある方が良い。そう思っています
まあ、（市川先生とかあなたとか）
棲んでいる世界が違いすぎるので、理解しあえないと思いますけどね（＾＾
（参考：偏微分方程式の基本解）
URLﾘﾝｸ(ja.wikipedia.org)
基本解
数学の分野において、線型偏微分作用素に対する基本解とは、旧来よりグリーン関数と呼ばれている概念の、シュワルツ超函数論を用いた定式化である。ディラックのデルタ関数 δ(x) を用いて
シュワルツ超函数（弱い意味での解）として存在すればよい。
この概念は、二次元および三次元のラプラシアンに対して長く知られたものであった
定数係数の任意の作用素に対する基本解の存在は、バーナード・マルグランジュとレオン・エーレンプライスによって示された
動機付け
基本解が得られれば、元の方程式の求める解を見つけることは簡単である。
（参考：点熱源解）
URLﾘﾝｸ(www.eng.hokudai.ac.jp)
偏微分方程式（４）
熱伝導方程式
例題２ 点熱源
付録 B ディラック(Dirac)のδ関数
724:哀れな素人
19/06/11 17:28:01.02 ylfB6H+T.net
>>671
イミフな珍レス乙（笑
２というのは有限個ではないのか？（笑
上の方で説明したが、自然数は有限個であるということは、
自然数はたとえば100で終り、ということではない（笑
自然数はそれこそ無限にある。
しかし有限個なのである（笑
分るか？（笑
いくらでも増やすことが可能、これが可能無限であり、
自然数は可能無限である。
しかし可能無限とは結局有限と同じことなのである。
だから自然数は有限個しかないのである（笑
分るか？（笑
725:１３２人目の素数さん
19/06/11 17:30:40.63 XteiuJF2.net
>>674
屁理屈は結構
俺の質問にYESかNOで答えろ
お前はケーキを2個買うとき「ケーキを有限個下さい」と言うのか？
726:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/11 17:31:23.74 N8E2AQ1D.net
>>662
へへ、ピエロ必死だ�
727:ﾈ（＾＾ おまえの関数概念は ”18 世紀まで：式としての関数”で止まっているみたいだねｗ おまえ、数学科で、どんな勉強したんだね？（＾＾； （>>357より） https://researchmap.jp/?action=cv_download_main&upload_id=144804 ルベーグの積分論の登場とその前後 藤田博司 数理哲学史夏期合宿セミナー 2017年9月22日 (抜粋) ・18 世紀まで：式としての関数 ・フーリエ：熱現象の理論とフーリエ級数 ・コーシー：無限小解析の改革 (引用終わり)
728:哀れな素人
19/06/11 17:35:40.25 ylfB6H+T.net
>>673
アホレス乙（笑
お前は何も分っていない（笑
関数が連続性を持つからといって
実数が連続性を持つわけではない（笑
また物質は原子から成っているわけでもない（笑
それはデモクリトスの原子論だ（笑
お前らが線型偏微分方程式を知っているからといって
お前らがエライわけではない（笑
そんなもの、誰でも教えられれば分るのだ（笑
理系がエライと自惚れている馬鹿（笑
729:哀れな素人
19/06/11 17:39:51.22 ylfB6H+T.net
>>675
お前のようなアホはほんとに手が負えない（笑
お前が自然数の集合の元の個数き何個か、
と聞いてきたから、有限個と答えたのである（笑
元の個数は２個だとか100個だと答えたわけではない（笑
元の個数は無限にあるが有限個だと言っているのである（笑
理解できないならそれでいい（笑
お前がアホだということは全員にばれた（笑
730:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/11 17:41:58.56 N8E2AQ1D.net
>>670
＞ただ、全体的に見て、誰を相手に作った微分積分の pdf かはよく分からない。
確かに（＾＾；
まあ、黒木玄さん、数学塾みたいなのをしているから
塾生のためかもね（＾＾
（参考）
URLﾘﾝｸ(phasetr.com)
相転移プロダクション
黒木玄
731:１３２人目の素数さん
19/06/11 17:44:04.13 XteiuJF2.net
>>676
分かってないことすら分かってないようだ
普通のバカはバカの自覚があるので救い様がある、お前は救い様が無いｗ
732:１３２人目の素数さん
19/06/11 17:45:41.42 XteiuJF2.net
>>678
>>675
733:哀れな素人
19/06/11 17:48:04.24 ylfB6H+T.net
ID:XteiuJF2
こいつは真性のアホである（笑
自分が珍質問をしていることにさえ気付いていない（笑
この救いようのないアホさは一石だろう（笑
あいつも平時の昼間から投稿していた（笑
734:哀れな素人
19/06/11 17:49:46.92 ylfB6H+T.net
馬鹿とは付き合っていられないので、ここまで（笑
夜にはもう少しまともな連中が出て来るだろう（笑
735:１３２人目の素数さん
19/06/11 17:52:26.98 XteiuJF2.net
>>682
>>675
736:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/11 18:14:58.29 N8E2AQ1D.net
>>677
＞関数が連続性を持つからといって
＞実数が連続性を持つわけではない（笑
まあ、そうですね
というか、”関数の連続性と実数の連続性とは別”とよく言われますね（＾＾
（参考）
URLﾘﾝｸ(math-note.xyz)
数学ノート
位相空間上の連続写像を矛盾なく定義する方法 2016.05.14
(抜粋)
位相空間上の写像に連続性を定義することを考える．
位相空間より狭い概念である距離空間における連続性は「ε-δ論法」を用いて定義するのが普通であるため，位相空間での写像の連続性を定義する際には，距離空間での連続性の定義に矛盾しないように定義する必要がある．
しかし，「ε-δ論法」は距離を用いた定義のため，一般に距離が定義されていない位相空間にそのまま「ε-δ論法」は適用できない．
したがって，距離空間での写像の連続性の定義を距離を用いない同値な条件に言い換え，それを位相空間上での連続性の定義とする方法をとる．
目次
1 位相空間の定義
2 距離空間上の連続写像
3 距離空間の位相
4 位相空間上の連続写像
5 参考文献
5.1 集合・位相入門
5.2 集合と位相
(引用終わり)
＞また物質は原子から成っているわけでもない（笑
＞それはデモクリトスの原子論だ（笑
歴史的には、デモクリトスの原子論がベースになって、近代科学の原子の発見につながったとよく言われます
URLﾘﾝｸ(ne.phys.kyushu-u.ac.jp)
URLﾘﾝｸ(ne.phys.kyushu-u.ac.jp)
「ミクロの世界」 － その１ －
737:(原子の世界の謎) 1-2： 原子の発見 (抜粋) 「デモクリトスの原子論」 アリストテレスは, 世界は連続的な物質で 満たされている, と考えました． 古代から中世にかけて, アリストテレス流の 考え方が支配的でした． 「ドルトンの原子論」 上に述べた２つの法則は, 元素が 原子という基本単位 の 集まりであると考えると, 容易に理解できます． これが ドルトン (イギリス: 1766 - 1844) による科学的な原子論です(1808)．
738:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/11 18:17:38.70 N8E2AQ1D.net
>>682
哀れな素人さん、どうもスレ主です。
＞ID:XteiuJF2
＞こいつは真性のアホである（笑
同意です
＞この救いようのないアホさは一石だろう（笑
＞あいつも平時の昼間から投稿していた（笑
同意です
サイコパスのピエロですね（＾＾
739:１３２人目の素数さん
19/06/11 19:14:52.34 U3DFacTm.net
560１３２人目の素数さん2019/06/11(火) 19:13:34.28ID:U3DFacTm
>>645
>URLﾘﾝｸ(oshiete.goo.ne.jp)
>可能無限は加算無限集合ですから
それ間違い
可算でも非可算でも無限集合なら実無限
可能無限とは無限集合を認めない立場だから
ω＝｛0,1,2,・・・}
は無限公理によって存在が認められる無限集合
これ可算無限集合だから
ωのべき集合2＾ω（ωの部分集合全体の集合）
これが非可算無限集合
哀れな素人氏は集合ωの存在は認めないでしょ
だったら可算無限集合は、可能無限ではないね
>>648
>お前の言葉で説明してくれ
工学馬鹿のスレ主に何を尋ねても無駄だよ
彼は誠意がないサイコパスだから
無知のくせに無知を隠蔽しようとする卑怯者
それがスレ主だよ
740:１３２人目の素数さん
19/06/11 19:16:13.64 U3DFacTm.net
>>656
>自然数は、どこまでも増やすことが可能だから、
>これを可能無限と呼んでいる
おそらく
「今、作られている自然数の全体は有限個
しかし、それは今後いくらも増やせる
上限がないという意味で無限であって
個数としては有限個」
といいたいのだろう
一方可算無限集合とは
「もはや付け加えるものがない
自然数全体の完全な集合」
というもの
（当然要素は無限個）
したがって、可算無限集合は
実無限の立場で考えられたもの
であって可能無限ではない
741:１３２人目の素数さん
19/06/11 19:19:13.87 U3DFacTm.net
>>665
>可算無限集合とは有限集合だ
これはないな、可算無限集合
ω＝{0，1，2，・・・｝
はいかなる有限集合
ｎ={0，1，2，・・・，ｎ－１｝
とも一致しない
742:１３２人目の素数さん
19/06/11 19:24:05.85 U3DFacTm.net
>>669
可能無限集合というものはない
可能無限とは、無限集合を認めない立場
可算無限集合は有限集合でない
実無限の立場で認められるもの
＞自然数も有理数も無理数も実数も可能無限、可算無限・・・
＞それゆえ自然数も有理数も無理数も実数も有限集合である
いかなる数であれ有限集合しか認めないのが可能無限
可算無限は、もはや何も追加できない自然数全体の集合ω
そしてωと一対一対応する集合を指す
したがって、可算無限を認めるのは、可能無限ではなく実無限
743:１３２人目の素数さん
19/06/11 19:31:44.17 U3DFacTm.net
ωは無限公理で定義される
１．ωは空集合｛｝を要素とする
２．ｘがωの要素なら、ｘ∪｛ｘ｝はωの要素である
例えば０を｛｝とする
１を｛｝∪｛｛｝｝＝｛｛｝｝
２を｛｛｝｝∪｛｛｛｝｝｝＝｛｛｝、｛｛｝｝｝
３を｛｛｝、｛｛｝｝｝∪｛｛｛｝、｛｛｝｝｝｝
＝｛｛｝、｛｛｝｝、｛｛｝、｛｛｝｝｝｝
・・・
とするとωは任意の自然数ｎを要素とする集合である
ωは可算無限集合である
一方、可能無限の立場ではωは集合とは認められない
なぜならｘ＝｛｝から始めてｘ∪｛ｘ｝という操作を
いかほど繰り返したところでωに到達しないからである
可能無限では集合は有限集合だけ
実無限では集合は有限集合、可算無限集合、非可算無限集合といろいろある
非可算無限集合の中にも大きさの違うものが無数にある
744:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/11 21:25:58.30 qGy+Mtwk.net
>>690
>可算無限は、もはや何も追加できない自然数全体の集合ω
>そしてωと一対一対応する集合を指す
こらこら、正確に頼むよ（＾＾
文系High level peopleは、そこでハマッテいるのか
だから、時枝が分らないんだろ
自然数全体の集合は、普通Ｎだけど、まあωでもいいけど
ωと一対一対応する集合なら、偶数全体の集合もそうじゃんか
自然数全体の集合ωに負数を”追加”して、整数環Ｚ＝ω∪-ω でしょ
で
濃度：集合 A と同数であるような順序数の中で最小のものを A の濃度といい
ですよ。”最小のものを A の濃度（cardinality of A）”ですよ（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
数学でいう順序数とは、整列集合同士の"長さ"を比較するために、自然数を拡張させた概念である
順序数の大小関係
0 が最小の順序数である
その後に S(0) = 1, S(S(0)) = 2, S(S(S(0))) = 3, ... と有限順序数（自然数）が通常の順序で並んでいる
そして、すべての自然数が並び終えると、次に来るのが最小の超限順序数 ω である
ω の後にはまたその後続者たちが S(ω), S(S(ω)), S(S(S(ω))), ... と無限に続いていく
その後、それらの最小上界（後に ω + ω と呼ばれる）が並び、その後続者たちが無限に続く
無限に続いた後には、必ずそれまでに並んだすべての順序数たちの最小上界が存在し、その後続者、そのまた後続者、... のように順序数の列は"永遠に"続いていく
集合の濃度と基数
集合 A から集合 B への全単射が存在するとき、A と B は同数（equinumerous）であるといい、A ＝～ B で表す
選択公理を仮定すれば、整列定理により任意の集合 A に対して A と同数であるような順序数が存在することが言える
そこで、集合 A と同数であるような順序数の中で最小のものを A の濃度（cardinality of A）といい、これを |A| あるいは card(A) で表す
ある集合 A に対して α = |A| である順序数 α を基数（cardinal number）と呼ぶ。集合の濃度に関して次が成り立つ：
|A| = |B| ⇔ A ＝～ B
A が有限集合のとき、|A| は A の要素の個数に等しい
基数に対しても、上で定義した順序数の演算とは別に和、積、冪を定義することができる
745:哀れな素人
19/06/11 21:53:24.93 ylfB6H+T.net
>>687-691
お前はたくさん変なことを書いている（笑
>「もはや付け加えるものがない自然数全体の完全な集合」
そんなものはない（笑
>これはないな、可算無限集合
>ω＝{0，1，2，・・・｝ はいかなる有限集合
> ｎ={0，1，2，・・・，ｎ－１｝ とも一致しない
{0，1，2，・・・｝は可算無限集合＝有限集合である（笑
>可算無限は、もはや何も追加できない自然数全体の集合ω
もはや何も追加できない自然数全体の集合ωなんてない（笑
実無限とか非可算無限とか無限集合とか
無限公理とかωとか、そんなものは存在しない（笑
746:哀れな素人
19/06/11 22:31:41.45 ylfB6H+T.net
ID:U3DFacTm
この男はいろいろややこしいことを書いているが、
おそらく多くの人は
可能無限＝可算無限
実無限＝非可算無限
と考えているだろうと思う。
そしてたとえば可能無限＝可算無限の例として自然数を、
実無限＝非可算無限の例として実数を、
考えているのだと思う、よく知らないが（笑
747:哀れな素人
19/06/11 22:35:24.00 ylfB6H+T.net
とにかく数というものは、それがどんな数であれ、
可能無限集合＝可算無限集合＝有限集合である（笑
実無限とか非可算無限とか無限集合とか
無限公理とかωとか、そんなものは存在しない（笑
748:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/11 23:19:16.48 qGy+Mtwk.net
>>654
>非可算無限とは実数のことを指しているのかもしれない。
>なにしろ現代数学では、実数は線のようにべったり繋がっている、
>と考えているからだ（笑
ええ（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
実数直線
(抜粋)
URLﾘﾝｸ(upload.wikimedia.org)
実数直線の模式図
実数直線とは、すべての実数からなる集合 R を、幾何学的な空間（具体的には一次元のユークリッド空間）とみなしたものということである。
線型連続体
実数直線は標準的な大小関係 < による順序に関して線型連続体である。具体的に言えば、実数直線は 大小関係 < に関して全順序集合であり、またこの順序は稠密で、上限性質を持つ。
上記の性質に加えて、実数直線は最大元も最小元も持たない。また、部分集合として可算で稠密なもの（要するに有理数の全体）を含む。可算稠密部分集合を持ち、最大元も最小元も持たないような任意の線型連続体は実数直線に順序同型であるという定理がある。
順序集合論においてよく知られるススリンの問題は「最大元も最小元も持たず可算鎖条件を満足する線型連続体は R に順序同型でなければならないか」ということを問うものである。
749:そしてこの問題の主張は、集合論で標準的な公理系として用いられる ZFC から独立であることが知られている。 位相的な性質 https://upload.wikimedia.org/wikipedia/commons/thumb/4/4c/Real_projective_line.svg/150px-Real_projective_line.svg.png 実数直線にただひとつの無限遠点を加えてコンパクト化できる。 https://ja.wikipedia.org/wiki/%E7%9B%B4%E7%B7%9A 直線とは、太さを持たない幾何学的な対象である曲線の一種で、どこまでもまっすぐ無限に伸びて端点を持たない。まっすぐな線には直線の他に、有限の長さと両端を持つ線分と、一つの端点を始点として無限にまっすぐ伸びた半直線がある。 座標 直線上の点に実数を対応させることで数直線を考えることができる。 数直線は向きを持った直線であり、原点から単位点の向きに矢印を記すことがある。 https://upload.wikimedia.org/wikipedia/commons/0/0f/Numberline.png
750:１３２人目の素数さん
19/06/12 06:42:03.52 vvOxzZNG.net
>>692
>可算無限は、…ω そしてωと一対一対応する集合を指す
>ωと一対一対応する集合なら、偶数全体の集合もそうじゃんか
ええ、偶数全体の集合も可算無限集合ですが、何か？
>自然数全体の集合ωに負数を”追加”して、整数環Ｚ＝ω∪-ω でしょ
ええ、整数全体の集合も可算無限集合ですが、何か？
>濃度：集合 A と同数であるような順序数の中で最小のものを A の濃度
ええ、偶数の全体は順序数としてωと同型ですから問題ありませんが、何か？
751:１３２人目の素数さん
19/06/12 06:45:08.03 vvOxzZNG.net
>>693
>>「もはや付け加えるものがない自然数全体の完全な集合」
>そんなものはない
では、哀れな素人氏は、可算無限集合を否定したことになります
>{0，1，2，・・・｝は可算無限集合＝有限集合である
では、哀れな素人氏は
{0，1，2，・・・｝を{0，1，2，・・・，ｎ－１｝と
考えており、可算無限集合を否定したことになります
752:１３２人目の素数さん
19/06/12 06:46:55.61 vvOxzZNG.net
>>694
＞おそらく多くの人は
＞可能無限＝可算無限
＞実無限＝非可算無限
＞と考えているだろうと思う。
誤りです
可能無限＝有限のみ
実無限＝可算無限・非可算無限
これが正しい理解です
753:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/12 07:26:11.52 pwFiGnRN.net
>>697
これはこれは、落ちこぼれピエロちゃんが、しゃしゃり出るかねｗ（＾＾
(>>692より
引用開始)
>>690
>可算無限は、もはや何も追加できない自然数全体の集合ω
>そしてωと一対一対応する集合を指す
こらこら、正確に頼むよ（＾＾
(引用終り)
下記”可算無限と非可算無限”の記述と比較してみな
”もはや何も追加できない”
という非数学の余計な記述を入れたことで
定義が、わけわからん状態になった
数学では定義は、明確でなければならない
まず、定義を正確に書くこと
余計な言葉を入れないこと
補足説明をしたいなら、定義の後に、定義と分けて書くこと
これ、院試では減点対象にされても、文句は言えないよ（＾＾；
なお、下記”正の整数全体の集合 N”という記述は、
”自然数全体の集合”よりも的確だと思う
整数環Ｚこそ、”もはや何も追加できない”の説明に近いと思うよ
整数環Ｚの”正の整数全体の集合 N”なら、同型を除いて一意が見やすいだろう
URLﾘﾝｸ(mathtrain.jp)
高校数学の美しい物語
最終更新:2017/07/07
集合の濃度と可算無限・非可算無限
(抜粋)
可算無限と非可算無限
・正の整数全体の集合 N と濃度が等しい集合を可算集合といいます。
可算集合の要素は可算無限個などと言います。
可算無限とは「無限個あるけど番号をふっていける程度」の無限です。
(引用終り)
754:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/12 07:31:22.33 pwFiGnRN.net
>>696 補足追加
哀れな素人さんのために（＾＾
下記のご一読をお薦めする
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
数概念について 早稲田大学・理工学術院 足立恒雄 (ADACHI Norio) 数理解析研究所講究録 第 1625 巻 2009 年 1-11
(抜粋)
1 はじめに
ギリシア時代には数と量が峻別された。その思想が中世以降のヨーロッパを支
配した。一方、 西洋では科学の応用性を重んじる傾向が根底にあって、 何世紀も
かけて次第に自らの姿を顕現してきた。数に対する把握の仕方の変遷も、応用数
学的な思想がギリシア的形而
755:上学の栓楷を脱する過程という流れの中で捉えられ るのではないだろうか。 本講演では、ギリシアの「つぶつぶ」的数と連続量という二つの概念がヨーロッ パにおいて統一されていく様子を述べ、 さらにこれとは異質な数観として、イン ドの、直線上の対等な点 (位置) として数を把握する見方を紹介する。最後に数 直線の公理化を述べ、数直線を基礎に置くインド方式が基数を基礎に置く現代数 学の方式と論理的には対等であることを示す。 教育上の問題として言うなら、 講演者は、現代の数学教育は西洋の数学の歴史 的発展段階にとらわれ過ぎていることを指摘し、 個数主義にとらわれ過ぎること なく、可能な限り早い時期に数直線を導入することを提唱する。 2 数の背景をなす概念 ギリシア以降、 ヨーロッパ数学は数理哲学的には基数主義に基づいてきた。 あ るいは 「数は事物の個数である」 というギリシア的固定観念に呪縛されて来たと も言える。 (パスカルの「 0 引く 4 が 0 であることを理解できない人がいる」 とい う言葉を思い出そう。) 西洋の数学は、数学の基体を物体に悶くギリシア的思想に束縛されてきたが、動 力学や商業計算、 天体観測など応用を重視するヨーロッパ精神が目覚め、 次第に 発達してきて、応用数学の立場から連続数観が確立していった。 3 現代数学における数の定義 つづく
756:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/12 07:31:54.11 pwFiGnRN.net
>>701
つづき
4 基数主義の問題点
本来、 ギリシア世界では数は物質的に (すなわち物の個数として) 捉えられて
きた。従って負数や実数の概念を射程に入れていないので、 これらを数概念に含
めるのは困難がつきまとい、 これらを数体系に取り込むことはヨーロッパにとっ
て重い制約であったギリシア精神の克服を意味するのである。
1. 基数主義では負数を把握するのが困難
2. 基数主義では量の数化が困難
7 数直線概念の完成
西洋における、 基点 (原点) を定め、 直線上の点を数と考えるという数の把握
の仕方、 簡単に言えば、 数直線という概念の導入者はだれなのか、 はっきりとは
わからないが、 公刊された著作という意味ではオイラー (1707-1783) なのではな
いだろうか。
(引用終り)
以上
757:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/12 07:36:01.43 pwFiGnRN.net
>>701 文字化け訂正
西洋の数学は、数学の基体を物体に悶くギリシア的思想に束縛されてきたが、動
↓
西洋の数学は、数学の基体を物体に置くギリシア的思想に束縛されてきたが、動
まあ、原文ＰＤＦを見れば分るが
原文のＯＣＲがおかしいんだな（＾＾；
758:哀れな素人
19/06/12 08:34:08.21 DAEOeRfc.net
>>698
依然として何も分ってないな（笑
どこまでも付け加えることができるのが自然数である（笑
こんなことは常識だ（笑
だから∞とかωとか、そんなものはないのである（笑
こんなことは女子高生でも分っていることだ（笑
{0，1，2，・・・｝＝可算無限集合＝有限集合
{0，1，2，・・・，ｎ－１｝＝有限集合
可算無限集合も有限集合だということが
お前は分っていないのである（笑
759:哀れな素人
19/06/12 08:41:35.80 DAEOeRfc.net
>>699
いや、多くの人は
可能無限＝可算無限
実無限＝非可算無限
と考えているだろう（笑
たとえば
自然数＝可算無限
実数＝非可算無限
と考えているだろう（笑
いずれにせよ実無限とか非可算無限なんてものはないのだから、
こんな定義に関して議論すること自体がばかげている（笑
760:哀れな素人
19/06/12 08:50:06.92 DAEOeRfc.net
スレ主よ、∞という数が存在しないのと同じく、
無限直線（直線）とか半無限直線（半直線）
などというものも存在しないのである（笑
存在するのは有限直線（線分）だけである（笑
足立恒雄なんて何にも分っていないアホ学者である（笑
足立恒雄にも出版告知メールを送ろうと思ったが
メッセージ欄がなかった。
しかしどうせ送ったとしても読まないだろう。
題名だけを見てトンデモ本だと思うだろうし、
著者が京大文学部国文科卒だから無視するだろう（笑
761:１３２人目の素数さん
19/06/12 08:51:14.69 9t4CnBSt.net
>>700
>”もはや何も追加できない”
>という非数学の余計な記述を入れたことで
>定義が、わけわからん状態になった
わけわからん状態になってるのはお前の国語力が壊滅しているから
自然数の集合に自然数を追加することはできない。なぜならいかなる自然数も既に自然数の集合の元であるから。
偶数の集合についても同じ、整数の集合についても同じ。
こんな簡単なことが読み取れないのはお前の国語力が壊滅しているからだよおバカさん。
ついでに、お前は時枝問題も読み取れてない。お前は数学的に理解できてないだけでなく国語的にも理解できてない。
762:１３２人目の素数さん
19/06/12 09:01:16.57 9t4CnBSt.net
>>704
>可算無限集合＝有限集合
つまりお前は無限集合は存在しないと考えてるんだろ？
なら無限集合という言葉を使うなよ。
俺たちは無限集合は存在していると考えてるから自由に使うけど、お前は使うな。それでいいだろ？
763:哀れな素人
19/06/12 09:03:10.90 DAEOeRfc.net
>>707
>自然数の集合に自然数を追加することはできない。
だからお前らはなぜそんな変なことを考えるのだ（笑
いくらでも追加できるのが自然数だ（笑
お前らは「自然数の完結した集合」というものが存在する、
という変な考え方をするから、たとえばωなどという数が存在する、
というアホなことを考えるのである（笑
自然数というのは完結しない集合なのである（笑
764:１３２人目の素数さん
19/06/12 09:06:08.70 9t4CnBSt.net
>>705
>いずれにせよ実無限とか非可算無限なんてものはないのだから、
>こんな定義に関して議論すること自体がばかげている（笑
じゃ議論しようとするなよｗ
俺たちは実無限を受け入れている。お前は受け入れていない。それでいいじゃん。議論の余地無いじゃん。
765:哀れな素人
19/06/12 09:06:49.64 DAEOeRfc.net
>>708
あいかわらずお前の突っ込みは的が外れているな（笑
無限集合が存在しないと主張するには
無限集合という語を使わざるを得ないだろうが（笑
無限集合という語を使わないで、
どうやって無限集合が存在しないことを主張できるのか（笑
766:哀れな素人
19/06/12 09:10:42.19 DAEOeRfc.net
>>710
お前は真性のアホだな（笑
自分のアホさを晒していることに気付かないのか？（笑
議論の余地がない、とは真偽が確定しているということだ（笑
全員の意見が一致しているということだ（笑
僕とお前らでは意見が対立しているのだから
議論するのは当然だ（笑
揚げ足取り的な投稿しかできない典型的な馬鹿（笑
767:哀れな素人
19/06/12 09:16:51.12 DAEOeRfc.net
多くの人は
自然数＝可算無限
実数＝非可算無限
と考えているはずである。
ところで自然数は可能無限だから、
>実無限＝可算無限・非可算無限
という>>699の男の定義は、たとえそれが定義たとしても、
明白な間違いである（笑
768:１３２人目の素数さん
19/06/12 09:19:15.50 9t4CnBSt.net
>>709
つまりお前は（完全な）自然数の集合は存在しないと考えてるってことね？
俺たちは存在すると考えているけど、別にそれぞれでいんじゃね？
どちらかがどちらかの考えに合わせる必要なんて無いだろ？
769:１３２人目の素数さん
19/06/12 09:26:48.69 9t4CnBSt.net
>>712
じゃあ聞くが、自然数の集合（もしくは無限集合でもいいが）が存在するとどんな不都合があるの？
（現代数学はなんの不都合も無いと考えてるから、無限公理によって無限集合の存在を受け入れている訳だが。）
770:１３２人目の素数さん
19/06/12 09:30:22.07 9t4CnBSt.net
>>713
いや、お前の実無限、可能無限、可算無限、非可算無限の対照のさせ方がおかしいんだよ。
論じているカテゴリーが違うと言ってもいい。
お前は全て横並びで対照させているが、それはお前が分かってない証拠。
771:哀れな素人
19/06/12 09:31:10.71 DAEOeRfc.net
>>714
馬鹿か、お前は（笑
学問とはどちらが真であるかを議論することだ（笑
僕は何もお前らに僕の考えに合わせてくれ、
と言っているわけではない（笑
どちらが正しいかを議論しているのである（笑
お前とスレ主だって、どちらが時枝問題で正しいかを議論しているだろ。
お前は数学的議論をせずに
そうやって揚げ足取り的なことばかり書いている。
他人を嘲笑侮蔑するようなことばかり書いている。
そんな投稿しかできないなら出て来るな馬鹿
772:哀れな素人
19/06/12 09:39:25.94 DAEOeRfc.net
>>715
馬鹿か、お前は（笑
僕は自然数の集合が存在すると不都合がある、
などとは言っていない（笑
自然数の集合が存在するのは当り前だ（笑
僕と市川氏は無限集合なんて存在しないと言っているのだ（笑
>>716
可能無限も可算無限も同じような概念である（笑
同じような概念であるからこそ、>>699の男も
>実無限＝可算無限・非可算無限
と定義している（笑
773:１３２人目の素数さん
19/06/12 09:44:16.55 9t4CnBSt.net
>>717
それはおかしい。
�
774:ｳ限集合の存在性は命題ではないからだ。命題ではないから正しい（真）正しくない（偽）を論ずることはできない。 だから現代数学は無限集合の存在を公理でうたっている。 無限集合が存在するとするか否かは「どちらがより豊かで有益な数学を構築できるか」の話だ。 だから無限集合が存在しないとした方が豊かで有益な数学を構築できるとお前が思うならお前が構築すればいいだけなのだよ。 俺たちは現代数学を受け入れているからそんなアホなことはしないけどね。
775:哀れな素人
19/06/12 09:44:54.15 DAEOeRfc.net
ID:9t4CnBSt
この男はなぜか言葉の問題にばかり突っ込みを入れる（笑
任意と無作為の違いが分らない奴は馬鹿
と書いていたのもこの男だろう（笑
そのくせこいつの突っ込みはいつも的が外れている（笑
おそらく国語ができない馬鹿なのである（笑
776:１３２人目の素数さん
19/06/12 09:46:08.77 9t4CnBSt.net
>>715
じゃあ質問を変えよう。無限集合が存在するとどんな不都合があるの？
777:哀れな素人
19/06/12 09:49:47.78 DAEOeRfc.net
>>717
馬鹿か、お前は（笑
無限集合が存在するか否かは大問題だ（笑
これが大問題だと分らないような奴は数学をやっても無駄だ（笑
お前はこの問題に首を突っ込まない方がいい（笑
お前のレベルではこの問題は無理だ（笑
お前は時枝問題さえ論じていればいい（笑
出て来るな阿呆（笑
778:１３２人目の素数さん
19/06/12 09:51:57.65 9t4CnBSt.net
>>718
>可能無限も可算無限も同じような概念である（笑
それはお前の不理解である。残念。
>同じような概念であるからこそ、>>699の男も
>>実無限＝可算無限・非可算無限
>と定義している（笑
それはお前の読み間違いである。残念。
779:１３２人目の素数さん
19/06/12 09:56:36.71 9t4CnBSt.net
>>722
>無限集合が存在するか否かは大問題だ（笑
はい、ですから現代数学はその存在を公理で宣言していますが、何か？
で、あなたはそんな公理は要らんってことですか？別にいんじゃないですか？あなたはあなたの道を進めば。
ちなみに無限公理にどんな不都合があるとお考えで？
780:哀れな素人
19/06/12 09:57:12.20 DAEOeRfc.net
>>721
不都合があるとかないとか、
そんなことを論じているのではない（笑
無限集合が存在するかしないかを論じているのである（笑
カントールの実数論や集合論は間違いだと論じているのだ。
ところで毎日平日の昼間から投稿しているが、
お前は一石か？（笑
781:１３２人目の素数さん
19/06/12 10:02:00.67 9t4CnBSt.net
>>725
>無限集合が存在するかしないかを論じているのである（笑
では存在しないことを証明して下さい。
ちなみに現代数学ではその存在性は命題ではない（真偽を他の公理から導けない）と考えてますけど、まあ気にせずどうぞ。
782:哀れな素人
19/06/12 10:02:29.74 DAEOeRfc.net
見よ、この男の果てしないアホさ（笑
>>723
ではどこがどう違うのか説明してくれ（笑
逃げるなよ低脳（笑
>>724
無限集合なんて存在しないから
無限公理そのものがアホ公理だと言っているのだ（笑
どうせお前のような救いがたい低脳には分るまい（笑
783:１３２人目の素数さん
19/06/12 10:04:59.96 9t4CnBSt.net
>>727
>無限集合なんて存在しないから
証明よろしく
784:１３２人目の素数さん
19/06/12 10:08:03.41 9t4CnBSt.net
>>727
>ではどこがどう違うのか説明してくれ（笑
広辞苑で調べては如何でしょう？
数学書より正しいんでしょ？ 極限のときそう言ってませんでした？
785:哀れな素人
19/06/12 10:10:01.55 DAEOeRfc.net
>>726
無限集合が存在しないことは明白である（笑
理由を知りたければアリストテレスか僕の本でも読めばいい（笑
ところでお前によれば可能無限と可算無限は
全然違う概念であるらしいが、
では自然数はどちらに属するのか（笑
可能無限か可算無限なのか（笑
可能無限と可算無限が全然違う概念なら、
なぜ>>699の男は
>実無限＝可算無限・非可算無限
というような定義をしているのか（笑
786:哀れな素人
19/06/12 10:14:29.12 DAEOeRfc.net
>>729
そら見ろ、こうやって逃げる（笑
自分の言葉で説明できないド低脳（笑
広辞苑に載っているならここに上げてみろ（笑
数学科卒なら自分で説明できるだろアホが（笑
787:１３２人目の素数さん
19/06/12 10:15:00.68 9t4CnBSt.net
>>730
>無限集合が存在しないことは明白である（笑
明白なら証明も簡単でしょう、はいどうぞ
>ところでお前によれば可能無限と可算無限は
>全然違う概念であるらしいが、
>では自然数はどちらに属するのか（笑
>可能無限か可算無限なのか（笑
その質問は「そのケーキは白いのか、それとも小さいのか、どっちなんだ？」みたいなもんですね。
色と大きさは別のカテゴリ―なので横並びで問うのはナンセンスですよ。
788:哀れな素人
19/06/12 10:17:47.85 DAEOeRfc.net
ID:9t4CnBSt
このバカと話せば話すほど、
こいつが国語が理解できないバカだと分ってきた（笑
こいつはいつも言葉の問題ばかりに突っ込みを入れている（笑
平日のこんな時間帯に2chに張り付いている低脳のチンピラ（笑
789:１３２人目の素数さん
19/06/12 10:19:30.34 9t4CnBSt.net
>>731
>数学科卒なら自分で説明できるだろアホが（笑
君に理解できるとは思わないからやめときます
だって君εδ論法も使いこなせないレベルでしょ？
790:哀れな素人
19/06/12 10:20:39.99 DAEOeRfc.net
>>732
見ろ、何の説明にもなっていない（笑
言葉で説明する能力もない無能バカ（笑
早く>>730の質問に答えてみろ白痴（笑
791:１３２人目の素数さん
19/06/12 10:21:47.96 9t4CnBSt.net
>平日のこんな時間帯に2chに張り付いている低脳のチンピラ（笑
ブーメランｗ
792:哀れな素人
19/06/12 10:26:13.90 DAEOeRfc.net
>>734
逃げるな低脳（笑
εδ論法などというアホ論法を高等な理論だと思っている馬鹿（笑
答えられないからεδ論法の話題にすり替える（笑
そうやって逃げまくる（笑
決して答えないで人を侮辱嘲笑して喜んでいる（笑
典型的な2ch的チンピラ（笑
793:哀れな素人
19/06/12 10:29:04.16 DAEOeRfc.net
>>736
見よ、こうやって人を侮辱嘲笑することだけは得意なのである（笑
それ以外は何もできない無能のド低脳チンピラ（笑
こうやって逃げまくって結局何も答えない（笑
794:１３２人目の素数さん
19/06/12 10:32:44.27 9t4CnBSt.net
>>737 >>738
いや、答えても馬の耳に念仏なだけでしょ
もうちょっとレベル上げないと理解できないと思うよ？
ていうか今のレベルで理解できるのであれば俺に質問する必要ないよね？
795:哀れな素人
19/06/12 10:34:54.12 DAEOeRfc.net
>>739
そんな能書きはどうでもいいから早く答えろ坊や（笑
お前、自分がどれほどのアホか分ってないだろ（笑
796:１３２人目の素数さん
19/06/12 10:37:52.35 9t4CnBSt.net
>>740
ID:U3DFacTmさんの説明で理解できなかったということは、君はまだそのレベルにないってことだよ
馬に念仏唱えても馬は理解できないだろ？ それと同じだよ
797:１３２人目の素数さん
19/06/12 10:42:35.94 9t4CnBSt.net
「そのケーキは白いのか、それとも小さいのか、どっちなんだ？」
この質問はへんだと君も思うだろ？
君の無限に関する発言はそのくらいへんなんだよ
それが分からないってことは、今の君のレベルじゃ無理ってことだよ
798:哀れな素人
19/06/12 10:42:40.54 DAEOeRfc.net
>>741
馬鹿か、お前は（笑
僕はID:U3DFacTmの説明が間違いだと分っている（笑
お前はアホだから分っていない（笑
とにかく早く説明してくれ坊や（笑
ま、お前のようなアホに説明を期待するのは無理か（笑
799:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/12 10:44:57.88 cWAQY72D.net
>>707
(文系)High level peopleさん
どうもスレ主です。
間違った御当人のご登場ですか（＾＾
(>>692より
引用開始)
>>690
”可算無限は、もはや何も追加できない自然数全体の集合ω
そしてωと一対一対応する集合を指す”
こらこら、正確に頼むよ（＾＾
(引用終り
”もはや何も追加できない”
という非数学の余計な記述を入れたことで
結局、定義が、わけわからん状態になったことは確か
なので
”もはや何も追加できない”の説明が必要になったのです
で、下記のような、「つまらん」かつ間違った追加が必要になるわけ
「自然数の集合に自然数を追加することはできない。なぜならいかなる自然数も既に自然数の集合の元であるから。
偶数の集合についても同じ、整数の集合についても同じ。」
だから、例えば
「可算無限集合とは、自然数全体の集合ωに対し
ωと一対一対応する集合を指す」
とシンプルに書けってことですよ、余計な言葉は省くべし
＜補足＞
自然数の集合に自然数を追加することはできない
↓
自然数の集合に自然数を追加することはできるが、
重なった数は同一視して１つと数える
ってことですよ、正確に書けばね
例えば、麻雀牌は、同じ牌（パイ）が4枚ずつ使われる
ですから、麻雀で役の確率を計算するには、4枚ずつある牌の集合をベースに計算する必要があるってこと
”重なった数は同一視”ってやったら、計算結果が違いますよね
これは、上記の自然数の集合（各１つずつ）とは事情が違うってことです
URLﾘﾝｸ(ja.wikipedia.org)
麻雀牌
萬子（マンズ/ワンズ）・筒子（ピンズ）・索子（ソウズ）・字牌（ツーパイ）の136枚を使用する
34種がそれぞれ4枚ずつ使われる。
(引用終わり)
以上
800:１３２人目の素数さん
19/06/12 10:47:03.48 9t4CnBSt.net
>>743
>ま、お前のようなアホに説明を期待するのは無理か（笑
そうですね、君レベルでも理解できるような説明は無理ですね
801:哀れな素人
19/06/12 10:50:49.77 DAEOeRfc.net
>>742
僕の無限に関する発言を変だと思うくらい
お前はアホだということだ（笑
ま、お前のようなにアホには何を言っても無駄か（笑
ところでいつまでもそうやって逃げるつもりなら、
お前と
802:話す必要はない（笑 お前は説明すらできないアホだし、 逃げまくる卑怯者だとはっきり分った（笑 精神の幼稚なアホ（笑
803:１３２人目の素数さん
19/06/12 10:53:13.05 DAEOeRfc.net
>>75
自分がいかに低レベルのアホであるか自覚のないドアホ（笑
もうお前は出て来なくていい（笑
804:１３２人目の素数さん
19/06/12 10:57:55.32 9t4CnBSt.net
>>746
>ま、お前のようなにアホには何を言っても無駄か（笑
そうですね、君レベルにも理解できるような説明を求めるのは無駄だと思います
誰も馬に念仏を理解させられないように、誰も今の君に理解させられないでしょうね
805:１３２人目の素数さん
19/06/12 11:01:49.95 9t4CnBSt.net
で、肝心な無限集合が存在しないことの証明は未だですか？
806:哀れな素人
19/06/12 11:02:34.32 DAEOeRfc.net
↑こうやって延々と人を侮辱するようなレスを書き、
決して数学的議論をしようとしない（呆
さすがの一石でもこれほどの卑怯者ではなかったような気がする（呆
ま、どうせ間違いだらけの変な説明をするに違いない（笑
なにしろ無限公理とかωを信じているド低脳だから（笑
807:哀れな素人
19/06/12 11:04:50.35 DAEOeRfc.net
>>749
だからアリストテレスか僕の本でも読めと書いたろが（笑
お前、人のレスもまともに読んでいないのか（笑
それはそうと早く説明してみろド低脳チンピラ（笑
808:哀れな素人
19/06/12 11:07:25.38 DAEOeRfc.net
可能無限と実無限
可算無限と非可算無限
どちらも自然数や実数について議論するときにも
使える概念だ（笑
しかし上のアホによればそうではないらしい（笑
809:１３２人目の素数さん
19/06/12 11:10:08.51 9t4CnBSt.net
>>750
数学的議論をするには、まず証明を読む必要があるので証明を提示して下さいと言ってるのですが？
>>751
では君の本を読みますからURLを教えて下さい。証明は何ページにありますか？
810:哀れな素人
19/06/12 11:13:41.33 DAEOeRfc.net
アマゾンで
「相対性理論はペテンである／無限小数は数ではない」
を検索してみればいい（笑
無限集合が存在しないことは
「無限小数は数ではない」の中で証明している（笑
811:１３２人目の素数さん
19/06/12 11:18:51.29 9t4CnBSt.net
>>754
URLを教えて下さい
アマゾンで検索はしません、買う気はないですから