_离散数学重要公式定理汇总分析.ppt

自反性 反自反性 对称性 传递性 反对称性 每个结点都有环 主对角线全是1 每个结点都无环 主对角线全是0 不同结点间如果有边,则有方向相反的两条边. 是以对角线为对称的矩阵 不同结点间,最多有一条边. 以主对角线为对称的位置不会同时为1 如果有边a,b, b,c,则也有边a,c. 或前件为假 如果aij=1,且ajk=1,则aik=1 性质判定 从关系的有向图 从关系的矩阵 若R?A×B S?B×C T?B×C 则有 证明⑴ 任取a,c∈R ○ (S∪T) ? ?b(b∈B∧a,b∈R∧b,c∈S∪T) ??b(b∈B∧a,b∈R∧(b,c∈S∨b,c∈T)） ??b((b∈B∧a,b∈R∧b,c∈S)∨ (b∈B∧a,b∈R∧b,c∈T)) ??b(b∈B∧a,b∈R∧b,c∈S)∨ ?b(b∈B∧a,b∈R∧b,c∈T) ?a,c∈R ? S∨a,c∈R ? T ?a,c∈(R ? S)∪(R ? T) 所以R ○ (S∪T)=(R ? S)∪(R ? T) R是从A到B的关系，则 2. RC的有向图：是将R的有向图的所有边的方向颠倒一下即可。 3. RC的矩阵 M =(MR)T 即为R矩阵的转置。如 1 0 1 0 0 0 0 1 1 0 1 1 MR= 3×4 0 0 0 1 0 1 0 1 1 4×3 1 0 1 = MR c 三.性质 令R、S都是从X到Y的关系，则 1. (RC)C = R 2. (R∪S)C = RC∪SC 。 3. (R∩S)C = RC∩SC 。 4. (R－S)C = RC－SC 。 5. R?S ? RC? SC 。 6.(~R)C=~RC 7.令R是从X到Y的关系，S是Y到 Z的关系，则 (R ? S)C= SC ? RC 。 (注意≠RC ? SC ) 8. R是A上关系，则 ⑴ R是对称的，当且仅当 RC =R ⑵ R是反对称的，当且仅当 R∩RC ?IA。 四.性质 定理5. R是A上关系，则 ⑴ R是自反的，当且仅当 r(R)=R. ⑵ R是对称的，当且仅当 s(R)=R. ⑶ R是传递的，当且仅当 t(R)=R. 定理6. R是A上关系，则 ⑴ R是自反的，则s(R)和t(R)也自反。 ⑵ R是对称的，则r(R)和t(R)也对称。 ⑶ R是传递的，则r(R)也传递。 定理7：设R1、R2是A上关系，如果R1?R2 ，则 ⑴r(R1)? r(R2) ⑵s(R1)? s(R2) ⑶t(R1)?t(R2) 证明⑴ r(R1)=IA∪R1?IA∪R2= r(R2) ⑵，⑶类似可证。 定理8：设R是A上关系，则 ⑴sr(R)=rs(R) ⑵tr(R)=rt(R) ⑶st(R)?ts(R) 证明： ⑴ sr(R)=r(R)∪(r(R)c=(R∪IA)∪(R∪IA)c = (R∪IA)∪(Rc∪IAc) =R∪IA∪Rc∪IA = (R∪Rc)∪IA= s(R)∪IA=rs(R) ⑵的证明用前边证明的结论： (R∪IA)k= IA∪R∪R2∪...∪Rk可证，这里从略。 六. 函数的类型 1 2 3 4 a b c 1 2 3 4 a b c 1 2 3 d a b c 2 3 b c a 1 一对一 一对一 满射的 映内的 入射的 单射的 一对一的 双射的 一一对应的 函数复合的性质 1. 定理5-2.1 满足可结合性 f :X?Y, g:Y?Z, h :Z?W 是函数,则 (h ? g) ? f =h ? (g ? f ) 2.定理5-2.2 f :X?Y, g:Y?Z是两个函数, 则 ⑴如果f 和g是满射的，则 g ? f 也是满射的； ⑵如果f 和g是入射的，则 g ? f 也是入射的； ⑶如果f 和g是双射的，则 g ? f 也是双射的。 3.定理5-2.3 ⑴如果 g?f 是满射的，则g是 满射的； ⑵如果g?f 是入射的，则 f 是入射的； ⑶如果 g?f 是双射的，则f是入射的和g是 满射的。 4.定理5-2.4 f:X?Y是函数, 则 f ? IX= f 且 IY?f=f 。 大一上 离散数学重要公式定理汇总 * * 基本的等价公式 ⑴ 对合律 ??P?P ⑵ 幂等律 P∨P?P P∧P?P ⑶ 结合律 P∨(Q∨R)?(P∨Q)∨R P∧(Q∧R)?(P∧Q)∧R ⑷交换律 P∨Q?Q∨P P∧Q?Q∧P