>>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■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 約700頭のコアラを狙撃し殺処分 森林火災が影響 オーストラリア [少考さん★]
- 日本、アジア最大の統合型リゾート(IR)施設がついに着工、経済効果1.1兆円/年、雇用創出9.3万人、1060億円/年 大阪に収入 [お断り★]
- 【教育】なぜ「体育嫌い」は増える? 背景にホモソーシャル、性的少数者無視 ★2 [ぐれ★]
- 買春:買春容疑の社員、懲戒解雇処分に 毎日新聞社 [少考さん★]
- 駅前の一等地にデータセンター計画、「人が入れない施設が建っていいのか」と反対の声相次ぐ ★2 [蚤の市★]
- なぜ?「就職氷河期世代」への支援続々…石破首相が“就労支援”など3本柱の対策を指示するなど各党が発表 ★3 [煮卵★]
- 【正論】自民党保守派「石破首相の戦争検証は特定アジアに非難の口実を与える。自虐外交の終結という安倍さんのレガシーが無意味になる」 [519511584]
- 【同時視聴】博衣こよりのえちえちホロRust6日目まとめ🧪
- ラ ー メ ン イ ケ メ ン
- 太平洋戦争における日本兵の死因、7割が餓死・病死👈おかしくないか?軍の指導部は何してたの? [812874503]
- 【声優】石見舞菜香さん、彼氏バレしてもスルーでXを更新してしまう。もう嫌儲でも誰も騒いでない [882679842]
- 万博コスプレで炎上した女がガチギレ「二次創作がグレーなら白黒はっきりさせるべき」 [834922174]