>>266 補足
順序には、いろんな流儀がある
下記、整数Zで「0<-1<1<-2<2<...<-n<n<...」とすれば、整列にできる
あるいは「例 13.2 自然数 x, y ∈ N に対して, x ≧ y のとき x ≦' y と定義すれば, 全順序
集合 (N, ≦') が得られる 要は,. . . 4 3 2 1
のように, 自然数を通常とは逆順に並べることに相当する. この配列には min N
が存在しないから, (N, ≦') は整列集合ではない.」
あるいは、「例 13.4 自然数を偶数と奇数を分けて, 偶数同士, 奇数同士では通常の大小を考
え, 偶数と奇数では奇数の方が小さいとする順序関係 ≦1 を導入する. この順序
に関して自然数を書き並べれば,1 3 5 . . . 2 4 6 . . . (13.2)
のような配列が得られる. こうして得られる全順序集合 (N, ≦1) は整列集合になる. 」って
(>>161)
http://paiotunoowari.hatenadiary.jp/entry/2015/12/03/133610
整列可能定理 2015-12-03 ぱいおつ日記
ひかるさんのアドベントカレンダー企画の3日目の記事です.
(抜粋)
Nは普通の大小関係で整列集合になってます.
Zとかも普通の大小関係は整列順序じゃないけど0<-1<1<-2<2<...<-n<n<...と並べ直したら整列集合になってます.
こんなふうに,ある順序で整列集合でないような集合でも別の順序では整列集合になっていたりします.
(引用終り)
(>>163-164)
http://www.math.is.tohoku.ac.jp/~obata/student/subject/file/2018-13_WellOrdered.pdf
第13章 整列集合 : 2018/6/21 東北大 尾畑研
例 13.2 自然数 x, y ∈ N に対して, x ≧ y のとき x ≦' y と定義すれば, 全順序
集合 (N, ≦') が得られる要は,
. . . 4 3 2 1
のように, 自然数を通常とは逆順に並べることに相当する. この配列には min N
が存在しないから, (N, ≦') は整列集合ではない.
例 13.4 自然数を偶数と奇数を分けて, 偶数同士, 奇数同士では通常の大小を考
え, 偶数と奇数では奇数の方が小さいとする順序関係 ≦1 を導入する. この順序
に関して自然数を書き並べれば,
1 3 5 . . . 2 4 6 . . . (13.2)
のような配列が得られる. こうして得られる全順序集合 (N, ≦1) は整列集合に
なる.
(引用終り)
以上
純粋・応用数学(含むガロア理論)8
■ このスレッドは過去ログ倉庫に格納されています
273現代数学の系譜 雑談 ◆yH25M02vWFhP
2021/05/21(金) 20:55:06.17ID:21czZX5k■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【日中】中国の王毅外相が関係正常化の「条件」を提示 岩屋前外相との会談で ★3 [煮卵★]
- 「金ある人だけ助かる」医療現場のファストパス導入にミュージシャン警鐘「政治がクソだとここまで」「ほんまに全員本気出した方がいい」 [muffin★]
- 【バレーボール】男子・日本代表 髙橋藍の兄、高橋塁…同性愛者であると公表「初めて自分自身を認めることができました」 ★2 [阿弥陀ヶ峰★]
- 日本の総人口、1億2297万人 (−2.5%) [少考さん★]
- 【🇯🇵】日の丸を傷つけたら処罰「国旗損壊罪」に日弁連が即時廃止求める「表現の自由そのものが失われかねない」 ★3 [少考さん★]
- 「何をもって『オール沖縄の終焉』というのか」 沖縄・玉城デニー知事が退任会見で疑問視 [少考さん★]
- (´・ω・`)もう寝るね
- 【悲報】亜月ねね 先生の弁護士を名乗るIPアドレスと810chで荒らし認定されて晒されたIPアドレスが完全に同一であることが確認された [841411289]
- 【悲報】中国さん、なんかまじで台湾侵攻はじめそうwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww [339035499]
- お前ら「韓国嫌い!」俺「焼肉好き?」
- 【高市悲報】AIマンガの作り方の本、作例のクオリティが高すぎると話題 もうこれ漫画家廃業だろ [158478931]
- 【大本営速報】中日・井上一樹監督が『辞任』 低迷の責任取り、自ら球団へ申し入れ…