Teorema di Lawvere

Il teorema di Lawvere (dal nome del matematico Francis William Lawvere) è un teorema di punto fisso nell'ambito della teoria delle categorie.

In particolare, questo teorema consente di ottenere come conseguenza alcuni risultati classici (procedimento diagonale di Cantor, paradosso di Russell, teorema di incompletezza di Gödel).

Enunciato

modifica

Siano A e X due insiemi. Sia XA l'insieme di tutte le funzioni da A in X.

Se esiste una suriezione s da A su XA, allora ogni funzione   ha un punto fisso.

La dimostrazione utilizza un argomento diagonale.

Collegamenti esterni

modifica
  • Punto fisso (PDF), su disi.unige.it. URL consultato il 23 gennaio 2007 (archiviato dall'url originale il 24 settembre 2006).
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica