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

会计学;2021/6/6;2021/6/6;2021/6/6;2021/6/6;2021/6/6;2021/6/6;2021/6/6;2021/6/6;2021/6/6;2021/6/6;2021/6/6;2021/6/6;2021/6/6;2021/6/6;2021/6/6;2021/6/6;2021/6/6;2021/6/6;集合的性质 ⑴幂等律 对任何集合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)=A A∩(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，即是传递的。