是否任一无穷集合都能分成两个等势的不交集合之并？ 第1页
1
jasonchen0325 网友的相关建议:
假设选择公理成立，则任何无穷集合都能和某个无穷序数双射，而无穷序数都可以被拆分成两个不相交的等势集合，所以原集合也可以.
另一方面，我们称一个集合X为无形集(amorphous set)，当且仅当不存在两个不相交的无穷集使得它们的并集是X. 通过symmetric submodel的方法我们可以证明：如果ZFC是一致的，那么ZF+“存在一个无形集”也是一致的. 即我们需要选择公理才能保证任意无穷集合都能被拆分为两个等势不交集合的并.
1
相关话题
这个东西怎么证明?下面这个集合可数吗？
这道函数问题怎么解决？
二重积分中值定理怎么证明？
什么情况下比值判别法失效？
为什么矩形面积等于长乘宽？
为什么好多人嘱咐千万别刷吉米多维奇？
如何证明任何一复系数整式p(z)都可以分解成若干个(z-c)相乘的形式？
1+2+3+4+…n和∫ xdx （X从1到n）之间的关系是什么？
根号 a（a 为正整数）不是整数，就是无理数吗？有没有可能是分数？
下一个讨论
什么样的人才能算是新时代的独立女性？
相关的话题
如何（优雅地）证明｛sinN｝的上下确界分别是1和-1？如何证明这个关于ζ(5)的等式？
如何理解（证明）不存在与自己的真子集等势的自然数?
如何计算这个积分？
物理或化学方程为什么往往是偏微分方程？
为什么复变函数中定义无穷远点的留数时积分路线的方向是负的？
这个伽马函数的极限怎么计算得1？
如何看待复旦数院转专业考试最后一题？
我想证明自然数有穷可行吗？
怎么理解外微分式的连续性？
为什么要公理化实数，而不是从自然数导出？
是否有可能在复数域上建立一个与加法、乘法相容的全序关系？
除了Weierstrass函数，还有哪些处处连续处处不可导的实变函数的具体例子？
如何从零到一，如何从一到二.二到三，如何从三到无穷？
请问这个极限式如何证明？似乎很像带 δ 函数的积分？
如何证明y＝cosx²不是周期函数？
什么是「测度论」？
有没有一种行之有效的方法可以将一种函数展开成另外一种函数的级数？
如何判断这个习题中的数列是否收敛？
如何严谨地证明 0.9999…=1？
直角坐标与极坐标的互化中，为什么 dxdy=rdrdθ？
用泰勒公式怎么证明?
如何证明下面有关紧致集合连通性的问题？
lnx 的 0.5 阶导数是什么？
这个级数是怎么来的？
老哥们，这个题咋做吖，谢谢啦？
可以认为0到2之间的实数，是0到1之间的实数个数的两倍吗？
你见过最恶心的函数是什么？
高中问题，不等式证明的大佬请进。这个不等式怎么证？
请问这个实变证明题怎么做？