「クラス (集合論)」の版間の差分

出典: フリー百科事典『ウィキペディア(Wikipedia)』
削除された内容 追加された内容
m ボット: 言語間リンク 24 件をウィキデータ上の d:Q217594 に転記
Tkcom (会話 | 投稿記録)
編集の要約なし
1行目: 1行目:
[[集合論]]及びその応用としての[[数学]]における'''クラス'''または'''類'''(るい、{{lang-en-short|''class''}})は、[[集合]](または、しばしば別の数学的対象)の集まりで、それに属する全ての[[元 (数学)|元]]が共通にもつ性質によって紛れなく定義されるものである。「クラス」の正確な定義は、議論の基礎となる文脈に依存する。例えば、[[ツエルメロ=フレンケル集合論]] (ZF) ではクラスは厳密には存在しないが、他の集合論(たとえば、[[ノイマン=ベルナイス=ゲーデル集合論]] (NBG))では、「クラス」の概念は公理化されている(NBG の例だと、別の量 (entity) の要素にならないような量としてクラスが定義される)。
[[集合論]]及びその応用としての[[数学]]における'''クラス'''または'''類'''(るい、{{lang-en-short|''class''}})は、[[集合]](または、しばしば別の数学的対象)の集まりで、それに属する全ての[[元 (数学)|元]]が共通にもつ性質によって紛れなく定義されるものである。「クラス」の正確な定義は、議論の基礎となる文脈に依存する。例えば、[[公理的集合論|ツエルメロ=フレンケル集合論]] (ZF) ではクラスは厳密には存在しないが、他の集合論(たとえば、[[ノイマン=ベルナイス=ゲーデル集合論]] (NBG))では、「クラス」の概念は公理化されている(NBG の例だと、別の量 (entity) の要素にならないような量としてクラスが定義される)。


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


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


== 公理的集合論におけるクラス ==
== 公理的集合論におけるクラス ==
23行目: 23行目:
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ではクラスの概念を定式化することはできないので、クラスは[[メタ言語]]による同値な言明で置き換えることで扱うことになる。例えば、<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 のモデル([[グロタンディーク宇宙]])になり、その部分集合を「クラス」として考えることができる。
ZF集合論ではクラスを厳密に扱うことができないので、ZF の公理系をそのままクラスに関する言明に適用することはできない。しかし、[[到達不能基数]] κ の存在を仮定すれば「それよりランクの小さな集合全体」は ZF のモデル([[グロタンディーク宇宙]])になり、その部分集合を「クラス」として考えることができる。


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

2013年7月16日 (火) 15:27時点における版

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

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

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

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

超実数全体は、の公理を満たす対象による真クラスである。

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

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

パラドックス

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

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

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

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

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

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

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

参考文献

  • Jech, Thomas (2003), Set Theory, Springer Monographs in Mathematics (third millennium ed.), Berlin, New York: Springer-Verlag, ISBN 978-3-540-44085-7 
  • Levy, A. (1979), Basic Set Theory, Berlin, New York: Springer-Verlag