如何证明不存在集合T使对任意集合F有T中的元素与F等势? 第1页
1
lljpcz 网友的相关建议:
我们在ZFC的范围内回答这个问题。
首先这个问题用词不是特别严谨。
严谨的说法应该是不存在集合T对任意XXXXXX。(去掉了一个族字)
这个严谨版本的证明很简单，把F取成T的并(所有元素的并集)的幂集(所有子集组成的集合)，这就是一个反例。
要去掉族这个字的原因是，在某些语境下面，集合族可能指的不是一个集合，而是一个真类。
1
相关话题
环中任何一个非空子集都可以生成理想吗？如何证明阿列夫零上阿列夫零等势于二上阿列夫零？
如何证明每一个有穷的偏序都可以延拓成一个线序？
没有基的线性空间，是否可以构造，如何构造？
如何证明紧致的度量空间都是第二可数空间？
如何证明函数上下极限相等，则极限存在？
你见过最恶心的函数是什么？
一个数介于 2 和 3 之间，那么它为无理数和有理数的概率分别为多少？
陶哲轩为什么用一个新公理代替了旧的幂集公理？
既然勒贝格积分是黎曼积分的改进，那为什么还要学黎曼积分？淘汰黎曼积分，直接学勒贝格积分不好吗？
前一个讨论
如何看待喜茶、奈雪的茶等头部奶茶品牌涨价 ?
相关的话题
如何证明R1可测函数覆盖的区域是可测的？既然勒贝格积分是黎曼积分的改进，那为什么还要学黎曼积分？淘汰黎曼积分，直接学勒贝格积分不好吗？
如何理解区间 [0, 1] 内有理数集合的长度为 0？
不可列个数的集合交集并集怎么定义？
是否存在这样一个非常数函数，定义域是实数集或其子集，值域仅为有理数集子集？是否有这样的函数是连续的呢？
可测集多还是不可测集多？ 即一维，直到n维的欧氏空间中，可测集类和不可测集类是否等势？
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
集合相等的定义与空集的定义的矛盾如何理解？
是否存在这样一个非常数函数，定义域是实数集或其子集，值域仅为有理数集子集？是否有这样的函数是连续的呢？
没有基的线性空间，是否可以构造，如何构造？
为什么函数的连续点构成可测集？
上帝悖论是否有解？
如何证明这个收敛性问题？
概率论和实变函数（测度论）有什么联系？
实变、泛函、抽代、拓扑，哪几门对于非纯数专业更加有用？
为什么会有数学家反对对无穷集合使用排中律？
A是不可列集合，B是将A分割成两个不可列集合的实数的集合，证明B非空且为开集？
收敛的有理系数幂级数个数可数么？
为什么度量空间中聚点等同于极限点？
如何理解区间 [0, 1] 内有理数集合的长度为 0？
如何证明这个收敛性问题？
关于这个函数项级数，有没有一些研究成果？
如何证明集合[0, 1] × [0, 1]与集合[0, 1]等势(即存在双射）？
设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？
平面有界凸集上的点到其重心的最大距离是其直径的比例的上界是多少呢？
实数完备性的基本定理为什么是 6 个？
如何显式构造出包含于[0, 1]Q的正测度闭集F？
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
是否有可能在复数域上建立一个与加法、乘法相容的全序关系？
测度论中，环为什么不一定是σ环？