アレフ関数の不動点とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > アレフ関数の不動点の意味・解説 

アレフ関数の不動点

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/08/01 09:12 UTC 版)

アレフ数」の記事における「アレフ関数の不動点」の解説

任意の順序数 α に対して α ≤ ℵ α {\displaystyle \alpha \leq \aleph _{\alpha }} が成り立つ。多く場合 ωα は α よりも真に大きい。例えば、任意の後続順序数 α に対してこれが成り立つ。しかしながら正規関数不動点補題英語版)によって、アレフ関数 f ( α ) = ℵ α {\textstyle f(\alpha )=\aleph _{\alpha }} の不動点である極限順序数存在する最初そのようなものは次の列の極限である。 ℵ 0 ,   ℵ ℵ 0 ,   ℵ ℵ ℵ 0 , … {\displaystyle \aleph _{0},\ \aleph _{\aleph _{0}},\ \aleph _{\aleph _{\aleph _{0}}},\ldots } 任意の弱到達不能基数はまたアレフ関数の不動点である。これは ZFC において次のように示せる。κ = ℵλ が弱到達不能基数とする。λ がもし後続順序数であれば、ℵλ は後続基数英語版)になりしたがって到達不能でない。もし λ {\displaystyle \lambda } が κ よりも小さ極限順序数であれば、その 共終数(そしてしたがって ℵλ の共終数)は κ よりも小さく、したがって κ は正則でなくゆえに弱到達不能でない。したがって λ ≥ κ であるので λ = κ であり不動点である。

※この「アレフ関数の不動点」の解説は、「アレフ数」の解説の一部です。
「アレフ関数の不動点」を含む「アレフ数」の記事については、「アレフ数」の概要を参照ください。

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



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

辞書ショートカット

すべての辞書の索引

「アレフ関数の不動点」の関連用語

アレフ関数の不動点のお隣キーワード
検索ランキング

   

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



アレフ関数の不動点のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

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

©2025 GRAS Group, Inc.RSS