离散数学3.11_12.pptVIP

3－11相容关系;3－11相容关系;3－11相容关系;3－11相容关系;3－11相容关系;3－11相容关系;3－11相容关系;3－11相容关系;3-12 序关系;例：整数集I上的二元关系  Ｒ＝｛ ａ，ｂ ｜ ａ≤ｂ，ａ，ｂ∈I｝ 证明：R是个偏序关系。 I，Ｒ 是偏序集。 例:集合A的幂集Ф(A)上定义的“?”关系;几点说明： （1）同一集合上的两个不同的偏序关系，构成两个不同的偏序集。 如：Ｒ1和Ｒ2都定义在Ａ上，但Ａ,Ｒ1与Ａ,Ｒ2显然不是一样的偏序集。 （2）不同集合上分别相同定义的偏序关系，同样构成两个不同的偏序集。 如：A,Ｒ3与B,Ｒ3是两个不同的偏序集。;哈斯图;序关系;序关系;序关系;三、全序关系 定义 设Ａ，≤是偏序集，Ｂ?Ａ，若Ｂ中每两个元素都有关系，则称Ｂ为链。若Ｂ中每两个元素都无关，则称Ｂ为反链。约定，若B只有单个元素，B既是链也是反链。 例题 设集合A={a,b,c,d,e}上的二元关系为R={a,a,a,b,a,c,a,d,a,e,b,b,b,c,b,e,c,c,c,e,d,d,d,e,e,e} 验证A,R为偏序集，画出哈斯图，举例说明链和反链。 通过哈斯图可以看出：在每个链中总可以从该链最高结点出发沿着该盖住方向遍历该链中的所有结点。每个反链中任意两个结点间均无连线。;全序关系;偏序集与特殊元素;序关系;偏序集与特殊元素;偏序集与特殊元素;序关系;序关系;序关系;序关系;序关系;一些结论：设A,≤是一偏序集，B是A的子集。则： 若b∈B是B的最大元?b是B的极大元、上界、上确界； 若b∈B是B的最小元?b是B的极小元、下界、下确界； 若a是B的上确界，且a∈B?a是B的最大元； 若a是B的下确界，且a∈B?a是B的最小元； 若“≤”是一个全序关系，则b∈B是B的最大元?b∈B是B的极大元； 若“≤”是一个全序关系，则b∈B是B的最小元?b∈B是B的极小元。 若b∈B是B的极大元，且b是唯一的?b是B的最大元。 若b∈B是B的极小元，且b是唯一的?b是B的最小元。;五、良序关系 定义设A,≤是一偏序??，若A的任何一个非空子集都有最小元素，则“≤”称为良序关系，A,≤是良序集。;定理（1）良序集是全序集 （2）全序集未必是良序的， 例：大于0小于1的全部实数，按大小次序关系是个全序集合，但由于集合本身就不存在最小元素，所以不是良序集合。 （3）有限的全序集是良序集。