离散数学 5.二元关系

1. 由两个元素按照一定的次序组成的二元组称为序偶，记作<x,y>，其中x是第一元素，y是第二元素。
2. 两个序偶<a,b>=<c,d> ， 当且仅当a=b,c=d
3. 称集合AxB = {<x,y>|(x∈A)∧(y∈B)}为集合A与B的笛卡尔积。
4. 当集合A,B都是有限集时，|AxB|=|BxA| = |A|x|B|
5. 设A,B为两个非空集合，称AxB的任意子集R为从A到B的一个二元关系，简称关系。A称为前域，B称为后域。（一个子集里有n个序偶就是n元子集。）
6. 当R = ∅时，称R为从A到B的空关系。
   - 当R = AxB 时，称R为从A到B的全关系。A上的全关系通常记为E_A。
7. 设A={a1,a2,…an} , B={b1,b2,…bm}，R是从A到B的一个二元关系，称矩阵M_R = （m_ij）_nxm 为关系R的关系矩阵 ， 其中：
   
8. 如果A = (a_ij) 和 B= （b_ij）是两个m x n 矩阵，则A 和 B 的并 也是一个m x n 矩阵 ， 记为A∨ B = C = (c_ij) ,其中 ：
   
9. A _mxn和B_nxm的积 ；用求并的方式代替矩阵求积里的乘， 记为 A⊙B = C = (c_ij) 其中 ：
10. 关系是一种特殊的集合，设R,S是从A到B的两个关系，则：
11. 设A, B,C是三个集合 ， R是从A到B的关系 ， S是从B到C的关系（即R:A→B , S:B→C），则RoS是从A到C的关系。例：R={<1,2>} . S={<2,3>} RoS={<1,3>}
12. R是A到B的关系 ， 则从B到A的关系R^-1 = {<b,a> | <a,b> ∈R} 称为R的逆关系 。
13. M_R-1 = (M_R)^T
14. (RoS)o T= Ro(So T)
    
15. 逆运算性质定律
    
16. 
17. 关系的幂运算
    
18. Rⁿ的基数是随着n的增加而递减的。
    当n>=|A |时 ， 则
19. 幂运算的收敛性
20. 自反性和反自反性（条件1.在R中出现的元素都要有；2.要么出现的元素都有<x,x>，要么全不一样）
21. 当且仅当R的关系矩阵的主对角线上全为1，主对角线上全为0则关系R是反自反。
22. 如果对任意的x,y∈A,如果<x,y>∈R且<y,x>∈R,那么x=y,则称R是反对称的，具有反对称性
23. 如果对任意的x,y∈A,如果<x,y>∈R且<y,x>∈R,则称R是对称的，具有对称性
    
24. 具有对称性的关系，那么它的矩阵是一个对称矩阵。具有反对称性的关系 ，则矩阵上没有一个位置关于主对角线同时为1。
    Ms当且仅当关系矩阵（r_ij）_nxn满足 i ≠ j 时 ，r_ij = 0 或 r_ji = 0
25. 设R是集合A.上的关系.对任意的x,y,z∈A,如果< x,y>∈R且< y,z>∈R,那么
    < x,z>∈R,则称R具有传递性
    • 具有传递性的关系R的关系图是一个闭环且闭环经过关系图里的所有点。
    • 关系R是传递的当且仅当在R的关系矩阵中，对任意i,j,k∈{1,2,… ,n}，若
      r_ij = 1则r_jk=1，必有r_ik=1
26. 关系性质的判定定理。
27. 闭包：设R是集合A上的关系，若存在A上的另一个关系R’（自反，对称，传递），如果R ⊆R’’（是任何自反或对称或传递的关系），就有R’ ⊆R’’，则称R’为R的自反闭包，对称闭包，传递闭包。
28. 用关系图求闭包
    1. 检查R的关系图，在没有自环的结点处加上自环，可得自反的关系图;
    2. 检查R的关系图，将每条单向边全部改成双向边,可得对称的关系图;
    3. 检查R的关系图，从每个结点出发，找到为终点的其它结点，如果该结点到其它终点没有边相连,就加上此边,可得传递的关系图.
29. 用关系运算求闭包：
    - 自反闭包为 R ∪I_A （I_A = {<x,x> | x∈A} A的自反集合）
    - 对称闭包 为 R∪ R^-1
    - 传递闭包