如何证明不存在集合T使对任意集合F有T中的元素与F等势? 第1页
1
lljpcz 网友的相关建议:
我们在ZFC的范围内回答这个问题。
首先这个问题用词不是特别严谨。
严谨的说法应该是不存在集合T对任意XXXXXX。(去掉了一个族字)
这个严谨版本的证明很简单，把F取成T的并(所有元素的并集)的幂集(所有子集组成的集合)，这就是一个反例。
要去掉族这个字的原因是，在某些语境下面，集合族可能指的不是一个集合，而是一个真类。
1
相关话题
什么是「测度论」？什么是实数？
如何证明阿列夫零上阿列夫零等势于二上阿列夫零？
整数和偶数真的是「一样多」的吗？（我知道康托尔那套，但这个表述真的正确吗？）？
可测集多还是不可测集多？ 即一维，直到n维的欧氏空间中，可测集类和不可测集类是否等势？
在集合的势的意义下，是否存在比实数集更大的全序集？
小学数学为什么不从集合论学起？
是否存在这样一个非常数函数，定义域是实数集或其子集，值域仅为有理数集子集？是否有这样的函数是连续的呢？
如何证明空集不是任意集合的子集？
为什么集合这个数学术语在麻将中没有被说明？
前一个讨论
如何看待喜茶、奈雪的茶等头部奶茶品牌涨价 ?
相关的话题
以数学史的观点来看，集合论是如何成为数学基础的？实变函数证明第八题？
选择公理有哪些反直觉的应用？
集合论与微积分？
在集合的势的意义下，是否存在比实数集更大的全序集？
有理数集和无理数集哪个大，为什么？
没有基的线性空间，是否可以构造，如何构造？
还是实变函数的，友友们帮帮忙?
为什么矩形面积等于长乘宽？
若 f∘f∘f＝f，则 f∘f 是恒等映射吗？
为什么会有数学家反对对无穷集合使用排中律？
实变泛函都是很容易的课，为何说「实变函数学十遍，泛函分析心犯寒」？
如何证明所谓 是一个闭集？
是否存在不可数个实数，其中任意有限多个在有理数上线性无关？
ZFC等公理集合论可以回答「几个苹果是否构成个集合」吗？
这个实变函数题怎么分析）？
区间 [0, 1] 内的实数，为什么我证明可以数？
什么是实数？
为什么规定 0 的阶乘为 1？
如何理解区间 [0, 1] 内有理数集合的长度为 0？
为什么国产数分教材在定义函数f在x处极限的时候都要求函数f在x的去心邻域内有定义？
如何证明R1可测函数覆盖的区域是可测的？
在集合论里，对于二元公式φ，如何证明(任意X)(存在{x∈X：φ(x,X)})？
是否存在这样一个非常数函数，定义域是实数集或其子集，值域仅为有理数集子集？是否有这样的函数是连续的呢？
是否存在这样一个非常数函数，定义域是实数集或其子集，值域仅为有理数集子集？是否有这样的函数是连续的呢？
为什么规定 0 的阶乘为 1？
有哪些不易察觉的错误证明？
如何证明所谓 是一个闭集？
陶哲轩为什么用一个新公理代替了旧的幂集公理？
区间 [0, 1] 内的实数，为什么我证明可以数？