1離散數(shù)學(DiscreteMathematics)張捷第三章集合與關系（SetsandRelations)

3.6關系的閉包運算(ClosureOperations)3.7集合的劃分與覆蓋(Partition&CoverofSets)3.8等價關系(EquivalentRelations)3.9相容關系(Compatibility

Relations)3.10序關系(OrderedRelations)3.1集合及其運算(Sets&Operationswithsets)

3.2序偶與笛卡爾積(OrderedPairs&CartesianProduct)3.3關系

(Relations)3.4關系的性質(zhì)(ThePropetiesofRelations)3.5復合關系與逆關系(CompoundRelations&InverseRelations)3.4關系的性質(zhì)(ThepropertiesofRelations)3.4.1

集合A上關系的性質(zhì)(ThepropertiesofRelationsonsetA)3.4.2由關系圖、關系矩陣判別關系的性質(zhì)第三章集合與關系(Sets&Relations)第三章集合與關系(Sets&Relations)

3.4.1集合A上關系的性質(zhì)

定義3.4.1

設是集合A上的關系（1）若對于所有的，均有，則稱在A上是自反的(reflexive)。

（2）若對于所有的，均有，則稱在A上是反自反的(antireflexive)。

（3）對于所有的，若每當有就必有，則稱在A上是對稱的(symmetric)。

（4）對于所有的，若每當有和就必有，則稱在A上是反對稱的(antisymmetric).

（5）對于所有的，若每當有和就必有，則稱在A上是可傳遞的(transitive)。例1

設，

（1）自反與反自反

自反自反非自反反自反

（2）對稱與反對稱對稱，非反對稱非對稱，反對稱非對稱，非反對稱對稱，反對稱（3）可傳遞與不可傳遞可傳遞不可傳遞可傳遞U自反反自反U對稱不反對稱反對稱不對稱既對稱又反對稱則例2

設，A上的關系自反對稱不是反對稱對于任意的,，則也是偶數(shù)。因此是可傳遞的。則是自反的、反對稱的、可傳遞的。例3

設則自反的、對稱的、反對稱的、可傳遞的。則自反的、反對稱的、可傳遞的。則是自反的、對稱的、可傳遞的。例3（續(xù)）則反自反的、反對稱的、可傳遞的。則反自反的、反對稱的。例4是不自反、反自反的、對稱的、反對稱、可傳遞的。例5全關系是自反的、對稱的、可傳遞的。3.4.2由關系圖、關系矩陣判別關系的性質(zhì)1.關系矩陣

1234若是自反的，則關系矩陣的主對角線上的所有元素均為1。若是反自反的，則關系矩陣的主對角線上所有元素均為0。若是對稱的，則關系矩陣關于主對角線對稱。若是反對稱的，則關系矩陣中，關于主對角線對稱的元素不同時為1。

例如，2.關系圖

若是對稱的，則在關系圖中，若兩結(jié)點之間有邊，則必存在兩條方向相反的邊。若是反對稱的，則在關系圖中，任意兩個不同的結(jié)點間至多只有一條邊。

若是自反的，則關系圖中每一結(jié)點引出一個指向自身的單邊環(huán)(自環(huán)）。若是反自反的，則關系圖中每一結(jié)點均沒有自環(huán)。

若是可傳遞的，則在關系圖中，若每當有邊由指向，且又有邊由指向，則必有一條邊由指向。例6

設，下面分別給出集合A上三個關系的關系圖，試判斷它們的性質(zhì)。（2）非自反，也不是反自反，非對稱，反對稱，可傳遞。（3）是自反的，對稱的，可傳遞的，不是反自反，也不是反對稱。解（1）是自反的，非對稱，不是反對稱，不可傳遞