Teorema di Knaster-Tarski

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 $f\colon L\to L$$f\colon L\to L$ una funzione monotona su un reticolo completo $L$$L$. L'insieme $fix(f)$$fix(f)$ dei punti fissi di $f$$f$ è anch'esso un reticolo completo.

Voci correlate

• Alfred Tarski
• Bronisław Knaster
• Punto fisso
• Teoremi di punto fisso
• Reticolo (matematica)

Collegamenti esterni

• (EN) Tarski's Fixed Point Theorem su mathworld