[過去ログ] 現代数学の系譜 カントル 超限集合論他 3 (548レス)
上下前次1-新
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
542(1): 132人目の素数さん [] 2022/01/28(金) 14:34:30.29 ID:OCJDS5eR(1) AAS
転載しておく
Inter-universal geometry と ABC予想 (応援スレ) 64
2chスレ:math
594 名前:132人目の素数さん[sage] 投稿日:2022/01/28(金) 07:44:33.71 ID:341TuiYA
>>7 追加
> ”(スレ55 2chスレ:mathより)
> <上昇列 0<・・・<ω が有限列にしかなり得ない
> ことも分からん「考えなしの素人」に数学はムリ”
反例が見つかった(下記)w
下記のOrdinal arithmetic
・Addition で、... < 0'
・Multiplicationで、... < 01
・Exponentiationで、... < (0,1)
www
https://en.wikipedia.org/wiki/Ordinal_arithmetic
Ordinal arithmetic
Addition
The first transfinite ordinal is ω, the set of all natural numbers. For example, the ordinal ω + ω is obtained by two copies of the natural numbers ordered in the usual fashion and the second copy completely to the right of the first. Writing 0' < 1' < 2' < ... for the second copy, ω + ω looks like
0 < 1 < 2 < 3 < ... < 0' < 1' < 2' < ...
This is different from ω because in ω only 0 does not have a direct predecessor while in ω + ω the two elements 0 and 0' do not have direct predecessors.
Multiplication
Here is ω・2:
00 < 10 < 20 < 30 < ... < 01 < 11 < 21 < 31 < ...,
which has the same order type as ω + ω.
Exponentiation
For instance, ω^2 = ω・ω using the operation of ordinal multiplication. Note that ω・ω can be defined using the set of functions from 2 = {0,1} to ω = {0,1,2,...}, ordered lexicographically with the least significant position first:
(0,0) < (1,0) < (2,0) < (3,0) < ... < (0,1) < (1,1) < (2,1) < (3,1) < ... < (0,2) < (1,2) < (2,2) < ...
Here for brevity, we have replaced the function {(0,k), (1,m)} by the ordered pair (k, m).
(引用終り)
以上
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.029s