グロタンディーク宇宙と到達不能基数とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > グロタンディーク宇宙と到達不能基数の意味・解説 

グロタンディーク宇宙と到達不能基数

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/06/05 09:25 UTC 版)

グロタンディーク宇宙」の記事における「グロタンディーク宇宙と到達不能基数」の解説

グロタンディーク宇宙2つ簡単な例がある: 空集合 すべての遺伝的有限集合集合 V ω {\displaystyle V_{\omega }} 。 他の例構成がより困難である。大まかに言うと、これはグロタンディーク宇宙到達不能基数同値なためである。より形式的に言えば次の2つ公理同値である: (U) すべての集合 x に対して、x ∈ {\displaystyle \in } U となるグロタンディーク宇宙 U が存在する(C) すべての基数 κ に対して、κ よりも巨大な強到達不能基数 λ が存在する。 この事実証明するために、関数 c(U) を以下のように定義する: c ( U ) = sup x ∈ U | x | {\displaystyle \mathbf {c} (U)=\sup _{x\in U}|x|} ここで |x| は x の濃度意味している。すると任意の宇宙 U に対して、c(U) は強到達不能となる:U の任意の元の冪集合は U の元で、U のすべての元は U の部分集合であるため、これは強極限基数である。厳密に言えば が I によって添え字付られた濃度集まりとすれば、各 の I の濃度が c(U) よりも小さい。そして、c(U) の定義によって、I と各 は U の元によって置き換えられる。U の元によって添え字付られた U の元の和集合は U の元となる、ゆえに 総数は U の元の濃度となる。それゆえに c(U) よりも小さい。基礎の公理避けることによって、それ自身を含む集合なくなり、c(U) が |U| と等しいことを示すことができる。(この公理仮定しない場合反例ブルバキ論文参照。) 強到達不能基数 κ が存在するとする。集合 S は任意のsn ∈ {\displaystyle \in } ... ∈ {\displaystyle \in } s0 ∈ {\displaystyle \in } S に対し |sn| < κ となるとき、型 κ であると呼ぶことにしよう。(S 自身は空列に対応している。) すると、型 κ である集合全体集合 u(κ) は濃度 κ のグロタンディーク宇宙となる。(この証明長くなるため、詳細参考文献ブルバキ論文参照。) 巨大基数公理 (C) から宇宙公理 (U) が導かれることを示すため集合 x を選ぶ。x0 = x かつすべての n に対して xn+1 = ⋃ {\displaystyle \bigcup } xnxn の元の和集合とする。y = ⋃ n {\displaystyle \bigcup _{n}} xn とおく。(C) によって、|y| < κ となるような強到達不能基数 κ が存在する。u(κ) を前項宇宙とする。x は型 κ であり、x ∈ {\displaystyle \in } u(κ)。宇宙公理 (U) から巨大基数公理 (C)導かれることを示すために κ を基数とする。κ は集合なのでグロタンディーク宇宙 U の元である。U の濃度は κ より大きな強到達不能基数となる。 実際任意のグロタンディーク宇宙はある κ に対し u(κ) の形となる。これはグロタンディーク宇宙強到達不能基数の間の別の同値性与えるものである: グロタンディーク宇宙 U に対して、|U| は、 ℵ 0 {\displaystyle \aleph _{0}} 、もしくは強到達不能基数いずれかとなる。また、κ が、 ℵ 0 {\displaystyle \aleph _{0}} 、もしくは強到達不能基数ならば、グロタンディーク宇宙 u(κ) が存在する。さらに、u(|U|) = U かつ |u(κ)| = κ となる。 強到達不能基数存在ZFC からは証明できないため、空集合と V ω {\displaystyle V_{\omega }} 以外の宇宙存在はどれも ZFC から証明することができない

※この「グロタンディーク宇宙と到達不能基数」の解説は、「グロタンディーク宇宙」の解説の一部です。
「グロタンディーク宇宙と到達不能基数」を含む「グロタンディーク宇宙」の記事については、「グロタンディーク宇宙」の概要を参照ください。

ウィキペディア小見出し辞書の「グロタンディーク宇宙と到達不能基数」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「グロタンディーク宇宙と到達不能基数」の関連用語

グロタンディーク宇宙と到達不能基数のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



グロタンディーク宇宙と到達不能基数のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaのグロタンディーク宇宙 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS