离散数学N元集合关系个数计算.docx

Author：ssjs Mail： 看了离散数学中的关系整理了一点关于 n 元集合中各种关系的计算，现写下这个方便大家学习交流理解。对文章所致一切后果不负任何责任，请谨慎使用。 如有错误之处请指正。 定义： 1，对称：对于 a,b? A, 如果只要 (a, b) ? 有(b, a ) ? R 2，反对称：如果a, b ? A, 仅当a ? b时(a, b) ? R和(b, a) ? R 3，自反：如果对每个元素a ? A有(a, a) ? R 4，反自反：如果对于每个a ? A有(a, a) ? R 5，传递：如果对a, b, c ? A,(a, b) ? R且(b, c) ? R,则(a, c) ? R 6，非对称：如果(a, b) ? R推出(b, a) ? R 【注】其中是含（a,a)这样的有序对的。 【重要】集合 A 的关系是从 A 到 A 的关系 （也就是说集合 A 的关系是A ? A 的子集）。如下结论： N 元集合上的自反关系数为： 2n(n?1) N 元集合上的对称关系数为： 2n(n?1)/ 2 N 元集合上的反对称关系数为： 2n3n(n?1)/ 2 N 元集合上的非对称关系数为： 3n(n?1)/ 2 N 元集合上的反自反关系数为： 2n(n?1) N 元集合上的自反和对称关系数为： 2n(n?1)/ 2 N 元集合上的不自反也不反自反关系数为： 2n 2 ? 2 ? 2n(n?1) 下面是上面结论的计算 1，自反 因为A ? n, A ? A ? n2 也就是说集合 A 有 n 平方个有序对，由自反定义可知，对 ?a ? A有(a, a) ? R 所以 n 个有序对(?X , X i i ?其中i ? 1,2,3 n) 一定在所求关系中，否则 的话此关系就不是自反的了，那么还有n2 ? n 个有序对，所以由集合子集对应二进制串可得 自反关系数为2n 2?n 下图有助于理解。 ? 2n(n?1) （1,1) (2,2).......(n,n) | (1,2) (1,3). (n-1,n) N 个有序对 n2 ? n 个有序对 2，对称 因为 A ? n, A? A ? n2 也就是说集合 A 有 n 平方个有序对，由对称定义可知，对于 a, b ? A,只要 (a, b) ? 有(b, a) ? R 。另外知道在 n 平方个有序对中有 n 个有序对 (?X , X i i ?其中i ? 1,2,3.....n) ，相应的就有n2 ? n 个有序对（X,Y)且 X ? Y ，定义可知后面 的 n2 ? n 个有序对只能成对出现，所以有(n 2 ? n) / 2 对。前面的那n 对可以出现任意多对。图片如下。 （1,1) (2,2).......(n,n) (1,2) (1,3). (n-1,n) n 个有序对 (2,1) (3,1). (n,n-1) ( n2 ? n )/2 个有序对对共有n+ ( n2 ? n )/2 个元素 即 ( n2 ? n )/2 个 所以得到对称关系数为： 2n(n?1)/ 2 3，反自反 因为 A ? n, A? A ? n2 也就是说集合A 有 n 平方个有序对，由对称定义可知，如果对于每个a ? A有(a, a) ? R ，构成该关系的元素个数为 n2 ? n 个，所以得出结论 2n(n?1) ，这个简单，不多说。 4，自反和对称 即是求自反的又对称的，由 1 知要是自反的就只能在n2 ? n 个有序对中生成子集，又由对称定义可知，将n2 ? n 个有序对分成形如(a,b)与(b,a)的( n2 ? n )/2 个有序对对。所以有自反和对称关系数为： 2n(n?1)/ 2 。如下图 （1,1) (2,2).......(n,n) (1,2) (1,3). (n-1,n) n 个有序对 (2,1) (3,1). (n,n-1) ( n2 ? ( n2 ? n )/2 个有序对对 N 个有序对只有 1 种可能· 有2n(n?1)/ 2 种可能 = 1? 2n(n?1)/ 2 5，不自反也不反自反 不自反也不反自反 = 不自反? 不反自反 = 2n 2 ?（不自反 ?不反自反） = 2n 2 ?（自反 ? 反自反） = 2n 2 ? (2n(n?1) ? 2n(n?1) ) = 2n 2 ? 2 ? 2n( n?1) 6，非对称 由定义：如果(a, b) ? R推出(b, a) ? R ，很清楚形如(a,a)的有序对不在所求关系中。所以所求关系只能中剩下的n2 ? n 个有序对中来生成。如下图。 (1,2) (1,3). (n-1,n)(2,1) (1,2) (1,3). (n-1,n) (2,1) (3,1) (n,n-1) ( n2 ? n )/2 个有序对对