不可列个数的集合交集并集怎么定义？ 第1页
1
lljpcz 网友的相关建议:
稍微拓展一下
集合论为了规避你说的“二元算符”的问题，是这么定义交集的(并集同理。)
对任意集合A，∩A={任意x(任意y((y属于A)→(x属于y)))}
也就是说∩A就是对A的所有子集求交。
这个意义下，对每个集合A，∩A和∪A一定是存在的(ZFC内)，存在性分别由分离模式公理和并集公理保证。
这就从根本上回避了怎么遍历这个问题，也就是
在我们处理问题的时候，当我们需要对一族集合求并或者交的时候，我们只需要把这一族集合装进一个新集合里就可以了。
一般的。只要这组集合有角标(或者能给出一组角标/索引)，我们都可以用替换模式公理把它塞到一个新集合里去。然后就可以顺利的求并求交了。
尽管ZFC的这个求交求并的方法很严谨，我们也会失去一些东西，会有一些东西没法求并集交集。比如说全体集合的并，交，直觉上并是全体集合组成的“东西”(类)，而交是空集。但是在集合论里，这些都没法求。这种时候，就需要诉诸一个更大的模型了，比如一个包含V(集合论的宇宙)的模型。
当然这就是一个很大的话题了。
1
相关话题
集合论与微积分？如何证明不存在集合T使对任意集合F有T中的元素与F等势?
为什么会有数学家反对对无穷集合使用排中律？
零测集的子集是否可测？
如何证明每一个有穷的偏序都可以延拓成一个线序？
如何证明紧致的度量空间都是第二可数空间？
陶哲轩为什么用一个新公理代替了旧的幂集公理？
是否存在一个4的整数幂以123为首位?
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
是否任一无穷集合都能分成两个等势的不交集合之并？
相关的话题
请问这个集合不是零测集有什么具体例子吗？如何证明下面的集合论问题？
不可列个数的集合交集并集怎么定义？
为什么度量空间中聚点等同于极限点？
ZFC等公理集合论可以回答「几个苹果是否构成个集合」吗？
零测集的子集是否可测？
桌游卡牌上的描述，“当（该卡牌）两侧角色不为女性时”和“两侧不为女性角色时”的意思相同吗？
数学是不是必然会存在不确定领域？
数学上，「数」是怎么定义的？
总会有被定义的感觉怎么办?
n! 和 n²，哪个更大呢？
如何证明阿列夫零上阿列夫零等势于二上阿列夫零？
小数点后可以有无数位，为什么两个物体仍可以相互接触？
“等价”就是重言等值，“推出”就是重言蕴涵吗？
为什么规定空集是任何集合的子集，这样在数学上有什么意义？
如何让一个 5 岁小孩听懂什么是选择公理？
N为自然数集，（N×N）×（N×N）是不是可数集？如果是，它到N的双射函数是什么？如果不是，它和什么等势？
区间连续是逐点定义的，从而有区间上一致连续的概念。区间可导也是逐点定义的，为什么没有一致可导的概念？
ZFC等公理集合论可以回答「几个苹果是否构成个集合」吗？
所有集合的势都可比较大小吗？为什么？
集合相等的定义与空集的定义的矛盾如何理解？
如何让一个 5 岁小孩听懂什么是选择公理？
已知一个函数在实数域内连续，并且为周期函数，如何证明它在实数域内一致连续？
小数点后可以有无数位，为什么两个物体仍可以相互接触？
为什么集合这个数学术语在麻将中没有被说明？
什么是「集合的势」？「连续统假设」的历史和研究进展是怎样的？
为什么数学定义一般采用如下形式：X has property P, if（条件），而不是 iff？
“等价”就是重言等值，“推出”就是重言蕴涵吗？
在离散数学中偏序关系和偏序集是什么意思？
等词是否可以用属于来定义？