[過去ログ] 数学の本 第98巻 (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
472
(1): 132人目の素数さん [] 2024/06/22(土) 13:31:31.65 ID:31IeRiT6(2/6) AAS
>>466

X は以下の集合です。

Proposition: There is an uncountable set X that is well ordered by a relation < in such a way that:

i. There is a last element Ω in X.
ii. If x ∈ X and x ≠ Ω, then the set {y ∈ X : y < x} is countable.
474: 132人目の素数さん [] 2024/06/22(土) 13:42:14.93 ID:mFBAf0ks(1) AAS
>>472 ω_1 を最小の非可算順序数として, X = (ω_1)∪{ω_1}, Ω = ω_1 と置けば良いのでは?
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.038s