[過去ﾛｸﾞ] 数学の本 第98巻 (1002ﾚｽ)
上下前次1-新

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

477: 2024/06/22(土)15:17 ID:31IeRiT6(5/6) AAS
訂正します：

>>466

e ∈ E に対して、 S_e := {y ∈ Y : y < e} と定義する。
S_e は高々可算な集合である。
S := ∪_{e ∈ E} S_e は高々可算な集合の高々可算個の和集合であるから高々可算な集合である。
Y は非可算集合であるから、 Y - S は非可算集合である。よって空集合ではない。
t := min(Y - S) とする。
t < e を満たす e ∈ E は存在しない。
なぜなら、存在すると仮定すると、 t ∈ S_e ⊂ S となるが、 t は Y - S の最小元であったからこれはあり得ない。
よって、すべての e ∈ E に対して、 e ≦ t が成り立つ。
省2

---

上下前次1-新書関写板覧索設栞歴

---

あと 525 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.015s