1、Author：ssjs Mail：看了離散數學中的關系整理了一點關于n元集合中各種關系的計算，現寫下這個方便大家學習交流理解。對文章所致一切后果不負任何責任，請謹慎使用。如有錯誤之處請指正。定義：1，對稱：對于a,b2，反對稱：如果3，自反：如果對每個元素4，反自反：如果對于每個5，傳遞：如果對6，非對稱：如果【注】其中是含（a,a)這樣的有序對的。【重要】集合A的關系是從A到A的關系 （也就是說集合A的關系是的子集）。如下結論：N元集合上的自反關系數為：N元集合上的對稱關系數為：N元集合上的反對稱關系數為：N元集合上的非對稱關系數為：N元集合上的反自反關系數為：N元集合上的自反和對稱關系數為

2、：N元集合上的不自反也不反自反關系數為：下面是上面結論的計算1，自反 也就是說集合A有n平方個有序對，由自反定義可知，對所以n 個有序對一定在所求關系中，否則的話此關系就不是自反的了，那么還有個有序對，所以由集合子集對應二進制串可得自反關系數為下圖有助于理解。（1,1) (2,2).(n,n) | (1,2) (1,3).(n-1,n) N個有序對 個有序對2，對稱 也就是說集合A有n平方個有序對，由對稱定義可知，對于。另外知道在n平方個有序對中有n 個有序對，相應的就有個有序對（X,Y)且X，定義可知后面的個有序對只能成對出現，所以有對。前面的那n對可以出現任意多對。圖片如下。（1,1) (

3、2,2).(n,n) (1,2) (1,3).(n-1,n) n個有序對 (2,1) (3,1).(n,n-1) ()/2個有序對對 共有n+ ()/2 個元素 即 ()/2個所以得到對稱關系數為：3，反自反 也就是說集合A有n平方個有序對，由對稱定義可知，如果對于每個，構成該關系的元素個數為個，所以得出結論，這個簡單，不多說。4，自反和對稱即是求自反的又對稱的，由1知要是自反的就只能在個有序對中生成子集，又由對稱定義可知，將個有序對分成形如(a,b)與(b,a)的()/2個有序對對。所以有自反和對稱關系數為：。如下圖（1,1) (2,2).(n,n) (1,2) (1,3).(n-1,n)

4、n個有序對 (2,1) (3,1).(n,n-1) 要自反這n個必在所求關系中 ()/2個有序對對N個有序對只有1種可能· 有種可能 = 5，不自反也不反自反不自反也不反自反 = 不自反不反自反 = = = = 6，非對稱由定義：如果，很清楚形如(a,a)的有序對不在所求關系中。所以所求關系只能中剩下的個有序對中來生成。如下圖。（1,1) (2,2).(n,n) (1,2) (1,3).(n-1,n) n個有序對 (2,1) (3,1).(n,n-1)這n個一定不在所求關系中 ( )/2個有序對對 由定義上圖的同色對中只能取一個或是一個也不取，就有三種狀態1）選上面的 2）選下面的

5、3）兩個都不選選取同色對？ 0 1 不選 選上還是選下？ 0 1 選上 選下由題知，不選，選上，選下是三種互斥結果。同集合二進制求集合個數原理，可得集合子集個為：7，反對稱由定義：如果 如下圖。（1,1) (2,2).(n,n) (1,2) (1,3).(n-1,n) n個有序對 (2,1) (3,1).(n,n-1)這n個有序對可以出現任意多次 ( )/2個有序對對 (由6可知）所以得結果 ：即【注】其它組合或是要求可由定義同理推出。不要怕麻煩，其實不那么難，也還有許多方法可以導出結果，如矩陣之類的。強烈推薦看下Discrete Mathematics and Its Applications Seventh Editio