克莱尼不动点定理

维基百科,自由的百科全书
跳转至: 导航搜索

数学中,序理论Kleene 不动点定理声称给定任何完全格 L 和任何连续的(因此单调的)函数

f最小不动点(lfp)是 f升 Kleene 链最小上界,这个链是

通过在 L底元素上迭代 f 而获得。用公式表达,Kleene 不动点定理声称

这里的 指示最小不动点, 指示最小上界,而 底元素

参见[编辑]