紧生成的偏序集

本文根据格上紧元的定义,在偏序集中给出了紧元的三种定义方法,并对其等价性进行了证明。在偏序集中紧元定义的基础上,得到证明了紧元的相关性质。然后在偏序集中给出了格中没有的强紧元的定义,在此定义的基础上,分别提出证明了:满足升链条件的偏序集是强紧元的;强紧元的偏序集不一定是紧生成的偏序集。并推广证明了格中紧元的相关性质:如紧生成偏序集的子集一定是紧生成的偏序集;每个紧生成的偏序集P都是弱原子的;若偏序集中的元都是紧元当且仅当偏序集满足升链条件。给出了偏序集中上连续、下连续的概念,并证明了每个紧生成的偏序集都是上连续的。