>>742
> 3.要するに、ノイマンのωにしろ、Zermeloのシングルトンによるωしろ、結局は抽象的な現代数学の思念の産物なのです
> 4.それは、自然数(=ある前者があって その後者関数から作られる普通の順序数)とは、異なる性質を持って良い!
補足説明するよ
・例えば、コーシー列:有理数からなるコーシー列で実数、例えばπなどの超越数ができる
超越数は分数表示ができず、数の性質が”有理数→超越数”に変わっている
・例えば、ωはリーマン球面の北極点に例えることができる
複素数のガウス平面を丸めて、リーマン球面ができる
いわゆる一点コンパクト化(下記)。無限遠の点∞を付け加える。こうすると、理論的にすっきりするのです
点∞はある種の極限で、ガウス平面には存在しない。つまり、他の複素数とは、その性質を異にするのです
・Zermeloのシングルトンによるωも、ある種の一点コンパクト化
で、この種コンパクト化は後者関数の選び方にはよらない
・普通は、”自然数n→∞の極限”とか、”コンパクト化”は書かない。避ける
∵そうかくと、基礎論的にはまずいから。循環論法になるよ
つまり、基礎論として最初は空集合と公理のみからスタートする
その時点では”極限”も”コンパクト化”も言えない
けど、何らかの手段(例えばノイマンとか)で、全部自然数とか実数とか出来上がってからなら、一段高い立場からは言える。それは循環論法でないよね
(参考)
https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%BC%E3%82%B7%E3%83%BC%E5%88%97
コーシー列(コーシーれつ、Cauchy sequence)は、数列などの列で、十分先のほうで殆ど値が変化しなくなるものをいう。
目次
1 コーシー数列
1.1 実数におけるコーシー列
有限数列 (x1, x2, ..., xk) は xk = xk+1 = xk+2 = … と延長することにより、コーシー列と見なせる。
実数はコーシー列の極限として定義された。
https://ja.wikipedia.org/wiki/%E3%83%AA%E3%83%BC%E3%83%9E%E3%83%B3%E7%90%83%E9%9D%A2
リーマン球面
https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%B3%E3%83%91%E3%82%AF%E3%83%88%E5%8C%96
コンパクト化
目次
1 概要
2 基本事項
3 アレクサンドロフの一点コンパクト化
探検
IUTを読むための用語集資料集スレ
■ このスレッドは過去ログ倉庫に格納されています
743現代数学の系譜 雑談 ◆yH25M02vWFhP
2020/11/04(水) 14:45:17.18ID:lTaOluRt■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【悪質】吐き気がし道端にしゃがんだ10代女性に「大丈夫ですか?」40~50代くらいの男が”介抱”しながら女性の体に手を 札幌 ★2 [おっさん友の会★]
- 橋下徹氏 フジテレビ報告書に私見 「『性暴力』という言葉は荒すぎ」「中居さんへの批判が最上の性暴力に対しての批判になってる」 [冬月記者★]
- 【株】週明けの東京市場も大幅下落か 「動揺収まるまで時間かかる」 [蚤の市★]
- 【文春】中居正広『性暴力』被害の元フジテレビ女性アナ「私はこの事件のことを隠したかった」「けど、誹謗中傷され、さげすまれ…」 [冬月記者★]
- ベッセント米財務長官「株価下落は中国ディープシークAIモデルに関係」トランプ大統領の政策が要因との見方を否定 [Hitzeschleier★]
- トランプ大統領、世界株安でも平日ゴルフ 「失敗するのは弱いやつだけだ」と自身の関税政策を擁護 ★2 [Hitzeschleier★]
- 百田尚樹氏「世襲政治家に優秀な人間は出てこない。ずっと私は言い続けてきた」 [533895477]
- 日本人、QBハウスに6時間並ぶ… [667744927]
- 【実況】博衣こよりのえちえちモンハンワイルズ🧪★2
- サンドイッチマンのヤクザの方って何て名前だっけ?
- 【石破速報】兵庫県「週刊文春が斎藤知事に批判的な記事を書いたので週刊文春に情報源の公開を求める」 [931948549]
- 政府「なんで"自分の子"を欲しがらないの?」 [812255663]