[過去ログ]
数学の本 第98巻 (1002レス)
数学の本 第98巻 http://rio2016.5ch.net/test/read.cgi/math/1710406925/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
380: 132人目の素数さん [] 2024/06/15(土) 17:31:46.65 ID:OzBDnxCU H. L. Royden著『Real Analysis Third Edition』 証明は分かりやすいといえば分かりやすいのですが、クセが強いです。 例えば、↓のような感じです。 A を高々可算な集合とする。 A の有限列すべての集合は可算集合である。 証明: (1) A は高々可算であるから N の部分集合との間に全単射が存在する。 (2) 高々可算な集合の部分集合は高々可算である。 よって、N の有限列すべての集合 S が可算であることを示せばよい。 N から N ∪ {0} の有限列すべての集合への写像 f を以下で定義する。 f(1) := <0> n = 2^{x_1} * 3^{x_2} * … * p_k^{x_k}、 x_k ≠ 0 であるとき、 f(n) := <x_1, x_2, …, x_k> f は明らかに単射であるから、 f(N) は可算集合である。 明らかに、 f(N) は S を含む。 可算な集合の部分集合は高々可算であり、明らかに S は無限集合であるから、 S は可算集合である。 http://rio2016.5ch.net/test/read.cgi/math/1710406925/380
メモ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 622 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.023s