面白い数学の問題おしえて～な 44問目 (286ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
274(1): 08/30(土)14:17 ID:kaOtwNfL(1) AAS
>>265 ヒント続き
（証明）
k<500 かつ A,B∈W(k) が互いに異なる時
|W/(A∪B)| = 1000 - |A| - |B| + |A∩B| ≧ 1000-2k > 500-k
より、AともBとも共通部分を持たない C⊂W s.t. |C|=500-k がとれる。
もし f(A)=f(B)と仮定すると、
f(A∪C) = f(A)∪f(C) = f(B)∪f(C) = f(B∪C)
となるが、これはW(500)に属する異なる集合 A∪C と B∪C による f の像が等しいことを意味し、f のW(500)への制限が単射であることと矛盾する。
ゆえに f(A)≠f(B).
（終わり）
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.010s