面白い数学の問題おしえて～な 44問目 (299ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
282(1): 08/31(日)18:56 ID:QaV2l/9l(1/2) AAS
>>274 ヒント続き
（今更だけど「/」は差集合。＼と間違えたけどこのまま進めます。ごめんちょ）
Wの部分集合A,Bが A⊂B でも B⊂A でもなく、|A|, |B| ≦ 500 を満たすならば、f(A)≠f(B).
（証明）
|A|=|B|の時は証明済み。
|A|<|B|として一般性を失わないのでそのように仮定する。
0 < |A/(A∩B)| < |B/(A∩B)| より、集合 B/(A∩B) から任意に |B|-|A| 個の元を選んでその集合をCとおくと、
A':=A∪C は A⊂A'⊂B、 |A'|=|B|、 0<|A'/(A'∩B)| (すなわち A'≠B) を満たす。
f(A)=f(B) と仮定すると f(A') = f(A)∪f(C) = f(B)∪f(C) = f(B) より、f の W(|B|) への制限の単射性に反する。
（終わり）
284: 08/31(日)21:44 ID:QaV2l/9l(2/2) AAS
>>282
誤 A⊂A'⊂B
正 A⊂A'
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.021s