素粒子論総合スレ2 (43ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
20(1): 2024/07/24(水)20:09 ID:??? AAS
>>10
P([0, 1]) の各要素 f_i に対し、対応する新しい部分集合 g_i を定義する。g_i は、f_i に含まれない [0, 1] の要素のうち、最小のものを含む集合とする。
N から P([0, 1]) への写像 f を仮定する。f は各自然数 n に対し、P([0, 1]) の要素 f_n を割り当てるものとする。
g_f(n) を考える。g_f(n) は、f_n に含まれない [0, 1] の最小の要素を含む集合だったよね。ところが、f(n) は P([0, 1]) の要素だから、g_f(n) は f(n) に含まれてしまう。これは矛盾だ！
矛盾が生じたということは、N から P([0, 1]) への全単射が存在しないことを意味する。
34: 2024/08/06(火)16:40 ID:??? AAS
>>20
かなりきてます。
気が緩みすぎだな
当然壺と議論なんかする訳ねぇじゃんｗ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.016s