定律与定理 › 定理

佐恩引理

Zorn's lemma

statement equivalent to the axiom of choice, about the existence of a maximal element in a poset with a maximal chain condition

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

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

摘自维基百科「佐恩引理」,CC BY-SA 4.0

类型
引理
命名来源
马克斯·奥古斯特·佐恩、卡齐米日·库拉托夫斯基
属于
公理列表
研究学科
集合论
学科
数学

相关科学家