モース-ケリー集合論のソースを表示

[[数学基礎論]]において、'''モース-ケリー集合論'''（'''MK''', {{Lang-en-short|Morse-Kelley set theory}}）、'''ケリー-モース集合論'''（'''KM'''）、'''モース-タルスキー集合論'''（'''MT'''）、'''クワイン-モース集合論'''（'''QM'''）、または'''クワインとモースのシステム'''とは[[一階述語論理]]によって記述される[[集合論|公理的集合論]]の一つ。MKと関連の深い[[フォン・ノイマン＝ベルナイス＝ゲーデル集合論]]（NBG）は、クラス内包[[公理図式]]に現れる論理式の[[自由変数と束縛変数|束縛変数]]を集合の範囲に制限するが、モース-ケリー集合論は、[[ウィラード・ヴァン・オーマン・クワイン]]が[[新基礎集合論]]について提案したように、これらの束縛変数が集合だけでなく適当な[[クラス (集合論)|クラス]]を含むことが可能なように構成されている。 

モース-ケリー集合論は、数学者の{{仮リンク|ジョン・ルロイ・ケリー|en|John L. Kelley}}と{{仮リンク|アンソニー・モース|en|Anthony Morse}}にちなんだ名前であり、{{Harvtxt|Wang|1949}}によって初めて言及され、後にケリーの教科書 ''General Topology'' （1955）の付録で大学院レベルの[[位相幾何学|トポロジー]]の入門として示された。ケリーは、自身の本のシステムが、[[トアルフ・スコーレム]]とモースによるシステムの変形であると述べた。モース自身のバージョンは、後に彼の著書 ''A Theory of Sets'' （1965）に登場した。

ZFCの言語における言明がNBGで証明可能であるのは、それがZFCで証明可能である場合かつその場合に限るという点で、NBGは[[公理的集合論|ZFC]]の[[保存拡大]]である一方、モース-ケリー集合論は真の拡大である。クラス内包公理図式を有限個の公理で置き換えることができるNBGとは異なり、モース-ケリー集合論は有限公理化することができない。

== MKの公理と存在論 ==
[[フォン・ノイマン＝ベルナイス＝ゲーデル集合論|NBG]]とMKでは[[存在論]]が共通する。[[議論領域]]は[[クラス (集合論)|真のクラス]]からなる。ほかのクラスの要素となるクラスを[[集合]]と呼ぶ。集合でないクラスは真のクラスである。原始的な{{仮リンク|原子文|en|atomic sentence}}(atomic sentence)には帰属関係や等号を含む.

クラス内包に関する例外と細かな点を無視すれば、以下の公理は[[フォン・ノイマン＝ベルナイス＝ゲーデル集合論|NBG]]と同じになる。公理の記号表現には以下の表記法を用いる：
* ''M'' 以外の大文字は、クラスの変数とする（外延性、クラス内包、基礎の各公理に現れる）。小文字は真のクラスでない変数を表す（∈の左側に現れるため）。MKは1ソートの理論であるため、この表記規則は単にわかりやすくするだけのものである。
* [[単項演算|モナド的]][[述語論理|述語]] <math>Mx</math> は「クラス ''x'' は集合である」という意味だが、 <math>\exists W(x \in W)</math> と略記する。
* [[空集合]] <math>\varnothing</math> は <math>\forall x (x \not \in \varnothing)</math> で定義する。
* クラス ''V'' はすべての可能な集合を要素に持つ[[宇宙 (数学)|全体クラス]]であり、 <math>\forall x (Mx \to x \in V)</math> で定義される。 ''V'' は[[フォン・ノイマン宇宙]]でもある。

'''[[外延性の公理|外延性]]:''' 同じ要素を持つクラスは同じクラスである。
:<math>\forall X \, \forall Y \, ( \forall z \, (z \in X \leftrightarrow z \in Y) \rightarrow X = Y).</math>
同じ外延性を持つ集合とクラスは同一になる。そのため、逆に見えるにもかかわらずMKは2ソート理論ではない。

'''[[基礎の公理|基礎]]:''' 空でない各クラス ''A'' は、少なくともその要素の1つとは[[素集合|互いに素]]である。
:<math>\forall A [A \not = \varnothing \rightarrow \exists b (b \in A \land \forall c (c \in b \rightarrow c \not\in A))].</math>

'''クラス内包:''' φ(''x'') をMKの言語における任意の論理式とする。ここで ''x'' は[[自由変項]]、 ''Y'' は束縛変項である。 φ(''x'') は集合や真のクラスであるパラメータを含みうる。さらに結果的に、 φ(''x'') の中で量化された変項はクラスの変項であり、集合の変項ではない。''これが、 MK が [[フォン・ノイマン＝ベルナイス＝ゲーデル集合論|NBG]] と唯一異なる点である''。 すると、 <math>\phi(x)</math> が真となるような'''集合''' ''x'' のみからなる要素をもつ'''クラス''' <math>Y=\{x \mid \phi(x)\}</math> が存在する。形式的には、 ''Y'' が φ で自由変項でない場合は以下のようになる。
:<math>\forall W_1 ... W_n \exists Y \forall x [x \in Y \leftrightarrow (\phi(x, W_1, ... W_n) \land Mx)]</math>

'''[[対の公理|対]]:''' 任意の集合 ''x'' と ''y'' に対して、要素が ''x'' と ''y'' のみからなる集合 <math>z=\{x,y\}</math> が存在する。
:<math>\forall x \, \forall y \, [ (Mx \land My) \rightarrow \exists z \, (Mz \land \forall s \, [ s \in z \leftrightarrow (s = x \, \lor \, s = y)])].</math>

対の公理によって、順序のない対から[[順序対]] <math>\langle x,y \rangle</math> を、通常のように <math>\ \{\{x\},\{x,y\}\}</math> として定義できる。順序対があるため、クラス内包から集合上の[[関係 (数学)|関係]]や[[関数 (数学)|関数]]を順序対上の集合として定義でき、次の公理が可能になる。

'''[[サイズ制限公理|サイズ制限]]:''' ''[[フォン・ノイマン宇宙|V]]'' と ''C'' との間に[[全単射]]が存在するとき、かつそのときに限り、''C'' は真のクラスである。
:<math>\begin{array}{l}
\forall C [\lnot MC \leftrightarrow \exists F ( \forall x [Mx \rightarrow \exists s (s \in C \land \langle x, s \rangle \in F)] \land \\
\qquad \forall x \forall y \forall s [(\langle x, s \rangle \in F \land \langle y, s \rangle \in F) \rightarrow x = y])].
\end{array}</math>

この公理の形式的なバージョンは[[置換公理]]と類似し、クラス関数 ''F'' で具体的に表現する。次の節では、サイズ制限公理が[[選択公理]]の通常の形よりどの程度強いかを論じる。

'''[[冪集合公理|冪集合]]:''' ''p'' を、要素が集合 ''a'' の可能なすべての[[部分集合]]であるようなクラスとする。すると ''p'' は集合である。
:<math>\forall a \, \forall p \, [(Ma \land \forall x \, [x \in p \leftrightarrow \forall y \, (y \in x \rightarrow y \in a)]) \rightarrow Mp].</math>

'''[[和集合の公理|和集合]]:''' <math>s=\bigcup a</math> を集合 ''a'' の和クラス（''a'' の要素すべての[[和集合]]）とする。すると ''s'' は集合である。
:<math>\forall a \, \forall s \, [(Ma \land \forall x \, [x \in s \leftrightarrow \exists y \, (x \in y \land y \in a)]) \rightarrow Ms].</math>

'''[[無限公理|無限]]:''' 以下の性質を持つ帰納的な集合 ''y'' が存在する： (i) [[空集合]] は ''y'' の要素である。 (ii) ''x'' が ''y'' の要素であれば、 <math>x \cup \{x\}</math> も ''y'' の要素である。
:<math>\exists y[My \land \varnothing \in y \land \forall z(z \in y \rightarrow \exists x [x \in y \land \forall w (w \in x \leftrightarrow [w = z \lor w \in z])] )].</math>

冪集合の公理と和集合の公理における ''p'' と ''s'' は全称量化であり、存在量化でないことに注意せよ。これはクラス内包公理が ''p'' と ''s'' の存在を示すのに十分であるのと対称的である。冪集合の公理と和集合の公理からは、 ''p'' と ''s'' が真のクラスでないことだけがわかる。

上記の公理は以下の集合論とも共通する。
* [[ツェルメロ＝フレンケル集合論|ZFC]], [[フォン・ノイマン＝ベルナイス＝ゲーデル集合論|NBG]]: 対、冪集合、和集合、無限
* NBG, （量化変項が集合に制限されている場合の）ZFC: 外延性、基礎
* NBG: サイズ制限

== 議論 ==
Monk (1980) と Rubin (1967) はMKを中心に扱った集合論の教科書である。Rubin の[[存在論]]は{{仮リンク|アトム (集合論)|en|urelement|label=アトム}}(urelement) を含む。これらの著者と Mendelson (1997: 287) は、 MK は集合論に期待されることをできるが、 [[ツェルメロ＝フレンケル集合論|ZFC]] や [[フォン・ノイマン＝ベルナイス＝ゲーデル集合論|NBG]] よりも容易に扱えると発表した。

MK は ZFC や、その[[保存拡大]]であって[[真のクラス]]を持つよく知られた集合論である NBG よりも厳密に強い。実際、 NBG および結果的に ZFC も、 MK の中で無矛盾性を証明できる。 MK の強さはクラス内包公理図式が{{仮リンク|非可述性|en|impredicativity|label=非可述}}であることに起因する。すなわち、 φ(''x'') はクラスの範囲での量化変項を含みうる。 NBG のクラス内包公理図式における量化変項は集合に制限されているため、 NBG のクラス内包は可述的でなければならない。（集合に対する分離の公理も NBG では非可述的である。なぜなら、 φ(''x'') の中の量化子はすべての集合の範囲にありうるためである。）NBG のクラス内包公理図式は有限個の公理で置き換えることができるが、これは MK では不可能である。 MK は、[[到達不能基数|強到達不能基数]]の存在を主張する公理で拡張された ZFC と相対的に無矛盾である。

[[サイズ制限公理]]の唯一の長所は{{仮リンク|大域選択公理|en|axiom of global choice}}を含意するという点である。サイズ制限公理は Rubin (1967), Monk (1980), Mendelson (1997) には現れない。代わりに、これらの著者は通常の形式の局所[[選択公理]]と、クラス関数の[[定義域]]が集合であるならばその[[値域]]も集合であることを主張する「置換公理」<ref>例えば Mendelson (1997), p. 239, axiom R. を参照</ref>を用いている。置換公理は、サイズ制限公理で証明できるすべて（ある形式の[[選択公理]]を除く）を証明できる。

[[サイズ制限公理]]と[[無限公理| ''I'' が集合であること]] （故に宇宙は空集合でない）から空集合の集合性を証明できる。故に[[空集合の公理]]は不要である。もちろんこのような公理は追加できるが、その場合は公理に細かな修正が必要になりうる。集合 ''I'' は[[極限順序数]] <math>\omega</math> より大きい集合になりうるため、 ''I'' は <math>\omega</math> と同一とはみなされない。この場合、 <math>\omega</math> の存在は何らかの形式のサイズ制限公理に基づく。

[[フォン・ノイマン順序数]]のクラスは[[整列集合|整列]]可能である。（パラドックスの可能性があるため）これは集合ではなく、故にこのクラスは真のクラスであり、そしてすべての真のクラスは ''V'' と同じ大きさを持つ。故に ''V'' も整列可能である。

MK は、[[二階述語論理]]（これが表す二階の対象は述語言語ではなく集合内のものである）を背景に持つ ZFC である、二階の ZFC と混同されうる。二階の ZFC の言語はMK と類似し（同じ外延性を持つ集合とクラスは区別できないが）、実際の証明において、これらの[[統語論|統語的]]要素はほぼ同一である（同一であるのは MK が強い形のサイズ制限公理を含む場合に限る）。しかし、二階の ZFC の[[意味論]]は MK と大きく異なる。例えば、 MK が無矛盾であれば MK は可算な一階モデルを持つが、一方で二階 ZFC は可算モデルを持たない。

=== モデル理論 ===
ZFC, NBG そして MK はそれぞれ、[[ツェルメロ＝フレンケル集合論|ZFC]] における[[フォン・ノイマン宇宙]] ''V'' で記述されるモデルを持つ。[[到達不能基数]] κ を ''V'' の要素とする。そして Def(''X'') を Δ<sub>0</sub> 定義可能な ''X'' の[[部分集合]]とする（[[構成可能集合|構成可能宇宙]]を参照）。すると以下が成り立つ。
* ''V''<sub>κ</sub> は [[ツェルメロ＝フレンケル集合論|ZFC]] のモデルである。
* Def(''V''<sub>κ</sub>) は、サイズ制限公理を置換公理と通常の選択公理で置き換えることで大域選択公理を外した、 Mendelson 版の [[フォン・ノイマン＝ベルナイス＝ゲーデル集合論|NBG]] のモデルである。
* ''V''<sub>κ+1</sub> は ''V''<sub>κ</sub> の[[冪集合]]であり、 MK のモデルである。

=== 歴史 ===
MK は {{harvtxt|Wang|1949}} により創始され、 [[ジョン・ルロイ・ケリー|J. L. Kelley]] (1955) ''General Topology'' の付録で知られるようになった。後者は次の節に示す公理を用いている。Anthony Morse (1965) ''A Theory of Sets'' のシステムはケリーのものと等価であるが、前述の定式化のような標準的な[[一階述語論理]]ではなく、特異な形式の言語で定式化されたものであった。{{仮リンク|非可述性|en|impredicativity|label=非可述的}}クラス内包公理を含めた最初の集合論は[[ウィラード・ヴァン・オーマン・クワイン|クワイン]]の[[新基礎集合論|ML]](Mathematical Logic) であった。これは[[ツェルメロ＝フレンケル集合論|ZFC]]ではなく、[[新基礎集合論]]のもとに構築されたものである<ref>ML として引用される文献は [[ウィラード・ヴァン・オーマン・クワイン|Quine]] の ''Mathematical Logic'' の 1951 年版である。しかし、 ML の要旨は Mendelson (1997), p. 296 が追って理解しやすい。 Mendelson の公理図式 ML2 は上記のクラス内包公理と同一である。</ref>。 非可述なクラス内包公理は [[アンジェイ・モストフスキ|Mostowski]] (1951) や [[デイヴィド・ルイス|Lewis]] (1991) でも提案されている。

== ケリーの ''General Topology'' における公理 ==
この節における公理と定義は、一部の詳細を除き、 Kelley (1955) の付録から採った。以下の説明文は彼のものではない。付録では 181 個の定理と定義を説明し、公理的集合論の第一級の現役数学者による簡略説明であることに注意して読むことができる。ケリーは、以下の ''構築'' に列挙されている内容を展開するために、必要に応じて徐々に公理を導入した。

表記法について、今日よく知られているものは定義しない。また、ケリーによる表記法で特殊なものは以下の通り：
* ケリーはクラスの範囲の変数と集合の範囲の変数を''区別しない''。
* ''domain f'' は ''range f'' は関数 ''f'' の定義域と値域を表す。この特殊性は以下で重視される。
* ケリーの原始論理言語には <math>\{x : A(x)\}</math> （''A''(''x'') を満たすすべての集合 ''x'' のクラス） という形の{{仮リンク|集合の内包的記法|en|set builder notation|label=クラス抽象}}を含む。

'''定義:''' 任意の ''y'' に対して <math>x \in y</math> であるならば、 ''x'' は''集合''である（そして故に[[真のクラス]]ではない）。

'''I. 外延性:''' 各 ''x'' と各 ''y'' に対して、「各 ''z'' に対して <math>z \in y</math> である場合かつその場合に限り <math>z \in x</math> である」場合、かつそのその場合に限り、''x=y''が成り立つ。

これは前述の ''外延性'' と同じである。'''I''' の範囲に集合だけでなく真のクラスを含む点を除いて、 '''I''' は [[ZFC]] における[[外延性の公理]]と同じになる。

'''II. クラス化（公理図式）:'''
: 各 <math> \beta</math> に対して、 <math>\beta</math> が集合であり <math>B</math> を満たす場合、かつその場合に限り、<math>\beta \in \{\alpha:A\}</math> である。
上記の言明において、 ''α'' と ''β'' をある変数で、 ''A'' をある論理式 ''C'' で、そして ''B'' をある論理式で置き換えたものが主張する公理である。''B'' を置き換える論理式は、論理式 ''C'' について、''α'' を置き換えた変数を、''β'' を置き換えた変数で再度置き換えることで得られる。ここで、''β'' を置き換える変数は ''A'' の中には出現しない。

''構築'': ブール[[集合の代数学|集合代数]]。[[空集合|空クラス]]と宇宙クラス ''V'' の存在。

'''III. 部分集合:''' ''x'' が集合であるならば、各 ''z'' に対して <math>z \subseteq x</math> であるならば <math>z \in y</math> であるような集合 ''y'' が存在する。

'''III''' は、前述の''冪集合''に対応する。'''III''' から冪集合公理が成り立つことの証明の概略は以下の通り： 集合 ''x'' の部分クラスである任意の ''クラス'' ''z'' に対して、クラス ''z'' は '''III''' で存在を主張する集合 ''y'' の要素である。故に ''z'' は集合である。

''構築'': ''V'' は集合でない。[[単集合]]の存在。[[分出公理]]の証明。

'''IV. 和集合:''' ''x'' と ''y'' が両方とも集合であるならば、 <math>x \cup y</math> は集合である。

'''IV''' は、前述の''対''に対応する。'''IV'''から対の公理が成り立つことの証明の概略は以下の通り： 集合 ''x'' の単集合 <math>\{x\}</math> は集合である。なぜならば ''x'' の冪集合の部分クラスであるからである（'''III''' を2箇所で用いた）。すると '''IV''' は「''x'' と ''y'' が集合であるならば、<math>\{x,y\}</math> が集合である」を含意する。

''構築'': 順序なし対および[[順序対]]、[[関係 (数学)|関係]]、[[関数 (数学)|関数]]、[[定義域]]、[[値域]]、[[関数の合成]]。

'''V. 置換:''' ''f'' が [クラス] 関数であり ''domain f'' が集合であるならば、 ''range f'' は集合である。

'''V''' は、[[フォン・ノイマン＝ベルナイス＝ゲーデル集合論|NBG]] や [[ZFC]] における[[置換公理]]に対応する。

'''VI. 合併:''' ''x'' が集合であるならば、 <math>\bigcup x</math> は集合である。

'''VI''' は前述の ''和集合'' に対応する。 '''IV''' と '''VI''' は一つの公理にまとめられることがある<ref>Kelley (1955), p. 261, fn †.</ref>。

''構築'': [[デカルト積]]、[[単射]]、[[全射]]、[[全単射]]、{{仮リンク|順序論|en|order theory}}。

'''VII. 正則性:''' <math>x \neq \varnothing</math> であるならば、<math>x \cap y = \varnothing</math> である ''x'' の要素 ''y'' が存在する。

'''VII''' は前述の''基礎''に対応する。

''構築'': [[順序数]]、[[超限帰納法]]。

'''VIII. 無限:''' <math>x \in y</math> のときは <math>\varnothing \in y</math> かつ <math>x \cup \{x\} \in y</math> となる集合 ''y'' が存在する。

この公理（または等価なもの）は ZFC や NBG に含まれる。 '''VIII''' は、[[無限集合|無限帰納集合]] ''y'' と空集合 <math>\varnothing</math> という、2つの集合が無条件に存在することを主張する。<math>\varnothing</math> は、''y'' の要素であるため、集合である。この時点までは、証明されていたものがすべてクラスであり、ケリーの集合の議論は完全に仮説であった。

''構築'':  [[自然数]]、'''N''' が集合であること、[[ペアノの公理]]、[[整数]]、[[有理数]]、[[実数]]。

'''定義:''' ''c'' が関数であり、かつ ''domain c'' の各要素 ''x'' について <math>c(x) \in x</math> であるならば、''c'' は''選択関数''である。

'''IX. 選択:''' 定義域が <math>V - \{\varnothing\}</math> である選択関数 ''c'' が存在する。

'''IX''' は前述の''サイズ制限''から導出される{{仮リンク|大域選択公理|en|axiom of global choice}}に非常によく似ている。

''構築'': [[選択公理#選択公理と等価な命題|選択公理と等価な命題]]。[[ツェルメロ＝フレンケル集合論|ZFC]] の場合、[[基数]]の構築のためにある種の選択公理が必要になる。

前述の公理において、すべての量化変項の範囲が集合に制限されている場合、'''III''' 以外の公理と公理図式 '''IV''' は ZFC 公理となる。'''IV''' は ZFC で証明可能である。故にケリーによる '''MK''' の定義では、'''MK''' が ZFC と異なる点は、変項の範囲が[[真のクラス]]と集合である点とクラス化公理図式がある点であることが明確になる。
== 脚注 ==
<references/>

== 参考文献 ==
* [[John L. Kelley]] 1975 (1955) ''General Topology''. Springer. Earlier ed., Van Nostrand. Appendix, "Elementary Set Theory."
* [[John Lemmon|Lemmon, E. J.]] (1986) ''Introduction to Axiomatic Set Theory''. Routledge & Kegan Paul.
* [[David K. Lewis]] (1991) ''Parts of Classes''. Oxford: Basil Blackwell.
* {{cite book | author=Mendelson, Elliott |author-link=Elliott Mendelson| title=Introduction to Mathematical Logic | publisher=Chapman & Hall | year=1987 | isbn=0-534-06624-0}} The definitive treatment of the closely related set theory [[フォン・ノイマン＝ベルナイス＝ゲーデル集合論|NBG]], followed by a page on MK. Harder than Monk or Rubin.
* Monk, J. Donald (1980) ''Introduction to Set Theory''. Krieger. Easier and less thorough than Rubin.
* Morse, A. P., (1965) ''A Theory of Sets''. Academic Press.
* {{citation | last = Mostowski | first = Andrzej | author-link = Andrzej Mostowski | year = 1950 | title = Some impredicative definitions in the axiomatic set theory | url=http://matwbn.icm.edu.pl/ksiazki/fm/fm37/fm37110.pdf | journal = Fundamenta Mathematicae | volume = 37 | pages = 111–124 | doi=10.4064/fm-37-1-111-124| doi-access = free }}.
* [[Jean E. Rubin|Rubin, Jean E.]] (1967) ''Set Theory for the Mathematician''. San Francisco: Holden Day. More thorough than Monk; the ontology includes [[urelement]]s.
* {{citation|mr=0029850 |last=Wang|first=Hao|author-link=Hao Wang (academic)
|title=On Zermelo's and von Neumann's axioms for set theory|journal=Proc. Natl. Acad. Sci. U.S.A.|volume= 35|year=1949|issue=3|pages= 150–155|jstor=88430|doi=10.1073/pnas.35.3.150|pmc=1062986|pmid=16588874|doi-access=free}}.

== 外部リンク ==
* [[iarchive:GeneralTopologyJohnL.Kelley|ケリーの ''General Topology'' (1955) の様々な形式でのダウンロード（英語）。付録にはケリーによるMKの公理的構築を含む。]]

Foundations of Mathematics (FOM) 議論グループから：
* [http://www.cs.nyu.edu/pipermail/fom/2004-May/008208.html Allen Hazen on set theory with classes （英語）]
* [http://www.cs.nyu.edu/pipermail/fom/2000-February/003740.html Joseph Shoenfield's doubts about MK （英語）]

{{集合論}}
[[Category:集合論のシステム]]
[[Category:数学に関する記事]]
{{DEFAULTSORT:もおすけりいしゆうこうろん}}