集合元素个数的公式推导
发布网友
发布时间：2022-04-23 00:25
共1个回答
热心网友
时间：2023-07-09 19:28
先证明两个元素的公式：card(A∪B)=card(A)+card(B)-card(A∩B)。
显然当A∩B=空集时，有card(A∪B)=card(A)+card(B)，即上述公式成立（因为card(空集)=0）；
当A∩B≠空集时，而A∪B=(A\(A∩B))∪(B\(A∩B))∪（A∩B）,这是三个不相交的并，故card(A∪B)=card((A\(A∩B))∪(B\(A∩B))∪（A∩B）)=card(A\(A∩B))+card(B\(A∩B))+card(A∩B)；
又因为A=(A\(A∩B))∪(A∩B),这又是一个无交的并(即(A\(A∩B))∩(A∩B)=空集)，故card(A)=card(A\(A∩B))+card(A∩B),同理card(B)=card(B\(A∩B))+card(A∩B)；
故card(A∪B)=card(A\(A∩B))+card(B\(A∩B))+card(A∩B)=(card(A)-card(A∩B))+(card(B)-card(A∩B))+card(A∩B)=card(A)+card(B)-card(A∩B)，获证
再用上面的结论证明card(A∪B∪C)=card(A)+card(B)+card(C)-card(A∩B)-card(B∩C)-card(C∩A)+card(A∩B∩C)。
card(A∪B∪C)=card(A∪(B∪C))=card(A)+card((B∪C))-card(A∩(B∪C))=card(A)+card(B)+card(C)-card(B∩C)-card((A∩B)∪(A∩C))=card(A)+card(B)+card(C)-card(B∩C)-(card(A∩B)+card(A∩C)-card((A∩B)∩(A∩C)))=card(A)+card(B)+card(C)-card(B∩C)-(card(A∩B)+card(A∩C)-card(A∩B∩C))=
card(A)+card(B)+card(C)-card(B∩C)-card(A∩B)-card(A∩C)+card(A∩B∩C)获证。
注：论证过程中用到了一些集合的运算公式，现整理如下供你参考：
集合交换律
A∩B=B∩A
A∪B=B∪A
集合结合律
(A∩B)∩C=A∩(B∩C)
(A∪B)∪C=A∪(B∪C)
集合分配律
A∩(B∪C)=(A∩B)∪(A∩C)
A∪(B∩C)=(A∪B)∩(A∪C)
集合吸收律
A∪(A∩B)=A
A∩(A∪B)=A
集合求补律
A∪CuA=全集
A∩CuA=空集（其中CuA表示在全集X下集合A的补集即CuA=X-A）
德摩根律
A\(B∪C)=（A\B)∩(A\C)
A\(B∩C)=（A\B)∪(A\C)
Cu(B∪C)=Cu(B)∩Cu(C)
Cu(B∩C)=Cu(B)∪Cu(C)
Cu(空集)=全集
Cu(全集)=空集
若你能把上面的公式记熟，则看这个证明没有任何问题，其实在证明中我也只是部分地用到了某些集合运算公式，就看你自己去发现了。
其实这还可以用图形来直观形象地说明。见下插图你就会明白为什么有card(A∪B)=card(A)+card(B)-card(A∩B)。推而广之，你还会明白为什么有card(A∪B∪C)=card(A)+card(B)+card(C)-card(A∩B)-card(B∩C)-card(C∩A)+card(A∩B∩C)。但是数学是一门十分严格的科学，光有图形是不能让数学家们承认的，因此严格的证明思想是今后进行数学研究的关键。
引用一位法国当代大数学家A.Weil(安德鲁.韦依)的话：“严格性之于数学家就如道德之于人。”就让它作为激励后辈们不断攀登数学高峰的指路明灯吧！
