Inter-universal geometry と ABC予想 (応援スレ) 74 (969ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
636(1): 09/01(月)12:45 ID:2hK1RYNi(6/8) AAS
>>631
補足している>>571に
>面白いが、aが可算だと P (a)は非可算になる
という基本的な間違いがある
aが有限集合のとき P(a) は可算な有限集合である
639(2): 09/01(月)13:21 ID:sYNWEl0F(5/13) AAS
>>636
>>面白いが、aが可算だと P (a)は非可算になる
>という基本的な間違いがある
いや、正しい。
aは可算集合とする。定義により全単射 f:N→a が存在するから、aの元を f(0),f(1),f(2),・・・ と並べられる。
P(a)の任意の元は、f(0)を持つか否か、及び、f(1)を持つか否か、及び、f(2)を持つか否か、及び、・・・で表せるから、2^N通り存在し、対角線論法によりP(a)は非可算集合。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.027s