Teorema di Knaster-Tarski
Jump to navigation
Jump to search
Il teorema di Knaster-Tarski è un teorema di punto fisso.
Enunciato (versione 1)[modifica | modifica wikitesto]
Una funzione monotona in un insieme ordinato completo ammette almeno un punto fisso.
Enunciato (versione 2)[modifica | modifica wikitesto]
Sia una funzione monotona su un reticolo completo . L'insieme dei punti fissi di è anch'esso un reticolo completo.