如何证明不存在集合T使对任意集合F有T中的元素与F等势? 第1页
1
lljpcz 网友的相关建议:
我们在ZFC的范围内回答这个问题。
首先这个问题用词不是特别严谨。
严谨的说法应该是不存在集合T对任意XXXXXX。(去掉了一个族字)
这个严谨版本的证明很简单，把F取成T的并(所有元素的并集)的幂集(所有子集组成的集合)，这就是一个反例。
要去掉族这个字的原因是，在某些语境下面，集合族可能指的不是一个集合，而是一个真类。
1
相关话题
平面有界凸集上的点到其重心的最大距离是其直径的比例的上界是多少呢？请问这个实变证明题怎么做？
为什么集合这个数学术语在麻将中没有被说明？
请问这个实变证明题怎么做？
请问该如何证明？
上帝悖论是否有解？
如果从图中移去一个边的一个集合将增加亚图的数目时，被移去的边的集合就成为截。”那么，亚图是什么？截呢？
为什么规定 0 的阶乘为 1？
如何显式构造出包含于[0, 1]Q的正测度闭集F？
在集合论里，对于二元公式φ，如何证明(任意X)(存在{x∈X：φ(x,X)})？
前一个讨论
如何看待喜茶、奈雪的茶等头部奶茶品牌涨价 ?
相关的话题
小数点后可以有无数位，为什么两个物体仍可以相互接触？如何证明（0，1）不是可数集？
既然一条直线的面积是零，那么一个由无数条线组成的几何图形为什么会有面积？
为什么数学教材里，学生首先学习的就是算术，却不学习作为基础的集合与逻辑？
为什么集合这个数学术语在麻将中没有被说明？
你们会觉得测度论反直觉吗？
为什么数学教材里，学生首先学习的就是算术，却不学习作为基础的集合与逻辑？
若 A={x, x∉A}，那么 A 是 ∅ 吗？
为什么集合的本身还可以是一个集合的元素？
若 f∘f∘f＝f，则 f∘f 是恒等映射吗？
实变泛函都是很容易的课，为何说「实变函数学十遍，泛函分析心犯寒」？
整数和偶数真的是「一样多」的吗？（我知道康托尔那套，但这个表述真的正确吗？）？
为什么矩形面积等于长乘宽？
康托尔著名的对角线证明？
为什么有理数是不完备的？
「初等函数在其定义域内必连续」的说法是对是错，为什么？
为什么集合的本身还可以是一个集合的元素？
没有基的线性空间，是否可以构造，如何构造？
勒贝格积分、数学分析、实分析 、泛函分析、 测度论 之间的关联以及先后学习次序是怎样的?
环中任何一个非空子集都可以生成理想吗？
你们会觉得测度论反直觉吗？
数学系本科生如何学好实变函数与泛函分析？
设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？
如果从图中移去一个边的一个集合将增加亚图的数目时，被移去的边的集合就成为截。”那么，亚图是什么？截呢？
有理数集和无理数集哪个大，为什么？
什么是「测度论」？
为什么不可数个互不相同的集合之并集可以是可数集?
如何证明R1可测函数覆盖的区域是可测的？
陶哲轩为什么用一个新公理代替了旧的幂集公理？
什么是实数？