[過去ﾛｸﾞ] 数学の本 第98巻 (1002ﾚｽ)

数学の本 第98巻 http://rio2016.5ch.net/test/read.cgi/math/1710406925/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞
抽出解除 ﾚｽ栞

---

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

---

466: １３２人目の素数さん [] 2024/06/21(金) 19:42:56.98 ID:J+tHJxbN H. L. Royden著『Real Analysis Third Edition』 やっとまともな問題に出会いました。 Problem 32. Let Y be the set of ordinals less than the first uncountable ordinal; i.e., Y = {x ∈ X : x < Ω}. Show that every countable subset E of Y has an upper bound in Y and hence a least upper bound. http://rio2016.5ch.net/test/read.cgi/math/1710406925/466

472: １３２人目の素数さん [] 2024/06/22(土) 13:31:31.65 ID:31IeRiT6 >>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. http://rio2016.5ch.net/test/read.cgi/math/1710406925/472

476: １３２人目の素数さん [] 2024/06/22(土) 15:12:55.16 ID:31IeRiT6 >>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 が成り立つ。 よって、 E は上に有界である。 E が Y の中に最小上界を持つことは Y が整列集合であるから明らかである。 http://rio2016.5ch.net/test/read.cgi/math/1710406925/476

477: １３２人目の素数さん [] 2024/06/22(土) 15:17:47.56 ID:31IeRiT6 訂正します： >>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 が成り立つ。 よって、 E は上に有界である。 E が Y の中に最小上界を持つことは Y が整列集合であるから明らかである。 http://rio2016.5ch.net/test/read.cgi/math/1710406925/477

---

ﾒﾓ帳

(0/65535文字)

---

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

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.032s