Limiti di successioni

Ricordiamo che si chiama successione (numerica) una qualsiasi funzione a : n ∈ N → a (n) ∈ R. Per
evidenziare il fatto che i valori assunti dalla funzione a si possono numerare (cioè contare), si preferisce
la notazione an in luogo di a (n) e la successione stessa viene comunemente indicata con
(an )n≥0 oppure a0 , a1 , a2 , a3 , ... .
Si dice che a0 , a1 , a2 , ... sono i termini della successione e che an ne è il termine generale. È anche
ammesso che il dominio di a non sia tutto N, ma un insieme del tipo dom a = {n ∈ N : n ≥ n0 } per
qualche n0 ∈ N. In tal caso, la successione sarà indicata con (an )n≥n0 oppure an0 , an0 +1 , an0 +2 , ... .
In figura sono riportati i grafici di alcune successioni.

2n2 −1 √
an = 3n2 +1 an = n

√ √
an = n
n an = (−1)n n
Osserviamo che una successione (an )n≥n0 è spesso definita tramite un’espressione an = a (n) che può
essere valutata anche su numeri reali qualsiasi, cioè tale che a (x) esiste per ogni x ∈ [n0 , +∞). In tal caso,
an può essere vista come restrizione ad {n ∈ N : n ≥ n0 } della funzione a definita su tutto l’intervallo
[n0 , +∞) (v. prime tre figure). Tuttavia, va anche notato che ciò non è sempre possibile, in quanto
esistono operazioni che sono lecite sui naturali e non lo sono, invece, sui reali qualsiasi; ad esempio
1 se n = 0, 2, 4, ... (pari)
(−1)n =
−1 se n = 1, 3, 5, ... (dispari)
e
1 se n = 0
n! :=
n (n − 1) (n − 2) · · · 3 · 2 · 1 = n (n − 1)! se n ≥ 1
non hanno significato se n è una variabile reale qualsiasi.

1
2 M .GUIDA, S.ROLANDO

1. Limite di una successione

Nel definire la nozione di limite di una funzione f (x) per x → +∞, si è richiesto che la funzione sia definita
almeno in un intorno di +∞, per poterla valutare in valori di x arbitrariamente grandi. Tuttavia, affinché
ciò sia possibile, non è in effetti necessario che il dominio della funzione contenga tutto un intorno di
+∞, bensì basta che tale dominio sia superiormente illimitato (in modo che, non avendo maggioranti,
conterrà valori di x arbitrariamente grandi). Questa semplice osservazione consente di definire la nozione
di limite a +∞ anche per funzioni qualsiasi che abbiano dominio superiormente illimitato, riformulandola
in termini identici a quelli già visti:
(1.1) lim f (x) = ⇐⇒ ∀I ( ) , ∃N > 0, ∀x ∈ dom f, x > N ⇒ f (x) ∈ I ( ) .
x→+∞

(lo stesso si potrebbe ovviamente fare a −∞, chiedendo l’illimitatezza inferiore del dominio).
Tale definizione estesa di limite a +∞ comprende anche il caso delle successioni (an )n≥n0 , in quanto
funzioni a : dom a ⊂ R → an ∈ R con dominio dom a = {n ∈ N : n ≥ n0 } superiormente illimitato. La
definizione (1.1) diventa:
(1.2) lim an = ⇐⇒ ∀I ( ) , ∃N > 0, ∀n ≥ n0 , n > N ⇒ an ∈ I ( )
n→∞

dove

• si usa omettere il segno + davanti a +∞,

in quanto non ci sono valori diversi da +∞
a cui ha senso far tendere n.

• può come al solito essere un numero reale

(eventualmente + o − , come in figura),
oppure ±∞.

Poiché si richiede solo l’esistenza di almeno un N tale che la condizione “∀n ≥ n0 , n > N ⇒ an ∈ I ( )”
sia verificata, non è restrittivo supporre che:
• N > n0 (se la condizione vale con N allora vale anche con ogni N > N al posto di N ),
• N ∈ N (se la condizione vale con N ∈ / N allora vale anche con N = [N ] al posto di N ).
Dunque la (1.2) può essere riscritta più semplicemente come
lim an = ⇐⇒ ∀I ( ) , ∃N ∈ N, ∀n > N, an ∈ I ( ) ,
n→∞

che è la formulazione di definizione di limite a cui di solito si fa riferimento per le successioni.

Vediamone in dettaglio i vari casi, usando la seguente, efficace terminologia:
si dice che un predicato p (n) dipendente da una variabile n ∈ N vale definitivamente se
esiste un N ∈ N tale che p (n) vale per ogni n > N
(ad esempio, la proposizione 2n > 100 è vera definitivamente, perché equivale a n > log2 100 6.6439
ed è quindi vera per tutti gli n maggiori di N = [log2 100] = 6). Con tale terminologia, una successione
(an )n≥n0 è:
• convergente ad ∈ R ( lim an = ) se per ogni ε > 0 risulta
n→∞

|an − | < ε definitivamente (ossia ∃N ∈ N, ∀n > N, |an − | < ε);

• divergente a +∞ ( lim an = +∞) se per ogni M > 0 risulta
n→∞

an > M definitivamente (ossia ∃N ∈ N, ∀n > N, an > M );

• divergente a −∞ ( lim an = −∞) se per ogni M > 0 risulta
n→∞

an < −M definitivamente (ossia ∃N ∈ N, ∀n > N, an < −M );

• regolare se è convergente o divergente;
• irregolare (o oscillante o indeterminata) se non è regolare.
 SUCCESSIONI 3

I principi di equivalenza ed eliminazione che fanno intervenire i simboli di Landau e gli usuali teoremi
sui limiti valgono anche per le successioni, con poche modifiche; si rimanda alle Sezioni 4 e 5 per un breve
compendio di tali risultati.
Per il momento, osserviamo solo che, per il carattere locale del limite, se due successioni coincidono
definitivamente allora una è regolare se e solo se lo è l’altra e, in tal caso, le due successioni hanno lo
stesso limite. Di conseguenza, il carattere di una successione (cioè il suo essere convergente, divergente o
irregolare) ed il valore del suo limite, se esiste, non cambiano alterando un numero finito dei suoi termini.
Per questo motivo, l’indice iniziale n0 non è quasi mai rilevante e si usa spesso la notazione alleggerita
(an ) in luogo di (an )n≥n0 .

2. Successioni monotone
Poiché una successione è una funzione a valori in R con dominio in R, la ben nota definizione di monotonia
si applica ovviamente anche alle successioni; ad esempio, (an ) è monotona crescente se per ogni n, m si
ha n < m ⇒ an ≤ am . Tuttavia, nel caso delle successioni, la monotonia può essere equivalentemente
riformulata in modo più semplice, in accordo con il risultato seguente.
Proposizione 2.1. (an ) è monotona crescente (decrescente) se e solo se per ogni n si ha an ≤ an+1
(an ≥ an+1 ).
In altri termini, per controllare la monotonia di una successione, è sufficiente confrontarne il generico
termine con il successivo.
n!
Esempio 2.2. Si voglia verificare che an = , n ≥ 0, è definitivamente strettamente crescente. La
n+1
condizione an < an+1 significa
n! (n + 1)! n! (n + 1) n! 2
< , cioè < , cioè n + 2 < (n + 1) , cioè n2 + n > 1,
n+1 n+2 n+1 n+2
dove l’ultima condizione è falsa per n = 0, ma è vera per ogni n ≥ 1. Dunque risulta an < an+1
definitivamente.
Anche per le successioni la monotonia garantisce l’esistenza del limite ed è dunque una condizione
sufficiente di regolarità. Vale infatti il seguente:
Teorema 2.3. Se (an )n≥n0 è monotona, allora è regolare e si ha


 sup an se an è crescente
n≥n0
lim an = .
n→∞ 
 inf an se an è decrescente
n≥n0

Osserviamo esplicitamente che, grazie al carattere locale del limite, per garantire la regolarità di (an )n≥n0
è sufficiente che (an )n≥n0 sia monotona definitivamente.

3. Teorema di sostituzione
Considerando la composizione tra una successione e una funzione qualsiasi, si ottiene il seguente teorema
di sostituzione, del tutto analogo al teorema di sostituzione per funzioni di variabile reale qualsiasi.
Teorema 3.1. (di sostituzione). Sia lim an = c (finito o infinito) e sia f una qualsiasi funzione
n→∞
definita almeno in un intorno bucato di c (anche solo unilaterale se c = x±
0 ). Supponiamo inoltre che:

i) lim f (x) esista (finito o infinito)

x→c

ii) f sia continua in c (anche solo da un lato se c = x±

0 ) oppure si abbia an = c definitivamente.

Allora il limite della successione f (an ) esiste e risulta

lim f (an ) = lim f (x) .
n→∞ x→c
4 M .GUIDA, S.ROLANDO

Tra gli utilizzi del teorema precendente, segnaliamo le due seguenti, importanti conseguenze.
3.1. Criterio di non esistenza del limite. Il teorema di sostituzione fornisce una condizione necessaria
per l’esistenza del limite lim f (x), in quanto implica in particolare che:
x→c
se lim f (x) esiste (finito o infinito), allora deve essere lim f (an ) = lim f (x) per ogni suc-
x→c n→∞ x→c
cessione (an ) tale che an → c con an = c definitivamente.
Se ne deduce allora immediatamente il seguente:
Corollario 3.2. (sulla non esistenza del limite). Se esistono due successioni (an ) e (bn ) che tendono
entrambe a c restando definitivamente = c e tali che lim f (an ) = lim f (bn ), allora lim f (x) non esiste.
n→∞ n→∞ x→c

3.2. Calcolo di limiti. Il teorema di sostituzione ha ricadute utili nel calcolo di limiti di successioni, in
quanto mostra che, se una successione (an ) è definita tramite un’espressione an = a (n) che può essere
valutata in tutti gli x di un intorno di +∞, allora il calcolo del limite di an può essere ricondotto al
calcolo del limite di a (x) per x → +∞. Infatti, applicando il teorema di sostituzione alla successione
cn = n ed alla funzione f (x) = a (x), si ottiene il seguente:
Corollario 3.3. Se lim a (x) esiste (finito o infinito), allora risulta
x→+∞

(3.1) lim an = lim a (x) .

n→∞ x→+∞
2 2
Esempio 3.4. Per ogni n ≥ 3 sia an = 2n +n−3 2x +x−3
3n2 −12 , dove a (x) = 3x2 −12 ha senso anche per tutti gli x in
un intorno di +∞. Allora
2x2 + x − 3 2 2n2 + n − 3 2
lim 2
= ⇒ lim 2
= .
x→+∞ 3x − 12 3 n→∞ 3n − 12 3

√
Esempio 3.5. Per ogni n ≥ 1 sia an = n n, cioè an = n1/n . Siccome a (x) = x1/x ha senso anche per
tutti gli x in un intorno di +∞, si ha che
1 log x √
lim x x = lim e x = e0 = 1 ⇒ lim n n = 1.
x→+∞ x→+∞ n→∞

Un vantaggio di questo approccio sta ad esempio nel fatto che per il calcolo del limite di una funzione
di variabile reale qualsiasi si hanno a disposizione risultati che non valgono nel caso delle successioni,
come ad esempio la regola di de L’Hopital (già implicitamente usata nell’Esempio 3.5, per stabilire che
log x/x → 0 per x → +∞). Si faccia però estrema attenzione al fatto che, nel corollario precedente, la
(3.1) sussiste in generale solo se lim a (x) esiste (finito o infinito). Infatti
x→+∞
se lim a (x) non esiste, il limite lim a (n) può esistere o no.
x→+∞ n→∞
Ad esempio, il limite lim sin (πx) non esiste, ma si ha sin (πn) = 0 per ogni n e quindi lim sin (πn) = 0.
x→+∞ n→∞
Un altro inconveniente del corollario precedente sta nel fatto che una successione può essere definita
tramite operazioni sulla variabile naturale n che non hanno senso su una variabile reale qualsiasi x. In
tali situazioni, occorre utilizzare direttamente i teoremi sui limiti (v. Sezione 4) o i principi di equivalenza
ed eliminazione che fanno intervenire i simboli di Landau (v. Sezione 5).

4. Teoremi sulle successioni

In maniera del tutto analoga al caso delle funzioni di variabile reale qualsiasi, si dimostrano i seguenti
risultati.

Teorema (unicità del limite). lim an , se esiste, è unico.

n→∞

Teorema (carattere locale del limite). Se an = bn definitivamente, allora lim an esiste se e solo se
n→∞
lim bn esiste e, in tal caso, lim an = lim bn .
n→∞ n→∞ n→∞

Teorema (di limitatezza locale). Supponiamo lim an = . Allora an è limitata se ∈ R, inferior-

n→∞
mente limitata se = +∞, superiormente limitata se = −∞.
 SUCCESSIONI 5

Teorema (della permanenza del segno). Supponiamo che esista lim an = (finito o infinito).
n→∞
1) Se > 0, allora risulta an > 0 definitivamente. Analogamente se < 0.
2) Se an ≥ 0 definitivamente, allora risulta ≥ 0. Analogamente se an ≤ 0.

Teorema (algebra dei limiti). Supponiamo lim an = 1 e lim bn = 2 (finiti o infiniti). Allora
n→∞ n→∞

an 1
lim (an + bn ) = 1 + 2, lim an bn = 1 2,
= lim
n→∞ n→∞ bn 2n→∞

dove per l’ultimo limite si richiede che sia bn = 0 definitivamente e dove, se non definite in R, le operazioni
1 + 2 , 1 2 ed 1 / 2 sono da interpretarsi secondo le usuali convenzioni dell’algebra dei limiti.

Primo teorema del confronto. Supponiamo an ≤ bn definitivamente. Allora

lim an = 1 e lim bn = 2 finiti ⇒ 1 ≤ 2.
n→∞ n→∞

Secondo teorema del confronto (caso finito). Supponiamo an ≤ cn ≤ bn definitivamente. Allora

lim an = lim bn = ∈ R ⇒ lim cn = .
n→∞ n→∞ n→∞

Secondo teorema del confronto (caso infinito). Supponiamo an ≤ bn definitivamente. Allora

lim an = +∞ ⇒ lim bn = +∞ e lim bn = −∞ ⇒ lim an = −∞.
n→∞ n→∞ n→∞ n→∞

Proposizione (sul limite nullo). (an ) è infinitesima se e solo se (|an |) è infinitesima.

Proposizione. Se (an ) è limitata e (bn ) è infinitesima, allora (an bn ) è infinitesima.

(−1)n
(−1)n
Esempio 4.1. Calcolare lim n!, lim log (n!), lim e lim e log(n!) .
n→∞ n→∞ n→∞ log(n!) n→∞
• Poiché n! = n (n − 1) · · · 2 · 1 per ogni n ≥ 1 e ciascuno dei fattori da n − 1 fino ad 1 è ≥ 1, risulta
n! ≥ n · 1 · · · 1 = n → +∞ e quindi lim n! = +∞ per confronto.
n→∞
• Poiché il logaritmo è crescente, n! ≥ n implica log (n!) ≥ log n → +∞ e quindi lim log (n!) = +∞,
n→∞
di nuovo per confronto.
(−1)n
• Infine risulta lim = 0, in quanto
n→∞ log(n!)
n
(−1) 1
= (−1)n
log (n!) log (n!)
è il prodotto di una successione limitata ( |(−1)n | = |−1|n = 1 per ogni n ) per una infinitesima
1 1
( log(n!) → +∞ = 0 per il teorema sull’algebra dei limiti).
(−1)n
(−1)n
• Siccome lim = 0 e l’esponenziale è continua in 0, risulta lim e log(n!) = lim ex = 1 per il
n→∞ log(n!) n→∞ x→0
teorema di sostituzione.

5. Simboli di Landau
Richiamiamo brevemente le definizioni dei simboli di Landau e la loro applicazione al calcolo dei limiti,
nel caso delle successioni.
Definizione 5.1. (di equigrandezza). Diciamo che (an ) e (bn ) sono equigrandi (an bn ) se il limite
an
lim esiste finito e non nullo.
n→∞ bn

La nozione di equigrandezza esprime sostanzialmente il fatto che an e bn si comportano nello stesso

modo al limite: due successioni equigrandi, infatti, hanno lo stesso carattere e ciascuna è infinita o
infinitesima se e solo se lo è l’altra; in tal caso, inoltre, hanno lo stesso ordine di infinito o infinitesimo.
L’Esempio 3.4 mostra che le successioni 2n2 + n − 3 e 3n2 − 12 sono equigrandi.
6 M .GUIDA, S.ROLANDO

Definizione 5.2. (di equivalenza). Diciamo che (an ) e (bn ) sono equivalenti (an ∼ bn ) se
an
lim = 1.
n→∞ bn

L’equivalenza è ovviamente un caso particolare di equigrandezza e stabilisce, in più, che se an e bn

sono regolari allora tendono allo stesso limite. Le due nozioni di equivalenza ed equigrandezza sono legate
dalla relazione
an an
lim = finito non nullo ⇐⇒ lim = 1.
n→∞ bn n→∞ bn

Chiaramente ogni successione convergente ad un limite finito non nullo è equivalente al proprio √ limite
(che può essere visto come successione costante) e l’Esempio 3.5 stabilisce che la successione ( n n) è
equivalente alla costante 1.
Altri esempi di equivalenza possono ottenersi facendo riferimento ad equivalenze note per funzioni di
variabile reale qualsiasi: ogni combinazione lineare di potenze di n è equivalente al proprio addendo di
esponente massimo (brevemente a1 nr1 + a2 nr2 + ... + ak nrk ∼ ak nrk se ak = 0 ed rk = max {r1 , ..., rk }) e
1 1 1 1 1 1
(5.1) sin ∼ , en − 1 ∼ , log 1 + ∼ , ....
n n n n n
Può essere utile tenere presente che la relazione di equivalenza (come anche quella di equigrandezza) è
simmetrica (se an ∼ bn allora bn ∼ an ) e transitiva: se an ∼ bn e bn ∼ cn allora an ∼ cn . Ad esempio, le
(5.1) stabiliscono la seguente catena di equivalenze:
1 1 1 1
sin ∼ ∼ e n − 1 ∼ log 1 + .
n n n
Valgono inoltre le seguenti proprietà, di cui riportiamo anche le semplici verifiche.
an a
Proposizione 5.3. (i) Se an ∼ an e bn ∼ bn allora an bn ∼ an bn e ∼ n.
bn bn
(ii) Se an ∼ bn , allora aα
n ∼ bα
n per ogni α ∈ R per cui le potenze aα α
,
n nb hanno senso definitivamente.
√ √
n
(iii) Se an > 0, bn > 0 e an ∼ bn , allora n an ∼ bn .
an bn
Dimostrazione (i) Se lim = lim = 1, allora
n→∞ an n→∞ bn
an bn an bn an /bn an bn
lim = lim =1·1=1 e lim = lim = 1 · 1 = 1.
n→∞ an bn n→∞ an bn n→∞ an /bn n→∞ an bn
α
an aα an
(ii) Se lim = 1, allora lim αn = lim = 1α = 1.
n→∞ bn n→∞ bn n→∞ bn
√
n a
1
an n an n 1 an
(iii) Se lim = 1, allora lim √ = lim = lim e n log bn = e0 = 1.
n→∞ bn n→∞ n bn n→∞ bn n→∞

sin (1/n) 1 1 1
Esempio 5.4. 2
∼ − 3 per la proprietà (i), in quanto sin ∼ e 3 + n − 2n2 ∼ −2n2 .
3 + n − 2n 2n n n

Definizione 5.5. (di trascurabilità). Diciamo che (an ) è trascurabile rispetto a (bn ) (an = o (bn ))
se
an bn
lim =0 (o equivalentemente lim = ∞).
n→∞ bn n→∞ an

La nozione di trascurabilità di una successione rispetto ad un’altra implica ovviamente che le due
successioni non sono equigrandi e che quindi si comportano in modo diverso al limite. In particolare, se
sono entrambe infinite o infinitesime allora an = o (bn ) significa sostanzialmente che una delle due tende
al proprio limite più in fretta dell’altra:
• se sono entrambe infinitesime, allora an = o (bn ) significa che an tende a 0 più in fretta di bn (il
numeratore prevale nel rapporto);
• se sono entrambe infinite, allora an = o (bn ) significa che bn tende all’infinito più in fretta di an (il
denominatore prevale nel rapporto).
 SUCCESSIONI 7

Equivalenza e trascurabilità sono collegate dalla seguente, importante relazione:

an ∼ bn ⇐⇒ an = bn + o (bn )
1 1 1
(quindi, ad esempio, e − 1 ∼ n1 significa e n − 1 = n1 + o n1 , ossia e n = 1 + n1 + o n1 ).
n

È facile verificare che ogni successione limitata è trascurabile rispetto ad ogni successione infinita
(infatti, se an è limitata e bn è infinita, allora abnn = an b1n → 0). Valgono inoltre le seguenti proprietà, di
cui omettiamo le (semplici) verifiche, per brevità.
Proposizione 5.6. (i) o (an )±o (an ) = o (an ) (cioè la somma algebrica di due o (an ) è ancora un o (an )).
(ii) ∀λ = 0 si ha: o (λan ) = o (an ) e viceversa, λ · o (an ) = o (an ) e viceversa.
(iii) Se an = 0 definitivamente, allora an · o (bn ) = o (an bn ).
(iv) o (an ) · o (bn ) = o (an bn ).
(v) [o (an )]α = o (aα n ) per ogni α ∈ R per cui le potenze hanno senso definitivamente.

Le nozioni di equivalenza e trascurabilità sono utili nel calcolo dei limiti grazie ai seguenti risultati (di
facile verifica).
Principio di sostituzione con termini equivalenti. Se an ∼ an e bn ∼ bn allora
an a
lim an bn = lim an bn e lim = lim n
n→∞ n→∞ n→∞ bn n→∞ bn

(anche nel caso di non esistenza dei limiti).

Principio di eliminazione dei termini trascurabili. Per qualsiasi (an ) e (bn ) risulta
an + o (an ) an
lim (an + o (an ) ) (bn + o (bn ) ) = lim an bn e lim = lim
n→∞ n→∞ n→∞ bn + o (bn ) n→∞ bn

(anche nel caso di non esistenza dei limiti).

Esempio 5.7. Calcolare lim e1/n − 1 2n + log(n3 ) − cos(n!) .

n→∞
Per n → ∞, si ha 1/n → 0 e quindi e1/n − 1 ∼ 1/n. D’altra parte, risulta log(n3 ) = 3 log n = o (n) e
cos(n!) = o (n) (perché n è infinita e cos (n!) è limitata), per cui 2n + log(n3 ) − cos(n!) = 2n + o (n).
Dunque
1 1
lim e1/n − 1 2n + log(n3 ) − cos(n!) = lim (2n + o (n)) = lim 2n = 2.
n→∞ n→∞ n n→∞ n

Concludiamo riportando due risultati che si possono rivelare utili nell’applicazione dei due principi
precendenti.

5.1. Graduatoria di infiniti notevoli. Le successioni

(log n) , (nγ ) , (an ) , (n!) , (nn ) con γ > 0 e a > 1 fissati
divergono tutte positivamente e sono elencate in ordine crescente di velocità di divergenza. In altri
termini, ciascuna è trascurabile rispetto alla successiva:
log n = o (nγ ) , nγ = o (an ) , an = o (n!) , n! = o (nn ) .
en − n3
Esempio 5.8. Calcolare lim n .
n→∞ (−1) n3 − n!
Poiché
(−1)n n3 n3 o (n!)
lim = lim = lim = 0,
n→∞ n! n→∞ n! n→∞ n!
n 3
(−1) n
risulta lim = 0 e quindi (−1)n n3 = o (n!). Allora si ottiene
n→∞ n!
en − n3 en + o (en ) en en
lim n 3 = lim = lim = − lim = 0.
n→∞ (−1) n − n! n→∞ o (n!) − n! n→∞ −n! n→∞ n!
8 M .GUIDA, S.ROLANDO

5.2. Formule di Stirling. Valgono le seguenti equivalenze:

√
n! ∼ nn e−n 2πn e log (n!) ∼ n log n.
nn e−n nn e−n √1
Di conseguenza, risulta anche nn e−n = o (n!) (perché lim n! = lim n
√
n e−n 2πn
= lim 2πn
= 0).
n→∞ n→∞ n→∞

6. Sottosuccessioni
Sia n0 < n1 < n2 < ... una successione strettamente crescente a valori in N. Data una successione
qualsiasi a0 , a1 , a2 , a3 , a4 , a5 , a6 , ..., possiamo considerarne solo i termini di indici n0 , n1 , n2 , ...:
an0 , an1 , an2 , ...
La successione così ottenuta è detta sottosuccessione estratta da (an ). In sostanza, si tratta della
successione (ank ) ottenuta dalla composizione k → nk → ank delle successioni (nk ) ed (an ).
Esempio 6.1.
2
• Se nk = k2 e an = ne−n , allora la sottosuccessione (ank ) è data da ank = ak2 = k2 e−k .
• Data una successione (an )n≥0 qualsiasi, le sottosuccessioni (a2k )k≥0 e (a2k+1 )k≥0 sono le succes-
sioni costituite rispettivamente dai termini di indice pari e da quelli di indice dispari di (an ), cioè
a0 , a2 , a4 , ... e a1 , a3 , a5 , .... Ad esempio, se an = (−1)n , allora per ogni k risulta a2k = (−1)2k = 1
e a2k+1 = (−1)2k+1 = −1.

Il teorema seguente afferma che tutte le sottosuccessioni di una successione regolare sono esse stesse
regolari ed hanno lo stesso limite (finito o infinito) della successione da cui sono estratte.
Teorema 6.2. (sul limite di sottosuccessioni). Se (an ) è regolare, ogni sua sottosuccessione (ank ) è
ancora regolare e risulta
lim ank = lim an .
k→∞ n→∞

Fornendo una condizione necessaria di esistenza del limite per una successione, il teorema precedente
consente anche di individuare successioni irregolari: se una successione ammette due sottosuccessioni
che tendono a limiti diversi tra loro (finiti o infiniti), allora essa è irregolare. Più precisamente, vale il
seguente:

Corollario 6.3. (criterio di irregolarità di sottosuccessioni). Siano (ank ) e ank due sottosuc-
cessioni regolari di una successione (an ). Allora
lim ank = lim ank =⇒ lim an non esiste.
k→∞ k→∞ n→∞

Esempio 6.4.
• lim (−1)n non esiste, perché lim (−1)2k = 1 e lim (−1)2k+1 = −1.
n→∞ k→∞ k→∞
√ n
• lim (−1) n non esiste, perché
n→∞
√ √
lim (−1)2k 2k = lim 2k = +∞ e
k→∞ k→∞
√ √
lim (−1)2k+1 2k + 1 = lim − 2k + 1 = −∞.
k→∞ k→∞