>>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■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 交際男性の乳首を切り 「やらないなら出て行け」左手薬指を切断…24歳女に保護観察付き有罪判決・男性は執行猶予求める (大阪地裁) [少考さん★]
- 「いいの?前科ついちゃうよ」万引きした女子大学生を脅す 元コンビニ店長の男(54)逮捕 ★2 [煮卵★]
- 【サッカー】W杯の新ルールで一発レッドで退場! パラグアイの10番アルミロン、口元を手で隠す行為 [冬月記者★]
- 「撮り鉄」同士のトラブルか 車のフロントガラス破壊の男逮捕 寝台特急カシオペア撮影のため東京から宮城・白石に遠征 [少考さん★]
- 【MLB】大谷翔平、第2子誕生へ 育休でチームを離脱 球団が発表…週末には復帰予定 長女誕生から1年 ★2 [jinjin★]
- 【テレ東音楽祭】長渕剛、テレ東初出演!『とんぼ』『乾杯』熱唱へ 酒井法子は『碧いうさぎ』歌唱 [Ailuropoda melanoleuca★]
- 【地上波/DAZNほか】 FIFAワールドカップ2026 総合スレ★109【メキシコ/カナダ/アメリカ】
- 【地上波/DAZNほか】 FIFAワールドカップ2026 総合スレ★110【メキシコ/カナダ/アメリカ】
- 【MLB】ドジャース vs オリオールズ ★3
- 巨専】
- 競輪実況★1784
- とらせん 雨
- 愛国者「日本国民って優秀なのになんで国会議員だけ無能なの?」→20万いいね [834922174]
- 【急募】ペペロンチーノを美味くする方法 [769931615]
- 【悲報】🍕ビザ一斉値上げ、7月から
- 木原「高市首相がG7でボッチだったり無視された事実はない!デマを流すなー😡」 [931948549]
- 【動画】クリスティアーノ・ロナウド(クリロナ)さん、ガチのマジでおわる [398059782]
- 【実況】博衣こよりのえちえちうたわれるもの 白への道標🧪★4