设A,B 是两个集合, , 一 个从A ×B到{是 ,否} 的映射 R, 称为从A 到B的一个二元关系, , 或A与B间的一个二元关系。
∀ ( a , b ) ∈ A × B \forall(a,b)\in A\times B ∀(a,b)∈A×B, 如果 ( a,b)在R下的象为 “ 是 ” ,则a与b符合关系R ,记为 a R b aRb aRb,如果 ( a,b)在R下的象为 “ 否 ” ,则a与b不符合关系R ,记为 a R̸ b a\not Rb aRb
若 A=B, 则称R为A上的二元关系。
设A、B是两个集合,A×B的任一子集R称为从A到B的一个二元关系
A×B也是A×B的一个子集,按定义A×B也是从A到B的一个二元关系。我们把A×B叫做A到B的全关系
空集 ϕ \phi ϕ叫做A到B的空关系
集合 { ( a , a ) ∣ a ∈ A } \{( a,a)|a\in A\} { (a,a)∣a∈A} 称为A上的恒等关系或相等关系,并记为 I A I_A IA
设 R ⊆ A × B R\subseteq A\times B R⊆A×B ,
集合 { x ∣ x ∈ A 且 ∃ y ∈ B 使 得 ( x , y ) ∈ R } \{x|x \in A且\exists y\in B使得 (x,y)\in R\} { x∣x∈A且∃y∈B使得(x,y)∈R}称为R的定义域,并记为dom®
集合 { y ∣ y ∈ B 且 ∃ x ∈ A 使 得 ( x , y ) ∈ R } \{y|y \in B且\exists x\in A使得 (x,y)\in R\} { y∣y∈B且∃x∈A使得(x,y)∈R}称为R的值域,并记为ran®
一般地: ∣ A × B ∣ = m |A\times B|=m ∣A×B∣=m,那么A到B上就有 2 m 2^m 2m个关系。
设 A 1 , A 2 , . . . , A n A_1,A_2,...,A_n A1,A2,...,An是 是n 个集合,一个的 A 1 × A 2 × . . . × A n A_1\times A_2\times...\times A_n A1×A2×...×An的子集R 称为
A 1 , A 2 , . . . , A n A_1,A_2,...,A_n A1,A2,...,An间的n 元关系,每个 A i A_i Ai 称为R 的一个域 。
设R为X上的二元关系,若R是自反的,则 ∀ x ∈ X , x R x \forall x\in X,xRx ∀x∈X,xRx
R R R是自反的 ⟺ \iff ⟺ I X ⊆ R I_X\subseteq R IX⊆R
设R为X上的二元关系,若R是反自反的,则 ∀ x ∈ X , x R̸ x \forall x\in X,x\not Rx ∀x∈X,xRx
反自反的二元关系必然不是自反的,自反的二元关系必然不是反自反的
不是自反的二元关系,不一定是反自反
设X是一个集合,则X上的自反二元关系和反自反二元关系一样多(反自反并上 I X I_X IX就是自反,自反去掉 I X I_X IX就是反自反)
设R为X上的二元关系,若 ∀ x , y ∈ X , 只 要 x R y 就 有 y R x \forall x,y\in X,只要xRy就有yRx ∀x,y∈X,只要xRy就有yRx,则称R是对称的
设R为X上的二元关系,对 ∀ x , y ∈ X , 若 : x R y 且 y R x \forall x,y\in X,若:xRy且yRx ∀x,y∈X,若:xRy且yRx,则 x = y x=y x=y则称R是反对称的
设R为X上的二元关系,若 ∀ x , y , z ∈ X , 只 要 x R y 且 y R x , 就 有 x R z \forall x,y,z\in X,只要xRy且yRx,就有xRz ∀x,y,z∈X,只要xRy且yRx,就有xRz,则称R为传递关系
补充:设R为 X={a,b} 上的二元关系, 如果 R为空集,则满足反自反性、对称性、反对称性、传递性,不满足自反性
集合X上的二元关系R称为是相容关系,如果R是自反的且又是对称的。
补充:映射的核满足自反关系,对称关系,传递关系,相容关系,不满足反自反和反对称
映射的核:令 f : A → B , K e r ( f ) = { ( x , y ) ∣ x , y ∈ A 且 f ( x ) = f ( y ) } . K e r ( f ) f:A\rightarrow B,Ker(f)=\{(x,y)|x,y\in A且f(x)=f(y)\}.Ker(f) f:A→B,Ker(f)={ (x,y)∣x,y∈A且f(x)=f(y)}.Ker(f)称为f的核
设R是A到B的二元关系,则R的逆记为 R − 1 R^{-1} R−1, R − 1 R^{-1} R−1是B到A的二元关系,且 R − 1 = { ( y , x ) ∣ ( x , y ) ∈ R } R^{-1}=\{(y,x)|(x,y)\in R\} R−1={ (y,x)∣(x,y)∈R}
X到Y的一个二元关系R就是X×Y 的一个子集。因此可以在关系上定义并、交、差、对称差、余集和笛卡尔积运算。
若R,S都是X到Y的二元关系,则: R ∪ S = { ( x , y ) ∣ ( x , y ) ∈ R 或 ( x , y ) ∈ S } R\cup S=\{(x,y)|(x,y)\in R或(x,y)\in S\} R∪S={ (x,y)∣(x,y)∈R或(x,y)∈S}也是X到Y的二元关系,如果x与y符合 R ∪ S R\cup S R∪S,记作 x R ∪ S y xR\cup Sy xR∪Sy,即xRy或xSy
同理, x R ∩ S y ⟺ x R y 且 x S y xR\cap Sy\iff xRy 且xSy xR∩Sy⟺xRy且xSy
设R是A到B的二元关系,S为C到D的二元关系,则定义R×S 为A,B,C,D间的一个四元关系
R × S = { ( a , b , c , d ) ∣ ( a , b ) ∈ R 且 ( c , d ) ∈ S } R\times S=\{(a,b,c,d)|(a,b)\in R且(c,d)\in S\} R×S={ (a,b,c,d)∣(a,b)∈R且(c,d)∈S}
R c = ( A × B ) ∖ R R^c=(A\times B)\setminus R Rc=(A×B)∖R
设R是A到B,S是B到C 的二元关系。R与S的合成是A到C的一个二元关系, , 记成 R ∘ S R^{\circ} S R∘S, 并且
R ∘ S = { ( x , z ) ∣ ∃ y ∈ B 使 得 x R y 且 y S z } R^{\circ}S=\{(x,z)|\exists y\in B使得xRy且ySz\} R∘S={ (x,z)∣∃y∈B使得xRy且ySz}
设 R 1 , R 2 , R 3 R_1,R_2,R_3 R1,R2,R3 分别是从A 到B,B 到C,C到D的二元关系,则 ( R 1 ∘ R 2 ) ∘ R 3 = R 1 ∘ ( R 2 ∘ R 3 ) (R_1^{\circ}R_2)^{\circ}R_3=R_1^{\circ}(R_2^{\circ}R_3) (R1∘R2)∘R3=R1∘(R2∘R3)
( 1 ) R 1 ∘ ( R 2 ∪ R 3 ) = ( R 1 ∘ R 2 ) ∪ ( R 1 ∘ R 3 ) ( 2 ) R 1 ∘ ( R 2 ∩ R 3 ) ⊆ ( R 1 ∘ R 2 ) ∩ ( R 1 ∘ R 3 ) ( 3 ) ( R 2 ∪ R 3 ) ∘ R 4 = ( R 2 ∘ R 4 ) ∪ ( R 3 ∘ R 4 ) ( 4 ) ( R 2 ∩ R 3 ) ∘ R 4 ⊆ ( R 2 ∘ R 4 ) ∩ ( R 3 ∘ R 4 ) (1)R_1^{\circ}(R_2\cup R_3)=(R_1^{\circ}R_2)\cup (R_1^{\circ}R_3)\\ (2)R_1^{\circ}(R_2\cap R_3)\subseteq (R_1^{\circ}R_2)\cap (R_1^{\circ}R_3)\\ (3)(R_2\cup R_3)^{\circ}R_4=(R_2^{\circ}R_4)\cup (R_3^{\circ}R_4)\\ (4)(R_2\cap R_3)^{\circ}R_4\subseteq (R_2^{\circ}R_4)\cap (R_3^{\circ}R_4) (1)R1∘(R2∪R3)=(R1∘R2)∪(R1∘R3)(2)R1∘(R2∩R3)⊆(R1∘R2)∩(R1∘R3)(3)(R2∪R3)∘R4=(R2∘R4)∪(R3∘R4)(4)(R2∩R3)∘R4⊆(R2∘R4)∩(R3∘R4)
一般合成运算对差运算不满足分配律
( 1 ) R 1 ∘ ( R 2 ∖ R 3 ) ≠ ( R 1 ∘ R 2 ) ∖ ( R 1 ∘ R 3 ) ( 2 ) ( R 2 ∖ R 3 ) ∘ R 4 ≠ ( R 2 ∘ R 4 ) ∖ ( R 3 ∘ R 4 ) (1)R_1^{\circ}(R_2\setminus R_3)\ne (R_1^{\circ}R_2)\setminus (R_1^{\circ}R_3)\\ (2)(R_2\setminus R_3)^{\circ}R_4\ne(R_2^{\circ}R_4)\setminus (R_3^{\circ}R_4) (1)R1∘(R2∖R3)=(R1∘R2)∖(R1∘R3)(2)(R2∖R3)∘R4=(R2∘R4)∖(R3∘R4)
设R,S是集合X上的两个二元关系,则
( 1 ) ( R ∘ S ) − 1 = S − 1 ∘ R − 1 ( 2 ) R ∘ R − 1 是 对 称 的 (1)(R^{\circ}S)^{-1}=S^{-1 \circ}R^{-1}\\ (2)R^{\circ}R^{-1}是对称的 (1)(R∘S)−1=S−1∘R−1(2)R∘R−1是对称的
设R是X上的二元关系,则: R R R是传递的 ⟺ R ∘ R ⊆ R \iff R^{\circ}R\subseteq R ⟺R∘R⊆R
设R是X 上的一个二元关系,R的n次幂记作 R n R^n Rn,n为非负整数 R 0 = I X , R 1 = R , R 2 = R ∘ R R^0=I_X,R^1=R,R^2=R^{\circ}R R0=IX,R1=R,R2=R∘R, R n + 1 = R n ∘ R R^{n+1}=R^n \circ R Rn+1=Rn∘R
对任意非负整数m,n,有
( 1 ) R m ∘ R n = R m + n ( 2 ) ( R m ) n = R m n (1)R^m\circ R^n=R^{m+n}\\ (2)(R^m)^n=R^{mn}\quad\quad (1)Rm∘Rn=Rm+n(2)(Rm)n=Rmn
设X 是一个有限集合且|X|= n ,R为 为X 上的任一二元关系,则存在非负整数s, t 使得 0 ≤ s < t ≤ 2 n 2 0\leq s < t \leq 2^{n^2} 0≤s<t≤2n2 上且 R s = R t R^s = R^t Rs=Rt。
设R是X上的二元关系,如果存在非负整数s,t,s 令 S = R 0 , R , R 2 , . . . , R t − 1 , 则 对 任 意 的 非 负 的 整 数 q 有 R q ∈ S 令S={R^0,R,R^2,...,R^{t-1}}, 则对任意的 非负的整数q有R^q\in S 令S=R0,R,R2,...,Rt−1,则对任意的非负的整数q有Rq∈S 关系的闭包的思想是想通过增加一些元素,使原来的关系符合某种性质,但增加的元素要最少 自反、对称、传递、相容关系存在闭包;而反自反关系和反对称关系没法通过加入元素使其变成反自反或反对称,所以不存在闭包 增加最少的元素,使其符合传递性 R是X上的一个二元关系,X上一切包含R的传递关系的交称为R的传递闭包,用 R + 或 t ( R ) R^{+}或t(R) R+或t(R)表示,即: R + = ∩ R ⊆ R ′ R ′ , R ′ R^{+}=\mathop\cap\limits_{R\subseteq R'}R',R' R+=R⊆R′∩R′,R′是传递的 R是X上的一个二元关系,X上一切包含R的传递关系为: R 1 , R 2 , . . . . . . R n R_1,R_2,......R_n R1,R2,......Rn,R的传递闭包用 R + 或 t ( R ) R^{+}或t(R) R+或t(R)表示,即: R + = R 1 ∩ R 2 ∩ . . . . . . ∩ R n R^{+}=R_1\cap R_2\cap......\cap R_n R+=R1∩R2∩......∩Rn是传递的 R + = ∪ n = 1 ∞ R n = R ∪ R 2 ∪ R 3 ∪ . . R^{+}=\mathop\cup\limits_{n=1}^{\infty}R^n=R\cup R^2\cup R^3 \cup .. R+=n=1∪∞Rn=R∪R2∪R3∪.. R + = ∪ i = 1 n R i R^{+}=\mathop\cup\limits ^n_{i=1}R^i R+=i=1∪nRi 设R,S是X 上的二元关系,则 (1) ϕ + = ϕ \phi ^{+}=\phi ϕ+=ϕ (2) R ⊆ R + R\subseteq R^+ R⊆R+ (3) ( R + ) + = R + (R^+)^+=R^+ (R+)+=R+ (4) ( R ∪ S ) + ⊇ + ∪ S + (R\cup S)^+\supseteq^+\cup S^+ (R∪S)+⊇+∪S+ 设R为X 上的二元关系。X 上的一切包含R R 的自反的二元关系的交称为R 的自反闭包,记为 r® 。 设R为X上的二元关系。则 r ( R ) = R 0 ∪ R r(R)=R^0\cup R r(R)=R0∪R (1) r ( R ) ⊇ R r(R)\supseteq R r(R)⊇R 设R 为X 上的二元关系。X 上的一切包含R 的自反且传递的二元关系的交称为R 的自反传递闭包,记为 R ∗ R^* R∗ 设R为X上的二元关系。则 R ∗ = R 0 ∪ R + R^*=R^0\cup R^+ R∗=R0∪R+ ( R + = ∪ i = 1 ∞ R i R ∗ = ∪ i = 0 ∞ R i R^+=\mathop\cup\limits^{\infty}_{i=1}R^{i}\qquad R^*=\mathop\cup\limits^{\infty}_{i=0}R^{i} R+=i=1∪∞RiR∗=i=0∪∞Ri) (1) R ∗ ⊇ R R^*\supseteq R R∗⊇R 设R为X上的二元关系。X上的一切包含R 的对称的二元关系的交称为R的对称闭包,记为 s® 。 设R为X上的二元关系。则 s ( R ) = R ∪ R − 1 s(R)=R\cup R^{-1} s(R)=R∪R−1 (1) s ( R ) ⊇ R s(R)\supseteq R s(R)⊇R 设R是X 上的二元关系,则 (1) r ( s ( R ) ) = s ( r ( R ) ) r(s(R))=s(r(R)) r(s(R))=s(r(R)) (2) r ( R + ) = r ( R ) + = R ∗ r(R^+)=r(R)^+=R^* r(R+)=r(R)+=R∗ (3) s ( R ) + ⊇ + s ( R + ) s(R)^+\supseteq^+ s(R^+) s(R)+⊇+s(R+) 设: X = { x 1 , x 2 , . . . , x m } X=\{x_1,x_2,...,x_m\} X={ x1,x2,...,xm} , Y = { y 1 , y 2 , . . . , y n } Y=\{y_1,y_2 ,...,y_n\} Y={ y1,y2,...,yn} 令R是X到Y的一个二元关系。 由R定义一个m×n的矩阵B= ( b i j ) (b_{ij}) (bij)如下: ∀ ( x i , y j ) ∈ X × Y , \forall(x _i,y_j)\in X\times Y, ∀(xi,yj)∈X×Y, 设B为X上关系R的矩阵, 则: 由关系矩阵可以较清晰地看出自反关系的个数是 2 n 2 − n 2^{n^2-n} 2n2−n(对角线固定都是1,其他每个位置都有两种选择;设X共n个元素,关系是笛卡尔积的子集,笛卡尔积共 n 2 n^2 n2个元素,所以X上共有 2 n 2 2^{n^2} 2n2个关系) 反自反关系的个数是 2 n 2 − n 2^{n^2-n} 2n2−n 反自反关系的个数是 2 n 2 − n 2 ⋅ 2 n 2^{\frac{n^2-n}{2}}\cdot2^n 22n2−n⋅2n (对角线上n个元素任意,其他每个对称位置算作一对,每一对为00或11,共 n 2 − n 2 \frac{n^2-n}{2} 2n2−n对) 反对称关系的个数是 3 n 2 − n 2 ⋅ 2 n 3^{\frac{n^2-n}{2}}\cdot2^n 32n2−n⋅2n (对角线上n个元素任意,其他每个对称位置算作一对,每一对为00或10或01,共 n 2 − n 2 \frac{n^2-n}{2} 2n2−n对,每对3种选择) 集合X上的二元关系R被称为等价关系,如果其满足以下三个性质: (1) R 是自反的,即 ∀ x ∈ X , x R x \forall x\in X,xRx ∀x∈X,xRx ; 设R是X上的一个等价关系,x ∈ \in ∈ X, X 的子集 E x = { y ∣ y ∈ X 且 x R y } E_x=\{ y| y\in X且xRy\} Ex={ y∣y∈X且xRy} 称为x 关于R 的等价类,或简记为x的等价类 x的等价类常记为 [ x ] [\mathrm{x}] [x],即: [ x ] = { y ∣ y ∈ X 且 x R y } [\mathrm{x}]=\mathrm{\{y|y\in X且xRy\}} [x]={ y∣y∈X且xRy} 设X为集合 ,X的一些非空子集形成的集族A称为X的一个划分, 如果A 具有性质: (1) ∀ B , C ∈ A , 若 B ≠ C , 则 B ∩ C = ϕ \forall B,C\in A,若B\ne C,则B\cap C=\phi ∀B,C∈A,若B=C,则B∩C=ϕ (2) ∪ B ∈ A B = X \mathop\cup\limits_{B\in A}B=X B∈A∪B=X 设X 是一个集合, A 1 , A 2 , … … , A n A_1,A_2, ……,A_n A1,A2,……,An是X的非空子集,如果集族 A = A 1 , A 2 , … … , A n A={A_1,A_2, ……, A_n} A=A1,A2,……,An具有如下性质,则称A是X 的一个划分。 (1) ∀ A i , A j ∈ A , 若 A i ≠ A j , 则 A i ∩ A j = ϕ \forall A_i,A_j\in A,若A_i\ne A_j,则A_i\cap A_j=\phi ∀Ai,Aj∈A,若Ai=Aj,则Ai∩Aj=ϕ (2) A 1 ∪ A 2 ∪ . . . ∪ A n = X A_1\cup A_2\cup...\cup A_n=X A1∪A2∪...∪An=X 如果A是X的一个划分,则当|A|=k 时,A被称为X的一个k-划分 设R 是X上的一个等价关系,则R的所有等价类的集合是X的一个划分 设A是集合X 的一个划分,令 R = ∪ B ∈ A B × B R=\mathop \cup\limits_{B\in A}B\times B R=B∈A∪B×B,则R是X上的一个等价关系, , 并且A就是R的等价类之集 设 A = { A 1 , A 2 , … … , A n } A=\{A_1,A_2, ……,A_n\} A={ A1,A2,……,An}是集合X 的一个划分 R = ( A 1 × A 1 ) ∪ ( A 2 × A 2 ) ∪ … … ∪ ( A n × A n ) R =(A_1\times A_1 )∪(A_2\times A_2)∪……∪ (A_n\times A_n) R=(A1×A1)∪(A2×A2)∪……∪(An×An) 则R是X 上的一个等价关系, 并且A就是R的等价类之集 等价关系数等于集合的划分数 设R是X上的等价关系, 由R所确定的X的划分,也就是R 的所有等价类之集,称为X对R的商集,并记作X/R 即 X / R = { [ x ] ∣ x ∈ X , [ x ] 是 R 的 等 价 类 } X/R=\{[x]|x\in X,[x]是R的等价类\} X/R={ [x]∣x∈X,[x]是R的等价类} R 的等价闭包(R的自反对称传递闭包),记为 e ( R ) , e ( R ) e(R),e(R) e(R),e(R)是X 上包含R 的那些等价关系的交集 设R为X上的一个二元关系,则: e ( R ) = ( R ∪ R − 1 ) ∗ e(R)=(R\cup R^{-1})^* e(R)=(R∪R−1)∗ 集合X上的二元关系R被称为偏序关系,如果其满足以下三个性质: (1) R 是自反的,即 ∀ x ∈ X , x R x \forall x\in X,xRx ∀x∈X,xRx ; 设≤是X上的一个偏序关系,则称二元组 (X,≤) 为偏序集 当抽象地讨论X 上的偏序关系时,常用符号“≤”表示偏序关系,约定x≤y且x≠y时,就记为x<y 集合X上的偏序关系≤叫做全序关系,如果 ∀ x , y ∈ X , x ≤ y 与 y ≤ x \forall x,y\in X, x \leq y与y \leq x ∀x,y∈X,x≤y与y≤x至少有一个成立 全序关系也称为线性序关系。X 与全序关系 ≤ 构成的二元组(X, ≤)称为全序集 设(X, ≦ )是一个偏序集。我们称y盖住x, 如果x 如果y 盖住x,则记为 x ⊂ ∞ y x\mathop\subset\limits^{\infty}y x⊂∞y,并且y成为x的后继,x称为y的前驱 设(X, ≦ )是一个偏序集, A ⊆ X A\subseteq X A⊆X 如果 ∀ a , b ∈ A , a ≦ b 与 b ≦ a \forall a, b \in A,a ≦b与b ≦a ∀a,b∈A,a≦b与b≦a必有一个成立,则称A为X中的链 如果 ∀ a , b ∈ A , a ≦ b 与 b ≦ a \forall a, b \in A,a ≦b与b ≦a ∀a,b∈A,a≦b与b≦a均不成立,则称A为X中的一个反链 |A|称为链或者反链的长度 设(X, ≦ )是一个偏序集, B ⊆ X B\subseteq X B⊆X 如果存在一个元素 a ∈ X a\in X a∈X, 使得对B中每个元素x,有x ≦a, 则称a为B的一个上界。 设(X, ≦ )是一个偏序集, B ⊆ X B\subseteq X B⊆X 如果存在一个元素 a ∈ B a\in B a∈B, 使得 ∀ x ∈ B \forall x\in B ∀x∈B,有x ≦a, 则称a为B中的最大元素。 设(X, ≦ )是一个偏序集, B ⊆ X B\subseteq X B⊆X 如果B有上界且B的一切上界之集有最小元素,则这个最小上界称为B的上确界,记为supB 设(X, ≦ )是一个偏序集, A ⊆ X A\subseteq X A⊆X A 中元素s称为A的极大元素如果A 中不存在与s不同的元素l,且s ≦l。 。 最大最小元素 设(X, ≦ )是一个偏序集, B ⊆ X B\subseteq X B⊆X 如果存在一个元素 a ∈ B a\in B a∈B, 使得 ∀ x ∈ B \forall x\in B ∀x∈B,有x ≦a, 则称a为B中的最大元素。 设(X, ≦ )是一个偏序集, B ⊆ X B\subseteq X B⊆X 如果B有上界且B的一切上界之集有最小元素,则这个最小上界称为B的上确界,记为supB 设(X, ≦ )是一个偏序集, A ⊆ X A\subseteq X A⊆X A 中元素s称为A的极大元素如果A 中不存在与s不同的元素l,且s ≦l。 。四.关系的闭包
1.哪些关系存在闭包
2.传递闭包
①定义1
②定义2
③ R + R^{+} R+必须满足传递闭包的三个条件
(1) R + ⊇ R R^{+}\supseteq R R+⊇R
(2) R + R^{+} R+是传递的二元关系
(3) R + R^{+} R+是包含R的传递的二元关系中“最小的”
④定理 设R为X上的二元关系,则:
⑤定理 设X为n元集,R为X上的二元关系,则:
⑥定理(性质)
3.自反闭包
①定义
②定理
r®必须满足自反闭包的三个条件
(2) r ( R ) r(R) r(R)是自反的
(3 r ( R ) r(R) r(R)是包含R的自反的二元关系中“最小的“4.自反传递闭包
①定义
②定理(自反传递关系计算)
R ∗ R^* R∗必须满足自反传递闭包的四个条件
(2) R ∗ R^* R∗是自反的
(3) R ∗ R^* R∗是传递的
(4) R ∗ R^* R∗是包含R的自反且传递的二元关系中“最小的“5.对称闭包
①定义
②定理
s®必须满足自反闭包的三个条件
(2) s ( R ) s(R) s(R)是对称的
(3) s ( R ) s(R) s(R)是包含R的对称的二元关系中“最小的“③定理(性质)
五.关系矩阵
1.定义
b i j = { 1 , 若 x i R y j 0 , 若 x i R̸ y j b_{ij}=\left\{\begin{matrix}1,若x_iRy_j\\0,若x_i\not Ry_j\end{matrix}\right. bij={ 1,若xiRyj0,若xiRyj
矩阵B称为关系R的矩阵2.性质
(1)R是自反的 ⟺ \iff ⟺B的对角线上的全部元素都为1
(2)R是反自反的 ⟺ \iff ⟺B的对角线上的全部元素都为0
(3)R是对称的, ∀ b i j = 1 , 则 b j i = 1 \forall b_{ij}=1, 则b_{ji}=1 ∀bij=1,则bji=1 ⟺ \iff ⟺B是对称矩阵
(4)R是反对称的, ⟺ \iff ⟺i≠j时, b i j 和 b j i b_{ij}和b_{ji} bij和bji不同时为1
(5)R是传递的, ⟺ \iff ⟺如果 b i j = 1 且 b j k = 1 b_{ij}=1且b_{jk}=1 bij=1且bjk=1,则 b i k = 1 b_{ik}=1 bik=1
(6) R − 1 R^{-1} R−1对应矩阵B的转置
六.等价关系和集合的划分
1.等价关系定义
(2) R 是对称的,即如果 xRy, 则 yRx;
(3) R 是传递的,即如果 xRy,yRz,则 xRz;2.等价类定义
3.集合划分的定义
①说法1
②说法2
4.等价类和集合划分的关系
①定理(一个等价关系确定一个划分)
②定理(一个划分确定一个等价关系)
说法一
说法二
③X的一个划分和X的等价关系是一一对应,且互相确定
④等价关系R确定的划分是R的所有等价类之集 { [ x ] ∣ x ∈ X } \{[x]|x\in X\} { [x]∣x∈X}
5.商集
6.等价闭包
七.偏序关系与偏序集
1.偏序关系的定义
(2) R 是反对称的,即如果 xRy, 且yRx,则x=y;
(3) R 是传递的,即如果 xRy,yRz,则 xRz;2.偏序集的定义
3.全序关系与全序集
定义
4.前驱后继
5.哈斯图(目的是简化关系图)
既然都有,就可以省略。6.链和反链
7.上界和下界
如果存在一个元素 b ∈ X b\in X b∈X, 使得对B中每个元素x,有b ≦x, 则称b为B的一个下界。8.最大最小元素
如果存在一个元素 b ∈ B b\in B b∈B, 使得 ∀ x ∈ B \forall x\in B ∀x∈B,有有b ≦x, 则称a为B中的最小元素。9.上下确界
类似的,如果B 有下界且B的一切下界之集有最大元素,则称这个最大下界成为B 的下确界,记为inf B10.极大极小元素
如果A 中有元素d使得 ∀ x ∈ A \forall x\in A ∀x∈A, x 不等于d ,x不小于d ,那么d被称为A的极小元素
如果存在一个元素 b ∈ B b\in B b∈B, 使得 ∀ x ∈ B \forall x\in B ∀x∈B,有有b ≦x, 则称a为B中的最小元素。9.上下确界
类似的,如果B 有下界且B的一切下界之集有最大元素,则称这个最大下界成为B 的下确界,记为inf B10.极大极小元素
如果A 中有元素d使得 ∀ x ∈ A \forall x\in A ∀x∈A, x 不等于d ,x不小于d ,那么d被称为A的极小元素