teorema di unicità del limite di una successione

Benvenuti alla Lezione 15 del corso completo sulle Successioni Numeriche! 📐 Dopo aver introdotto nella lezione precedente il preludio concettuale e topologico, affrontiamo e dimostriamo in modo rigoroso uno dei cardini dell'Analisi Matematica 1: il TEOREMA DI UNICITÀ DEL LIMITE per successioni convergenti. Se una successione ammette limite finito L, tale valore di convergenza è UNICO. Non è possibile convergere a due valori reali distinti! In questo video vediamo passo dopo passo la classica DIMOSTRAZIONE PER ASSURDO: 1. Enunciato formale: definizione di convergenza con quantificatori logici e intorno lineare sferico aperto. 2. Ipotesi per assurdo: supponiamo che esistano due limiti distinti L1 ≠ L2. 3. Le due condizioni di convergenza: esistenza dei due indici soglia n1 e n2. 4. La scelta strategica di epsilon: ponendo epsilon = |L2 - L1| / 2 (metà della distanza tra i due candidati limiti). 5. Separazione degli intorni: dimostrazione del perché gli intorni aperti di L1 e L2 hanno INTERSEZIONE VUOTA. 6. La scelta dell'indice massimo: prendendo n = max(n1, n2), per ogni indice successivo le immagini dovrebbero appartenere contemporaneamente a entrambi gli intorni. 7. La contraddizione logica: un elemento appartenente a due insiemi deve stare nella loro intersezione, ma l'intersezione è l'insieme vuoto! 8. Conclusione: l'assurdità dimostra che il limite finito di una successione, se esiste, è rigorosamente unico. 📌 INDICE DEI CONTENUTI (TIMESTAMPS): 00:00 - Introduzione: il vuoto concettuale lasciato dalla mutua esclusione 00:30 - Enunciato del Teorema di Unicità del Limite per successioni convergenti 00:50 - Formalizzazione della convergenza con i quantificatori logici 01:55 - DIMOSTRAZIONE PER ASSURDO: ipotesi di due limiti distinti L1 ed L2 02:18 - Impostazione delle due definizioni di limite con le soglie n1 e n2 03:04 - La scelta cruciale di epsilon: metà della distanza |L2 - L1| / 2 04:05 - Analisi degli estremi degli intorni: estremo superiore di L1 ed inferiore di L2 04:40 - Perché gli intorni aperti risultano DISGIUNTI (intersezione vuota) 05:33 - Scelta dell'indice massimo tra n1 e n2 (sovrapposizione delle condizioni) 06:20 - Il paradosso: l'appartenenza contemporanea e l'intersezione 06:45 - LA CONTRADDIZIONE: le immagini cadono nell'insieme vuoto! 07:15 - Caduta dell'ipotesi per assurdo e validità del teorema 07:48 - Verdetto finale: il limite finito è rigorosamente unico 08:04 - Conclusioni e anticipazione sul prossimo teorema 🔔 Iscriviti al canale matematichiamo e attiva la campanella per seguire l'intero corso universitario di Analisi Matematica 1! 💬 Ti è chiara la necessità di scegliere intorni aperti per far sì che l'intersezione a metà strada risulti vuota? Scrivilo nei commenti! #AnalisiMatematica #Successioni #UnicitaDelLimite #Dimostrazione #Analisi1 #matematichiamo