Punto fisso: differenze tra le versioni

Versione delle 16:06, 21 apr 2009

Versione attuale delle 02:00, 12 dic 2022

(43 versioni intermedie di 25 utenti non mostrate)

Riga 1:

In [[matematica]], un '''punto fisso''' per una [[Funzione (matematica)|funzione]] definita da un [[Insieme (matematica)|insieme]] in sé è un [[Elemento (insiemistica)|elemento]] coincidente con la sua [[immagine (matematica)|immagine]].

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

''x'' = ''f''(''x'').

==Definizione==

In altre parole, un punto fisso è un [[Elemento (insiemistica)|elemento]] (numero, punto etc.) che la funzione applica su se stesso.

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 : A \to A(x) </math>

Per esempio, sia ''f'' definita sull'insieme dei [[numeri reali]] come ''f''(''x'') = ''x''² &minus; 2;

allora -1 è un punto fisso di ''f'', poiché ''f''(-1) = -1.

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

== Esempi ==

Sono funzioni con punti fissi:

* Una [[rotazione (matematica)|rotazione]] del [[Piano (geometria)|piano]] intorno ad un punto ''P'' assegnato: in questo caso ''P'' è 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.

* La [[funzione polinomiale]] sui [[numeri reali]] definita da

*:''f''(''x'') = ''x''² &minus; 3''x'' + 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&pi;) è una funzione senza punti fissi sulla circonferenza.

* Una [[traslazione (geometria)|traslazione]] diversa dalla [[funzione identità|identità]] non ha punti fissi (la traslazione può essere definita su uno [[spazio vettoriale]] o anche su un [[gruppo]]).

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

==Sistemi dinamici==

{{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.]]

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>

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

* Una rotazione della [[circonferenza]] di un angolo diverso da zero (o di un multiplo di 2&pi;2π) è una funzione senza punti fissi sulla circonferenza.

* Una [[traslazione (geometria)|traslazione]] diversa dalla [[funzione identità|identità]] non ha punti fissi (la traslazione può essere definita su uno [[spazio vettoriale]] o anche su un [[gruppo (matematica)|gruppo]]).

== Note ==

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

<references/>

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

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

==Bibliografia==

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

* {{cita libro | cognome= Reed | nome= Michael |coautori= Barry Simon | titolo= Methods of Modern Mathematical Physics, Vol. 1: Functional Analysis| editore= Academic press inc.| 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==

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>

* [[Iterazione di punto fisso]]

* [[Punto periodico]]

* [[Orbita (matematica)]]

* [[Teorema del punto fisso di Brouwer]]

* [[Teorema delle contrazioni]]

* [[Teorema di Sharkovsky]]

* [[Teoremi di punto fisso]]

== BibliografiaAltri progetti ==

{{reflistinterprogetto}}

==Collegamenti esterni==

* {{Collegamenti esterni}}

{{Controllo di autorità}}

{{Portale|matematica}}

[[Categoria:Punti fissi| Topologia]]

[[Categoria:Punti fissi| Topologia]]

[[ca:Punt fix]]

[[cs:Pevný bod]]

[[de:Fixpunkt (Mathematik)]]

[[en:Fixed point (mathematics)]]

[[fi:Kiintopiste (matematiikka)]]

[[fr:Point fixe]]

[[he:נקודת שבת]]

[[ja:不動点]]

[[nl:Dekpunt]]

[[pl:Punkt stały]]

[[pt:Ponto fixo]]

[[ru:Неподвижная точка]]

[[sr:Непокретна тачка]]

[[sv:Fixpunkt (matematik)]]

[[uk:Нерухома точка]]

[[ur:مستقل نقطہ]]

[[zh:不动点]]