如何证明不存在集合T使对任意集合F有T中的元素与F等势? 第1页
1
lljpcz 网友的相关建议:
我们在ZFC的范围内回答这个问题。
首先这个问题用词不是特别严谨。
严谨的说法应该是不存在集合T对任意XXXXXX。(去掉了一个族字)
这个严谨版本的证明很简单，把F取成T的并(所有元素的并集)的幂集(所有子集组成的集合)，这就是一个反例。
要去掉族这个字的原因是，在某些语境下面，集合族可能指的不是一个集合，而是一个真类。
1
相关话题
有理数集如何拓展到实数集的？如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
如何理解区间 [0, 1] 内有理数集合的长度为 0？
为什么矩形面积等于长乘宽？
小数点后可以有无数位，为什么两个物体仍可以相互接触？
收敛的有理系数幂级数个数可数么？
区间 [0, 1] 内的实数，为什么我证明可以数？
设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？
有理数集如何拓展到实数集的？
有限正函数，在任意区间里可测且勒贝格积分无限的函数怎么构造？
前一个讨论
如何看待喜茶、奈雪的茶等头部奶茶品牌涨价 ?
相关的话题
Lp空间上的分析学在其他数学分支有哪些应用？如何证明每一个有穷的偏序都可以延拓成一个线序？
陶哲轩为什么用一个新公理代替了旧的幂集公理？
设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？
区间 [0, 1] 内的实数，为什么我证明可以数？
这个猜实数的游戏有没有必胜策略?
数理逻辑中集合论、模型论、证明论、可计算性理论这四大领域的内在理论联系是什么？
如果从图中移去一个边的一个集合将增加亚图的数目时，被移去的边的集合就成为截。”那么，亚图是什么？截呢？
测度论中，环为什么不一定是σ环？
小学数学为什么不从集合论学起？
是否有可能在复数域上建立一个与加法、乘法相容的全序关系？
如何证明集合[0, 1] × [0, 1]与集合[0, 1]等势(即存在双射）？
为什么国产数分教材在定义函数f在x处极限的时候都要求函数f在x的去心邻域内有定义？
可以认为0到2之间的实数，是0到1之间的实数个数的两倍吗？
是否任一无穷集合都能分成两个等势的不交集合之并？
勒贝格积分、数学分析、实分析 、泛函分析、 测度论 之间的关联以及先后学习次序是怎样的?
若 A={x, x∉A}，那么 A 是 ∅ 吗？
如何证明不存在集合T使对任意集合F有T中的元素与F等势?
为什么集合的本身还可以是一个集合的元素？
为什么集合的本身还可以是一个集合的元素？
在集合论里，对于二元公式φ，如何证明(任意X)(存在{x∈X：φ(x,X)})？
如何显式构造出包含于[0, 1]Q的正测度闭集F？
如何让一个 5 岁小孩听懂什么是选择公理？
如何证明这个收敛性问题？
这个猜实数的游戏有没有必胜策略?
数学专业的实变函数为什么这么难？
这个猜实数的游戏有没有必胜策略?
如何证明实数集的不可数子集含有它自己的不可数个聚点？
如何证明下面的集合论问题？
不可列个数的集合交集并集怎么定义？