克莱尼不动点定理, 此條目没有列出任何参考或来源, 2010年1月1日, 維基百科所有的內容都應該可供查證, 请协助補充可靠来源以改善这篇条目, 无法查证的內容可能會因為異議提出而移除, 在数学中, 序理论的, kleene, 不动点定理指出给定任何完全格, 和任何具有斯科特连续性的函数, displaystyle, displaystyle, 的最小不动点f, displaystyle, 存在, 如果我们用, displaystyle, 来表示l内的最小元素, 那么f, displaystyle, bigsqcu. 此條目没有列出任何参考或来源 2010年1月1日 維基百科所有的內容都應該可供查證 请协助補充可靠来源以改善这篇条目 无法查证的內容可能會因為異議提出而移除 在数学中 序理论的 Kleene 不动点定理指出给定任何完全格 L 和任何具有斯科特连续性的函数 f L L displaystyle f L to L f displaystyle f 的最小不动点f i x f displaystyle fix f 存在 如果我们用 displaystyle bot 来表示L内的最小元素 那么f i x f i 0 f i displaystyle fix f bigsqcup i geq 0 f i bot 证明 编辑我们首先定义集合M f f 2 displaystyle M bot f bot f 2 bot ldots 为了方便表示 我们用m displaystyle m 来表示集合M displaystyle M 中最大的元素 即m M displaystyle m bigsqcup M 我们想要证明m displaystyle m 为函数f displaystyle f 的最小不动点 首先我们证明m displaystyle m 为函数f displaystyle f 的不动点 因为函数f displaystyle f 是斯科特连续的 所以我们有f m f M f M M m displaystyle f m f sqcup M sqcup f M cup bot bigsqcup M m 接下来我们证明m displaystyle m 为函数f displaystyle f 的最小不动点 假设函数f displaystyle f 存在另外一个不动点x displaystyle x 因为 x displaystyle bot sqsubseteq x 且函数f displaystyle f 为单调函数 由于斯科特连续性 所以f f x x displaystyle f bot sqsubseteq f x x 假设m f k k N displaystyle m f k bot k in mathbb N 根据数学归纳法 f k f k x x displaystyle f k bot sqsubseteq f k x x 即m displaystyle m 为函数f displaystyle f 的最小不动点 参见 编辑克纳斯特 塔斯基定理 其他不动点定理 这是一篇关于数学的小作品 你可以通过编辑或修订扩充其内容 查论编 取自 https zh wikipedia org w index php title 克莱尼不动点定理 amp oldid 59564215, 维基百科,wiki,书籍,书籍,图书馆,