如何证明不存在集合T使对任意集合F有T中的元素与F等势? 第1页
1
lljpcz 网友的相关建议:
我们在ZFC的范围内回答这个问题。
首先这个问题用词不是特别严谨。
严谨的说法应该是不存在集合T对任意XXXXXX。(去掉了一个族字)
这个严谨版本的证明很简单，把F取成T的并(所有元素的并集)的幂集(所有子集组成的集合)，这就是一个反例。
要去掉族这个字的原因是，在某些语境下面，集合族可能指的不是一个集合，而是一个真类。
1
相关话题
怎么建立复数与实数的一一对应？如何显式构造出包含于[0, 1]Q的正测度闭集F？
是否有可能在复数域上建立一个与加法、乘法相容的全序关系？
集合相等的定义与空集的定义的矛盾如何理解？
为什么集合的本身还可以是一个集合的元素？
陶哲轩为什么用一个新公理代替了旧的幂集公理？
有理数集如何拓展到实数集的？
σ-代数为什么叫代数？它有代数结构吗？
如何证明这个收敛性问题？
实变函数，泛函分析，拓扑学中重要的定理概念有哪些？
前一个讨论
如何看待喜茶、奈雪的茶等头部奶茶品牌涨价 ?
相关的话题
整数和偶数真的是「一样多」的吗？（我知道康托尔那套，但这个表述真的正确吗？）？不学高等代数能学实变函数和泛函分析吗？
有理数集和无理数集哪个大，为什么？
设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？
为什么会有数学家反对对无穷集合使用排中律？
ZFC等公理集合论可以回答「几个苹果是否构成个集合」吗？
这个猜实数的游戏有没有必胜策略?
正整数和正整数中的偶数哪个多（如何证明）？
有理数集如何拓展到实数集的？
如何证明不存在集合T使对任意集合F有T中的元素与F等势?
实变、泛函、抽代、拓扑，哪几门对于非纯数专业更加有用？
如果从图中移去一个边的一个集合将增加亚图的数目时，被移去的边的集合就成为截。”那么，亚图是什么？截呢？
集合论与微积分？
如何证明R1可测函数覆盖的区域是可测的？
我想证明自然数有穷可行吗？
实数完备性的基本定理为什么是 6 个？
集合相等的定义与空集的定义的矛盾如何理解？
所有集合的势都可比较大小吗？为什么？
如何理解（证明）不存在与自己的真子集等势的自然数?
小学数学为什么不从集合论学起？
既然一条直线的面积是零，那么一个由无数条线组成的几何图形为什么会有面积？
什么是实数？
陶哲轩为什么用一个新公理代替了旧的幂集公理？
为什么度量空间中聚点等同于极限点？
如何理解区间 [0, 1] 内有理数集合的长度为 0？
零测集的子集是否可测？
我想证明自然数有穷可行吗？
如何证明所谓 是一个闭集？
怎么建立复数与实数的一一对应？
为什么会有数学家反对对无穷集合使用排中律？