如何证明不存在集合T使对任意集合F有T中的元素与F等势? 第1页
1
lljpcz 网友的相关建议:
我们在ZFC的范围内回答这个问题。
首先这个问题用词不是特别严谨。
严谨的说法应该是不存在集合T对任意XXXXXX。(去掉了一个族字)
这个严谨版本的证明很简单，把F取成T的并(所有元素的并集)的幂集(所有子集组成的集合)，这就是一个反例。
要去掉族这个字的原因是，在某些语境下面，集合族可能指的不是一个集合，而是一个真类。
1
相关话题
你见过最恶心的函数是什么？在集合论里，对于二元公式φ，如何证明(任意X)(存在{x∈X：φ(x,X)})？
等词是否可以用属于来定义？
如何证明所谓 是一个闭集？
实变函数证明第八题？
ZFC等公理集合论可以回答「几个苹果是否构成个集合」吗？
集合论与微积分？
测度论（measure theory）和实变函数是什么关系？
有界可测集测度一定有限吗，无界可测集合测度一定无限吗？反之如何？
有哪些不易察觉的错误证明？
前一个讨论
如何看待喜茶、奈雪的茶等头部奶茶品牌涨价 ?
相关的话题
共轭函数的意义？「初等函数在其定义域内必连续」的说法是对是错，为什么？
不可列个数的集合交集并集怎么定义？
关于这个函数项级数，有没有一些研究成果？
你们会觉得测度论反直觉吗？
不可列个数的集合交集并集怎么定义？
为什么不可数个互不相同的集合之并集可以是可数集?
如何证明不存在集合T使对任意集合F有T中的元素与F等势?
小数点后可以有无数位，为什么两个物体仍可以相互接触？
数学大牛是怎么看待悖论和无穷的？
你们会觉得测度论反直觉吗？
下面这个集合可数吗？
不学高等代数能学实变函数和泛函分析吗？
不可列个数的集合交集并集怎么定义？
如何证明阿列夫零上阿列夫零等势于二上阿列夫零？
为什么函数的连续点构成可测集？
为什么规定空集是任何集合的子集，这样在数学上有什么意义？
如果从图中移去一个边的一个集合将增加亚图的数目时，被移去的边的集合就成为截。”那么，亚图是什么？截呢？
所有正方形的数量与所有长方形的数量相等吗？
有哪些不易察觉的错误证明？
数学系本科生如何学好实变函数与泛函分析？
平面有界凸集上的点到其重心的最大距离是其直径的比例的上界是多少呢？
什么是实数？
上帝悖论是否有解？
｛mr+n！ | m∈Z，n∈N｝是否在R上稠密？
集合相等的定义与空集的定义的矛盾如何理解？
为什么会有数学家反对对无穷集合使用排中律？
如果从图中移去一个边的一个集合将增加亚图的数目时，被移去的边的集合就成为截。”那么，亚图是什么？截呢？
Lp空间上的分析学在其他数学分支有哪些应用？
为什么集合这个数学术语在麻将中没有被说明？