NBG集合論について
はじめに
こんにちは。
突然ですがクラスって知ってますか？ 学級のことではないです。
集合論でのクラスとはざっくり言えば「集合とはいいたくないものを含む、集まり」です。
例えば集合全体や順序数全体など、集合と呼んでしまったら矛盾する(しそう)なものも含みます。
よく数学の土台となっているZFC集合論ではすべての概念が集合なので、対象としてのクラスを扱うことができません。そのため、「クラスとは論理式のことである」などと言って扱うことも多いです。
しかし、クラスをも対象として扱う集合論が存在します。その一つがNBG集合論(Von Neumann–Bernays–Gödel set theory)です。
NBGの主な特徴として有限公理化可能で、ZFCの保存拡大というのがあります。(保存拡大については詳しくないので聞いた話になります…)
この記事では、公理の紹介、クラス存在定理の概要、およびいくつかのクラスの例示をします。
NBGの公理
NBGにおいて対象はすべてクラスと呼ばれる。
その中で、集合は以下のように定義される。
${\rm set}(x)$を$\exists C(x\in C)$の略記とする
また${\rm set}(x)$が成り立つとき「$x$は集合である」という。
以下、
$\forall^\set x(\sim)$を$\forall x(\set(x)\RR\sim)$の略記
$\exists^\set x(\sim)$を$\exists x(\set(x)\land\sim)$の略記
とする.(独自の表記)
基本的な公理
・外延性の公理
$\forall A~\forall B~[\forall x(x\in A\Iff x\in B)\RR A=B~]$
・対の公理
$\forall^\set a~\forall^\set b~\exists^\set p~[\forall x(x\in p \Iff (x=a\lor x=b))]$
ここで、集合$a,b$について唯一存在する、
$\forall x(x\in p \Iff (x=a\lor x=b))$を満たす集合$p$を$\lbrace a,b\rbrace$と表し、
$\lbrace a,a\rbrace$を$\lbrace a\rbrace$、$\lbrace \lbrace a\rbrace,\lbrace a,b\rbrace\rbrace$を$(a,b)$と表すことにする。
ZFCのときと同様に$(a,b)=(c,d)\RR a=c \land b=d$が成り立つ(証明は省略)
クラス存在公理
NBGでは量化の束縛範囲を集合に限定した内包公理が成立する。
これをクラス存在定理と呼ぶ。これの証明のために必要な外延性と対以外の以下の公理をクラス存在公理という。
・帰属
$\exists E~ \forall^\set x ~ \forall^\set y~[(x,y)\in E\Iff x\in y]$
・共通部分
$\forall A~\forall B~\exists C~\forall x[x\in C\Iff x\in A \land x \in B]$
・補集合
$\forall A~\exists B~\forall^\set x[x\in B\Iff x\notin A]$
・領域
$\forall A~\exists B~\forall^\set x~[x\in B \Iff \exists y (x,y)\in A]$
これらの公理のうち帰属の公理以外は、外延性の公理からそれ以前の全称された変数に対し一意に定まる。
それらを順に$A\cap B, A^c, {\rm Dom}(A)$と表す。
このとき、帰属の公理で存在が言える$E$について、
${\rm Dom}(E),(E\cap E^c)^c$は同じクラスを表し、任意の集合を元にして持つ。これを$V$と書く。
$(x,y,z)$は$((x,y),z)$のこととする
・$V$との直積
$\forall A~\exists B~\forall^\set u[u\in B\Iff \exists^\set x~\exists^\set y~(u=(x,y)\land x\in A)]$
・巡回
$\forall A~\exists B~\forall^\set x~\forall^\set y~\forall^\set z[(x,y,z)\in B\Iff (y,z,x)\in A]$
・転置
$\forall A~\exists B~\forall^\set x~\forall^\set y~\forall^\set z[(x,y,z)\in B\Iff (x,z,y)\in A]$
$V$との直積の$B$は$A$に対し一意に決まるのでこれを$A\times V$と表す。
上の$E$や組の公理の$B$について$E\cap (V\times V)$や$B\cap (V\times (V\times V))$は、($B$は$A$に対して)一意に決まる。これらをそれぞれ$E_0,{\rm Circ}(A),{\rm Trans}(A)$と書くことにする（独自）
集合公理
外延性の公理と対の公理以外の集合を扱うために必要な公理。
${\rm Function}(F)$を$\forall^\set x~\forall^\set y~\forall ^\set z~[(x,y)\in F \land (x,z)\in F\RR y=z]$の略記とする
また${\rm Function}(F)$が成り立つとき、$F$は関数であるという
・正則性公理
$\forall^\set a~[\exists b(b\in a)\RR \exists u(u\in a \land \forall x(x\notin u\lor x\notin a))]$
・置換公理
$\forall^\set a~\forall F~[~{\rm Function}(F)\RR \exists^\set b~\forall y(y\in b \Iff \exists^\set x~ ((x,y)\in F\land x\in a))]$
・和集合の公理
$\forall^\set a~ \exists^\set b~ \forall x~[\exists y(x\in y \land y\in a)\RR x\in b]$
・冪集合の公理
$\forall^\set a~\exists^\set b~\forall x~[\forall y(y\in x\RR y\in a)\RR x\in b]$
・無限公理
$\exists^\set a (\exists e[e\in a]\land\forall x[x\in a\RR \exists y(y\in a\land\forall z(z\in x\RR z\in y)\land x\neq y)])$
・大域選択公理
$\exists F~[{\rm Function}(F)\land \forall^\set a ~(\exists c(c\in a)\RR\exists^\set b ~(b\in a\land(b,a)\in F))]$
・関数をクラスで表せるから、置換公理は一つの公理である
・和集合の公理、冪集合の公理は少し弱いものとなっているが、置換公理から元の公理を導ける
・無限公理も弱い形だが、これから元の形を導くには(おそらく)選択公理も必要
・大域選択公理は選択公理より真に強い
クラス存在定理
クラス存在公理から、任意の個数の組の置換、拡張ができることがわかる。特に二組の置換は${\rm Dom}({\rm Circ}^2({\rm Trans}({\rm Circ}(A\times V))))$で与えられる。
また、外延性の公理から$A=B$は$\forall x(x\in A\Iff x\in B)$と等価であり、
$x$を要素にもつ集合全体のクラスは$(\lbrace x\rbrace\times V)\cap E_0$と表せる。
また、量化を集合に制限した論理式は$\in,\land,\lnot,\exists^\set$のみの等価な論理式で表せ、
後三つは$\cap,\cdot^c,{\rm Dom}$に対応する。詳しくは
Wikipedia
を参照してほしい。
ここでは、それに加えて$\lbrace x\mid x\in x\rbrace$を構成することで、正則性公理が不要だと主張しておく
$A=\lbrace (x,x)\mid x\in V\rbrace$はWikipediaと同じように構成できる。
$A\cap E_0$が求めていたクラスである
クラスの例など
ここからより非形式的になります。
集合でないクラスを真のクラスといいます
・集合全体$V$
・順序数全体${\rm ON}$
・群全体$\rm Grp$
・位相空間全体$\rm Top$
・超現実数全体$\rm No$
・自然数全体$\mathbb{N}$
・実数全体$\mathbb{R}$
また、以下の命題が成立する(本質的に同値である)
・任意の真のクラス$A,A'$について全単射$A\to A'$が存在する。
・任意のクラスは整列可能である。
・クラス$x$が集合である必要十分条件は全射$x\to V$が存在しないことである
・クラス$x$が集合である必要十分条件は単射$V\to x$が存在しないことである
・任意の真のクラス$A$に対し、単調増大で$A$に収束する関数${\rm ON}\to V$が存在する
おわりに
今回はNBGの紹介をしましたが、詳しいクラスの構成や命題の証明は省略したので、最後の命題の証明や、クラス存在定理のプログラム、超現実数などの普遍的なクラスの構成をしてみたいです。
