离散数学重要公式定理汇总.pptx

大一上;2021/10/1;2021/10/1;2021/10/1;2021/10/1;2021/10/1;2021/10/1;2021/10/1;2021/10/1;2021/10/1;2021/10/1;2021/10/1;2021/10/1;2021/10/1;2021/10/1;2021/10/1;2021/10/1;2021/10/1;2021/10/1;集合性质

⑴幂等律对任何集合A，有A∩A=A。

⑵交换律对任何集合A、B，有A∩B=B∩A。

⑶结合律对任何集合A、B、C，有

(A∩B)∩C=A∩(B∩C)。

⑷同一律对任何集合A，有A∩E=A。

⑸零律对任何集合A，有A∩Φ=Φ。

⑹A?B?A∩B=A。

;交、并性质

⑴幂等律对任何集合A，有A∪A=A。

⑵交换律对任何集合A、B，有A∪B=B∪A。

⑶结合律对任何集合A、B、C，有

(A∪B)∪C=A∪(B∪C)。

⑷同一律对任何集合A，有A∪Φ=A。

⑸零律对任何集合A，有A∪E=E。

⑹分配律对任何集合A、B、C，有

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

A∪(B∩C)=(A∪B)∩(A∪C)。;⑺吸收律对任何集合A、B，有

A∪(A∩B)=AA∩(A∪B)=A

证实:A∪(A∩B)

=(A∩E)∪(A∩B)(同一)

=A∩(E∪B)(分配)

=A∩E=A(零律)(同一)

⑻A?B?A∪B=B

;差集性质

设A、B、C是任意集合，则

⑴A-Φ=A⑵Φ-A=Φ

⑶A-A=Φ⑷A-B?A

⑸A?B?A-B=Φ

⑹(A-B)-C=(A-C)-(B-C)

⑺A-(B∩C)=(A-B)∪(A-C)

⑻A-(B∪C)=(A-B)∩(A-C)

⑼A∩(B-C)=(A∩B)-(A∩C)

注意：∪对-是不可分配，如A∪(A-B)=A

而(A∪A)-(A∪B)=Φ;相关绝对补集性质

设A、B、C是任意集合，则

⑴~E=Φ⑵~Φ=E

⑶~(~A)=A

⑷A∩~A=Φ⑸A∪~A=E

⑹A-B=A∩~B

⑺~(A∩B)=~A∪~B⑻~(A∪B)=~A∩~B

⑼A?B?~B?~A

⑽~A=B当且仅当A∪B=E且A∩B=Φ;相关对称差性质

⑴交换律对任何集合A、B，有A?B=B?A。

⑵结合律对任何集合A、B、C，有

(A?B)?C=A?(B?C)。教材里有证实。

⑶同一律对任何集合A，有A?Φ=A。

⑷对任何集合A，有A?A=Φ。

⑸∩对?可分配A∩(B?C)=(A∩B)?(A∩C);一.自反性

定义:设R是集合A中关系，假如对于任意x∈A都有x,x∈R(xRx)，则称R是A中自反关系。

即R是A中自反关系??x(x?A?xRx)

比如：在实数集合中,“?”是自反关系，因为，对任意实数x，有x?x.

;二.反自反性

定义：设R是集合A中关系，假如对于任意x∈A都有x,x?R，则??R为A中反自反关系。

即R是A中反自反??x(x?A?x,x?R)

从关系有向图看反自反性:每个结点都无环。

从关系矩阵看反自反性：主对角线都为0。

如实数大于关系，父子关系是反自反。

注意：一个不是自反关系，不一定就是反自反。

;三.对称性

定义:R是集合A中关系,若对任何x,y∈A,假如有xRy,必有yRx,则称R为A中对称关系。

R是A上对称

??x?y((x?A?y?A?xRy)?yRx)

从关系有向图看对称性:在两个不一样结点之间，若有边话，则有方向相反两条边。

从关系矩阵看对称性：以主对角线为对称矩阵。

例邻居关系和朋友关系是对称关系。

;四.反对称性

定义:设R为集合A中关系,若对任何x,y∈A,假如有xRy,和yRx,就有x=y,则称R为A中反对称关系。;五.传递性

定义:R是A中关系，对任何x,y,z∈A,假如有xRy,和yRz,就有xRz,则称R为A中传递关系。

即R在A上传递

??x?y?z((x?A?y?A?z?A?xRy?yRz)?xRz)

例实数集中≤、＜，集合?、?是传递。

从关系关系图和关系矩阵中不易看清是否有传递性。必须直接依据传递定义来检验。

检验时要尤其注意使得传递定义表示式前件为F时候此表示式为T，即是传递。

即若x,y∈R与