19/10/08 07:23:36.89 3SQHWkr4.net
>>210
つづき
ここで、現代数学の順序同型（下記）を借用しましょう
”整列順序型N’：0,1,2,・・,n,・・” は、ちょうど自然数N全体を渡り、自然数Nと順序同型です
これを認めれば、ツェルメロの整列順序型E’とノイマンの整列順序型Eとは、順序同型
全単射で、ツェルメロのΩが、ノイマンのωに対応する
よろしいでしょうか？
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
順序型
(抜粋)
整列順序型と順序数
整列集合の順序型を特に整列順序型と呼ぶ。α を順序数とし ∈α を α 上の所属関係とすると、(α, ∈α) は整列集合なので type(α, ∈α) は整列順序型である。逆に、任意の整列集合は必ずある順序数 α に対する (α, ∈α) と同型なので、整列順序型は必ずある順序数 α に対する type(α, ∈α) の形で表すことができる。
URLﾘﾝｸ(ja.wikipedia.org)
整列集合
URLﾘﾝｸ(ja.wikipedia.org)
順序集合
写像と順序
定義
S, T を順序集合とし、f: S → T を写像とする。このとき
・f が順序同型写像（英語版）であるとは、f が順序埋め込みな全単射である事を言う。
順序同型 f: S → T が存在するとき、S と T は順序同型あるいは単に同型であるという。
つづく