[理工] 离散计数问题 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