佐恩引理

佐恩引理（Zorn's Lemma）也被稱為庫拉托夫斯基-佐恩（Kuratowski-Zorn）引理，是集合論中一個重要的定理，其陳述為：

在任何一非空的偏序集中，若任何鏈（即全序的子集）都有上界，則此偏序集內必然存在（至少一枚）極大元。

佐恩引理是以數學家馬克斯·佐恩的名字命名的。

具體來說，假設${\displaystyle (P,\leq )}$是一個偏序集，它的一個子集${\displaystyle T}$稱為是一個全序子集，如果對於任意的${\displaystyle s,t\in T}$有${\displaystyle s\leq t}$或${\displaystyle t\leq s}$。而${\displaystyle T}$稱為是有上界的，如果${\displaystyle P}$中存在一個元素${\displaystyle u}$，使得對於任意的${\displaystyle t\in T}$，都有${\displaystyle t\leq u}$。在上述定義中，並不要求${\displaystyle u}$一定是${\displaystyle T}$中的元素。而一個元素${\displaystyle m\in T}$稱為是極大的，如果${\displaystyle x\in T}$且${\displaystyle x\geq m}$，則必然有${\displaystyle x=m}$。

佐恩引理、良序定理和選擇公理彼此等價，在集合論的策梅洛-弗蘭克爾公理基礎上，上述三者中從任一出發均可推得另外兩個。佐恩引理在數學的各個分支中都有重要地位，例如在證明泛函分析的哈恩-巴拿赫定理，證明任一向量空間必有基，拓撲學中證明緊空間的乘積空間仍為緊空間的吉洪諾夫定理，和抽象代數中證明任何含么環的真理想必然包含於一個極大理想和任何域必然有代數閉包的過程中，佐恩引理都是關鍵。

應用舉例

佐恩引理的一個典型應用是證明任何一個環${\displaystyle R}$必然有極大理想。用${\displaystyle P}$來表示${\displaystyle R}$的所有真理想（即${\displaystyle R}$的所有雙邊理想，且該理想是${\displaystyle R}$的真子集）。在${\displaystyle P}$中引入一個偏序，定義為集合的包含關係，那麼${\displaystyle P}$中必然有一個極大元素，並且這個元素是${\displaystyle R}$的真子集，從而${\displaystyle R}$有一個極大理想。

為了應用佐恩引理，需要證明${\displaystyle P}$的任何一個全序子集${\displaystyle T}$都有一個上界，即存在一個理想${\displaystyle I}$滿足${\displaystyle I\subsetneq R}$並且${\displaystyle I}$比${\displaystyle T}$中任何一個元素都大。現取${\displaystyle I}$為${\displaystyle T}$中所有理想的並。可以證明，${\displaystyle I}$是一個理想：如果${\displaystyle a}$和${\displaystyle b}$是${\displaystyle I}$中的兩個元素，那麼必然存在${\displaystyle T}$中兩個理想${\displaystyle J,K\in T}$滿足${\displaystyle a\in J,b\in K}$。注意${\displaystyle T}$是一個全序集，所以必然有${\displaystyle J\subset K}$或者${\displaystyle K\subset J}$，從而有${\displaystyle a,b\in J}$或${\displaystyle a,b\in K}$。無論是哪種情況，均有${\displaystyle a+b\in I}$。而且，對於任何${\displaystyle r\in R,a\in I}$都可以證明${\displaystyle ar,ra\in I}$。由此，${\displaystyle I}$是${\displaystyle R}$的一個理想。

現在考慮證明的核心部分：利用${\displaystyle I=R}$充要於${\displaystyle 1\in I}$，可以證明${\displaystyle I}$一定是${\displaystyle R}$的真子集。因為如果${\displaystyle 1\in I}$，那麼必然有某個${\displaystyle J\in T}$滿足${\displaystyle 1\in J}$，這意味着${\displaystyle J=R}$。但${\displaystyle R\notin P}$，從而${\displaystyle R\notin T}$，矛盾。

這樣，利用佐恩引理，${\displaystyle P}$必然包含一個極大元，而這個元素就是${\displaystyle R}$的一個極大理想。

注意這個結論只在${\displaystyle R}$是單位環的時候成立，在${\displaystyle R}$不是單位環的情形下，一般而言這個結論是不成立的。

從選擇公理證明佐恩引理的思路

假設佐恩引理不成立，那麼存在一個非空的偏序集${\displaystyle (P,\leq )}$，使得它的任何一個全序子集都有上界，但${\displaystyle P}$中任何元素都不是極大元素。然後，對於任何一個全序子集${\displaystyle T}$，可以定義一個相對應的元素${\displaystyle b(T)}$，使其嚴格大於${\displaystyle T}$的任意元素，因為${\displaystyle T}$有一個上界，${\displaystyle P}$中又必然存在一個元素嚴格大於這個上界。為了確實地定義函數${\displaystyle b}$，我們需要用到選擇公理。

利用函數${\displaystyle b}$，可以構造${\displaystyle P}$的一個全序子集${\displaystyle a_{0}<a_{1}<\dots }$，這裏作為下標的指標集不僅可以是自然數，也可以是序數。事實上，所有序數組成一個真類，粗略地說，可以認為序數的數目大於任何集合的基數，${\displaystyle P}$也不例外。所以這個序列終會窮盡，這樣就導出了矛盾。

上述的序列可以利用超限歸納法構造：${\displaystyle a_{0}}$可以選擇為${\displaystyle P}$中任意元素，而對於任意一個序數${\displaystyle w}$，定義${\displaystyle a_{w}=b(\{a_{v}\mid v<w\})}$，注意${\displaystyle a_{v}}$是全序的，所以${\displaystyle a_{w}}$的定義是合理的。

事實上這個證明的結論略強於佐恩引理：

如果${\displaystyle P}$是一個偏序集，並且它的任何一個良序子集都有上界，那麼對於${\displaystyle P}$的任意元素${\displaystyle x}$而言，${\displaystyle P}$中有一個大於等於${\displaystyle x}$的極大元。換言之，存在一個可以與${\displaystyle x}$比較的極大元。

我們也可以直接應用選擇公理證明佐恩引理：

根據選擇公理，對於一個偏序集${\displaystyle P}$的所有非空子集${\displaystyle X}$在存在一個選擇函數${\displaystyle f}$使得${\displaystyle f(X)\in X}$。從${\displaystyle P}$本身開始：考慮${\displaystyle p_{0}=f(P)}$，如果${\displaystyle p_{0}}$是極大元素則終止，否則構造${\displaystyle p_{1}=f(X)}$，這裏${\displaystyle X=\{x\in P|p_{0}<x\}}$，如果${\displaystyle p_{1}}$是極大元素則終止，否則用相同的技術構造${\displaystyle p_{2}}$。

於是我們獲得了${\displaystyle P}$一個全序子集:

${\displaystyle p_{0}<p_{1}<p_{2}<...<p_{\omega }<\ldots }$

根據假設上述全序子集是有上界的。如果上界是上述全序子集中的元素則終止，否則繼續上述步驟，最終總能夠窮盡${\displaystyle P}$

不過需要說明的是上述證明並沒有闡明為何最終能夠窮盡${\displaystyle P}$，是一個不夠嚴格的證明。見於 Lectures on the Hyperreals -- An Introduction to Nonstandard Analysis 一書。(亦可參考哈特格斯數和Bourbaki-Witt theorem（英語：Bourbaki-Witt theorem）兩個條目)

歷史

佐恩引理在1922年首先被庫拉托夫斯基所發現，1935年佐恩亦獨立地發現此結論。

參見

• 集合
• 選擇公理
• 良序定理

文獻

• Wolk E S. SOME FORMS OF ZORN's LEMMA[J]. Canadian Mathematical Bulletin, 1983, 26(3): 365.