Limite di una successione: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m Bot: fix citazione web (v. discussione) |
Nessun oggetto della modifica |
||
Riga 13:
== Definizioni ==
===Limite nella retta reale ===
Un [[numero reale]] <math> l </math> è il [[limite (matematica)|limite]] di una [[successione (matematica)|successione]] di numeri reali <math>\{a_n\} </math> se la distanza fra i numeri <math> a_n </math> ed <math> l </math>,
In altre parole, <math> l </math> è il limite della successione se
:<math>\lim_{n \to +\infty}a_n = l</math>
e si dice che la successione ''converge'' ad <math> l </math>.
Se <math> l=0 </math>, la successione è detta ''infinitesima''. Questa definizione chiarisce il fatto che l'espressione "infinitesima" non è appropriata per una grandezza ben determinata (anche se molto piccola), ma ha senso solo in riferimento ad una grandezza variabile. La definizione di limite può essere estesa al caso <math> l = + \infty </math> e <math> l= - \infty </math> nel modo seguente. La successione <math> \{a_n\} </math> ha limite <math>+\infty</math> se raggiunge e mantiene valori arbitrariamente alti, cioè se per ogni <math> M > 0 </math> esiste un [[numero naturale]] <math> N </math> tale che <math> a_n > M </math> per ogni <math> n > N </math>.
Line 30 ⟶ 32:
In uno [[spazio metrico]] <math>(X,d)</math>, dove <math>d</math> è la funzione [[Distanza (matematica)|distanza]], un punto <math> x </math> di <math> X </math> è il limite di una successione <math>\{x_n\}_n</math> se:
:<math>\forall\varepsilon>0
Questa definizione coincide in <math>\mathbb{R}</math> con quella descritta sopra, se <math>\R </math> è considerato con la usuale [[metrica euclidea]], definita da <math>d(a,b)=|a-b|</math>.
===Limite in spazi topologici===
In uno [[spazio topologico]] <math>(X,\
:<math>\forall V
== Proprietà di base ==
|