ガロア第一論文と乗数イデアル他関連資料スレ16at MATHガロア第一論文と乗数イデアル他関連資料スレ16 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このスレッドのURL■項目テキスト100:132人目の素数さん 25/04/23 10:46:00.50 46VexLHs.net 整列可能とは何らかの整列順序が存在することを云う。どんな整列順序かは問わない。 一方、整列順序の構成は具体的な整列順序を定める。 区別できないのはヒト未満のサル。 101:132人目の素数さん 25/04/23 10:47:57.37 +tPmLqYu.net >>94 > ツェルメロの自然数は順序数ではない。 正確には「ツェルメロの自然数は二項関係∈に関して順序数ではない」 もちろん、違う二項関係を持ってくれば順序数と同型になる まあ、順序数という場合、二項関係∈でしか考えない、と断定してもよいけどね それ以外は同意 まあ、上記も些細なことでしかないがね 102:132人目の素数さん 25/04/23 11:44:12.24 46VexLHs.net >>96 ツェルメロの自然数上の∈はそもそも順序関係でない。 ツェルメロの自然数は整列集合であり順序数ωと順序同型だが順序数ではない。実際{{{}}}はそれより小さい元全体の集合ではない({{{}}}≠{{},{{}}})。 https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E6%95%B0 定義 整列集合 (A,<) に対して、A を定義域とする写像 GA,< を超限帰納法によって GA,<(a)={GA,<(x)|x<a} と定義したとき、GA,< の値域 ran(GA,<) を (A,<) の順序数といい、これを ord(A,<) で表す。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch