当前位置: > 集合元素个数的公式推导...
题目
集合元素个数的公式推导
公式是card(AUBUC)=card(A)+card(B)+card(C)-card(A交B)-card(A交C)-card(B交C)+card(A交B交C)

提问时间:2021-04-09

答案
先证明两个元素的公式: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)=(AB)∩(AC)
A(B∩C)=(AB)∪(AC)
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(安德鲁.韦依)的话:“严格性之于数学家就如道德之于人.”就让它作为激励后辈们不断攀登数学高峰的指路明灯吧!
举一反三
我想写一篇关于奥巴马的演讲的文章,写哪一篇好呢?为什么好
奥巴马演讲不用看稿子.为什么中国领导演讲要看?
想找英语初三上学期的首字母填空练习……
英语翻译
1,人们染上烟瘾,最终因吸烟使自己丧命.
版权所有 CopyRight © 2012-2019 超级试练试题库 All Rights Reserved.