Autorece8c0e
Genius
8 min. di lettura
Vota 5 / 5

Definizione

Una successione è una particolare funzione
[math]f : \mathbf{A} \to \mathbb{R}[/math]
, con
[math]\mathbf{A} \subseteq \mathbb{N}[/math]
, che ad ogni numero naturale
[math]n[/math]
fa corrispondere un ben determinato numero reale che si indica con
[math]a_n[/math]
. Perciò questa legge trasforma l'insieme numerico
[math]1,\,2,\,3,\,\dots,\,n[/math]
nell'insieme numerico
[math]a_1,\,a_2,\,a_3,\,\dots,\,a_n[/math]
, dove i numeri di quest'ultimo insieme si chiamano termini della successione e sono in corrispondenza biunivoca con i numeri naturali.

Generalità

Il termine
[math]a_n[/math]
si dice termine generale della successione e può essere dato o per elencazione successiva dei vari termini oppure dando la legge di trasformazione.
La successione
[math]-3,\,-6,\,-9,\,\dots[/math]
e la successione
[math]a_n = - 3\,n[/math]
rappresentano la stessa successione. Ogni successione come funzione
[math]a_n = f(n)[/math]
con dominio
[math]\mathbb{N}[/math]
e codominio
[math]\mathbb{R}[/math]
può essere rappresentata graficamente rispetto ad un sistema di assi cartesiani; il rispettivo grafico sarà formato dai punti di ascissa
[math]n[/math]
e ordinata
[math]a_n[/math]
e si troveranno nel I e/o IV quadrante.

Nota bene: la definizione di limite e i relativi teoremi sono validi anche per le successioni, trattandosi di particolari funzioni, ma, essendo

[math]+\infty[/math]
l'unico punto di accumulazione nell'insieme
[math]\mathbb{N}[/math]
, si può ovviamente calcolare solamente
[math]\begin{aligned} \lim_{n \to +\infty} a_n \end{aligned}[/math]
.

Successione convergente

Si dice che una successione
[math]a_n[/math]
ha per limite
[math]l[/math]
se, comunque venga scelto un numero
[math]\epsilon > 0[/math]
, esiste un intero
[math]n_0[/math]
, dipendente da
[math]\epsilon[/math]
, tale che per tutti gli
[math]n > n_0[/math]
sia
[math]|a_n - l| . Quando una successione ha per limite >div class="mathjax-container">[math]l[/math]
si dice che è convergente (o converge ad
[math]l[/math]
) e si scrive
[math]\begin{aligned} \lim_{n \to +\infty} a_n = l \end{aligned}[/math]
; essa è sempre una successione limitata.

Successione divergente

Si dice che una successione
[math]a_n[/math]
ha per limite
[math]\infty[/math]
se comunque venga scelto un numero
[math]M > 0[/math]
esiste un intero
[math]n_0[/math]
, dipendente da
[math]M[/math]
, tale che sia
[math]|a_n| > M[/math]
. Quando una successione ha per limite infinito si dice divergente e si scrive
[math]\begin{aligned} \lim_{n \to +\infty} a_n = \infty \end{aligned}[/math]
; nel caso risulti
[math]-\infty[/math]
deve essere
[math]a_n , mentre se risulta >div class="mathjax-container">[math]+\infty[/math]
deve essere
[math]a_n > M[/math]
.

Successione indeterminata

Una successione che non sia né convergente, né divergente si dice indeterminata od oscillante.

Successione monotòna

Una successione di numeri reali si dice monotòna se per
[math]\forall\,n \in \mathbb{N}_0\\[/math]
risulta:

i) non decrescente, cioè se

[math]a_n \le a_{n + 1}\\[/math]
;

ii) non crescente, cioè se

[math]a_n \ge a_{n + 1}\\[/math]
;

iii) crescente, cioè se

[math]a_n ;

iv) decrescente, cioè se

[math]a_n > a_{n + 1}\\[/math]
.

Nota bene: una successione monotòna ammette sempre un limite finito o infinito, ossia non risulta mai indeterminata.

Successioni di notevole importanza

i) Progressione aritmetica

Una progressione aritmetica è una successione di numeri reali

[math]a_n[/math]
per i quali è costante la differenza
[math]d[/math]
(ragione della progressione) fra un termine qualsiasi ed il suo precedente. Nel caso in cui
[math]d tale progressione è decrescente, mentre nel caso in cui >div class="mathjax-container">[math]d > 0[/math]
tale progressione è crescente.

Indicando con

[math]a_1[/math]
il primo termine della progressione, con
[math]n[/math]
il numero di termini, si ha che
[math]a_n[/math]
è il termine n-esimo,
[math]a_r[/math]
e
[math]a_s[/math]
due termini qualunque ed
[math]S_n[/math]
la somma dei primi
[math]n[/math]
termini. Quindi segue che
[math]a_n = a_1 + (n - 1)\,d[/math]
,
[math]a_s = a_r + (s - r)\,d[/math]
(con
[math]s > r[/math]
) ed
[math]S_n = \frac{a_1 + a_n}{2}\,n\\[/math]
.

ii) Progressione geometrica

Una progressione geometrica è una successione di numeri reali

[math]a_n[/math]
per i quali è costante il rapporto
[math]q[/math]
(ragione della progressione) fra un termine qualsiasi ed il suo precedente. Nei casi in cui
[math]q 0[/math]
oppure
[math]q > 1 \, \land \, a_n tale progressione è decrescente, mentre nei casi in cui >div class="mathjax-container">[math]q oppure >div class="mathjax-container">[math]q > 1 \, \land \, a_n > 0[/math]
tale progressione è crescente.

Indicando con

[math]a_1[/math]
il primo termine della progressione, con
[math]n[/math]
il numero di termini, si ha che
[math]a_n[/math]
è il termine n-esimo,
[math]a_r[/math]
e
[math]a_s[/math]
due termini qualunque ed
[math]S_n[/math]
la somma dei primi
[math]n[/math]
termini. Quindi segue che
[math]a_n = a_1\,q^{n - 1}[/math]
,
[math]a_s = a_r\,q^{s - r}[/math]
(con
[math]s > r[/math]
) ed
[math]S_n = a_1\,\frac{1 - q^n}{1 - q}\\[/math]
.

iii) Successione di Fibonacci

La successione di Fibonacci è una successione di numeri interi positivi

[math]F_n[/math]
in cui ciascun numero è la somma dei due precedenti e i primi due termini della successione sono per definizione pari all'unità:
[math]F_1 = 1[/math]
,
[math]F_2 = 1[/math]
,
[math]F_n = F_{n - 1} + F_{n - 2}[/math]
. I termini di questa successione, in onore del matematico che l'ha scoperta, sono detti numeri di Fibonacci.

Notando la seguente proprietà:

[math]\begin{aligned} \lim_{n \to +\infty} \frac{F_n}{F_{n - 1}} = \frac{1 + \sqrt{5}}{2} := \phi\end{aligned}[/math]
, ossia che tale limite è pari alla famosa sezione aurea, e ricordando che per
[math]\phi[/math]
valgono rispettivamente le relazioni
[math]\phi - 1 = \frac{1}{\phi}[/math]
e
[math]1 - \phi = - \frac{1}{\phi}[/math]
, si ha che l'n-esimo numero di Fibonacci si può esprimere tramite la formula
[math]F_n = \frac{\phi^n}{\sqrt{5}} - \frac{(1 - \phi)^n}{\sqrt{5}}[/math]
che semplificata porge
[math]F_n = \frac{\phi^n - (-\phi)^{-n}}{\sqrt{5}}[/math]
, nota come formula di Binet (che fu il primo matematico a dimostrarla).

Domande e risposte

Hai bisogno di aiuto?
Chiedi alla community