拉西奥娃-西科尔斯基引理
在公理集合論中，拉西奧娃-西科爾斯基引理（）是力迫使用的技巧中最基本的事實之一，該引理以海倫娜·拉西奧娃和為名。 引理內容 在力迫的領域中，若說偏序集\left(P, \le \right)的子集E在P中稠密，就表示對於任意的p \in P而言，有e \in E使得e \le p；而若D是P的稠密子集的集族，那麼在滿足以下條件的狀況下，就稱P中的濾子F是D－的： :F \cap E \ne \empty , \forall E \in …
标签：#集合論引理
共 2 篇文章
佐恩引理
佐恩引理（）也被称为库拉托夫斯基-佐恩（Kuratowski-Zorn）引理，是集合论中一个重要的定理，其陳述為： 在任何一非空的偏序集中，若任何链（即全序的子集）都有上界，則此偏序集内必然存在（至少一枚）极大元。 佐恩引理是以数学家马克斯·佐恩的名字命名的。 具体来说，假设(P, \le)是一个偏序集，它的一个子集T称为是一个全序子集，如果对于任意的s, t \in T有s \le t或t \le s。而T称为是有上界的，如果P中存在…