クラス (集合論)のソースを表示

[[集合論]]及びその応用としての[[数学]]における'''クラス'''または'''類'''（るい、{{lang-en-short|''class''}}）は、[[集合]](または、しばしば別の数学的対象)の集まりで、それに属する全ての[[元 (数学)|元]]が共通にもつ性質によって紛れなく定義されるものである。「クラス」の正確な定義は、議論の基礎となる文脈に依存する。例えば、[[公理的集合論|ツェルメロ＝フレンケル集合論]] (ZF) ではクラスは厳密には存在しないが、他の集合論（たとえば、[[フォン・ノイマン＝ベルナイス＝ゲーデル集合論]] (NBG)）では、「クラス」の概念は公理化されている（NBG の例だと、別の量 (entity) の要素にならないような量としてクラスが定義される）。

（どのような定式化を選んだとしても）「全ての集合の集まり」はクラスである。（ZF では厳密な言い方ではないが）このクラスだが集合でないようなものは'''真のクラス''' (proper class) と呼ばれ、集合となるようなクラス（つまり集合）は'''小さいクラス''' (small class) とも呼ばれる。例えば、全ての順序数からなるクラスや全ての集合からなるクラスは、多くの形式体系において真のクラスである。

集合論以外の文脈では「クラス」を「集合」の同義語として使うこともある。この用法はクラスと集合が現代的な集合論の用語法に基づく区別をされていなかった時代からある。19世紀以前の多くの"クラス"に関する議論は集合のことを指していた、もしくはもっと曖昧な概念を指していた。この意味でのクラスは「級」という訳語を当てることがある（たとえば[[滑らかな函数|滑らかさ]]のクラスの ''C''<sup>1</sup>-級など）。

== 例 ==

与えられた型の代数的対象全ての集まりは、たいてい真のクラスをなす。例えば、全ての[[群 (数学)|群]]からなるクラス、全ての[[ベクトル空間]]からなるクラス、など。圏論では、対象の集まりが真クラスをなすもの（または射の集まりが真クラスをなすもの）を[[大きい圏]]という。

[[超現実数]] ([[:en:Surreal number]]) 全体は、[[可換体|体]]の公理を満たす対象による真クラスである。

集合論では、集合の集まりの多くは真クラスになってしまう。例えば、全ての集合からなるクラス、全ての順序数からなるクラス、全ての基数からなるクラスなど。

クラスが真クラスであることを証明する方法に、全ての順序数によるクラスとの間に全単射を与えるというものがある。この方法は、例えば[[自由完備束]]が存在しないことの証明などに使われる。

== パラドックス ==

[[ラッセルのパラドックス]]などの素朴集合論のパラドックスは「全てのクラスが集合である」という正しくない仮定によって説明される。厳格な基礎付けの下では、これらはパラドックスなのではなくて、ある種のクラスが真クラスであることの[[証明 (数学)|証明]]を示唆するものであると捉えることができる。[[ラッセルのパラドックス]]は「自分自身に属さない集合」全体が真のクラスになることを示唆するし、[[ブラリ＝フォルティのパラドックス]]は全ての順序数からなるクラスが真のクラスであることを示唆している。

== 公理的集合論におけるクラス ==

ZFではクラスの概念を定式化することはできないので、クラスは[[メタ言語]]による同値な言明で置き換えることで扱うことになる。例えば、<math>\mathcal A</math> をZFを解釈する[[構造 (数理論理学)|構造]]として、メタ言語での表現 <math>\{x\mid x=x \} </math> の <math>\mathcal A</math> における解釈は、<math>\mathcal A</math> の[[議論領域]]に属する要素全ての集まり（つまり、<math>\mathcal A</math> における集合すべての集まり）である。ゆえに、「全ての集合の成すクラス」を述語 ''x = x''と（あるいはそれに同値な述語と）同一視することができる。

ZF集合論ではクラスを形式的に扱うことができないので、ZF の公理系をそのままクラスに関する言明に適用することはできない。しかし、[[到達不能基数]] κ の存在を仮定すれば「それよりランクの小さな集合全体」は ZF のモデル（[[グロタンディーク宇宙]]）になり、その部分集合を「クラス」として考えることができる。

別な方法として、[[フォン・ノイマン＝ベルナイス＝ゲーデル集合論]] (NBG) を例に挙げよう。この理論ではクラスは基本的な対象であり、集合は別のクラスの要素であるクラスとして定義される。しかしながら、NBGにおける集合の存在公理は、クラスの上を亘るのではなく、集合の上を亘る量化のみに制限されている。これにより、NBG は ZF の[[保存拡大]]となる。

[[モース-ケリー集合論]] (MK) は（NBG のように）真クラスを基礎的な対象として認めるものだが、集合の存在公理の中で全ての真クラスを走る量化をも許す。これにより、MKはZFやNBGより真に強い。

[[新基礎集合論]] (NF) や[[半集合]]の理論のようなほかの集合論でも、「真の類」の概念は意味を成す（必ずしも全ての類は集合でない）が、集合性 (sethood) の判定規準が部分集合を作る操作の下で閉じていない。例えば、普遍集合を備える任意の集合論は集合の部分類となるような真の類を持つ。

== 参考文献 ==
*{{Citation|last1=Jech|first1=Thomas|author1-link=:en:Thomas Jech|title=Set Theory|publisher=[[Springer-Verlag]]|edition=third millennium|location=Berlin, New York|series=Springer Monographs in Mathematics|isbn=978-3-540-44085-7|year=2003}}
*{{Citation|authorlink=:en:Azriel Levy|last1=Levy|first1=A.|title=Basic Set Theory|publisher=[[Springer-Verlag]]|location=Berlin, New York |year=1979}}

{{logic}}
{{集合論}}
{{デフォルトソート:くらす}}
[[Category:集合論]]
[[Category:数学に関する記事]]