作者fire0804 (Hi)
看板Math
标题[其他] 集合证明
时间Sat Jul 9 21:03:30 2011
1.
A B联集 = A C联集
A B交集 = A C交集
则 B=C 是证之
2.
试证
A B交集=空集合 <-> A-B = A 且 B-A=B
3.
试证
(A-B)联集(B-A)=(A联集B)-(A交集B)
4.
若A B是有限集合 则 n(A联集B)=n(A)+n(B)-n(A交集B) 试证之
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 210.66.164.245
1F：推 bewilderment:1.若x属於B则x属於A联集B，则x属於A联集C，则x属於A 07/09 21:16
2F：→ bewilderment:或x属於C。所以B包含於A或是B包含於C。若B包含於A， 07/09 21:18
3F：→ bewilderment:则x属於A交集B，则x属於A交集C。所以x属於A且x属於C 07/09 21:19
4F：→ bewilderment:两个情况都可以推到B包含於C，再相似地证出C包含於B 07/09 21:20
5F：→ bewilderment:就可以证出B=C。 07/09 21:20
6F：→ lockheart :3.题目是不是有问题？C是任意集合吗？ 07/09 21:47
7F：→ fire0804 :是(A-B)联集(B-A) 07/09 22:00
8F：→ fire0804 :才对 要怎麽直接修改内文啊?? 07/09 22:05
9F：推 LimSinE :1. B=((AUB)\A)U(A交B) 结束 07/09 22:31
10F：→ lockheart :4.If A and B are disjoint, then n(AUB)=n(A)+n(B) 07/09 23:39
11F：→ lockheart :Consider AUB=(A\B)U(A交B)U(B\A),A=(A\B)U(A交B) 07/09 23:40
12F：→ lockheart :B=(B\A)U(A交B), n(AUB)=n(A\B)+n(A交B)+n(B\A) 07/09 23:42
13F：→ lockheart :=[n(A\B)+n(A交B)]+[n(B\A)+n(A交B)]-n(A交B) 07/09 23:43
14F：→ lockheart :=n(A)+n(B)-n(A交B) 07/09 23:44
※ 编辑: fire0804 来自: 210.66.164.245 (07/10 20:38)