摘要: Zorn's Lemma陈述如下:在偏序集\(P\)中,如果\(P\)的每一条链都有一个\(P\)中元素作为上界,那么\(P\)中存在极大元。 Proof 反证法,假如\(P\)中没有极大元。那么对于\(P\)的任意一条链\(C\subseteq P\),我们一定能在\(P\setminus C\) 阅读全文
posted @ 2024-05-17 21:06 DennyQi 阅读(70) 评论(0) 推荐(0) 编辑