不可列个数的集合交集并集怎么定义？ 第1页
1
lljpcz 网友的相关建议:
稍微拓展一下
集合论为了规避你说的“二元算符”的问题，是这么定义交集的(并集同理。)
对任意集合A，∩A={任意x(任意y((y属于A)→(x属于y)))}
也就是说∩A就是对A的所有子集求交。
这个意义下，对每个集合A，∩A和∪A一定是存在的(ZFC内)，存在性分别由分离模式公理和并集公理保证。
这就从根本上回避了怎么遍历这个问题，也就是
在我们处理问题的时候，当我们需要对一族集合求并或者交的时候，我们只需要把这一族集合装进一个新集合里就可以了。
一般的。只要这组集合有角标(或者能给出一组角标/索引)，我们都可以用替换模式公理把它塞到一个新集合里去。然后就可以顺利的求并求交了。
尽管ZFC的这个求交求并的方法很严谨，我们也会失去一些东西，会有一些东西没法求并集交集。比如说全体集合的并，交，直觉上并是全体集合组成的“东西”(类)，而交是空集。但是在集合论里，这些都没法求。这种时候，就需要诉诸一个更大的模型了，比如一个包含V(集合论的宇宙)的模型。
当然这就是一个很大的话题了。
1
相关话题
N为自然数集，（N×N）×（N×N）是不是可数集？如果是，它到N的双射函数是什么？如果不是，它和什么等势？模糊层次分析法的三角模糊值含意？
如何把微信群/QQ群构造成一个阿贝尔群？
有哪些不易察觉的错误证明？
“不能被定义”是一种定义吗？
如何证明紧致的度量空间都是第二可数空间？
在集合的势的意义下，是否存在比实数集更大的全序集？
如何直观地理解群论？
有界可测集测度一定有限吗，无界可测集合测度一定无限吗？反之如何？
小数点后可以有无数位，为什么两个物体仍可以相互接触？
相关的话题
如何证明f(A∩B) ⊆ f(A)∩f(B) 而不是f(A∩B) = f(A)∩f(B) ？交换环的子环是否一定是交换环？
收敛的有理系数幂级数个数可数么？
请问这个集合不是零测集有什么具体例子吗？
是否有可能在复数域上建立一个与加法、乘法相容的全序关系？
是否任一无穷集合都能分成两个等势的不交集合之并？
数学的所有内容都是基于一些无法证明的公理和无法定义的概念（比如集合、直线），那么数学有没有可能是假的？
「等于」的严格定义是什么？
范畴论中一个范畴里两个对象之间的态射的全体为什么要是一个集合？
区间连续是逐点定义的，从而有区间上一致连续的概念。区间可导也是逐点定义的，为什么没有一致可导的概念？
如何定义或描述数学的全貌？
请问这个集合不是零测集有什么具体例子吗？
「等于」的严格定义是什么？
如何证明所谓 是一个闭集？
如何理解（证明）不存在与自己的真子集等势的自然数?
交换环的子环是否一定是交换环？
有界可测集测度一定有限吗，无界可测集合测度一定无限吗？反之如何？
如何反对同学这样解释无理数和有理数一样多？
为什么度量空间中聚点等同于极限点？
数学大牛是怎么看待悖论和无穷的？
设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？
无穷个集合的交（或者并）运算总是成立的吗？为什么？
请问这个一阶逻辑等值式如何理解，请举一个现实的例子?
在离散数学中偏序关系和偏序集是什么意思？
在集合的势的意义下，是否存在比实数集更大的全序集？
除法的结果为什么被称为「商」？
是否存在不可数个实数，其中任意有限多个在有理数上线性无关？
不可列个数的集合交集并集怎么定义？
P是任意数域，如何证明P^n*n对于普通加法和乘法构成的环没有非平凡理想？
自然数和非负整数有什么区别？