[過去ログ]
数学の本 第98巻 (1002レス)
数学の本 第98巻 http://rio2016.5ch.net/test/read.cgi/math/1710406925/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
476: 132人目の素数さん [] 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
メモ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 526 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.016s