等价关系85.pptVIP

第八章 關係(Relations) §8.1 Relations and Properties §8.2 n-ary Relations and Their Applications §8.3 Representing Relations §8.4 Closures of Relations §8.5 Equivalence Relations §8.6 Partial Orderings 等價關係(§8.5) 定義：集合A上的關係，如果有反身性、對稱性和遞移性，則稱之為等價關係(equivalence relation)。 在等價關係中，兩個有關係的元素可視為等價的(equivalent)，記為a ~ b。 例：設R是整數集合上的關係，aRb若且唯若a = b或a = ?b。並不難證明R是有反身性、對稱性和遞移性的。因此R是等價關係。而3 ~ ?3。 例：設R是實數集合上的關係，aRb若且唯若a ? b是整數。試問R是等價關係嗎？ 解：對所有的實數a來說，a ? a = 0是整數，因此對所有的實數aRa，即，R是有反身性的。 假設aRb，那麼a ? b是整數，b ? a也會是整數。因此有bRa。即，故R是有對稱性的。 如果aRb和bRc，那麼a ? b和b ? c都是整數，所以a ? c = (a ? b)＋(b ? c)也是整數，因此aRc。故R是有遞移性的。 綜合上述，可知R是個等價關係。 模m同餘 設m是大於1的正整數。證明關係R = {(a, b)｜a ? b (mod m)} 是整數集合上的等價關係。 解：a ? b (mod m)若且唯若m整除a ? b。 a ? a = 0能被m整除，故a ? a(mod m)，因而模m同餘關係是有反身性的。 假設a ? b (mod m)，那麼a ? b能被m整除，即a ? b = km，其中k是整數。因此b ? a = (?k)m，即b ? a (mod m)。故模m同餘關係是有對稱性的。 接著假設a ? b (mod m)和b ? c (mod m)，可知m整除a ? b和b ? c。因此存在整數k和l，使得a ? b = km和b ? c = lm。將兩個等式相加，a ? c = (a ? b)＋(b ? c) = km＋lm = (k＋l)m。故a ? c (mod m)。即，模m同餘關係是有遞移性的。 綜合上述，可知模m同餘關係是等價關係。 例：設R是英文字母所形成之字串集合上的關係，aRb若且唯若l(a) = l(b)，其中l(x)表示字串x的長度。試問R是等價關係嗎？ 解：因為l(a) = l(a)，只要a是一個字串，就有aRa，故R是有反身性的。 假設aRb，即l(a) = l(b)，那麼有bRa，因為l(b) = l(a)。因此R是有對稱性的。 假設aRb和bRc，則l(a) = l(b)和l(b) = l(c)。因此l(a) = l(c)，即aRc。所以R是有遞移性的。 由於R是反身、對稱和遞移的，故R是等價關係。 例：令n為正整數，S為位元字串集合。假設Rn為S上的關係，sRnt若且唯若s = t，或是兩字串s與t之前n個字元完全一樣。故，字串長度小於n的都只與自身有關係。證明對所有的位元字串集合和正整數n，Rn都是S上的等價關係。 解：關係Rn是有反身性的，因為對S中的字串s而言，s = s，即sRns。若sRnt，則s = t，或是兩字串s與t之前n個字元完全一樣。也可說t = s，或是兩字串t與s之前n個字元完全一樣。所以tRns，即Rn是有對稱性的。 假設sRnt與tRnu，則s = t，或是兩字串s與t之前n個字元完全一樣；以及t = u，或是兩字串t與u之前n個字元完全一樣。所以，我們可推論出s = u（兩字串的長度都不大於n），或是兩字串s與u之前n個字元完全一樣（兩字串的長度都大於等於n）。所以sRnu，也就是Rn是有遞移性的。由上述證明可得Rn是個等價關係。 例：證明正整數集合上的“整除”關係不是等價關係。 解：由前面章節中的範例，我們知道“整除”關係是有反身性與遞移性的。 然而，它並沒有對稱性（例如：2?4但4?2）。所以，正整數上的“整除”關係並不是等價關係。 例：令R為實數集合上的關係。xRy若且唯若x與y的差小於1，也就是?x ? y? 1。證明R不是個等價關係。 解：R有反身性：當x為實數時，?x ? x?= 0 1。 若xRy，則?x ? y? 1。由於?y ? x?=?x ? y? 1，故yRx。所以，R是有對稱性的。 但是，R沒有遞移性。令x = 2.8，y = 1.9，z = 1.1， 則xRy，因為?x ? y?=?2.8 ? 1.9?= 0.9 1。 而