P. Cousot & R. Cousot, Constructive Versions of Tarski's Fixed Point Theorems

Patrick Cousot & Radhia Cousot.
Constructive Versions of Tarski's Fixed Point Theorems.
Pacific Journal of Mathematics, Vol. 82, No. 1, 1979, pp. 43—57.
PDF (872 Kb), readable by Acrobate Reader.
Abstract: Let F be a monotone operator on the complete lattice L into itself. Tarski's lattice theoretical fixed point theorem states that the set of fixed points of F is a nonempty complete lattice for the ordering of L. We give a constructive proof of this theorem showing that the set of fixed points of F is the image of L by a lower and an upper preclosure operator. The preclosure operators are the composition of lower and upper closure operators which are defined by means of limits of stationary transfinite itertion sequences for F. In the same way we give a constructive characterization of the set of common fixed points of a family of commuting operators. Finally we examine some consequences of additional semi-continuity hypotheses.

Bibliographic reference:

\bibitem{CousotCousot-PJM-82-1-1979}
P{.} Cousot and R{.} Cousot.
\newblock Constructive versions of Tarski's fixed point theorems.
\newblock Pacific Journal of Mathematics, Vol{.} 82, No{.} 1, 1979, pp{.}
          43--57.

@article{CousotCousot-PJM-82-1-1979,
   author = {Cousot, P{.} and Cousot, R{.}},
   title =  {Constructive Versions of {T}arski's Fixed Point Theorems},
   journal = {Pacific Journal of Mathematics},
   volume = 82,
   number = 1,
   pages =  {43--57},
   year =   1979,
}

copyright notice
Last modified: Wed Dec 4 23:28:25 CET 2002