离散数学导论(盘) 教学课件 第五章演示文稿.pdfVIP

第 五 章 关 系 第五章 关 系 5.1 有序组与集合的笛卡儿积 5.2 关系 5.3 等价关系 5.4 序关系 第五章 关 系 5.2 关系 5.2.1 关系的基本概念 5.2.2 关系的基本运算 5.2.3 关系的基本特性 5.2.4 关系特性闭包 第五章 关 系 5.3 等价关系 5.3.1 等价关系 5.3.2 划分与等价关系 第五章 关 系 5.4 序关系 5.4.1 序关系和有序集 5.4.2 良基性与良序集，完备序集 Δ5.4.3 全序集、良序集的构造 第五章 关 系 5.1有序组与集合的笛卡儿积 定义5.1 设a，b为任意对象，称集合｛｛a ｝，｛a , b ｝｝为二元有序组，或序偶 （ordered pairs ）， 二元有序组 序偶 简记为a ， b 。称a为a ，b 的第一分量，称b 为第二分量。 第五章 关 系 5.1有序组与集合的笛卡儿积 定理5.1 对任意序偶a ，b , c, d ,a ，b = c, d 当且仅当a＝c且b = d 。 定义5.2 递归定义n元序组 a ，…a n元序组 1 n a ，a ｛｛a ｝，｛a , a ｝｝ 1 2 1 1 2 a ，…a = a ，…a , a 1 n 1 n-1 n 第五章 关 系 5.1有序组与集合的笛卡儿积 定理5.2 对任意对象a ，…，a ，b ，…，b ， 1 n 1 n a ，…，a = b ，…，b 当且仅当 1 n 1 n 当且仅当 a = b ，…，a = b 1 1 n n 第五章 关 系 5.1有序组与集合的笛卡儿积 定义5.3 对任意集合 A ，A , … ，A ， 1 2 n （1） A  A ，称为集合A , A 的笛卡儿积 （1） 1 2 1 2 笛卡儿积 (Cartesian product) ，定义为 A  A ｛x  u v(x = u,v ∧u A ∧v A ) ｝ 1 2 1 2 ｛u,v  u A ∧v A ｝