(1)は可算濃度。
(2)、(3)はどちらも濃度は可算で、
最小値を持ち最大値を持たない稠密可算全順序になる。
ここで、端点を持たない可算で稠密な全順序は
全て順序同型になるという定理があるので、
(2)、(3)はどちらも非負有理数の集合と順序同型になる。
端点を持たない可算で稠密な全順序は
全て順序同型とあうのは例えばキューネンの
数学基礎論講義なんかの教科書に載っている。
数理論理学(数学基礎論) その11
■ このスレッドは過去ログ倉庫に格納されています
751132人目の素数さん
2017/06/19(月) 21:29:26.23ID:F1A3cDFm■ このスレッドは過去ログ倉庫に格納されています
ニュース
- ランドセルにくぎ刺される「国に帰れ」など言われ、転校を余儀なくされた海外からの転校生 仙台市教育委員会が「いじめ重大事態」認定★3 [煮卵★]
- 交際男性の乳首を切り 「やらないなら出て行け」左手薬指を切断…24歳女に保護観察付き有罪判決・男性は執行猶予求める (大阪地裁) [少考さん★]
- 「いいの?前科ついちゃうよ」万引きした女子大学生を脅す 元コンビニ店長の男(54)逮捕 ★2 [煮卵★]
- 【サッカー】W杯の新ルールで一発レッドで退場! パラグアイの10番アルミロン、口元を手で隠す行為 [冬月記者★]
- 【MLB】大谷翔平、第2子誕生へ 育休でチームを離脱 球団が発表…週末には復帰予定 長女誕生から1年 ★2 [jinjin★]
- 【テレ東音楽祭】長渕剛、テレ東初出演!『とんぼ』『乾杯』熱唱へ 酒井法子は『碧いうさぎ』歌唱 [Ailuropoda melanoleuca★]
- 【悲報】高市早苗容疑者、周囲に「土日も休んでいない。休めない」などと意味不明な供述をしている模様 [731544683]
- ⛵👒👊☠👊🏝🏡
- 朝日新聞「G7サミットの招待国も含めた記念撮影を前に、強い日差しを浴びる高市早苗首相」 [931948549]
- 【実況】博衣こよりのえちえちうたわれるもの 白への道標🧪★5
- ホラン千秋「可愛いから寿司屋でいくらをサービスされた。無意識下に"ルッキズム"が広がっているのでは🤔」 [589647274]
- 👩女性「大谷翔平、産ませてすぐ妊娠させるって………ドン引き」 [762037879]