不可列个数的集合交集并集怎么定义？ 第1页
1
lljpcz 网友的相关建议:
稍微拓展一下
集合论为了规避你说的“二元算符”的问题，是这么定义交集的(并集同理。)
对任意集合A，∩A={任意x(任意y((y属于A)→(x属于y)))}
也就是说∩A就是对A的所有子集求交。
这个意义下，对每个集合A，∩A和∪A一定是存在的(ZFC内)，存在性分别由分离模式公理和并集公理保证。
这就从根本上回避了怎么遍历这个问题，也就是
在我们处理问题的时候，当我们需要对一族集合求并或者交的时候，我们只需要把这一族集合装进一个新集合里就可以了。
一般的。只要这组集合有角标(或者能给出一组角标/索引)，我们都可以用替换模式公理把它塞到一个新集合里去。然后就可以顺利的求并求交了。
尽管ZFC的这个求交求并的方法很严谨，我们也会失去一些东西，会有一些东西没法求并集交集。比如说全体集合的并，交，直觉上并是全体集合组成的“东西”(类)，而交是空集。但是在集合论里，这些都没法求。这种时候，就需要诉诸一个更大的模型了，比如一个包含V(集合论的宇宙)的模型。
当然这就是一个很大的话题了。
1
相关话题
为什么度量空间中聚点等同于极限点？为什么数学上证明必然正难则反易——补集思想，原理出处？
P是任意数域，如何证明P^n*n对于普通加法和乘法构成的环没有非平凡理想？
如何反对同学这样解释无理数和有理数一样多？
HoTT为什么不比集合论弱?
如何直观地理解群论？
如何解决这个图的特征值问题？
S={x|x∉x}，因为不存在x满足x∉x，所以S为空集，还是{Ø}?
如何证明集合[0, 1] × [0, 1]与集合[0, 1]等势(即存在双射）？
收敛的有理系数幂级数个数可数么？
相关的话题
是否有可能在复数域上建立一个与加法、乘法相容的全序关系？离散数学色里的哈斯图怎么画？
所有集合的势都可比较大小吗？为什么？
请问这个关于全排列的图论结论如何证明？
为什么集合这个数学术语在麻将中没有被说明？
全序关系和偏序关系的区别是什么？
无穷个集合的交（或者并）运算总是成立的吗？为什么？
无穷个集合的交（或者并）运算总是成立的吗？为什么？
怎么建立复数与实数的一一对应？
若两个正整数互质，如何证明它们的平方也互质？
如何反对同学这样解释无理数和有理数一样多？
一个数介于 2 和 3 之间，那么它为无理数和有理数的概率分别为多少？
这是一个主客观赋权模型，但我不理解数学意义，有没有帮忙解释一下的？
为什么集合的本身还可以是一个集合的元素？
在不引入坐标系的情况下能不能定义向量的方向？
区间连续是逐点定义的，从而有区间上一致连续的概念。区间可导也是逐点定义的，为什么没有一致可导的概念？
是否存在不可数个实数，其中任意有限多个在有理数上线性无关？
桌游卡牌上的描述，“当（该卡牌）两侧角色不为女性时”和“两侧不为女性角色时”的意思相同吗？
为什么规定 0 的阶乘为 1？
如何证明一个实数的所有代表元（有理数Cauchy列）组成的集合不可数？
在泛函和偏微等学科中，为什么要引进「弱」的概念？
如何证明f(A∩B) ⊆ f(A)∩f(B) 而不是f(A∩B) = f(A)∩f(B) ？
不可列个数的集合交集并集怎么定义？
为什么集合的本身还可以是一个集合的元素？
如何证明一个实数的所有代表元（有理数Cauchy列）组成的集合不可数？
若两个正整数互质，如何证明它们的平方也互质？
波是什么？什么是波？
概率论和实变函数（测度论）有什么联系？
离散数学色里的哈斯图怎么画？
偏序集与完备格？