关系结构.docVIP

第二章 关系结构 2.1 数学结构 关系结构 一个数学结构由两部分组成。一是对象，二是对象上的数学性质。在集合论语言中，对象可以用一个非空集合A来表示，但不同是数学性质就需要用集合论中不同的概念来表示了。 我们可以抽象地用A, P来表示数学结构，其中A是一个非空集合，P是A上全体数学性质的总和。 如果在P是一些不同的类型的数学性质p1,…, ps的总和，我们就可以将数学结构表示为A, p1,…, ps。 最常见的数学性质是关系、代数和拓扑。 我们主要是分别讨论这三类数学结构，也考虑一些同时具有这三类不同类型数学性质的结构。 2.1.1 定义 关系结构 A, R1,…, Rm称为一个关系结构，如果： (1) A ( (。 (2) 任给1(i(m，Ri是A上ni元关系。 关系结构中最常见的单个关系的结构A, R，而这个关系更常见的是二元关系。 对于关系结构的讨论有两类，一类是一些重要的关系结构的特殊问题。一类是一般关系结构的普遍问题。但我们不一般地讨论关系结构的普遍问题，而是结合某些特殊的关系结构来讨论。 2.2 偏序结构 2.2.1 定义 偏序关系 A上二元关系R称为A上偏序关系，如果R满足以下性质： (1) 自返性 ((x(A)(x, x(R) (2) 反对称性 ((x, y(A)(x, y( R(y, x(R(x = y) (3) 传递性 ((x, y, z(A)(x, y(R(y, z(R(x, z(R) R有自返性也可以用IA ( R来表示。 R有反对称性也可以用R(R (1 ( IA来表示。 R有传递性也可以用R(R ( R来表示。 2.2.2 定义 偏序结构 关系结构A, R称为偏序结构。如果R是A上二元关系。 2.2.3 例 N, (、 Z, (、Q, (、R, (是偏序结构。 偏序关系可以看成一种广义的大小（前后）关系，直观地可以将集合中的元素依偏序关系排成一个次序。这种次序有各种情况。 2.2.4 例 A = {0, 1, 2, 3}，令 R = {0, 2, 1, 3}(IA， S = {0, 1, 0, 2, 0, 3, 1, 2, 1, 3}(IA， Q = {0, 2, 0, 3, 1, 2, 1, 3}(IA， 则A, R、A, S、A, Q都是偏序结构，它们的直观形象如下： 0 2 1 0 2 0 3 1 3 2 1 3 2.2.5 例 考虑N上二元关系 R = {x, y | 存在n(N，使得y = xn} x, y(R的直观意义是x整除y，所以R称为N上整除关系。可以证明R是N上偏序关系： 自返性。任给x(N，都有x = x1，所以x, x(R； 反对称性。任给x, y(N，如果x, y(R且y, x(R，则 存在n, m(N，使得y = xn, x = ym， 所以 y = ymn。 当y = 0时，有 x = ym = 0 = y， 当y ( 0时，由乘法消去律得mn = 1，所以 m = 1， 也有 x = ym = y1 = y； 传递性。任给x, y, z(N，如果x, y(R且y, z(R，则 存在n, m(N，使得y = xn, z = ym， 所以 存在nm(N，使得z = ym = x(nm)， 因此x, z(R。 整除关系的直观形象如下： 1 2 4 8 …… 3 6 12 …… 5 9 18 …… 0 7 10 20 …… 11 14 27 …… 因此N, R是偏序结构，称为整除结构。 2.2.6 例 (是集合族，则(, (是偏序结构。 一般讨论偏序结构时，在不至于混淆时，总是将偏序结构记为A, (。如果为了指出(是A的偏序，则可以将(表示为(A。当有不同的偏序时，还可以在(上加下标，如(1, (2等。 为了简便起见，将x, y((记为x(y，称为x小于等于y，将x(y且x ( y记为x(y，称为x小于y。有时也将x(y记为y(x，称为y大于等于x，将x(y记为y(x，称为y大于x。 2.2.7 定义 上界和下界 A, (是偏序结构，X ( A, a(A。 (1) a是X的上界定义为：((x(X)(x(a) (2) a是X的下界定义为：((x(X)(a(x) 如果a是X的上界