Punto fisso: differenze tra le versioni

Versione delle 12:15, 30 mag 2015

Versione attuale delle 02:00, 12 dic 2022

(20 versioni intermedie di 13 utenti non mostrate)

Riga 2:

==Definizione==

In [[matematica]], un punto fisso per una [[Funzione (matematica)|funzione]] <math> f : A \to A </math> definita su un [[Insieme (matematica)|insieme]] <math>A</math> è un [[Elemento (insiemistica)|elemento]] <math> x </math> in <math>A</math> tale che:<ref name=def>{{Cita|Reed, Simon|Pag. 150|reed}}.</ref>

:<math>x = f(x) \ </math>

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

Riga 10:

== Teoremi di esistenza ==

{{Vedi anche|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 delle contrazioni|teorema del punto fisso di Banach]] (teorema delle contrazioni) e il [[teorema del punto fisso di Brouwer]].

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 ==

LaUno [[spazio topologico]] <math>X</math> si dice avere la ''proprietà del punto fisso'' se per ogni [[funzione continua]] <math>f: X \to X</math> esiste un <math>x \in X</math> tale che <math>f(x)=x</math>. La proprietà del punto fisso è un [[invariante topologico]], cioè viene preservata dagli [[omeomorfismo|omeomorfismi]]. Inoltre la PPF, viene preservata dalle [[retrazione|retrazioni]].

Per il [[teorema del punto fisso di Brouwer]] tutti i sottoinsiemi [[spazio compatto|compatti]] e [[insieme convesso|convessi]] di uno [[spazio euclideo]] posseggono la PPFproprietà del punto fisso. La sola compattezza non garantisce latale PPFproprietà, 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 PPFproprietà del punto fisso. Nel 1932 [[Karol Borsuk|Borsuk]] congetturò che la PPFproprietà fosse posseduta da ogni spazio topologico compatto e [[spazio contraibile|contraibile]]. Il problema rimase aperto per 20 anni finché [[Shin'ichi Kinoshita|Kinoshita]] trovò un esempio di spazio compatto e contraibile che non aveva la PPFproprietà del punto fisso.<ref>Kinoshita, S. On Some Contractible Continua without Fixed Point Property. ''Fund. Math.'' '''40''' (1953), 96-98</ref>

Uno [[spazio topologico]] <math>X</math> si dice avere la '''proprietà del punto fisso''' (brevemente '''PPF''') se per ogni [[funzione continua]]

:<math>f: X \to X</math>

esiste un <math>x \in X</math> tale che <math>f(x)=x</math>.

==Sistemi dinamici==

La ''proprietà del punto fisso'' è un [[invariante topologico]], cioè viene preservata dagli [[omeomorfismo|omeomorfismi]]. Inoltre la PPF viene preservata dalle [[retrazione|retrazioni]].

{{vedi anche|Punto periodico}}

[[File:Cosine fixed point.svg|thumb|[[Iterazione di punto fisso|Iterazione del punto fisso]] di ''x''_''n''+1&nbsp;=&nbsp;cos ''x''_''n'' con valore iniziale ''x''₁ = −1.]]

Per il [[teorema del punto fisso di Brouwer]] tutti i sottoinsiemi [[spazio compatto|compatti]] e [[insieme convesso|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 [[Karol Borsuk|Borsuk]] congetturò che la PPF fosse posseduta da ogni spazio topologico compatto e [[spazio contraibile|contraibile]]. Il problema rimase aperto per 20 anni finché [[Shin'ichi Kinoshita|Kinoshita]] trovò un esempio di spazio compatto e contraibile che non aveva la PPF.<ref>Kinoshita, S. On Some Contractible Continua without Fixed Point Property. ''Fund. Math.'' '''40''' (1953), 96-98</ref>

Nello studio dei [[Sistema dinamico|sistemi dinamici]], ogni punto di un'[[Orbita (matematica)|orbita]] periodica è un punto fisso per l'orbita.

== Esempi ==

Sono funzioni con punti fissi:

* Una [[rotazione (matematica)|rotazione]] del [[Piano (geometria)|piano]] intorno ad un punto ''<math>P''</math> assegnato: in questo caso ''<math>P''</math> è l'unico punto fisso della rotazione.

* Una [[riflessione (matematica)|riflessione]] del [[Piano (geometria)|piano]] rispetto ad una retta: ogni punto della retta è un punto fisso.

* LaSe la [[funzione polinomiale]] <math>f</math> sui [[numeri reali]] è definita da:

:<math>f: X \to X(x)=x^2-3x+4</math>

*:''f''(''x'') = ''x''² − 3''x'' + 4,

:Allora 2 è un punto fisso per <math>f</math>: infatti, un calcolo diretto mostra che ''<math>f''(2) = 2</math>.

Sono funzioni senza punti fissi:

Riga 39 ⟶ 38:

==Bibliografia==

* {{cita libro | cognome= Reed | nome= Michael |coautori= Barry Simon | titolo= Methods of Modern Mathematical Physics, Vol. 1: Functional Analysis| editore= Academic press inc.|ed = riveduta| città= San Diego, California| anno= 1980|ed=2|isbn= 0-12-585050-6|cid =reed |lingua= en}}

*{{Cita libro|nome= Norman Steenrod |cognome= Samuel Eilenberg |titolo= Foundations of Algebraic Topology |url= https://archive.org/details/foundationsofalg0000eile |editore= Princeton University Press |anno= 1952|lingua= en }}

*{{Cita libro|nome= Bernd |cognome= Schröder |titolo= Ordered Sets |editore= Birkhäuser Boston |anno= 2002|lingua= en }}

==Voci correlate==

* [[Iterazione di punto fisso]]

* [[Punto periodico]]

* [[Orbita (matematica)]]

* [[Teorema del punto fisso di Brouwer]]

* [[Teorema didelle Sarkovskycontrazioni]]

* [[Teorema di Sharkovsky]]

* [[Teoremi di punto fisso]]

== Altri progetti ==

{{interprogetto|commons=Fixed point}}

==Collegamenti esterni==

* {{Collegamenti esterni}}

{{Controllo di autorità}}

{{Portale|matematica}}

[[Categoria:Punti fissi| Topologia]]