Punto fisso
Da Wikipedia, l'enciclopedia libera.
In matematica, un punto fisso per una funzione
definita su un insieme A è un elemento x in A tale che x = f(x).
In altre parole, un punto fisso è un elemento (numero, punto etc.) che la funzione applica su se stesso.
Per esempio, sia f definita sull'insieme dei numeri reali come f(x) = x2 − 2; allora -1 è un punto fisso di f, poiché f(-1) = -1.
[modifica] Esempi
Sono funzioni con punti fissi:
- Una rotazione del piano intorno ad un punto P assegnato: in questo caso P è l'unico punto fisso della rotazione.
- Una riflessione del piano rispetto ad una retta: ogni punto della retta è un punto fisso.
- La funzione polinomiale sui numeri reali definita da
- f(x) = x2 − 3x + 4,
- infatti un calcolo diretto mostra che f(2) = 2.
Sono funzioni senza punti fissi:
- Una rotazione della circonferenza di un angolo diverso da zero (o di un multiplo di 2π) è una funzione senza punti fissi sulla circonferenza.
- Una traslazione diversa dalla identità non ha punti fissi (la traslazione può essere definita su uno spazio vettoriale o anche su un gruppo).
[modifica] Teoremi di esistenza
Alcuni teoremi molto importanti in matematica asseriscono che alcune funzioni da un insieme in sé hanno dei punti fissi. Questi teoremi si applicano in analisi matematica, analisi funzionale e topologia.
- Il Teorema del punto fisso di Banach asserisce che una contrazione su uno spazio metrico completo ha uno e un solo punto fisso.
- Il Teorema del punto fisso di Brouwer asserisce che una funzione continua definita da un sottoinsieme compatto e convesso dello spazio euclideo Rn in sé ha sempre un punto fisso.
Alcuni teoremi estendono il Teorema di Brouwer a spazi più generali.
- Il Teorema del punto fisso di Schauder stabilisce (in una delle sue versioni): se C è un sottoinsieme chiuso, convesso e non vuoto di uno spazio di Banach B e
è una funzione continua con immagine compatta, allora f ha almeno un punto fisso. - Il Teorema di Schaefer che riformula il teorema di Schauder in modo da non richiedere esplicitamente di dichiarare l'insieme C, chiuso e convesso, del punto precedente.
- Il Teorema di punto fisso di Tychonoff si applica ad ogni spazio vettoriale topologico V localmente convesso. Detto teorema stabilisce che per ogni insieme compatto, convesso, non vuoto X di V, e per ogni funzione continua
esiste (almeno) un punto fisso per f. - Il Teorema di Kellogg aggiunge una condizione di unicità alle condizioni dei teoremi di Brouwer e Schauder.
- Il Teorema di Kakutani considera corrispondenze con valori di insieme.
Questi teoremi vengono usati nel campo delle equazioni differenziali alle derivate parziali.
Altri teoremi di punto fisso sono presenti in altri campi:
- Il Teorema di Lawvere è un teorema di punto fisso nell'ambito della teoria delle categorie.
[modifica] La proprietà topologica del punto fisso
Uno spazio topologico X si dice avere la proprietà del punto fisso (brevemente PPF) se per ogni funzione continua
esiste un 
tale che f(x) = x.
La proprietà del punto fisso è un invariante topologico, cioè viene preservata dagli omeomorfismi. Inoltre la PPF viene preservata dalle retrazioni.
Per il teorema del punto fisso di Brouwer tutti i sottoinsiemi compatti e convessi di uno spazio euclideo posseggono la PPF. La sola compattezza non garantisce la PPF (un controesempio è costituito dall'unione di due intervalli disgiunti) e neppure la sola convessità (la retta non ha la PPF). La proprietà di convessità risulta comunque non necessaria: esistono spazi topologici non convessi che hanno la proprietà del punto fisso: un esempio di questo tipo è costituito dallo spazio formato da
![\left\{(0,y)\ \big|\ |y| \leq 1\right\} \cup \left\{\left(x,\sin\frac 1x\right)\ \big|\ x \in \left[0,\frac 1 \pi\right] \right\}](../../../math/2/d/5/2d54353eb92550e71de9a8f07673dceb.png)
unito con l'arco che connette i punti (0,1) e (1/π,0). Nel 1932 Borsuk congetturò che la PPF fosse posseduta da ogni spazio topologico compatto e contraibile. Il problema rimase aperto per 20 anni finché Kinoshita trovò un esempio di spazio compatto e contraibile che non aveva la PPF.
