打开主菜单

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

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

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

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

参见编辑