# Analisi matematica I/Teoremi sulle successioni

Analisi matematica I
Copertina Tutti i moduli · Sviluppo
Principi di insiemistica e funzioni elementari
* Numeri naturali
* Numeri interi
* Numeri razionali
* Numeri reali
* Numeri reali (seconda parte)
* Numeri complessi
* Funzioni
* Funzioni circolari
* Funzioni radice, esponenziale e logaritmica
Le successioni e le serie numeriche in $\mathbb {R}$
* Successioni reali
* Limiti di successioni reali
* Teoremi sulle successioni
* Algebra dei limiti delle successioni
* Esistenza del limite di una successione
* Limiti inferiori e superiori
* Forme indeterminate di successioni
* Serie numeriche
Limiti di funzioni reali a una variabile reale
* Punti di accumulazione e chiusura di un insieme
* Compattezza di un insieme
* Definizione di limite per funzioni reali di variabile reale
* Esistenza del limite per funzioni reali di variabile reale
* Algebra dei limiti
* Teorema del confronto e teorema di Cauchy
Monotonia, continuità, massimi, minimi e uniforme continuità
* Analisi matematica I/Funzioni monotone
* Analisi matematica I/Funzioni continue reali di variabile reale
* Analisi matematica I/Massimi e minimi di una funzione continua
* Analisi matematica I/Funzioni uniformemente continue
Calcolo differenziale in $\mathbb {R}$ e studio di funzioni
* Analisi matematica I/Funzioni derivabili e derivata di una funzione
* Analisi matematica I/Algebra delle derivate
* Analisi matematica I/Teorema di Fermat, di Rolle, di Lagrange, di Cauchy
* Analisi matematica I/Test di monotonia, teorema Darboux, di De L'Hopital
* Analisi matematica I/Polinomi di Taylor
* Analisi matematica I/Studio di funzioni reali a valori reali
* Analisi matematica I/Funzioni convesse
Calcolo integrale secondo Riemann per funzioni reali di una variabile reale
* Analisi matematica I/Integrale di Riemann
* Analisi matematica I/Altri criteri di integrabilità secondo Riemann
* Analisi matematica I/Calcolo degli integrali di Riemann
* Analisi matematica I/Importanti teoremi del calcolo integrale
* Analisi matematica I/Integrale generalizzato
Successioni e serie di funzioni
* Analisi matematica I/Successioni di funzioni
* Analisi matematica I/Serie di funzioni
VECCHIO Elementi di base
* Gli insiemi e i vari tipi di insiemi
* Note storiche sugli insiemi
* I numeri reali
* I numeri complessi
* Sommatorie
* progressione geometrica
* fattoriale di n
* formula di Newton
* Potenze e radicali
* Esponenziali e logaritmi
* Insiemi infiniti
* Massimi e minimi
* Funzioni
Serie e successioni
* Successioni: definizione
* Limiti: definizione
* Successioni monotone
* Calcolo dei limiti
* Limite di successioni
* Il numero di Nepero (e)
* Confronti, stime asintotiche e gerarchia degli infiniti
* Limiti notevoli
* Serie numeriche: definizione
* Serie a termini non negativi
* Serie a termini di segno variabile
Funzioni di una variabile, limiti e continuità
* Limiti di funzioni da R a R
* Limiti di funzioni da R$^n$ a R$^m$
* Funzioni numeriche e generalità
* Grafico di una funzione
* Funzioni limitate
* Funzioni simmetriche, pari e dispari
* Funzioni monotone
* Funzioni periodiche
* Limiti, continuità, asintoti
* Funzioni elementari: funzioni potenza, esponenziali e logaritmiche, trigonometriche
* Funzioni composte e inverse (invertibili e non invertibili)
* Funzioni trigonometriche inverse
Calcolo differenziale per funzioni di una variabile
* Introduzione
* Il rapporto incrementale
* Derivata di una funzione: derivata e retta tangente; derivate di funzioni elementari; punti angolosi, cuspidi, flessi a tangente verticale
* Regole di calcolo delle derivate: algebra delle derivate; derivate di una funzione composta; derivata di funzione inversa
* Le derivate fondamentali
* Il teorema del valor medio e le sue conseguenze: punti stazionari, massimi e minimi locali; teorema del valor medio e test di monotonia;
* Il teorema di de L’Hospital
* Calcolo differenziale e approssimazioni: differenziale e approssimazione lineare
* o piccolo
* Significato geometrico della derivata seconda, derivata seconda, concavità e convessità
* Formula di Taylor del secondo ordine & formula di Taylor di ordine n
* Studio del grafico di una funzione
Calcolo integrale per funzioni di una variabile
* Proprietà dell'integrale
* Il teorema fondamentale del calcolo integrale
* Metodo di ricerca della primitiva
* Calcolo di integrali indefiniti e definiti: integrali immediati, per scomposizione e per sostituzione; integrazione per parti
* Funzioni integrabili
* integrali generalizzati: integrali di funzioni discontinue
* Integrazione di funzioni non limitate
* Criteri di integrabilità al finito
* Integrazione su intervalli illimitati
* Criteri di integrabilità all’infinito
* Ricerca delle primitive per alcune classi di funzioni: integrazione di una funzione razionale
* Integrazione delle funzioni trigonometriche
Modifica il sommario

#### Corollario

Siano $(a_{n}),\ (b_{n})$ due successioni convergenti a $\lambda$ e $\mu$. Allora:
(i) se $\lambda <\mu \Rightarrow \ \exists m\in \mathbb {N} \ :\ a_{n}<b_{n},\ \forall n>m$
(ii) se $a_{n}<b_{n},\ \forall n\in \mathbb {N} \Rightarrow \ \lambda \leq \mu$

##### Dimostrazione

Dimostriamo la prima implicazione. Per l'algebra delle successioni si ha che $b_{n}-a_{n}\to \mu -\lambda >0$ e per il Teorema della permanenza del segno anche $b_{n}-a_{n}>0,\ \forall n>m$ e dunque $a_{n}<b_{n}$.
Proviamo ora la seconda affermazione ragionando per assurdo. Se $\lambda >\mu$ avremmo, per il punto (i), che esiste un $m\in \mathbb {N}$ tale che $a_{n}>b_{n},\ \forall n\in \mathbb {N} ,n>m$ ma questo contraddice l'ipotesi e l'asserto è così provato.
$\Box$

#### Teorema (dei due carabinieri o del confronto)

Siano $(a_{n}),\ (b_{n}),\ (c_{n})$ successioni tali che
$a_{n}\leq c_{n}\leq b_{n},\ \ \forall n\in \mathbb {N}$
Supponiamo inoltre che $(a_{n})$ e $(b_{n})$ convergano a $\lambda \in \mathbb {R}$. Allora anche
$\lim _{n\to \infty }c_{n}=\lambda$
Il Teorema si chiama anche "dei due carabinieri" non a caso; infatti intuitivamente è come se il limite di $c_{n}$ rimanga intrappolato tra i due "carabinieri" $\lambda$, cioè un qualcosa di tipo
${\begin{matrix}a_{n}&&c_{n}&&b_{n}\\\downarrow &&&&\downarrow \\\lambda &\Rightarrow &\downarrow &\Leftarrow &\lambda \\&&\lambda &&\end{matrix}}$

##### Dimostrazione

Per ipotesi $(a_{n})$ e $(b_{n})$ convergono a $\lambda$, dunque
$\forall \varepsilon >0\ \exists m'\in \mathbb {N} \ :\ \lambda -\varepsilon <a_{n}<\lambda +\varepsilon ,\ \forall n\in \mathbb {N} ,n>m'$
$\forall \varepsilon >0\ \exists m''\in \mathbb {N} \ :\ \lambda -\varepsilon <b_{n}<\lambda +\varepsilon ,\ \forall n\in \mathbb {N} ,n>m''$
Se $n>\max\{m',m''\}$, si ha che $\lambda -\varepsilon <a_{n}\leq b_{n}<\lambda +\varepsilon$, ma sappiamo che in mezzo alle due successioni ci sono i $c_{n}$ e vale per tutti gli $n\in \mathbb {N}$.
Dunque $\lambda -\varepsilon <a_{n}\leq c_{n}\leq b_{n}<\lambda +\varepsilon$ e posto $m=\max\{m',m''\}$ si ha
$\forall \varepsilon >0\ \exists m\in \mathbb {N} \ :\ \lambda -\varepsilon <c_{n}<\lambda +\varepsilon ,\ \forall n\in \mathbb {N} ,n>m$
e dunque converge.
$\Box$

#### Teorema del Carabiniere Isolato

Siano $(a_{n}),\ (b_{n})$ successioni tali che $a_{n}\leq b_{n},\ \ \forall n\in \mathbb {N}$.
    1) Se $\lim _{n\to \infty }a_{n}=+\infty$ allora $\exists \lim _{n\to \infty }b_{n}=+\infty$.
    2) Se $\lim _{n\to \infty }b_{n}=-\infty$ allora $\exists \lim _{n\to \infty }a_{n}=-\infty$.
Questo Teorema è molto simile a quello precedente, ma in questo caso la successione rimane intrappolata tra il "carabiniere" e un muro, rappresentato da $\pm \infty$, oltre il quale non si può andare.
Bisogna però prestare attenzione ad usare il teorema nel verso giusto, infatti supponendo che $a_{n}\leq b_{n},\ \forall n\in \mathbb {N}$ se abbiamo $\lim _{n\to \infty }a_{n}=-\infty$ nulla si può dire del limite di $(b_{n})$ e viceversa se $\lim _{n\to \infty }b_{n}=+\infty$, nulla si può dire del limite di $(a_{n})$.
$\Box$

#### Teorema (del confronto per successioni divergenti)

Siano $(a_{n}),\ (b_{n})$ due successioni e $(a_{n})\to +\infty ,\ \forall n\in \mathbb {N}$. Se $a_{n}\leq b_{n},\ \forall n\in \mathbb {N}$ si ha che anche $(b_{n})\to +\infty$ cioè $(a_{n})$, che va all'infinito ed è minore di $(b_{n})$, "spinge" anche $(b_{n})$ all'infinito insieme ad essa.
Analgamente l'inverso, cioè se $a_{n}\leq b_{n},\ \forall n\in \mathbb {N}$ e $(b_{n})$ diverge negativamente, spinge $(a_{n})$ a $-\infty$.

##### Dimostrazione

$\lim _{n\to \infty }a_{n}=+\infty \Leftrightarrow \forall k\in \mathbb {R} \exists m\in \mathbb {N} \ :\ a_{n}>k,\ \forall n\in \mathbb {N} ,n>m$. Se $b_{n}\geq a_{n}$ per tutti gli $n\in \mathbb {N}$ e $a_{n}>k$ sempre per tutti gli $n$, certamente anche ogni $b_{n}$ è maggiore di $k$ e dunque anch'essa tende a $+\infty$.
In modo identico si prova la seconda affermazione.
$\Box$

## Successioni limitate

Sia $(a_{n})$ una successione reale. Diciamo che $(a_{n})$ è
* superiormente limitata se $\exists m\in \mathbb {R} \ :\ a_{n}\leq m,\ \forall n\in \mathbb {N}$
* inferiormente limitata se $\exists m\in \mathbb {R} \ :\ m\leq a_{n},\ \forall n\in \mathbb {N}$
Se la successione è sia inferiormente che superiormente limitata, essa si dice semplicemente limitata e notiamo che $(a_{n})$ è limitata se e solo se $|a_{n}|\leq m,\ \forall n\in \mathbb {N}$, cioè se e solo se $-m\leq a_{n}\leq m\ \forall n\in \mathbb {N}$.

#### Teorema (limitatezza delle successioni convergenti)

Ogni successione convergente è limitata.

##### Dimostrazione

Prendiamo in esame una generica successione $\{a_{n}\}_{n\in \mathbb {N} }$ e supponiamo che essa risulti convergente, ciò implica che $a_{n}\to A\in \mathbb {R}$ quando $n\to +\infty$, o scritto in modo più formale:
$\forall \varepsilon >0$
$\exists N(\varepsilon )\in \mathbb {N}$
$\forall n>N$
$|a_{n}-A|<\varepsilon$
Detto questo:
$|a_{n}|=|a_{n}-A+A|\leq |a_{n}-A|+|A|$
Per ipotesi possiamo trovare $N\in \mathbb {R}$ tale che $|a_{n}-A|<\varepsilon ,\forall n>N$ pertanto:
$|a_{n}|<\varepsilon +|A|,\forall n>N$
possiamo concludere che
$|a_{n}|<M\,\!$
$M:=\max\{|a_{1}|,|a_{2}|,...,|a_{N}|,\varepsilon +|A|\}$
$\Box$
Chiamiamo infinitesima una successione $(a_{n})$ convergente a $0$, cioè se $\lim _{n\to \infty }(a_{n})=0$.

#### Proposizione

Se $(a_{n})$ è infinitesima e $(b_{n})$ è limitata, $(a_{n}b_{n})$ infinitesima.
In altri termini, il prodotto tra una successione infinitesima e un'altra limitata genere una successione infinitesima.

##### Dimostrazione

Siccome $(b_{n})$ è limitata per ipotesi, esiste un $m\ :\ |b_{n}|\leq m,\ \forall n\in \mathbb {N}$. Dunque $0\leq |a_{n}b_{n}|\leq m|a_{n}|,\ \forall n\in \mathbb {N}$. Ma $(a_{n})$ tende a $0$ e dunque anche $m|a_{n}|$ tende a $0$.
La successione $|a_{n}b_{n}|$ è intrappolata tra due successioni che tendono a $0$ dunque, per il Teorema dei carabinieri, $|a_{n}b_{n}|\to 0$ e quindi è infinitesima.
$\Box$

## Successioni di Cauchy

Sia $(a_{n})$ una successione reale. $(a_{n})$ si dice che è una successione di Cauchy se
$\forall \varepsilon >0\ \exists p\in \mathbb {N} \ :\ |a_{n}-a_{m}|<\varepsilon ,\ \forall n,m\in \mathbb {N} ,\ n,m>p$
In altri termini, una successione si dice di Cauchy se i suoi termini sono vicini tra loro quanto tanto si vuole, purché gli indici siano abbastanza grandi.

#### Proposizione

Una successione è convergente se e solo se è una successione di Cauchy.

##### Dimostrazione

Sia $(a_{n})$ convergente a $\lambda$. Dunque, per la definizione di limite di una successione, si ha:
$\forall \varepsilon >0\ \exists p\in \mathbb {N} \ :\ |a_{n}-\lambda |<\varepsilon ,\ \forall n\in \mathbb {N} ,n>p$
Ora un trucchetto: se è vera la (*), allora varrà anche se al posto di $\varepsilon$ prendo ${\frac {\varepsilon }{2}}$, tanto $\varepsilon$ è un numero del tutto arbitrario. Allora consideriamo ora
$\forall \varepsilon >0\ \exists p\in \mathbb {N} \ :\ |a_{n}-\lambda |<{\frac {\varepsilon }{2}},\ \forall n\in \mathbb {N} ,n>p$
Dunque
$|a_{n}-a_{m}|\leq |a_{n}-\lambda |+|\lambda -a_{m}|<{\frac {\varepsilon }{2}}+{\frac {\varepsilon }{2}}=\varepsilon$
ed infine
$|a_{n}-a_{m}|<\varepsilon$
e questo prova la proposizione.
$\Box$

#### Teorema (completezza sequenziale di $\mathbb {R}$)

Se $(a_{n})$ è una successione reale di Cauchy, allora è convergente.

##### Dimostrazione

Dobbiamo provare che esiste $\lim _{n\to \infty }a_{n}=\lambda \in \mathbb {R}$. Consideriamo una successione di Cauchy $(a_{n})$. Abbiamo che $\forall \varepsilon >0\exists p\in \mathbb {N} \ :\ |a_{n}-a_{m}|<{\frac {\varepsilon }{2}},\ \forall n\in \mathbb {N} ,n>p$.
Fissiamo ora un numero $k\in \mathbb {R}$ e otteniamo $|a_{n}-a_{m}|<k,\ \forall n,m\in \mathbb {N} ,\ n,m>p$. Allora
$|a_{n}|\leq |a_{n}-a_{p+1}|+|a_{p+1}|<k+|a_{p+1}|$
e dunque, per ogni $n$ si ha che
$|a_{n}|\leq \max\{|a_{1}|,\dots ,|a_{p}|,k+|a_{p+1}|\}$
dunque $(a_{n})$ è limitata e per il Teorema di Bolzano-Weierstrass, esiste una sottosuccessione di $(a_{n})$ $(a_{k_{n}})$ convergente a $\lambda \in \mathbb {R}$. Dunque $\forall \varepsilon >0\exists p_{1}\ :\ |a_{k_{n}}-\lambda |<{\frac {\varepsilon }{2}},\ \forall n\in \mathbb {N} ,n>p_{1}$. Poniamo poi $P=\max\{p,p_{1}\}$ e se $n>P$ (e dunque $k_{n}>P$ perché $k_{n}\geq P$) abbiamo
$|a_{n}-\lambda |\leq |a_{n}-a_{k_{n}}|+|a_{k_{n}}-\lambda |<{\frac {\varepsilon }{2}}+{\frac {\varepsilon }{2}}=\varepsilon$
Dunque $(a_{n})$ converge a $\lambda$.
$\Box$