>>210
つづき
ここで、現代数学の順序同型(下記)を借用しましょう
”整列順序型N’:0,1,2,・・,n,・・” は、ちょうど自然数N全体を渡り、自然数Nと順序同型です
これを認めれば、ツェルメロの整列順序型E’とノイマンの整列順序型Eとは、順序同型
全単射で、ツェルメロのΩが、ノイマンのωに対応する
よろしいでしょうか?
(参考)
https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E5%9E%8B
順序型
(抜粋)
整列順序型と順序数
整列集合の順序型を特に整列順序型と呼ぶ。α を順序数とし ∈α を α 上の所属関係とすると、(α, ∈α) は整列集合なので type(α, ∈α) は整列順序型である。逆に、任意の整列集合は必ずある順序数 α に対する (α, ∈α) と同型なので、整列順序型は必ずある順序数 α に対する type(α, ∈α) の形で表すことができる。
https://ja.wikipedia.org/wiki/%E6%95%B4%E5%88%97%E9%9B%86%E5%90%88
整列集合
https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E9%9B%86%E5%90%88
順序集合
写像と順序
定義
S, T を順序集合とし、f: S → T を写像とする。このとき
・f が順序同型写像(英語版)であるとは、f が順序埋め込みな全単射である事を言う。
順序同型 f: S → T が存在するとき、S と T は順序同型あるいは単に同型であるという。
つづく
探検
現代数学の系譜 カントル 超限集合論
■ このスレッドは過去ログ倉庫に格納されています
211現代数学の系譜 雑談 ◆e.a0E5TtKE
2019/10/08(火) 07:23:36.89ID:3SQHWkr4■ このスレッドは過去ログ倉庫に格納されています
ニュース
- フジテレビ第三者委員会報告に記載「タレントU」 各局は実名を把握・共有で「使う局ナシ」★2 [Ailuropoda melanoleuca★]
- ジャンポケ斉藤、修行先の洋菓子工場で洩らした「妻子との別居」、示談金が高すぎて払えないと泣いていた [ネギうどん★]
- 【宗教】日本、仏教国で仏教離れ最多 信者の4割、現在「無宗教」 米研究所調査 ★6 [樽悶★]
- 「『今じゃねえ』って怒られちゃって」ゆきぽよが浴びた“二郎系ラーメン”の洗礼「それから1回も行けていない」 [ネギうどん★]
- あぼーん
- ADHDの大人の「中身が散らかったバッグ」に共通していること…「荷物が多い」のに必要なものが見つからない「原因」(南 和行氏) [少考さん★]
- 【DAZN】フォーミュラGP【F1 F2F3 SF P】Lap1652
- 【フジテレビ】2025 FORMULA 1【NEXT】Lap69
- ☆・:.,;*。ベガルタ仙台実況。.:*:・゜☆
- 阪神競馬2回3日目
- 中山競馬3回3日目
- やくせん
- トランプ関税に対する著名人からのコメント「俺なら抗議の辞任する」「トランプはガイジ」 [918057362]
- 【実況】博衣こよりのえちえちクロノトリガー🧪★3
- 【悲報】万博、楽しそう [834922174]
- 【先着っ!】Ave Mujicaで一つ屋根の下で愛し合いたい女の子っ!!!!!!!!!!!!!!!!!!!
- 奥さん「"お前呼び"する男には、お前と呼びし返すけど良いの?」 [127859383]
- タレントU氏、「映す価値なし」…フジテレビ報告書があまりにも酷すぎて、各局でU氏復帰は見合わせに [779857986]