克莱尼不动点定理维基百科,自由的 encyclopedia 在数学中,序理论的克莱尼不动点定理(英语:Kleene fixed-point theorem)指出给定任何完全格 L 和任何具有斯科特连续性的函数 f : L → L , {\displaystyle f:L\to L,} 此条目没有列出任何参考或来源。 (2010年1月1日) 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 )}
在数学中,序理论的克莱尼不动点定理(英语:Kleene fixed-point theorem)指出给定任何完全格 L 和任何具有斯科特连续性的函数 f : L → L , {\displaystyle f:L\to L,} 此条目没有列出任何参考或来源。 (2010年1月1日) 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 )}