代数学および離散数学においてとは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 代数学および離散数学においての意味・解説 

代数学および離散数学において

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/03/05 03:00 UTC 版)

不動点定理」の記事における「代数学および離散数学において」の解説

クナスター・タルスキーの定理英語版)は、完備束上の任意の単調写像少なくも一つ不動点実際には「最小不動点」)が存在することを述べる。詳しくブルバキ・ヴィットの定理参照されたい。この定理静的コード解析一つ形式である抽象解釈において応用を持つ。 ラムダ計算における共通のテーマ一つとして、「与えられラムダ式不動点求める」というものがある。ラムダ式には必ず不動点存在し、「ラムダ式入力すると、その式の不動点出力として得られる」という関数不動点コンビネータである。不動点コンビネータ1つにYコンビネータがあり、これは再帰的定義記述する際に用いられる重要なのである不動点定理適用する対象関数は、論理的な観点からは同一関数だが、その理論の展開は多岐にわたっている。プログラム言語表示的意味論分野では、再帰的定義の意味論を構築するために、クナスター・タルスキーの定理のある特別な場合用いている。また、計算可能性理論においても、クリーネの再帰定理使えば再帰的関数同様に定義することができる。なお、これらの各分野用いている定理等価ではなく、クナスター・タルスキーの定理というのは、表示的意味論用いている定理よりもずっと強い定理である。ただし、チャーチ・チューリングのテーゼ観点では、これらの直感的な意味合いは同じであり、「再帰関数は、関数関数にうつすある汎関数最小不動点として表すことができる」ということ他ならない。 ところで、初めに紹介した関数繰り返し適用によって不動点求める」という手法は、集合論でも用い手法である。正規関数不動点補題英語版)では、「順序数から順序数への連続狭義単調増加関数には、少なくとも1つの(実際に多数の)不動点存在する」ことを述べている。また、半順序集合閉包作用素英語版)には必ずいくつかの不動点存在し、それらが、この閉包作用素に関する意味で「閉」な元である(これが、閉包作用素先に定義する最大理由である)。 元の個数奇数あるよう有限集合上の任意の対合不動点を持つ。より一般に、元の有限集合上の任意の対合に対して不動点の数と元の数の偶奇性一致するドン・ザギエはこれらの観察の下でフェルマーの二平方和定理一文証明与えた。これは整数三つ組の成す同じ集合上の二つ対合記述することで成り立っており、一方はただ一つ不動点を持つことが平易にかるもので、他方与えられ素数 (ただし mod 4 で 1 のもの) を二平方和でおのおの表現したものに対す不動点を持つ。前者奇数個の不動点を持つから後者もそうで、従って必ず所期の形の表現存在することがわかる。

※この「代数学および離散数学において」の解説は、「不動点定理」の解説の一部です。
「代数学および離散数学において」を含む「不動点定理」の記事については、「不動点定理」の概要を参照ください。

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



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

辞書ショートカット

すべての辞書の索引

「代数学および離散数学において」の関連用語

代数学および離散数学においてのお隣キーワード
検索ランキング

   

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



代数学および離散数学においてのページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

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

©2025 GRAS Group, Inc.RSS