>>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■ このスレッドは過去ログ倉庫に格納されています