不可列个数的集合交集并集怎么定义？ 第1页
1
lljpcz 网友的相关建议:
稍微拓展一下
集合论为了规避你说的“二元算符”的问题，是这么定义交集的(并集同理。)
对任意集合A，∩A={任意x(任意y((y属于A)→(x属于y)))}
也就是说∩A就是对A的所有子集求交。
这个意义下，对每个集合A，∩A和∪A一定是存在的(ZFC内)，存在性分别由分离模式公理和并集公理保证。
这就从根本上回避了怎么遍历这个问题，也就是
在我们处理问题的时候，当我们需要对一族集合求并或者交的时候，我们只需要把这一族集合装进一个新集合里就可以了。
一般的。只要这组集合有角标(或者能给出一组角标/索引)，我们都可以用替换模式公理把它塞到一个新集合里去。然后就可以顺利的求并求交了。
尽管ZFC的这个求交求并的方法很严谨，我们也会失去一些东西，会有一些东西没法求并集交集。比如说全体集合的并，交，直觉上并是全体集合组成的“东西”(类)，而交是空集。但是在集合论里，这些都没法求。这种时候，就需要诉诸一个更大的模型了，比如一个包含V(集合论的宇宙)的模型。
当然这就是一个很大的话题了。
1
相关话题
如何证明集合[0, 1] × [0, 1]与集合[0, 1]等势(即存在双射）？有界可测集测度一定有限吗，无界可测集合测度一定无限吗？反之如何？
不可列个数的集合交集并集怎么定义？
数学的所有内容都是基于一些无法证明的公理和无法定义的概念（比如集合、直线），那么数学有没有可能是假的？
设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？
什么是实数？
有界可测集测度一定有限吗，无界可测集合测度一定无限吗？反之如何？
这是一个主客观赋权模型，但我不理解数学意义，有没有帮忙解释一下的？
有理数集和无理数集哪个大，为什么？
若 f∘f∘f＝f，则 f∘f 是恒等映射吗？
相关的话题
偏序集与完备格？范畴论中一个范畴里两个对象之间的态射的全体为什么要是一个集合？
若 f∘f∘f＝f，则 f∘f 是恒等映射吗？
概率论和实变函数（测度论）有什么联系？
不可列个数的集合交集并集怎么定义？
如何定义或描述数学的全貌？
在集合的势的意义下，是否存在比实数集更大的全序集？
波是什么？什么是波？
自然数0 的现实意义是什么？
离散数学求帮忙？
数学上，「数」是怎么定义的？
请问如何把所有自然数均分成三类？
如何定义或描述数学的全貌？
既然概率为1的事件不一定是必然事件，那么必然事件的数学定义是什么？
如何解决这个图的特征值问题？
环中任何一个非空子集都可以生成理想吗？
矩阵的严格定义是什么？行向量与列向量通过矩阵来定义真的合理吗？
HoTT为什么不比集合论弱?
是否有可能在复数域上建立一个与加法、乘法相容的全序关系？
在集合的势的意义下，是否存在比实数集更大的全序集？
可以认为0到2之间的实数，是0到1之间的实数个数的两倍吗？
n*n的棋盘填上1，2，...，n^2，使任意相邻（有公共边）格子里的数字之和不大于S，求S最小值?
质数集P与自然数集N等势吗?
请问这个集合不是零测集有什么具体例子吗？
是否存在一个4的整数幂以123为首位?
如何证明阿列夫零上阿列夫零等势于二上阿列夫零？
如何证明阿列夫零上阿列夫零等势于二上阿列夫零？
上帝悖论是否有解？
集合相等的定义与空集的定义的矛盾如何理解？
为什么集合这个数学术语在麻将中没有被说明？