クリーネの不動点定理

提供: testwiki
2022年11月18日 (金) 12:35時点におけるimported>Anakabotによる版 (セクションリンク修正)
(差分) ← 古い版 | 最新版 (差分) | 新しい版 → (差分)
ナビゲーションに移動 検索に移動

テンプレート:Otheruses

数学の順序理論や束論におけるクリーネの不動点定理（クリーネのふどうてんていり、テンプレート:En）とは、スティーヴン・コール・クリーネによって導入された以下の定理である。

最小元を持つ ω-完備半順序 (L,⊑) 上のスコット連続関数 f:L→L は最小不動点を持ち、それは f のクリーネ鎖の上限に一致する。

ここで、f のクリーネ鎖とは、L の最小元 ⊥ に f を繰り返し適用することで得られる以下の鎖のことである。

⊥⊑f(⊥)⊑f(f(⊥))⊑⋯⊑fn(⊥)⊑⋯

最小不動点を lfp と書くことにすると、本定理は次式で表すことができる。

lfp(f)=sup⁡({fn(⊥)∣n∈ℕ})

本定理はしばしばアルフレト・タルスキによるものと誤解されるが、本定理は不動点の具体的な構成方法を与えているという点でテンプレート:仮リンク（こちらは完備束上の単調関数に関する定理である）とは異なるものである。

証明[1]

はじめに、L における f のクリーネ鎖の存在性を示す。 ⊥ の最小性より ⊥⊑f(⊥) が成り立つので、この両辺に単調関数 f （スコット連続関数はすなわち単調である）を繰り返し適用することで以下の通りクリーネ鎖 𝕄 が得られる。

⊥⊑f(⊥)⊑f(f(⊥))⊑⋯⊑fn(⊥)⊑⋯

これは ω-完備半順序上の ω-鎖であるから、上限 sup⁡(𝕄) を持つ。

続いて、sup⁡(𝕄) が f の不動点であることを示す。 これは f のスコット連続性より次式の通り示される。（この式の最後の等号は ⊥⊑f(⊥) より成り立つ）

f(sup⁡(𝕄))=f(sup⁡({⊥,f(⊥),f(f(⊥)),…}))=sup⁡({f(⊥),f(f(⊥)),f(f(f(⊥))),…})=sup⁡(𝕄)

最後に、sup⁡(𝕄) が f の最小不動点であることを示す。 f の任意の不動点 k を取ると、⊥ の最小性より ⊥⊑k が成り立つ。 この両辺に単調関数 f を繰り返し適用すると fn(⊥)⊑fn(k) (n∈ℕ) が得られるが、k は f の不動点であるからすなわち fn(⊥)⊑k が成り立つ。 よって 𝕄 は k 以下の元からなる鎖であり、sup⁡(𝕄) はその上限であるから、sup⁡(𝕄) もまた k 以下である。 斯くして 𝕄 が f の最小不動点であることが示された。

関連項目

参考文献

テンプレート:Reflist

  1. ↑ テンプレート:Cite book
「https://ja.wiki.beta.math.wmflabs.org/w/index.php?title=クリーネの不動点定理&oldid=11479」から取得