第一再帰定理の証明の概略とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 第一再帰定理の証明の概略の意味・解説 

第一再帰定理の証明の概略

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/10/03 01:23 UTC 版)

クリーネの再帰定理」の記事における「第一再帰定理の証明の概略」の解説

第一再帰定理前半の証明は、空集合から始めて枚挙演算子 Φ {\displaystyle \Phi } の反復によって得られる。まず集合F k {\displaystyle F_{k}} を次のように帰納的に定義するF 0 = ∅ , {\displaystyle F_{0}=\varnothing ,} F k + 1 = F k ∪ Φ ( F k ) {\displaystyle F_{k+1}=F_{k}\cup \Phi (F_{k})} 次に F = ⋃ F k {\displaystyle F=\bigcup F_{k}} とおく。 F k {\displaystyle F_{k}} は一様に帰納的な増大列であるので F {\displaystyle F} は帰納的可算である。さらに F {\displaystyle F} は Φ {\displaystyle \Phi } の最小不動点である。ここで構成した F k {\displaystyle F_{k}} は完備半順序定義され単調関数不動点存在述べクリーネの不動点定理クリーネ鎖に対応している定理後半前半から従う。実際 Φ {\displaystyle \Phi } を帰納作用素とすると上の証明の F {\displaystyle F} が部分関数グラフになることが k {\displaystyle k} に関する帰納法確かめられる

※この「第一再帰定理の証明の概略」の解説は、「クリーネの再帰定理」の解説の一部です。
「第一再帰定理の証明の概略」を含む「クリーネの再帰定理」の記事については、「クリーネの再帰定理」の概要を参照ください。

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



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

辞書ショートカット

すべての辞書の索引

「第一再帰定理の証明の概略」の関連用語

第一再帰定理の証明の概略のお隣キーワード
検索ランキング

   

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



第一再帰定理の証明の概略のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

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

©2025 GRAS Group, Inc.RSS