Kleene fixed-point theorem: Difference between revisions

Revision as of 03:07, 13 July 2008

Revision as of 10:40, 23 July 2008

Line 1:

In the [[mathematics|mathematical]] areas of [[order theory|order]] and [[lattice theory]], the '''Kleene fixed-point theorem''', named after [[United States|American]] [[mathematician]] [[Stephen Cole Kleene]], states the following:

:''Let L be a [[complete latticepartial order]], and let f : L → L be a [[Scott continuity|continuous]] (and therefore [[monotone function|monotone]]) [[function (mathematics)|function]]. Then the [[least fixed point]] of f is the [[supremum]] of the ascending Kleene chain of f.

It is often attributed to [[Alfred Tarski]], but the original statement of [[Tarski's fixed point theorem]] is about monotone functions on complete lattices.

The '''ascending Kleene chain''' of ''f'' is the [[chain (order theory)|chain]]