[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
342(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/16(木)16:40 ID:6RwEALUm(5/8) AAS
つづき
*2^ 順序数は本来、上で述べた定義とは異なる仕方で定義されていた。
その定義とは、順序集合全体の集まりを「同型である」という “同値関係” によって類別したとき、順序集合 (A, <) の “同値類” を (A, <) の順序型 (order type) と呼び、特に整列集合の順序型を順序数と呼ぶというものである。
ところが現代の標準的な集合論においては、A が空集合でない限り (A, <) と同型な順序集合全体の集合といったものは存在しないことが示される。**)
したがって、このような順序数の定義の仕方は正当な方法であるとは認められない。
これを克服するために考えられたのが上で述べた定義であり、現在は上の定義（あるいはそれと同値な定義）が広く用いられている。
だが、順序型というアイデア自体が排除されたわけではない。
順序数を上で述べたような仕方で定義した後、それを用いることによって順序型を正当な方法で定義できるということが知られている。
ただし、整列集合の順序型と順序数は別のものになる。詳細は「順序型」を参照。
ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E5%9E%8B
省6
347: 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/16(木)20:50 ID:AB73gH0c(1/5) AAS
>>342 補足
>順序数を上で述べたような仕方で定義した後、それを用いることによって順序型を正当な方法で定義できるということが知られている。
>ただし、整列集合の順序型と順序数は別のものになる。詳細は「順序型」を参照。
下記ですね
貼っておきます
(参考)
外部ﾘﾝｸ:ja.wikipedia.org
順序型
整列順序型と順序数
整列集合の順序型を特に整列順序型と呼ぶ。
省5
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.029s