离散 最元与极元、界与确界

最元与极元

以最大元与极大元为例讨论，最小元、极小元可类比
用 xRy 的形式表示在P上的偏序关系R

假设a为最大元，则对任意x∈P，都有xRa
由于在集合P中，并非任意元素x都与a存在偏序关系，xRa，于是
假设a为极大元，则在与a存在偏序关系R的元素中任取，均有xRa

因此，
最大元唯一；可以不存在
极大元不唯一；必存在

最大元必是唯一的极大元
有限偏序集中，唯一极大元必是最大元

寻找最大元时，往最顶端“尖角”处看；
寻找极大元时，往上方已经没有线相连，不能再往上“走”的 “角”处看

界与确界

以上界与上确界为例讨论，下界、下确界可类比
用 xRy 的形式表示在P上的偏序关系R，
现存在一集合A为P的子集，即A包含于 P

对于，a∈P
任意x∈A，都有xRa，则a为A的上界
显然，a必须与任意一个A中的元素有偏序关系R (xRa)，a才能成为上界
在所有上界中，对除a以外的任意上界b，都有aRb，则a为上确界
显然，a必须与任何一个其他的上界有偏序关系R (aRb)，a才能成为上确界

因此，
上界不唯一；可以不存在
上确界唯一；可以不存在

！特别注意：

1. 即使“界”存在，“确界”也不一定存在
   但是，“界”存在是“确界”存在的前提

2. 由于A是P的子集，a在P中寻找，所以在寻找“界”与“确界”时，A中的元素也有可能成为“界”、“确界”，不能忽略A中的元素