Teorema di Knaster-Tarski

Questa voce sull'argomento geometria è solo un abbozzo.

Contribuisci a migliorarla secondo le convenzioni di Teknopedia. Segui i suggerimenti del progetto di riferimento.

Il teorema di Knaster-Tarski è un teorema di punto fisso.

Una funzione monotona in un insieme ordinato completo ammette almeno un punto fisso.

Sia ${\displaystyle f\colon L\to L}$ una funzione monotona su un reticolo completo ${\displaystyle L}$. L'insieme ${\displaystyle fix(f)}$ dei punti fissi di ${\displaystyle f}$ è anch'esso un reticolo completo.

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

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

Portale Matematica: accedi alle voci di Teknopedia che trattano di matematica