有限半序集的若干问题.doc

有限半序集的若干问题 问题1：半序集合中是否必有极大元和极小元？ 答案是否定的。 例1． 设A x|x是有理数，且0 x 1 ，半序关系≤是数的大小关系，则A中没有极大元，也没有极小元。但对有限的半序集合却有下列肯定的回答。 1：设（A，≤）是半序集且A是有限集，那么A中必有极大元和极小元。 证明：用反证法，假设A中没有极大元。用a b表示a≤b且a≠b，则 是A上的二元关系且满足传递性。 n 1和2，因为A非空，故有元素a1∈A,且a1不是极大元，故有a2∈A满足a1 a2。 A中n个元素a1、a2、……an满足a1 a2 …… an,n≥2。那么，由于an不是极大元，故存在an+1A使得an an+1　n+1个元素a1、a2、……an、an+1　a1 a2 ……an an+1 根据数学归纳法原理，A中存在无限多个元素满足a1 a2 ……an an+1 A为有限集相矛盾。故A中必有极大元。 A中必有极小元。 问题２：有限半序集合是否一定有最大元和最小元呢？ 答案是否定的！ 例２：设Ａ＝｛２，３，４，６｝，半序关系≤是数的整除关系。则（Ａ≤）中既没有最大元，也没有最小元。极大元是４和６，极小元是２和３。我们知道，最大元必为极大元，最小元必为极小元。而且有最大元时，最大元只能有唯一一个。 有最小元时，最小元只能有唯一一个。那么，反过来，我们进不步提出如下问题。 问题3：如果一个半序集合中只有唯一一的一个极大（小）元，那么这个极大元是否是最大（小）元呢？ 对此答案也是否定的。 例3：设A a,b，c ∪ 全体整数 ，规定半序关系≤为:a b c且对任何两个整数m和n,m n就是数的大小关系再并上A上的恒等关系。易见 A, ≤ 是半序集，a是A唯一的极小元，c是A是唯一的极大元，但A中没有最小元，也没有最大元。 3的答案是肯定的，这就是下面的结论2 结论2：设（A，≤）是半序集且A是有限集，如果a是A中唯一的极大元（极小元），那么a也是A中的最大元（最小元）。 ：设a是A是唯一的极大元，为证a是A中最大元，只要证对A中任何的b，当b≠a时，必有b a。 b不是极大元，故存在A中的a1使得b a1。 a1≠a，因为a1不是极大元，故存在A中的a2使得a1 a，因此b a1 a2。 A是有限集合，所以一定在有限步之后，比方n步之后，找到A中互不相同元素a1,a2……, an使得b a1 a2 an a 所以由传递性有b a。 结论3：设（A，≤）是一个有限的半序格，则A中必有最大元和最小元。 2，只要证A中的极大元和极小元都是唯一存在的。用反证法。 a,b都是极大元且a≠b，因为 A, ≤ 是格，所以子集 a,b 在A中存在最小上界，设c sup a,b ，则a≤c,b≤c。因为a,b都是极大元，所以a c,b c，因而a b。与假设矛盾。故A中极大元只有唯一一个。 A中的极小元也只有唯一一个。 问题4：有最大元和最小元的有限半序集是否一定是半序格呢？ 下面的例4给出否定的回答。 例4，设A 1，2，3，12，18，36 ，≤是正整数的整数关系，则（A，≤）是有限半序集，36是A中的最大元，1是A中的最小元，但（A，≤）不是格。 2，3 在A中没有最小上界，虽然有上界12，18，36。另外，子集 12，18 ， 36 12 18 2 3 1 虽然有下界限1，2和3，但没有最大下界。 例5：设A n|n是整数且1≤n≤12 ,≤是整除关系，求A中的最大元、最小元、极大元、极小元。 解：（A，≤）是有限半序集，最大元、最小元不一定存在，但极大元，极小元一定存在。从哈斯图易见：A中没有最大元；极大元共有6个，它们是7，8，9，10，11，12。最小元是1，极小元也是1。 8 12 6 9 10 4 3 11 7 5 2 1 例6：由结论3可知，当一个有限半序集合没有最大元（或没有最小元）时，它一定不是格，这一点经常用来判断一个有限半序集合不是格。下面哈斯图表示的半序集中，只有（ ）一个不是格。 （A） B） （D） C） 解：四种情形都是有限半序集，只有（C）没有最大元和最小元，故（C）不是格。