热门问题
时间线
聊天
视角

克莱尼不动点定理

来自维基百科,自由的百科全书

Remove ads
Remove ads

数学中,序理论克莱尼不动点定理(英语:Kleene fixed-point theorem)指出给定任何完全格 L 和任何具有斯科特连续性函数

最小不动点存在,如果我们用来表示L内的最小元素,那么

Remove ads

证明

我们首先定义集合,为了方便表示,我们用来表示集合中最大的元素,即。我们想要证明为函数的最小不动点。

首先我们证明为函数的不动点。因为函数是斯科特连续的,所以我们有

接下来我们证明为函数的最小不动点。假设函数存在另外一个不动点,因为, 且函数为单调函数(由于斯科特连续性),所以。假设, 根据数学归纳法,。 即为函数的最小不动点。

Remove ads

参见

Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads