Wolk E S. SOME FORMS OF ZORN's LEMMA[J]. Canadian Mathematical Bulletin, 1983, 26(3): 365.
一月 27, 2023
佐恩引理, zorn, lemma, 也被称为库拉托夫斯基, 佐恩, kuratowski, zorn, 引理, 是集合论中一个重要的定理, 其陳述為, 在任何一非空的偏序集中, 若任何链, 即全序的子集, 都有上界, 則此偏序集内必然存在, 至少一枚, 极大元, 是以数学家马克斯, 佐恩的名字命名的, 具体来说, 假设, displaystyle, 是一个偏序集, 它的一个子集t, displaystyle, 称为是一个全序子集, 如果对于任意的s, displaystyle, 有s, displaystyle,. 佐恩引理 Zorn s Lemma 也被称为库拉托夫斯基 佐恩 Kuratowski Zorn 引理 是集合论中一个重要的定理 其陳述為 在任何一非空的偏序集中 若任何链 即全序的子集 都有上界 則此偏序集内必然存在 至少一枚 极大元 佐恩引理是以数学家马克斯 佐恩的名字命名的 具体来说 假设 P displaystyle P leq 是一个偏序集 它的一个子集T displaystyle T 称为是一个全序子集 如果对于任意的s t T displaystyle s t in T 有s t displaystyle s leq t 或t s displaystyle t leq s 而T displaystyle T 称为是有上界的 如果P displaystyle P 中存在一个元素u displaystyle u 使得对于任意的t T displaystyle t in T 都有t u displaystyle t leq u 在上述定义中 并不要求u displaystyle u 一定是T displaystyle T 中的元素 而一个元素m T displaystyle m in T 称为是極大的 如果x T displaystyle x in T 且x m displaystyle x geq m 则必然有x m displaystyle x m 佐恩引理 良序定理和选择公理彼此等价 在集合论的Zermelo Fraenkel公理基础上 上述三者中从任一出发均可推得另外两个 佐恩引理在数学的各个分支中都有重要地位 例如在证明泛函分析的哈恩 巴拿赫定理 Hahn Banach Theorem 證明任一向量空间必有基 拓扑学中证明紧空间的乘积空间仍为紧空间的吉洪诺夫定理 和抽象代数中证明任何含幺环的真理想必然包含于一个极大理想和任何域必然有代数闭包的过程中 佐恩引理都是关键 目录 1 应用举例 2 从选择公理证明佐恩引理的思路 3 历史 4 参见 5 文献应用举例 编辑佐恩引理的一个典型应用是证明任何一个环R displaystyle R 必然有极大理想 用P displaystyle P 来表示R displaystyle R 的所有真理想 即R displaystyle R 的所有双边理想 且该理想是R displaystyle R 的真子集 在P displaystyle P 中引入一个偏序 定义为集合的包含关系 那么P displaystyle P 中必然有一个极大元素 并且这个元素是R displaystyle R 的真子集 从而R displaystyle R 有一个极大理想 为了应用佐恩引理 需要证明P displaystyle P 的任何一个全序子集T displaystyle T 都有一个上界 即存在一个理想I displaystyle I 满足I R displaystyle I subsetneq R 并且I displaystyle I 比T displaystyle T 中任何一个元素都大 现取I displaystyle I 为T displaystyle T 中所有理想的并 可以证明 I displaystyle I 是一个理想 如果a displaystyle a 和b displaystyle b 是I displaystyle I 中的两个元素 那么必然存在T displaystyle T 中两个理想J K T displaystyle J K in T 满足a J b K displaystyle a in J b in K 注意T displaystyle T 是一个全序集 所以必然有J K displaystyle J subset K 或者K J displaystyle K subset J 从而有a b J displaystyle a b in J 或a b K displaystyle a b in K 無論是哪種情況 均有a b I displaystyle a b in I 而且 对于任何r R a I displaystyle r in R a in I 都可以证明a r r a I displaystyle ar ra in I 由此 I displaystyle I 是R displaystyle R 的一个理想 现在考虑证明的核心部分 利用I R displaystyle I R 充要于1 I displaystyle 1 in I 可以证明I displaystyle I 一定是R displaystyle R 的真子集 因为如果1 I displaystyle 1 in I 那么必然有某个J T displaystyle J in T 满足1 J displaystyle 1 in J 这意味着J R displaystyle J R 但R P displaystyle R notin P 從而R T displaystyle R notin T 矛盾 这样 利用佐恩引理 P displaystyle P 必然包含一个極大元 而这个元素就是R displaystyle R 的一个极大理想 注意这个结论只在R displaystyle R 是单位环的时候成立 在R displaystyle R 不是单位环的情形下 一般而言这个结论是不成立的 从选择公理证明佐恩引理的思路 编辑假设佐恩引理不成立 那么存在一个非空的偏序集 P displaystyle P leq 使得它的任何一个全序子集都有上界 但P displaystyle P 中任何元素都不是极大元素 然後 对于任何一个全序子集T displaystyle T 可以定义一个相對應的元素b T displaystyle b T 使其嚴格大于T displaystyle T 的任意元素 因為T displaystyle T 有一個上界 P displaystyle P 中又必然存在一個元素嚴格大於這個上界 为了确實地定义函數b displaystyle b 我們需要用到选择公理 利用函数b displaystyle b 可以構造P displaystyle P 的一个全序子集a 0 lt a 1 lt displaystyle a 0 lt a 1 lt dots 这里作为下标的指标集不仅可以是自然数 也可以是序数 事实上 所有序数組成一個真類 粗略地說 可以認為序数的數目大于任何集合的基数 P displaystyle P 也不例外 所以这个序列終會穷尽 這樣就导出了矛盾 上述的序列可以利用超限归纳法构造 a 0 displaystyle a 0 可以选择为P displaystyle P 中任意元素 而对于任意一个序数w displaystyle w 定义a w b a v v lt w displaystyle a w b a v mid v lt w 注意a v displaystyle a v 是全序的 所以a w displaystyle a w 的定义是合理的 事实上这个证明的结论略强于佐恩引理 如果P displaystyle P 是一个偏序集 并且它的任何一个良序子集都有上界 那么对于P displaystyle P 的任意元素x displaystyle x 而言 P displaystyle P 中有一个大于等于x displaystyle x 的極大元 换言之 存在一个可以与x displaystyle x 比较的極大元 我们也可以直接应用选择公理证明佐恩引理 根据选择公理 对于一个偏序集P displaystyle P 的所有非空子集X displaystyle X 在存在一个选择函数f displaystyle f 使得f X X displaystyle f X in X 从P displaystyle P 本身开始 考虑p 0 f P displaystyle p 0 f P 如果p 0 displaystyle p 0 是极大元素则终止 否则构造p 1 f X displaystyle p 1 f X 这里X x P p 0 lt x displaystyle X x in P p 0 lt x 如果p 1 displaystyle p 1 是极大元素则终止 否则用相同的技术构造p 2 displaystyle p 2 于是我们获得了P displaystyle P 一个全序子集 p 0 lt p 1 lt p 2 lt lt p w lt displaystyle p 0 lt p 1 lt p 2 lt lt p omega lt ldots 根据假设上述全序子集是有上界的 如果上界是上述全序子集中的元素则终止 否则继续上述步骤 最终总能够穷尽P displaystyle P 不过需要说明的是上述证明并没有阐明为何最终能够穷尽P displaystyle P 是一个不够严格的证明 见于 Lectures on the Hyperreals An Introduction to Nonstandard Analysis 一书 历史 编辑佐恩引理在1922年首先被库拉托夫斯基所发现 1935年佐恩亦独立地发现此结论 参见 编辑集合 选择公理 良序定理文献 编辑Wolk E S SOME FORMS OF ZORN s LEMMA J Canadian Mathematical Bulletin 1983 26 3 365 取自 https zh wikipedia org w index php title 佐恩引理 amp oldid 72947212, 维基百科,wiki,书籍,书籍,图书馆,