第2章 关系和序关系.pptVIP

离散数学引论集合论与图论第二章;2.1 关系的概念[二元关系的;2.1 关系的概念[例] Su;2.1 关系的概念[二元关系的;2.1 关系的概念[例] ;2.1 关系的概念[定义域] ;2.1 关系的概念若干特殊关系;2.2 关系的表示方法(1) ;2.2 关系的表示方法[例]非;2.2 关系的表示方法(3) ;2.2 关系的表示方法[例] ;2.3 关系的性质[定义] 设;2.3 关系的性质[例] 整数;2.3 关系的性质存在着既非自;2.3 关系的性质存在着既非对;2.3 关系的性质从关系矩阵和;2.3 关系的性质[例] 在正;2.4 集合的划分与覆盖[定义;2.4 集合的划分与覆盖[例];2.4 集合的划分与覆盖[例];2.5 等价关系[等价关系] ;2.5 等价关系[定理] N上;2.5 等价关系[等价类] 设;2.5 等价关系[性质] 设 ;2.5 等价关系[结论] 对 ;2.5 等价关系[定理] 集合;2.5 等价关系[定理] X ;2.5 等价关系[讨论]X 上;[例] 设关系 R 定义在所有;2.6 相容关系[相容关系] ;2.6 相容关系[相容类] 设;2.7 关系的运算假设以下讨论;2.7 关系的运算(2) 关系;2.7 关系的运算[例] X=;2.7 关系的运算关系的复合运;2.7 关系的运算[定理] 关;2.7 关系的运算[关系的幂运;2.7 关系的运算[定理] 设;2.7 关系的运算[定理] 设;2.7 关系的运算[定理] 设;2.7 关系的运算(3) 关系;2.7 关系的运算(4) 关系;2.7 关系的运算[例] 整数;2.7 关系的运算朝蛔尸醚帖锦;2.7 关系的运算[定理] 设;2.7 关系的运算[定理] 设;2.7 关系的运算③证明：分别;2.7 关系的运算 [b] ;2.7 关系的运算①证明：设 ;2.7 关系的运算②证明：仿照;2.7 关系的运算[定理] 设;2.8 偏序关系[偏序关系] ;2.8 偏序关系x, y 之间;2.8 偏序关系表达偏序关系的;2.8 偏序关系[例] Has;2.8 偏序关系上述 Hass;2.8 偏序关系[例] 由偏序;2.8 偏序关系[例] {2,;2.8 偏序关系[例] A 的;2.8 偏序关系[例] A 的;2.8 偏序关系[最大最小元];2.8 偏序关系[例] {2,;2.8 偏序关系[例] A 的;2.8 偏序关系[上下界] 对;2.8 偏序关系[例] {2,;2.8 偏序关系[上确界] 对;2.8 偏序关系[例] {2,;2.8 偏序关系[链与反链] ;2.9 其他次序关系(1) 全;2.9 其他次序关系(3) 拟;2.9 其他次序关系[定理] ;2.9 其他次序关系(4) 词;2.9 其他次序关系② 长度不;2.9 其他次序关系(5) 格;2.9 其他次序关系[例] 如;2.9 其他次序关系[上下确界;2.9 其他次序关系[证明] ;2.9 其他次序关系[证明] ;2.9 其他次序关系[证明] ;2.9 其他次序关系(6) 良;2.9 其他次序关系[定理]