[理工] 離散計數問題 mandychad PTT批踢踢實業坊

[理工] 離散計數問題

作者: mandychad (新莊金城武) 2019-09-18 12:58:09

想請問這題有比較直觀的想法嗎？
從畫線地方開始，就不太知道如何證的了。
https://i.imgur.com/uA4QQq2.jpg

作者: Ricestone (麥飯石) 2019-09-18 13:16:00

這證明是對所有set（包含uncountable）時的標準做法你可能要先把握到Power set的每個元素都是集合這個矛盾證法的主要目的是證明powerset裡面有個元素不會被射到，那個元素也就是這個集合B

作者: mi981027 (呱呱竹) 2019-09-18 14:37:00

https://i.imgur.com/3sfIpHJ.jpg

作者: Ricestone (麥飯石) 2019-09-18 15:00:00

其實B是空集合也無所謂，反正空集合一樣是powerset的元素，下面的證明都可以直接套用

作者: mi981027 (呱呱竹) 2019-09-18 16:41:00

原來如此難怪不需要分開討論感謝指正

作者: mandychad (新莊金城武) 2019-09-19 22:58:00

感謝R大 mi大我在試試看

繼續閱讀

[理工] 離散組合eefat [理工] 線代 7-86mistel [理工] 排列組合s42420808 [理工] 線代_有限體線性系統fmtshk [理工] 離散組合 3-32ThereisBear [理工] 離散組合s42420808 [理工] 離散圖論×3mistel [理工] 離散_代數結構fmtshk [理工] 作業系統 Race conditionAndrewTsai46 [理工] 離散3-45willie7878

Contact Us: admin [ a t ] ucptt.com