上一节讨论到类的等势。等势具备等价关系的所有性质,因此我们可以依据等势把所有集合(即真类 V V 中的所有元素)分成等势的类。比如 是一个集合,那么所有和 x={ u} x = { u } 等势的集合所组成的类可记作 1c 1 c 。这样的类被称为“弗雷格 - 罗素”基数,Frege-Russell cardinal number。(弗雷格是德国哲学家、逻辑学家,他在布尔之后进一步把集合、逻辑等系统进行公理化,但由于形式化不彻底,导致“朴素集合论”出现了各种悖论,罗素给出了“罗素悖论”,把结果寄给弗雷格,弗雷格惊呼:“一个人最大的悲哀莫过于在晚年发现自己做的所有工作都是无效的。”)
可以证明,除了 0c 0 c (即 {
∅} { ∅ } ),其它弗雷格-罗素基数都是真类。
引理4.11.1
a. ⊢¬M(1c) ⊢ ¬ M ( 1 c )
b. ⊢¬M(2c) ⊢ ¬ M ( 2 c )
证明:
a. 构造函数 H={
x|(∃u)(∃v)(u=v∧u∈V∧v∈1c∧x=<u,{
v}>)} H = { x | ( ∃ u ) ( ∃ v ) ( u = v ∧ u ∈ V ∧ v ∈ 1 c ∧ x =< u , { v } > ) } (记住“类存在的一般性定理”,这是NBG集合论中用来构建函数的依据)。不难证明, H H 是
到 1c 1 c 的一一映射函数,所以 V≅1c V ≅ 1 c 。由于 ¬M(V) ¬ M ( V ) ,所以 ¬M(1c) ¬ M ( 1 c ) ,否则的话,若 1c 1 c 是集合,根据替换定理, V V 也会是集合,从而产生矛盾。证毕。
b. 构造从 到 2c 2 c 的函数 H H ,满足对于任意 ,有 H′u={ u,∅} H ′ u = { u , ∅ } ,而 H′u={ 1,2} H ′ u = { 1 , 2 } 。不难证明, H H 是从 到 R(H) R ( H ) 的一一映射函数,所以 V⪯2c V ⪯ 2 c 。因为 ¬M(V) ¬ M ( V ) ,根据引理4.10.1b的 X⪯Y∧¬M(X)⇒¬M(Y) X ⪯ Y ∧ ¬ M ( X ) ⇒ ¬ M ( Y ) ,可得 ¬M(2c) ¬ M ( 2 c ) 。证毕。
在NBG集合论中,“集合的聚集体”可用“类”的概念来表示,但“真类的聚合体”就不再适合继续用类来表示了(此刻我也不知道为什么)。因此,为了间接研究弗雷格-罗素基数,我们可以采用以下方法。
定义4.10.1:
a. X+cY X + c Y :是 (X×{
∅})∪(Y×{
1}) ( X × { ∅ } ) ∪ ( Y × { 1 } ) 的缩写
不难发现, X×{ ∅} X × { ∅ } 和 Y×{ 1} Y × { 1 } 互斥,所以 X+c