Definizione e Notazione delle Successioni

Una successione numerica è semplicemente una funzione che prende numeri naturali e li trasforma in numeri reali. Pensala come una lista infinita di numeri ordinati: a₁, a₂, a₃, e così via.

La notazione più comune è {aₙ}ₙ∈ℕ, dove n rappresenta la posizione del termine nella sequenza. L'idea di limite di una successione è intuitiva: diciamo che una successione tende ad un valore a quando, man mano che n diventa grande, i termini aₙ si avvicinano sempre di più ad a.

La definizione formale dice che lim(n→∞) aₙ = a se, dato un qualsiasi intervallino piccolo attorno ad a (di ampiezza ε), tutti i termini della successione da un certo punto in poi stanno dentro questo intervallino.

💡 Ricorda: Il limite descrive il comportamento "a lungo termine" della successione, non quello dei primi termini!

Unicità del Limite e Limiti Infiniti

Il teorema di unicità è fondamentale: se una successione ha un limite, questo è unico. Non può tendere contemporaneamente a due valori diversi! La dimostrazione usa la disuguaglianza triangolare in modo elegante.

Quando parliamo di successioni infinitesime, intendiamo quelle che tendono a zero. Se aₙ → 0, scriviamo che {aₙ} è infinitesima.

Per i limiti infiniti, la logica cambia: diciamo che aₙ → +∞ se, dato un numero grande M, tutti i termini della successione da un certo punto in poi sono maggiori di M. Analogamente per -∞.

💡 Attenzione: Non puoi "staccare" i limiti di somme o prodotti se non sai già che esistono separatamente!

Successioni Limitate

Ecco un risultato super utile: se una successione converge a un limite finito, allora è necessariamente limitata. Questo significa che tutti i suoi termini stanno dentro un certo intervallo.

La dimostrazione è furba: sapendo che la successione converge ad a, prendiamo ε = 1. Questo ci garantisce che da un certo punto in poi tutti i termini stanno tra a-1 e a+1. I primi termini (quelli prima di questo punto) sono in numero finito, quindi possiamo trovare un limite superiore per tutti.

Una successione limitata è quella per cui esiste una costante c tale che |aₙ| ≤ c per ogni n. È importante capire che essere limitata non garantisce la convergenza, ma convergere a un limite finito garantisce di essere limitata.

💡 Ricorda: Limitata ⇐ Convergente, ma non vale il contrario!

Algebra dei Limiti Finiti

L'algebra dei limiti ti permette di calcolare limiti di espressioni complesse partendo da limiti più semplici. Se aₙ → a e bₙ → b, allora:

• aₙ + bₙ → a + b
• aₙ · bₙ → a · b
• aₙ/bₙ → a/b (se b ≠ 0)

Le dimostrazioni usano la definizione di limite con ε/2. Per la somma è facile: la distanza tra $aₙ + bₙ$ e $a + b$ è minore della somma delle singole distanze.

Per il prodotto serve il fatto che le successioni convergenti sono limitate. Per il quoziente, la parte delicata è controllare il denominatore: bisogna garantire che bₙ non si avvicini troppo a zero.

💡 Fondamentale: Queste regole valgono solo se i limiti esistono già!

Limiti Infiniti e Forme Indeterminate

L'algebra degli infiniti segue le regole intuitive: +∞ + ∞ = +∞, ma attenzione alle forme indeterminate! Queste sono espressioni il cui limite non si può determinare automaticamente:

• ∞ - ∞
• 0 · ∞
• ∞/∞
• 0/0

Il teorema del confronto (o permanenza del segno) dice che se aₙ → a con a > 0, allora da un certo punto in poi tutti i termini aₙ sono positivi. È logico: se la successione tende a un numero positivo, non può restare negativa per sempre!

Il corollario è altrettanto importante: se aₙ ≥ 0 per ogni n e aₙ → a, allora a ≥ 0. Non può essere a < 0 perché contraddirebbe il teorema precedente.

💡 Strategia: Quando incontri forme indeterminate, devi usare tecniche specifiche come confronti o sviluppi.

Teorema dei Carabinieri e Applicazioni

Il teorema dei carabinieri è uno strumento potentissimo: se hai tre successioni con aₙ ≤ cₙ ≤ bₙ e sia aₙ che bₙ tendono allo stesso limite a, allora anche cₙ → a. È come se cₙ fosse "schiacciata" tra le altre due.

Un'applicazione classica riguarda il prodotto di una successione limitata per una infinitesima: il risultato è sempre infinitesimo. Se |aₙ| ≤ c e εₙ → 0, allora aₙεₙ → 0.

Il lemma |aₙ| → 0 ⟺ aₙ → 0 è molto utile: per dimostrare che una successione tende a zero, puoi dimostrare che il suo valore assoluto tende a zero.

💡 Trucco: Quando una successione oscilla ma è "compressa" tra due limiti uguali, usa i carabinieri!

Limiti Notevoli e Criteri di Convergenza

I limiti notevoli sono risultati fondamentali che userai spesso:

• aⁿ → 0 se |a| < 1
• aⁿ → +∞ se a > 1
• ⁿ√a → 1 per ogni a > 0
• ⁿ√n → 1

Il criterio del rapporto è utilissimo per successioni con fattoriali o potenze: se aₙ₊₁/aₙ → L, allora aₙ → +∞ se L > 1 e aₙ → 0 se L < 1.

Il criterio della radice funziona similarmente: se ⁿ√|aₙ| → L, hai divergenza se L > 1 e convergenza a zero se L < 1.

💡 Quando usarli: Criterio del rapporto con fattoriali, criterio della radice con potenze di n.

Gerarchia degli Infiniti

Esiste una gerarchia degli infiniti che devi memorizzare: log(n) << nᵅ << βⁿ << n! << nⁿ

Questo significa che quando n → ∞:

• I logaritmi crescono più lentamente delle potenze
• Le potenze crescono più lentamente degli esponenziali
• I fattoriali crescono più lentamente di nⁿ

Per dimostrare questi risultati si usano spesso i criteri del rapporto e della radice visti prima.

Il criterio di Stoltz-Cesàro è una versione discreta della regola di L'Hôpital: se aₙ₊₁ - aₙ / bₙ₊₁ - bₙ → L, allora aₙ/bₙ → L (sotto certe condizioni).

💡 Pratico: Questa gerarchia ti aiuta a identificare subito il termine dominante in espressioni complesse.