Punto fisso

In matematica, un punto fisso per una funzione definita da un insieme in sé è un elemento coincidente con la sua immagine.

Definizione

In matematica, un punto fisso per una funzione $f : A \to A$ definita su un insieme $A$ è un elemento $x$ in $A$ tale che:

$x = f(x) \$

Si tratta di un punto che la funzione mappa in sé stesso.

Teoremi di esistenza

Per approfondire, vedi Teoremi di punto fisso.

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. Di questi, i più noti sono il teorema del punto fisso di Banach e il teorema del punto fisso di Brouwer.

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

$f: X \to X$

esiste un $x \in X$ 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 e la convessità non è neppure una proprietà topologica, quindi ha senso chiedersi quali condizioni sulla topologia di uno spazio siano necessarie e sufficienti perché si abbia la PPF. 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.

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) = x² − 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).

Bibliografia

• (EN) Michael Reed; Barry Simon, Methods of Modern Mathematical Physics, Vol. 1: Functional Analysis, 2^a ed., San Diego, California, Academic press inc., 1980. ISBN 0125850506

Altri progetti

• Commons

• Commons contiene immagini o altri file su Punto fisso

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