この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方)
出典検索?: "宇宙" 数学
数理論理学において、構造 (もしくはモデル) の宇宙(うちゅう、英: Universe)とは議論領域のことである。
数学、とりわけ集合論や数学基礎論における宇宙とは、特定の状況において考察される実体のすべてを元として含むような類のことである。このアイデアにはいくつものバージョンがあるため、項目を分けて説明する。 おそらく最も単純なバージョンは、研究対象が特定の集合で閉じている限り、任意の集合が宇宙であるというものである。もし研究対象が実数として形式化されていれば、実数の集合である実数直線 R は考察下において宇宙になりうる。これは1870年代から1880年代にかけてゲオルク・カントールが実解析の応用として、初の現代的な集合論と濃度の開発に用いた宇宙である。カントールが当時興味を持っていた集合は、R の部分集合だった。 この宇宙の概念はベン図の使用に反映されている。ベン図において、作用は伝統的に宇宙 U を表す大きな四角形の内部に生じる。一般的に集合が U の部分集合であれば、それは円によって表現される。集合 A の補集合は A の円の外側の四角形の部分によって与えられている。厳密に言えば、これは U に相対な A の 相対補集合 U ∖ A {\displaystyle U\backslash A} であり、U が宇宙であるという文脈においては、A の絶対補集合 A C {\displaystyle A^{C}} とみなされる。同様に、空積集合の概念があり、これは 0 個の集合 (集合がないという意味で、空集合ではない) の共通部分となる。宇宙抜きでは、空積集合は絶対にすべてのものの集合となりうるが、これは一般的に不可能とみなす。しかし宇宙が想定されていれば、空積集合は考察下のすべてのものの集合 U として扱われる。 これらの規則は、ブール束に基礎付けられるような基本的な集合論へのアプローチにおいて非常に有用である。新基礎集合論のような公理的集合論のいくつかの非標準的形式を除いて、すべての集合の公理的集合論は相対的可補束のようなブール束でない。対照的に、U のべき集合はブール束である。上記の補集合の説明は、ブール束における補演算である。一方で U と空積集合はブール束において、最大元 (もしくは空交差)を提供している。すると交差と結合の補集合を扱うド・モルガンの法則に適用でき、さらに空集合である空交差と空結合にも適応できる。 しかし、与えられた X (カントールの場合には、 X = R) の部分集合を考えれば、宇宙は X の部分集合の集合の存在を要請する。(例えば、X の位相は X の部分集合の集合である。)X の様々な部分集合の集合は、それ自体は X の部分集合にならないが、代わりに X の冪集合 PX の要素はX の部分集合になる。これに続き、研究対象は宇宙が P(PX) になるような場合における X の部分集合の集合などを構成する。言い換えれば、X 上の二項関係 (デカルト積の部分集合 X × X) 、もしくは X からそれ自身への写像を考えれば、P(X × X) もしくは XX のような宇宙が要請される。 したがって、主要な関心が X であっても、 X よりもかなり大きな宇宙が必要とされることになる。上記のアイデアに続いて、X の宇宙としての 上部構造 が要請される。これは次のような再帰的構造 次に X の上部構造 SX が S0X 、S1X 、S2X などの和集合とする。つまり、 S X := ⋃ i = 0 ∞ S i X . {\displaystyle \mathbf {S} X:=\bigcup _{i=0}^{\infty }\mathbf {S} _{i}X{\mbox{.}}\!} 集合 X の開始地点がどこであろうと、空集合 {} は S1X に属することに注意すること。空集合はフォン・ノイマン順序数
ある特定の文脈において
通常の数学
S0X を X 自身とする。
S1X を X と PX の和集合とする。
S2X を S1X と P(S1X) の和集合とする。
一般に、Sn+1X を SnX と P(SnX) の和集合とする。
そのため、もし開始地点がちょうど X = {} ならば、数学で必要となる多くの集合は {} 上の上部構造の要素として現れる。しかし、S{} の要素のそれぞれは有限集合であろう!自然数のひとつひとつはそれに属すが、すべての自然数の集合 N は属さない(それは S{} の部分集合であるにもかかわらず)。実際、X 上の上部構造はすべての遺伝的有限集合から成る。このように、それは有限主義者の数学の宇宙と考えられる。時代をさかのぼれば、19世紀の有限主義者レオポルト・クロネッカーはこの宇宙において仕事をしたことが思い出される。彼は、それぞれの自然数は存在するが、集合 N(完全な無限)は存在しないと信じていた。
しかし、S{} は通常の(有限主義者ではない)数学者にとっては不足である。なぜなら、N が S{} の部分集合として利用可能であるとはいえ、依然として N の冪集合は利用不可能だからである。特に、実数の任意の集合は利用不可能である。そのため、もう一度上記のプロセスを開始して S(S{}) を形成する必要があるだろう。しかし、物事を単純に保つために、自然数の集合 N は所与として SN を形成し、N 上の上部構造をとってもよい。これはしばしば通常の数学の宇宙であると考えられる。通常研究される数学のすべてはこの宇宙の要素を参照していると考えるということである。例えば、普通の実数の構成(デデキントの切断)はどれも SN に属している。超準解析も自然数の超準モデル上の上部構造において行うことができる。
宇宙が関心のある任意の集合 U であった前節からの哲学のわずかな転換に注意しよう。研究される集合は、前節では宇宙の部分集合であったが、本節では宇宙の要素である。したがって、P(SX) はブール束であるが、関連するもの SX 自体はそうではない。結果として、上部構造の宇宙を前節の冪集合の宇宙であるとみて、それにブール束とベン図の概念を直接的に適用することはまれである。そのかわりに、個々のブール束 PA を用いて作業することができる。ここで、A は SX に属する任意の関連する集合である。すると、PA は SX の部分集合である(そして、実際に SX に属する)。カントールの場合 X = R では特に、実数の任意の集合は利用可能ではないので、実際にもう一度上記のプロセスを開始する必要があるだろう。 SNは通常の数学の宇宙であるという主張に正確な意味を与えることは可能である。すなわち、それはツェルメロ集合論のモデルである。公理的集合論は元来1908年にエルンスト・ツェルメロによって開発された。ツェルメロ集合論は"通常の"数学を公理化することができるため、カントールによって三十年早く始められたプログラムを達成して、確実に成功した。しかし、ツェルメロ集合論は公理的集合論および数学基礎論、特にモデル理論における他の研究のさらなる発展にとって不十分であった。劇的な例として、上述の上部構造プロセスの記述はツェルメロ集合論においてそれ自身実行できないことが挙げられる。最終ステップとして、無限和 (infinitary union) としてのSを形成するための置換公理
集合論
しかし、もし超冪集合論が持ち込まれた場合、上記の上部構造のプロセスそれ自体は明らかに超限帰納法のはじまりに過ぎない。空集合 X = {} に戻って、Si{} に対する Vi 、V0 = {} 、V1 = P{} などの (標準的な) 記法を導入する。しかし、"上部構造" と呼ばれるものは、ω が1つ目の有限順序数とすれば、リスト Vω の次の項目となる。