佐恩引理
佐恩引理(Zorn's Lemma)也被称为库拉托夫斯基-佐恩(Kuratowski-Zorn)引理,是集合论中一个重要的定理,其陈述为:
佐恩引理是以数学家马克斯·佐恩的名字命名的。
具体来说,假设是一个偏序集,它的一个子集称为是一个全序子集,如果对于任意的有或。而称为是有上界的,如果中存在一个元素,使得对于任意的,都有。在上述定义中,并不要求一定是中的元素。而一个元素称为是极大的,如果且,则必然有。
佐恩引理、良序定理和选择公理彼此等价,在集合论的策梅洛-弗兰克尔公理基础上,上述三者中从任一出发均可推得另外两个。佐恩引理在数学的各个分支中都有重要地位,例如在证明泛函分析的哈恩-巴拿赫定理,证明任一向量空间必有基,拓扑学中证明紧空间的乘积空间仍为紧空间的吉洪诺夫定理,和抽象代数中证明任何含幺环的真理想必然包含于一个极大理想和任何域必然有代数闭包的过程中,佐恩引理都是关键。
应用举例
编辑佐恩引理的一个典型应用是证明任何一个环 必然有极大理想。用 来表示 的所有真理想(即 的所有双边理想,且该理想是 的真子集)。在 中引入一个偏序,定义为集合的包含关系,那么 中必然有一个极大元素,并且这个元素是 的真子集,从而 有一个极大理想。
为了应用佐恩引理,需要证明 的任何一个全序子集 都有一个上界,即存在一个理想 满足 并且 比 中任何一个元素都大。现取 为 中所有理想的并。可以证明, 是一个理想:如果 和 是 中的两个元素,那么必然存在 中两个理想 满足 。注意 是一个全序集,所以必然有 或者 ,从而有 或 。无论是哪种情况,均有 。而且,对于任何 都可以证明 。由此, 是 的一个理想。
现在考虑证明的核心部分:利用 充要于 ,可以证明 一定是 的真子集。因为如果 ,那么必然有某个 满足 ,这意味着 。但 ,从而 ,矛盾。
这样,利用佐恩引理, 必然包含一个极大元,而这个元素就是 的一个极大理想。
注意这个结论只在 是单位环的时候成立,在 不是单位环的情形下,一般而言这个结论是不成立的。
从选择公理证明佐恩引理的思路
编辑假设佐恩引理不成立,那么存在一个非空的偏序集 ,使得它的任何一个全序子集都有上界,但 中任何元素都不是极大元素。然后,对于任何一个全序子集 ,可以定义一个相对应的元素 ,使其严格大于 的任意元素,因为 有一个上界, 中又必然存在一个元素严格大于这个上界。为了确实地定义函数 ,我们需要用到选择公理。
利用函数 ,可以构造 的一个全序子集 ,这里作为下标的指标集不仅可以是自然数,也可以是序数。事实上,所有序数组成一个真类,粗略地说,可以认为序数的数目大于任何集合的基数, 也不例外。所以这个序列终会穷尽,这样就导出了矛盾。
上述的序列可以利用超限归纳法构造: 可以选择为 中任意元素,而对于任意一个序数 ,定义 ,注意 是全序的,所以 的定义是合理的。
事实上这个证明的结论略强于佐恩引理:
如果 是一个偏序集,并且它的任何一个良序子集都有上界,那么对于 的任意元素 而言, 中有一个大于等于 的极大元。换言之,存在一个可以与 比较的极大元。
我们也可以直接应用选择公理证明佐恩引理:
根据选择公理,对于一个偏序集 的所有非空子集 在存在一个选择函数 使得 。从 本身开始:考虑 ,如果 是极大元素则终止,否则构造 ,这里 ,如果 是极大元素则终止,否则用相同的技术构造 。
于是我们获得了 一个全序子集:
根据假设上述全序子集是有上界的。如果上界是上述全序子集中的元素则终止,否则继续上述步骤,最终总能够穷尽
不过需要说明的是上述证明并没有阐明为何最终能够穷尽 ,是一个不够严格的证明。见于 Lectures on the Hyperreals -- An Introduction to Nonstandard Analysis 一书。(可用Bourbaki fixed point theorem)
历史
编辑参见
编辑文献
编辑- Wolk E S. SOME FORMS OF ZORN's LEMMA[J]. Canadian Mathematical Bulletin, 1983, 26(3): 365.