如何证明不存在集合T使对任意集合F有T中的元素与F等势? 第1页
1
lljpcz 网友的相关建议:
我们在ZFC的范围内回答这个问题。
首先这个问题用词不是特别严谨。
严谨的说法应该是不存在集合T对任意XXXXXX。(去掉了一个族字)
这个严谨版本的证明很简单，把F取成T的并(所有元素的并集)的幂集(所有子集组成的集合)，这就是一个反例。
要去掉族这个字的原因是，在某些语境下面，集合族可能指的不是一个集合，而是一个真类。
1
相关话题
为什么集合这个数学术语在麻将中没有被说明？内测度的缺陷是什么？
ZFC等公理集合论可以回答「几个苹果是否构成个集合」吗？
有理数集和无理数集哪个大，为什么？
如何证明一个实数的所有代表元（有理数Cauchy列）组成的集合不可数？
可测集多还是不可测集多？ 即一维，直到n维的欧氏空间中，可测集类和不可测集类是否等势？
HoTT为什么不比集合论弱?
还是实变函数的，友友们帮帮忙?
如何反对同学这样解释无理数和有理数一样多？
为什么集合的本身还可以是一个集合的元素？
前一个讨论
如何看待喜茶、奈雪的茶等头部奶茶品牌涨价 ?
相关的话题
关于这个函数项级数，有没有一些研究成果？如何理解（证明）不存在与自己的真子集等势的自然数?
为什么不可数个互不相同的集合之并集可以是可数集?
勒贝格积分、数学分析、实分析 、泛函分析、 测度论 之间的关联以及先后学习次序是怎样的?
数学专业的实变函数为什么这么难？
正整数和正整数中的偶数哪个多（如何证明）？
怎么建立复数与实数的一一对应？
怎么建立复数与实数的一一对应？
这个猜实数的游戏有没有必胜策略?
实数完备性的基本定理为什么是 6 个？
这个猜实数的游戏有没有必胜策略?
若 A={x, x∉A}，那么 A 是 ∅ 吗？
为什么国产数分教材在定义函数f在x处极限的时候都要求函数f在x的去心邻域内有定义？
实变函数，泛函分析，拓扑学中重要的定理概念有哪些？
区间 [0, 1] 内的实数，为什么我证明可以数？
共轭函数的意义？
一个数介于 2 和 3 之间，那么它为无理数和有理数的概率分别为多少？
｛mr+n！ | m∈Z，n∈N｝是否在R上稠密？
一个数介于 2 和 3 之间，那么它为无理数和有理数的概率分别为多少？
这个实变函数题怎么分析）？
设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？
勒贝格积分、数学分析、实分析 、泛函分析、 测度论 之间的关联以及先后学习次序是怎样的?
A是不可列集合，B是将A分割成两个不可列集合的实数的集合，证明B非空且为开集？
σ-代数为什么叫代数？它有代数结构吗？
HoTT为什么不比集合论弱?
变分法与泛函分析这门课知识框架的思维导图是什么？
如何理解区间 [0, 1] 内有理数集合的长度为 0？
既然一条直线的面积是零，那么一个由无数条线组成的几何图形为什么会有面积？
区间 [0, 1] 内的实数，为什么我证明可以数？
没有基的线性空间，是否可以构造，如何构造？