Limiti di sottosuccessioni

Home » Limiti di sottosuccessioni

Se una successione ha limite, cosa si può dire dei limiti di sue sottosuccessioni? In questo breve articolo esaminiamo il risultato che risponde a tale domanda, affermando che ogni estratta di una successione che ha limite possiede lo stesso limite.
Questo teorema è particolarmente importante nelle applicazioni in quanto viene spesso utilizzato come criterio per provare che una successione non ha limite: se infatti si esibiscono due sottosuccessioni che hanno limite diverso, allora per il risultato qui menzionato la successione di partenza non poteva avere limite.

Oltre alle raccolte di esercizi

consigliamo gli articoli sulla teoria delle successioni, in particolare i seguenti:

Buona lettura!

Autori e revisori

Leggi...

Autore: Luigi De Masi, Martina Moro.

Revisori: Valerio Brunetti, Sergio Fiorucci.

Teorema 1. Sia $\{a_n\}_{n \in \mathbb{N}}$ una successione avente limite $\ell \in \overline{\mathbb{R}}$ . Allora ogni sua estratta ha lo stesso limite.

Dimostrazione. Mostriamo preliminarmente che per ogni funzione

$\begin{equation*} \begin{split} &n\colon \mathbb{N}\to\mathbb{N}\\ &\,\quad k\mapsto n_k \end{split} \end{equation*}$

crescente di numeri naturali, si ha che

(1) $\begin{equation*} n_k\geq k\qquad\qquad\forall k\in\mathbb{N}. \end{equation*}$

Dimostriamo (1) usando il principio di induzione sui termini della successione $n_k$ :

Passo base ( $k=0$ ): si ha $n_k\geq 0$ perché per ipotesi $\{n_k\}$ è una successione di numeri naturali.
Passo induttivo: Supponiamo che l’affermazione sia vera per un certo $k$ , ovvero $n_k \geq k$ . Dobbiamo dimostrare che essa è valida anche per $k+1$ . Dall’ipotesi induttiva e dal fatto che $\{n_k\}$ è strettamente crescente, abbiamo che
$\begin{equation*} n_{k+1} > n_k \geq k \quad\Rightarrow\quad n_{k+1} > k \quad\Rightarrow\quad n_{k+1} \geq k + 1, \end{equation*}$

il che completa il passo induttivo e conferma la validità dell’asserzione per ogni $k$ .

Consideriamo adesso una sottosuccessione $\{a_{n_k}\}_{k \in \mathbb{N}}$ della successione $\{a_n\}$ e un intorno $I$ del limite $\ell$ .¹ Dato che la successione $\{a_n\}$ converge a $\ell$ , possiamo affermare l’esistenza di un $N \in \mathbb{N}$ tale che