克萊尼不動點定理

維基百科,自由的百科全書
跳至導覽 跳至搜尋

數學中,序理論Kleene 不動點定理聲稱給定任何完全格 L 和任何連續的(因此單調的)函數

f最小不動點(lfp)是 f升 Kleene 鏈最小上界,這個鏈是

通過在 L底元素上疊代 f 而獲得。用公式表達,Kleene 不動點定理聲稱

這裏的 指示最小不動點, 指示最小上界,而 底元素

參見[編輯]