离散数学：第6章关系.pdfVIP

第六章 关系 §6.1 关系及其性质 §6.1 关系及其性质 定义6.1 任何有序偶的集合称为二元关系，简称为关系。 若 R ⊆X ×Y ，则称R 为从X 到 Y 的关系，并称从X 到X §6.2 关系的运算 的关系为X 上的关系。 §6.3 次序关系 将 x, y ∈R 表示为 xRy ，读作 “ x 和y 有关系 R ” 。 §6.4 等价关系与划分 将 x ,y ∉R 表示为xRy ，读作“x 和y 没有关系R ” 若R是集合X 到集合Y上的关系，对于任意的x ∈X ，y ∈ 作业 Y，则x与y 有关系R ，或x与y 没有关系R ，二者必居其一且 仅居其一。 关系的例 集合A上关系的数目 • 实数集 R 上的大于关系 例：A={0,1} ，B={1,2,3} ，那么 R ={0,2} ，R =A ×B ，R = ∅，R ={0,1}等 = { x, y | x ∈R ∧y ∈R ∧x y } 1 2 3 4 都是从A 到B 的二元关系，而R 和R 同时也是A 上 3 4 • 集合{2, 3, 4}上的整除关系 的二元关系。 { 2, 2 , 2, 4 , 3, 3 , 4, 4 } ？集合A 上的二元关系的数目有多少个？ • 集合族{∅, {∅}}上的包含关系 集合A 上的二元关系的数目依赖于A 中的元素数。 如果 2 ＃A=n ，那么＃(A ×A)=n ，A ×A 的子集就 ⊆= { ∅, ∅, ∅, {∅}, {∅}, {∅} } 有 个。每一个子集代表一个A 上的二元关系， 所以A 上有 个不同的二元关系。 关系的谓词表示 全域关系、空关系、恒等关系 显然，一个二元关系R能够用一个二元谓词 • 集合X 上的全域关系 来确定，即表示为： U = { x, y | x ∈X ∧y ∈X } X 若R ＝{x,y |P(x,y) }，则(∀x )(∀y)(P(x,y) ↔ 即， U = X ×X 。 X x,y ∈R ) • 集合X 上的空关系 ∅