佐恩引理

维基百科,自由的百科全书
跳转至: 导航搜索

佐恩引理Zorn's Lemma)也被称为库拉托夫斯基-佐恩(Kuratowski-Zorn)引理,是集合论中一个重要的定理,其陳述為:

在任何一非空的偏序集中,若任何(即全序的子集)都有上界,則此偏序集内必然存在(至少一枚)极大元

佐恩引理是以数学家马克斯·佐恩的名字命名的。

具体来说,假设(P, \le)是一个偏序集,它的一个子集T称为是一个全序子集,如果对于任意的s, t \in Ts \le tt \le s。而T称为是有上界的,如果P中存在一个元素u,使得对于任意的t \in T,都有t \le u。在上述定义中,并不要求u一定是T中的元素。而一个元素m \in T称为是極大的,如果x \in Tx \ge m,则必然有x = m

佐恩引理、良序定理选择公理彼此等价,在集合论的Zermelo-Fraenkel公理基础上,上述三者中从任一出发均可推得另外两个。佐恩引理在数学的各个分支中都有重要地位,例如在证明泛函分析哈恩-巴拿赫定理(Hahn-Banach Theorem),證明任一向量空间必有拓扑学中证明紧空间乘积空间仍为紧空间吉洪诺夫定理,和抽象代数中证明任何环必然有极大理想和任何必然有代数闭包的过程中,佐恩引理都是关键。

应用举例[编辑]

佐恩引理的一个典型应用是证明任何一个环R必然有极大理想。用P来表示R的所有真理想(即R的所有双边理想,且该理想是R的真子集)。在P中引入一个偏序,定义为集合的包含关系,那么P中必然有一个极大元素,并且这个元素是R的真子集,从而R有一个极大理想。

为了应用佐恩引理,需要证明P的任何一个全序子集T都有一个上界,即存在一个理想I满足I \subsetneq R并且IT中任何一个元素都大。现取IT中所有理想的。可以证明,I是一个理想:如果abI中的两个元素,那么必然存在T中两个理想J, K \in T满足a \in J, b \in K。注意T是一个全序集,所以必然有J \subset K或者K \subset J,从而有a, b \in Ja, b \in K。無論是哪種情況,均有a + b \in I。而且,对于任何r \in R,  a \in I都可以证明ar, ra \in I。由此,IR的一个理想。

现在考虑证明的核心部分:利用I = R充要于1 \in I,可以证明I一定是R的真子集。因为如果1 \in I,那么必然有某个J \in T满足1 \in J,这意味着J = R。但R\notin P,從而R\notin T,矛盾。

这样,利用佐恩引理,P必然包含一个極大元,而这个元素就是R的一个极大理想。

注意这个结论只在R单位环的时候成立,在R不是单位环的情形下,一般而言这个结论是不成立的。

从选择公理证明佐恩引理的思路[编辑]

假设佐恩引理不成立,那么存在一个非空的偏序集(P,\le),使得它的任何一个全序子集都有上界,但P中任何元素都不是极大元素。然後,对于任何一个全序子集T,可以定义一个相對應的元素b(T),使其嚴格大于T的任意元素,因為T有一個上界,P中又必然存在一個元素嚴格大於這個上界。为了确實地定义函數b,我們需要用到选择公理

利用函数b,可以構造P的一个全序子集a_0 < a_1 < \dots ,这里作为下标指标集不仅可以是自然数,也可以是序数。事实上,所有序数組成一個真類,粗略地說,可以認為序数的數目大于任何集合的基数,P也不例外。所以这个序列終會穷尽,這樣就导出了矛盾。

上述的序列可以利用超限归纳法构造:a_0可以选择为P中任意元素,而对于任意一个序数w,定义a_w = b(\{a_v \mid v < w\}),注意a_v是全序的,所以a_w的定义是合理的。

事实上这个证明的结论略强于佐恩引理:

如果P是一个偏序集,并且它的任何一个良序子集都有上界,那么对于P的任意元素x而言,P中有一个大于等于x的極大元。换言之,存在一个可以与x比较的極大元。

我们也可以直接应用选择公理证明佐恩引理:

根据选择公理,对于一个偏序集P的所有非空子集X在存在一个选择函数f使得f(X)\in X。从P本身开始:考虑p_0 = f(P),如果p_0是极大元素则终止,否则构造p_1 = f(X),这里X = \{x \in P | p_0 < x\},如果p_1是极大元素则终止,否则用相同的技术构造p_2

于是我们获得了P一个全序子集:

p_0 < p_1 < p_2 <... < p_{\omega} <\ldots

根据假设上述全序子集是有上界的。如果上界是上述全序子集中的元素则终止,否则继续上述步骤,最终总能够穷尽P

不过需要说明的是上述证明并没有阐明为何最终能够穷尽P,是一个不够严格的证明。见于 Lectures on the Hyperreals -- An Introduction to Nonstandard Analysis 一书。

历史[编辑]

佐恩引理在1922年首先被库拉托夫斯基所发现,1935年佐恩亦独立地发现此结论。

参见[编辑]