Il teorema di Knaster-Tarski è un teorema di punto fisso.
Enunciato (versione 1)
Una funzione monotona in un insieme ordinato completo ammette almeno un punto fisso.
Enunciato (versione 2)
Sia una funzione monotona su un reticolo completo . L'insieme dei punti fissi di è anch'esso un reticolo completo.
Voci correlate Alfred Tarski Bronisław Knaster Punto fisso Teoremi di punto fisso Reticolo (teoria degli ordini)
Collegamenti esterni Tarski's Fixed Point Theorem su mathworld
Categoria:Teoria dei reticoli Knaster-Tarski