佐恩引理 Zorn's lemma
(重定向自Zorn Lemma)
佐恩引理(Zorn's Lemma)也被称为库拉托夫斯基-佐恩(Kuratowski-Zorn)引理,是集合论中一个重要的定理,其陈述为:
在任何一非空的偏序集中,若任何链(即全序的子集)都有上界,则此偏序集内必然存在(至少一枚)极大元。
佐恩引理是以数学家马克斯·佐恩的名字命名的。
具体来说,假设是一个偏序集,它的一个子集
称为是一个全序子集,如果对于任意的
有
或
。而
称为是有上界的,如果
中存在一个元素
,使得对于任意的
,都有
。在上述定义中,并不要求
一定是
中的元素。而一个元素
称为是极大的,如果
且
,则必然有
。