演示文档离散数学-关系的闭包.pptVIP

空议由乙方提供他人呢 空议由乙方提供他人呢 空议由乙方提供他人呢 空议由乙方提供他人呢 空议由乙方提供他人呢 空议由乙方提供他人呢 空议由乙方提供他人呢 空议由乙方提供他人呢 空议由乙方提供他人呢 空议由乙方提供他人呢 空议由乙方提供他人呢 空议由乙方提供他人呢 空议由乙方提供他人呢 空议由乙方提供他人呢 空议由乙方提供他人呢 离散数学 集合论 0.0 * * / 68 主要内容 集合代数 二元关系 函数 集合的基本概念 集合的运算 有穷集合的计数 集合恒等式 有序对与笛卡儿积 二元关系 关系的运算 关系的性质 关系的闭包 等价关系与划分 偏序关系 函数的定义与性质 函数的复合与反函数 双射函数与集合的基数 * / 68 §7.5 关系的闭包 一. 闭包的定义 定义7.14 设R是非空集合A上的关系,R的自反闭包(对称闭包,传递闭包)是 A上的关系 R ,它满足: (1) R 是自反的 (对称的,传递的)； (2) R? R ; (3) 对A上任何包含 R 的自反关系 (对称关系,传递关系) R 都有R ? R . 注:R的自反闭包记为 r(R),对称闭包记为 s(R),传递闭包记 为 t(R). Reflexive, Symmetric, Transtive: r(R), s(R), t(R). * / 68 闭