4.1 序偶和笛卡尔积
4.1.1 有序组的定义
序偶:由两个元素按照一定的次序组成的二元组称为序偶,记作<x,y>,x为第一个元素,y为第二个元素
4.1.2 笛卡尔积
笛卡尔积不满足交换律
笛卡尔积不满足结合律
笛卡尔积对并运算和交运算满足分配律
4.1.3 推广
4.2 二元关系
4.2.1二元关系的定义
AxB的任意子集R为从A到B的一个二元关系
若A=B,则R为A上的一个二元关系
4.2.2二元关系的数学符号
1.枚举二元关系
2. 几种重要关系
1.A或B有一个空集就能产生空关系
2.两个集合的笛卡尔积就能产生全关系
3.一个集合能产生恒等关系
4.2.3定义域和值域
R=A X B
A为关系R的前域domR
B为关系R的后域rangR
域 fld=domR∪rangR
4.2.4 n元关系
R为笛卡尔积的子集
4.3关系的表示
4.3.1集合表示法
枚举法和叙述法
4.3.2关系图表示法
4.3.3 关系矩阵表示法
4.3.4 布尔矩阵的运算
4.4 关系运算
4.4.1 关系的并交差补运算
4.4.2 复合运算
1.集合表示法
2.关系图表示法
3.关系矩阵表示法
4.4.3 逆运算
就是反过来
1.用三种关系求逆
矩阵的逆运算就是行变成列,列变成行
4.5 关系的运算性质
4.5.1复合运算性质
1.结合律与同一律
2. 结合律的证明
3. 同一律的证明
4. 分配律
4.5.2 逆运算性质定律
4.6 关系的幂运算
4.6.1幂运算定义
4.6.2 幂运算的性质
4.6.3 幂运算的收敛性
4.7 关系的性质
4.7.1 自反性和反自反性
存在既不是反自反也不是自反的
自反每个结点都有自环
反自反每个节结点都没有自环
自反对角线全为1
反自反对角线全为0
4.7.2 对称性和反对称性
对称和反对称为蕴涵式
其中反对称如果后件为假,则前件两个不能同时出现
存在既不是对称性和反对称性的
也存在既是对称性和反对称性的
对称:任意一对节点,要么有方向相反的两条边,要么无边
反对称:任何一对节点无边
对称:当关系矩阵为对称矩阵时
反对称:当I不等于J时,第I行第J列和第J行第I列其中一个为1,一个为0就是反对称
4.7.3传递性
1.传递性也是蕴涵式,并且前件为合取式
2.前件为假命题,传递性也成立
如<1,2>也有传递性
4.7.4 关系性质的判定定理
任意的都是他的一部分,则应当为子集
1.总结
4.7.5关系性质判定
1.有<a,a>则不满足反自反
2.没有<b,b>则不满足自反
3.没有<d,c>则不满足对称
4.有<a,b>和<b,a>不满足反对称
5.没有<b,b>则不满足传递性
4.8 关系的闭包
在给定关系中添加最少元素,使其具备需要的特殊性质
4.8.1 闭包定义
4.8.2 闭包求解