グロタンディーク宇宙

数学におけるグロタンディーク宇宙（グロタンディークうちゅう、、）は次の性質をもった集合 "U" である：
宇宙のアイデアは、アレクサンドル・グロタンディークが代数幾何において真のクラスを回避する方法として導入したことに起因する。
グロタンディーク宇宙は、すべての数学が実行可能な集合を与える（実際には、集合論のためのモデルを与える）。
性質.
例として、簡単な命題を証明する。
同様に、グロタンディーク宇宙 "U" が以下のようなものを含むことが容易に証明される:
グロタンディーク宇宙と到達不能基数.
グロタンディーク宇宙の2つの簡単な例がある:
他の例は構成がより困難である。大まかに言うと、これはグロタンディーク宇宙が到達不能基数と同値なためである。より形式的に言えば、次の2つの公理が同値である:
この事実を証明するために、関数 c("U") を以下のように定義する:
ここで |"x"| は "x" の濃度を意味している。すると任意の宇宙 "U" に対して、c("U") は強到達不能となる:"U" の任意の元の冪集合は "U" の元で、"U" のすべての元は "U"　の部分集合であるため、これは強極限基数である。厳密に言えば、"c"λ が "I" によって添え字付られた濃度の集まりとすれば、各 "c"λ の "I" の濃度が c("U") よりも小さい。そして、c("U") の定義によって、"I" と各 "c"λ は "U" の元によって置き換えられる。"U" の元によって添え字付られた "U" の元の和集合は "U" の元となる、ゆえに "c"λ の総数は "U" の元の濃度となる。それゆえに c("U") よりも小さい。基礎の公理を避けることによって、それ自身を含む集合はなくなり、c("U") が |"U"| と等しいことを示すことができる。(この公理を仮定しない場合の反例はブルバキの論文を参照。)
強到達不能基数 κ が存在するとする。集合 "S" は任意の列 "sn" formula_12 ... formula_12 "s0" formula_12 "S" に対し |"sn"| < κ となるとき、型 κ であると呼ぶことにしよう。("S" 自身は空列に対応している。) すると、型 κ である集合全体の集合 "u"(κ) は濃度 κ のグロタンディーク宇宙となる。(この証明は長くなるため、詳細は参考文献のブルバキの論文を参照。)
巨大基数の公理 (C) から宇宙の公理 (U) が導かれることを示すため集合 "x" を選ぶ。"x0" = "x" かつすべての "n" に対して "xn+1" = formula_17 "xn" を "xn" の元の和集合とする。"y" = formula_18 "xn" とおく。(C) によって、|y| < κ となるような強到達不能基数 κ が存在する。"u"(κ) を前項の宇宙とする。"x" は型 κ であり、"x" formula_12"u"(κ)。宇宙の公理 (U) から巨大基数の公理 (C) が導かれることを示すために κ を基数とする。κ は集合なのでグロタンディーク宇宙 "U" の元である。"U" の濃度は κ より大きな強到達不能基数となる。
実際、任意のグロタンディーク宇宙はある κ に対し "u"(κ) の形となる。これはグロタンディーク宇宙と強到達不能基数の間の別の同値性を与えるものである:
強到達不能基数の存在は ZFC からは証明できないため、空集合と formula_11 以外の宇宙の存在はどれも ZFC から証明することができない。