グロタンディーク宇宙

ウィキペディア

グロタンディーク宇宙

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/04/16 22:18 UTC 版)

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "グロタンディーク宇宙" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2022年12月）

数学におけるグロタンディーク宇宙（グロタンディークうちゅう、英: Grothendieck universe、仏: Univers de Grothendieck）は次の性質をもった集合 U である^[1]：

1. x ∈ U, y ∈ x ⇒ y ∈ U（ U は推移的集合）
2. x, y ∈ U ⇒ {x, y} ∈ U
3. x ∈ U ⇒ x のベキ集合 P(x) ∈ U
4. ${\displaystyle \{x_{\alpha }\}_{\alpha \in I}}$