- 367 名前：現代数学の系譜 雑談 [2025/01/16(木) 16:40:28.80 ID:6RwEALUm.net]
- つづき
*2^ 順序数は本来、上で述べた定義とは異なる仕方で定義されていた。
その定義とは、順序集合全体の集まりを「同型である」という “同値関係” によって類別したとき、順序集合 (A, <) の “同値類” を (A, <) の順序型 (order type) と呼び、特に整列集合の順序型を順序数と呼ぶというものである。
ところが現代の標準的な集合論においては、A が空集合でない限り (A, <) と同型な順序集合全体の集合といったものは存在しないことが示される。**)
したがって、このような順序数の定義の仕方は正当な方法であるとは認められない。
これを克服するために考えられたのが上で述べた定義であり、現在は上の定義（あるいはそれと同値な定義）が広く用いられている。
だが、順序型というアイデア自体が排除されたわけではない。
順序数を上で述べたような仕方で定義した後、それを用いることによって順序型を正当な方法で定義できるということが知られている。
ただし、整列集合の順序型と順序数は別のものになる。詳細は「順序型」を参照。
ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E5%9E%8B
順序型
非公式な定義
二つの全順序集合 (A, <A), (B, <B) が同型のとき、(A, <A) と (B, <B) は全く同じ "型" をしていると言える。そこで、全順序集合 (A, <A) の "型" を type(A, <A) で表すことにすれば、任意の全順序集合 (A, <A), (B, <B) に対して
type(A,<A)=type(B,<B)⟺(A,<A)≅(B,<B) ・・・・・・(※)
が成り立つ。type(A, <A) を (A, <A) の順序型と呼ぶ。
つづく
|
 |
