离散数学复习纲.docVIP

集合论 一、基本概念 集合(set)：做为整体识别的、确定的、互相区别的一些对象的总体。 规定集合的三种方式：列举法、描述法、归纳法 集合论的三大基本原理 外延公理：两个集合A和B相等当且仅当它们具有相同的元素（无序性） 概括公理：对于任意个体域U，任一谓词公式P都确定一个以该域中的对象为元素的集合S（确定性） 正规公理：不存在集合A1,A2,A3,…使得…∈A3∈A2∈A1（有限可分，集合不能是自己的元素） 注意：隶属、包含的判断（有时两者兼有） 定理1：对于任意集合A和B，A=B当且仅当A í B且B í A í传递性，对全集、空集的í关系等 定理5：空集是唯一的 子集、真子集、子集个数等 运算：并、交、补、差、幂集，及一些运算性质、公式 幂集：对任意集合A，ρ(A)称作A的幂集，定义为：ρ(A)={x|xíA}，所有子集的集合 设A,B为任意集合， AAB当且仅当ρ(A) íρ(B) 集合族：如果集合C中的每个元素都是集合，称C为集合族 集合族的标志集：如果集合族C可以表示为某种下标的形，C={Sd|d∈D}，那么这些下标组成的集合称作集合族C的标志集 广义并、广义交，及相关运算性质、公式 归纳定义： 基础条款：规定某些元素为待定义集合成员，集合其它元素可以从基本元素出发逐步确定 归纳条款：规定由已确定的集合元素去进一步确定其它元素的规则 终极条款：规定待定义集合只含有基础条款和归纳条款所确定的成员 基础条款和归纳条款称作“完备性条款”，必须保证毫无遗漏产生集合中所有成员 终极条款又称“纯粹性条款”，保证集合中仅包含满足完备性条款的那些对象 例：自然数的归纳定义、数学归纳法等……（建议看一下课件例子了解一下思路） 二、关系 有序组（二元）：设a,b为任意对象，称集合族{{a},{a,b}}为二元有序组，简记为a,b 称a为a,b的第一分量，b为第二分量 递归定义：n=2时，a1,a2={{a1},{a1,a2}} n2时，a1,…,an= a1,…,an-1, an 集合的笛卡儿积：对任意集合A,A2,…,A，A1×A2称作集合A1，A2的笛卡儿积，定义如下：A1×A2 = {u,v | u∈A1,v∈A2} A1×A2×… ×An =(A1×A2×… ×An-1) ×An 定理：对于任意有限集合A1,…,An，有|A1×…×An|=|A1|*…*|An| 一些运算性质 关系是各个对象之间的联系和对应 R称为集合A1,A2,…,An-1到An的n元关系，如果R是A1×A2×…×An的一个子集。当A1=A2=…=An-1=An时，也称R为A上的n元关系 几个特殊二元关系：空关系、全关系、相等关系 定义：设R为A到B的二元关系(RíA×B) xRy表示x,y∈R， ?xRy表示x,y?R 定义域domain：Dom(R)={x|x∈A∧$y(x,y∈R)} R的值域range：Ran(R)={y|y∈B∧$x(x,y∈R)} 称A为R的前域，B为R的陪域 注意：前域与定义域，陪域与值域的差别。尤其是定义域与前域，与函数的差别 关系表示法： 集合表示法 关系图表示法（有向箭头，主要是前域陪域相同的关系图） 关系矩阵（mij=1当且仅当aiRbj；mij=0当且仅当?aiRbj） 关系相等：相同前域陪域，且xy(xRy?xSy) 运算：要有相同前域、陪域。但总可以对关系的前域和陪域做适当的扩充，使之满足条件 并（矩阵分量析取） 交（矩阵分量合取） 差（前一个关系和后一个关系的补矩阵做合取） 补（矩阵做否定） 逆运算：R~={y,x|xRy}，RíA×B，是B×A上的关系，关系矩阵转置 合成：RíA×B，SíB×C，R和S的合成关系R°S定义为： R°S={x,z|x∈A∧z∈C∧$y(y∈B∧xRy∧ySz)}，R°S íA×C 矩阵乘法，其中乘法用合取，加法用析取 幂运算：定义为自身的n次合成Rn=R°…°R（n个R合成），R0=EA 幂关系有限定理：设集合A的基数为n，R是A上的二元关系，则存在自然数i,j使得0 ≤i＜j≤2n2，有Ri=Rj（鸽笼原理，A×A有n2个元素，子集个数为2n^2个） 自反关系：（就是每个元素都和自己有关系） x(x∈A→xRx) 关系图：每个节点都有环 关系矩阵：对角线全为1 反自反关系：（每个元素都和自己没关系） x(x∈A→ ?xRx) 关系图：每个节点都没有环 关系矩阵：对角线全为0 对称关系：（每对关系都是相互的） xy(x,y∈A∧xRy→yRx) 关系图：两个节点之间有边的就有反向边 关系矩阵：对称矩阵 反对称关系：（若有相互关系则只能是同一个元素，不同元素间不能有相互关系） xy(x,y∈A∧xRy∧yRx→x=y) 关系图：两个节点之间只能有一条单向边 关系矩阵：ci,j=