不可列个数的集合交集并集怎么定义？ 第1页
1
lljpcz 网友的相关建议:
稍微拓展一下
集合论为了规避你说的“二元算符”的问题，是这么定义交集的(并集同理。)
对任意集合A，∩A={任意x(任意y((y属于A)→(x属于y)))}
也就是说∩A就是对A的所有子集求交。
这个意义下，对每个集合A，∩A和∪A一定是存在的(ZFC内)，存在性分别由分离模式公理和并集公理保证。
这就从根本上回避了怎么遍历这个问题，也就是
在我们处理问题的时候，当我们需要对一族集合求并或者交的时候，我们只需要把这一族集合装进一个新集合里就可以了。
一般的。只要这组集合有角标(或者能给出一组角标/索引)，我们都可以用替换模式公理把它塞到一个新集合里去。然后就可以顺利的求并求交了。
尽管ZFC的这个求交求并的方法很严谨，我们也会失去一些东西，会有一些东西没法求并集交集。比如说全体集合的并，交，直觉上并是全体集合组成的“东西”(类)，而交是空集。但是在集合论里，这些都没法求。这种时候，就需要诉诸一个更大的模型了，比如一个包含V(集合论的宇宙)的模型。
当然这就是一个很大的话题了。
1
相关话题
是否任一无穷集合都能分成两个等势的不交集合之并？若两个正整数互质，如何证明它们的平方也互质？
总会有被定义的感觉怎么办?
总会有被定义的感觉怎么办?
所有集合的势都可比较大小吗？为什么？
如何证明阿列夫零上阿列夫零等势于二上阿列夫零？
如果从图中移去一个边的一个集合将增加亚图的数目时，被移去的边的集合就成为截。”那么，亚图是什么？截呢？
在集合的势的意义下，是否存在比实数集更大的全序集？
陶哲轩为什么用一个新公理代替了旧的幂集公理？
什么是实数？
相关的话题
这个猜实数的游戏有没有必胜策略?如何证明实数集的不可数子集含有它自己的不可数个聚点？
任取两个大于 2 的整数，其互质的概率是多少？
零测集的子集是否可测？
不可列个数的集合交集并集怎么定义？
范畴论中一个范畴里两个对象之间的态射的全体为什么要是一个集合？
ZFC等公理集合论可以回答「几个苹果是否构成个集合」吗？
n! 和 n²，哪个更大呢？
质数集P与自然数集N等势吗?
无穷个集合的交（或者并）运算总是成立的吗？为什么？
一个数介于 2 和 3 之间，那么它为无理数和有理数的概率分别为多少？
如何证明实数集的不可数子集含有它自己的不可数个聚点？
如何证明这个关于良序集的命题？
如何证明（0，1）不是可数集？
如何理解（证明）不存在与自己的真子集等势的自然数?
为什么集合这个数学术语在麻将中没有被说明？
在不引入坐标系的情况下能不能定义向量的方向？
不可列个数的集合交集并集怎么定义？
既然概率为1的事件不一定是必然事件，那么必然事件的数学定义是什么？
正整数和正整数中的偶数哪个多（如何证明）？
为什么要公理化实数，而不是从自然数导出？
可以认为0到2之间的实数，是0到1之间的实数个数的两倍吗？
若 f∘f∘f＝f，则 f∘f 是恒等映射吗？
区间连续是逐点定义的，从而有区间上一致连续的概念。区间可导也是逐点定义的，为什么没有一致可导的概念？
集合论与微积分？
「等于」的严格定义是什么？
如何证明阿列夫零上阿列夫零等势于二上阿列夫零？
n*n的棋盘填上1，2，...，n^2，使任意相邻（有公共边）格子里的数字之和不大于S，求S最小值?
若两个正整数互质，如何证明它们的平方也互质？
范畴论中一个范畴里两个对象之间的态射的全体为什么要是一个集合？