順序数は、整列集合であり、全順序でもあります(下記)
順序数ωに、”<”が使えない? それは、人の数学ではない。おサルの数学です
人の数学では”So in the following sequence:
0, 1, 2, …, ω, ω+1
ω is a limit ordinal because for any smaller ordinal (in this example, a natural number) there is another ordinal (natural number) larger than it, but still less than ω.”
です。おサルには理解できないのでしょうね(^^
https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E6%95%B0
順序数
定義
整列集合 (A, <) に対して、A を定義域とする関数 G A,<を超限帰納法によって
GA,<(a) = { GA,<(x) | x < a }
と定義したとき、GA,< の値域 ran(GA,<) を (A, <) の順序数といい、これを ord(A, <) で表す。ある整列集合の順序数であるような集合を順序数と呼ぶ[2]。
脚注
2.略
順序数の特徴付け
集合 x について以下はZFで同値である。
・x は順序数である。
・x は推移的集合であり包含関係 ⊂ に関する全順序集合である。
ただし正則性公理を仮定しない場合は必ずしも同値にならないので注意が必要である。
https://en.wikipedia.org/wiki/Ordinal_number
Ordinal number
In set theory, an ordinal number, or ordinal, is one generalization of the concept of a natural number that is used to describe a way to arrange a (possibly infinite) collection of objects in order, one after another.
An ordinal number is used to describe the order type of a well-ordered set (though this does not work for a well-ordered proper class). A well-ordered set is a set with a relation < such that:
(Trichotomy) For any elements x and y, exactly one of these statements is true:
・x < y
・y < x
・x = y
Successor and limit ordinals
So in the following sequence:
0, 1, 2, …, ω, ω+1
ω is a limit ordinal because for any smaller ordinal (in this example, a natural number) there is another ordinal (natural number) larger than it, but still less than ω.
(引用終り)
以上
純粋・応用数学(含むガロア理論)8
■ このスレッドは過去ログ倉庫に格納されています
343現代数学の系譜 雑談 ◆yH25M02vWFhP
2021/05/23(日) 13:34:22.03ID:v1UiZ3zv■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【日中】中国の王毅外相が関係正常化の「条件」を提示 岩屋前外相との会談で ★3 [煮卵★]
- 「金ある人だけ助かる」医療現場のファストパス導入にミュージシャン警鐘「政治がクソだとここまで」「ほんまに全員本気出した方がいい」 [muffin★]
- 【バレーボール】男子・日本代表 髙橋藍の兄、高橋塁…同性愛者であると公表「初めて自分自身を認めることができました」 ★2 [阿弥陀ヶ峰★]
- 日本の総人口、1億2297万人 (−2.5%) [少考さん★]
- 【🇯🇵】日の丸を傷つけたら処罰「国旗損壊罪」に日弁連が即時廃止求める「表現の自由そのものが失われかねない」 ★3 [少考さん★]
- 10月電気・ガス代が全国的に値上がり 政府の補助金終了と資源価格高騰が要因 [首都圏の虎★]
- (´・ω・`)もう寝るね
- 日本人「勇者のイメージ? ひ弱な少年だよ。」 海外「屈強でムキムキマッチョマン!」 [592058334]
- 【悲報】亜月ねね 先生の弁護士を名乗るIPアドレスと810chで荒らし認定されて晒されたIPアドレスが完全に同一であることが確認された [841411289]
- 【大本営速報】中日・井上一樹監督が『辞任』 低迷の責任取り、自ら球団へ申し入れ…
- 【悲報】中国さん、なんかまじで台湾侵攻はじめそうwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww [339035499]
- 【高市悲報】AIマンガの作り方の本、作例のクオリティが高すぎると話題 もうこれ漫画家廃業だろ [158478931]