Mathematics Blog
This blog just shows you about Mathematics things.
RonKei25
暱稱: -
性別: 男
國家: 香港
地區: 元朗區
最新文章
A limit question in ...
Finding the value of...
Finding the value of...
不定積分(Indefinite ...
微分均值定理(The Mea...
文章分類
全部 (23)
Calculus (11)
Geometry (1)
Mathematical Logic (5)
Set Theory (4)
Trigonometric function (2)
網站連結
Calculus(微積分)
Function(函數)
Limit(極限)
Mathematical logic(數...
Mathematics(數學)
Set theory(集合論)
2009 年 5 月 13 日  星期三   晴天


一些重要定律(Some important laws) 分類: Set Theory

Let us remind some representations whose represent in set theory:

A∪B={x∈A∨x∈B}

A∩B={x∈A∧x∈B}

A\B={x∈A,x∉B}

Ac={x∈U,x∉A}

A∆B=(A\B)∪(B\A)=(A∪B)\(A∩B)

Some important laws as follow:

(a)A∪B=B∪A (commutative law)

(b)A∪(B∪C)=(A∪B)∪C (associative law)

proof:

(a)

Let x be any element of the set A∪B,then

x∈(A∪B)

⇒x∈A∨x∈B

⇒x∈B∨x∈A

⇒x∈(B∪A)

Therefore,the conclusion is (A∪B)⊂(B∪A)

(b)

Let x be any element of the set A∪(B∪C),then

x∈A∪(B∪C)

⇔[x∈A]∨[x∈(B∪C)]

⇔[x∈A]∨[x∈B∨x∈C]

⇔[x∈A∨x∈B]∨[x∈C]

⇔x∈(A∪B)∪C

Therefore A∪(B∪C)=(A∪B)∪C

and we often express each side by writing simply A∪B∪C

Similarly,we can easy to prove A∩B=B∩A and A∩(B∩C)=(A∩B)∩C

The following laws are given(important):

commutative law:

(1)A∪B=B∪A

(2)A∩B=B∩A

associative law

(3)A∪(B∪C)=(A∪B)∪C

(4)A∩(B∩C)=(A∩B)∩C

distributive law of intersection over union:

(5)A∩(B∪C)=(A∩B)∪(A∩C)

distributive law ofunion over intersection:

(6)A∪(B∩C)=(A∪B)∩(A∪C)

De Morgan's law:

(7)A\(B∪C)=(A\B)∪(A\C)

(8)A\(B∩C)=(A\B)∩(A\C)

(9)(A∪B)c=Ac∩Bc

(10)(A∩B)c=Ac∪Bc

Try to prove!