一秒记住【xiaoyanwenxue】精彩无弹窗免费!
“数学大帝(.shg.tw)”
!
在任何一个非空的偏序集中,如果任何链(即一个全序子集)都有上界,那么这个偏序集必然存在一个极大元素。
库拉托夫斯基-佐恩(Kuratowski-Zorn)引理,是集合论中一个重要的定理。
佐恩引理,良序定理(well-orderingtheorem)和选择公理(axiomofchoice)彼此等价,在集合论的Zermelo-Fraenkel公理(Zermelo-Fraenkelaxiomofsettheory)基础上,上述三者中从任一出发均可推得另外两个。
本章未完,点击下一页继续阅读
返回顶部