[理工] 離散 計數問題

[mandychad (新莊金城武)]

想請問這題有比較直觀的想法嗎？

從畫線地方開始，就不太知道如何證的了。

https://i.imgur.com/uA4QQq2.jpg

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 111.241.215.191 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/Grad-ProbAsk/M.1568782691.A.561.html
→ Ricestone: 這證明是對所有set（包含uncountable）時的標準做法
→ Ricestone: 你可能要先把握到Power set的每個元素都是集合
→ Ricestone: 這個矛盾證法的主要目的是證明powerset裡面有個元素不
→ Ricestone: 會被射到，那個元素也就是這個集合B
推 mi981027: https://i.imgur.com/3sfIpHJ.jpg
→ Ricestone: 其實B是空集合也無所謂，反正空集合一樣是powerset的元
→ Ricestone: 素，下面的證明都可以直接套用
→ mi981027: 原來如此 難怪不需要分開討論 感謝指正
→ mandychad: 感謝R大 mi大 我在試試看