Visualizza wikitesto di Esistenza del limite per funzioni reali di variabile reale

{{navigazione lezione|materia1=Analisi matematica|corso1=Matematica|corso2=Informatica|corso3=Fisica}}
{{Risorsa|tipo=appunti|materia1=Analisi matematica |avanzamento= 100%}}

==Esistenza del limite==

Vediamo ora alcuni importanti criteri di esistenza del limite.

====Teorema (unicità del limite) ====
{{riquadro|border=1px solid blue|contenuto=
Siano <math>A\subseteq \mathbb{R}, x_0 \in D(A),\ f:A\to \mathbb{R}</math>. Sia poi <math>x_0</math> reale o <math>\pm \infty</math>. Se <math>f</math> ha limite per <math>x</math> che tende ad un fissato <math>x_0</math>, allora questo è unico.
}}

In altri termini, se una funzione ha due limiti (sempre con <math>x_0</math> fissato), allora necessariamente questi devono essere uguali. 
{{nota|contenuto=Quando vogliamo indicare che un numero reale <math>x</math> è reale oppure <math>\pm \infty</math>, scriviamo che <math>x \in \overline{\mathbb{R}}</math>, dove <math>\overline{\mathbb{R}} = \mathbb{R}\cup \pm \infty</math>.|larghezza=20%|titolo=Notazione}}
=====Dimostrazione=====
Ragioniamo per assurdo e supponiamo che esistano effettivamente due limiti <math>\lambda_1</math> e <math>\lambda_2</math> distinti. Se sono limiti distinti, distinti saranno anche i rispettivi intorni e dunque <math>I_{\lambda_1} \cap I_{\lambda_2} = \emptyset</math>.<br />
Per la definizione di limite si ha rispettivamente, considerando questi intorni disgiunti,
:<math>\exists H_1 \in \mathcal{I}_{x_0}\ : \ f(x) \in I_{\lambda_1},\ \forall x \in A\setminus \{x_0\} \cap H_1</math>
::<math>\exists H_2 \in \mathcal{I}_{x_0}\ : \ f(x) \in I_{\lambda_2},\ \forall x \in A\setminus \{x_0\} \cap H_2</math>
Ma allora 
:<math>f(x)\in I_{\lambda_1}\cap I_{\lambda_2},\ \forall x \in H_1\cap H_2 \cap A\setminus \{x_0\}</math>
e questo è impossibile, perché <math>x_0</math> è un punto di accumulazione e quindi <math>A\setminus \{x_0\} \cap H_1 \cap H_2 \neq \emptyset</math> anche <math>I_{\lambda_1}\cap I_{\lambda_2}\neq \emptyset</math>, contraddicendo l'ipotesi che erano disgiunti. Dunque si ha per forza che 
<div align="center"><math>\lambda_1=\lambda_2</math>.</div>{{endproof}}

----

È bene non farsi ingannare da alcuni metodi "meccanici" tipici dell'insegnamento delle scuole superiori (quali, ad esempio, calcolare il limite di una funzione che tende a <math>x_0</math> calcolando semplicemente il valore di <math>f(x_0)</math>...). Una cosa del genere è possibile (anche se priva di ogni senso, se fatta in questo modo meccanico...) soltanto in particolari casi di funzioni. Ma in generale, ciò potrebbe anche non avere alcun senso in quanto <math>x_0</math> potrebbe non essere nemmeno un punto del dominio della funzione!<br />
Vediamo ora una proposizione che ci dimostra quanto invece sia molto più importante il comportamento di una funzione in opportuni intorni.

====Proposizione ====
{{riquadro|border=1px solid blue|contenuto=
Sia <math>A\subseteq \mathbb{R}</math>, <math>f,g:A\to\mathbb{R}</math> ed <math>x_0 \in \overline{\mathbb{R}}</math> un punto di accumulazione di <math>A</math>.<br />
Se esiste un qualche intorno <math>H_0</math> di <math>x_0</math> tale che <math>f(x)=g(x),\ \forall x \in A\setminus\{x_0\}\cap H_o</math> ed esiste il limite per <math>x\to x_0</math> di <math>f(x)</math>, allora esiste anche il limite di <math>g(x)</math> (sempre per <math>x\to x_0</math>) e i due limiti sono uguali.
}}
=====Dimostrazione=====
Sia <math>\lambda</math> il limite di <math>f(x)</math> per <math>x\to x_0</math>. Per la definizione di limite si ha
:<math>\forall L \in \mathcal{I}_{\lambda}\exists H \in \mathcal{I}_{x_0}\ :\ f(x) \in L,\ \forall x \in \left(A\setminus \{x_0\} \right) \cap H</math>.
Ponendo <math>K=H_0 \cap H</math>, abbiamo che <math>f(x)=g(x)</math> per ogni <math>x</math> nell'intervallo <math>K</math> (se le due funzioni assumono gli stessi valori in <math>H_0</math>, continueranno a farlo nell'intersezione). 
Dunque
:<math>\forall L \in \mathcal{I}_{\lambda} \exists K \in \mathcal{I}_{x_0}\ :\ g(x) \in L,\ \forall x \in \left(A\setminus\{x_0\} \right)\cap K</math>.

Pertanto
<div align="center"><math>\lim_{x\to x_0}f(x)=\lambda=\lim_{x\to x_0} g(x)</math></div>
{{endproof}}

====Teorema (limite delle restrizioni) ====
{{riquadro|border=1px solid blue|contenuto=
Siano <math>B\subseteq A \subseteq \mathbb{R}</math>, <math>x_0</math> un punto di accumulazione di <math>A</math> e di <math>B</math>. Sia infine <math>f:A\to \mathbb{R}</math>.<br />
Allora, se esiste il limite di <math>f(x)</math>, esiste anche il limite di <math>f(x),\ x\in B</math> ed i due limiti coincidono.
}}
=====Dimostrazione=====
Sia <math>\lambda</math> il limite di <math>f(x)</math>. Sempre per la definizione di limite, abbiamo
:<math>\forall L \in \mathcal{I}_{\lambda}\exists H \in \mathcal{I}_{x_0}\ :\ f(x) \in L,\ \forall x \in \left(A\setminus \{x_0\} \right)\cap H</math>.
Ma <math>B\subseteq A</math> e dunque la definizione sopra vale a maggior ragione per <math>B</math>, dal momento che vale per ogni <math>x \in A</math> escluso <math>x_0</math> e <math>B \subseteq A</math>. In definitiva
<div align="center"><math>\forall L \in \mathcal{I}_{\lambda}\exists H \in \mathcal{I}_{x_0}\ :\ f(x) \in L,\ \forall x \in \left(B\setminus \{x_0\} \right)\cap H</math></div>
e dunque 
<div align="center"><math>\lim_{x\to x_0}f_{|_B}(x)=\lambda</math></div>
{{endproof}}

Concludiamo questa non certo leggera ma fondamentale lezione con un teorema molto importante che ci può aiutare a stabilire quando esiste il limite di una funzione.

====Teorema (esistenza del limite rispetto alle successioni convergenti)====
{{riquadro|border=1px solid blue|contenuto=
Siano <math>A \subseteq \mathbb{R}</math>, <math>x_0</math> un punto di accumulazione di <math>A</math>, <math>f:A \to \mathbb{R}</math>. Siano infine <math>\lambda,x_0 \in \overline{\mathbb{R}}</math>.<br />
Allora, esiste il limite di <math>f(x)</math> per <math>x \to x_0</math> ed è <math>\lambda</math> se e solo se, per ogni successione in <math>A \setminus \{x_0\}</math> convergente a <math>x_0</math>, <math>f(x_n) \to \lambda</math>.<br />
Formalizzando:
<div align="center"><math>\lim_{x \to x_0}f(x)=\lambda \Leftrightarrow \lim_{n \to +\infty}f(x_n)=\lambda,\ \forall (x_n)\in A\setminus \{x_0\}:x_n \to x_0</math>.</div>
}}
=====Dimostrazione=====
<math>\Rightarrow )</math> . Supponiamo <math>\lim_{x \to x_0}f(x)=\lambda</math> e consideriamo <math>(x_n)\to x_0</math> una successione convergente a <math>x_0</math> in <math>A \setminus \{x_0\}</math>.<br />
Confrontiamo ora le due definizioni, quella di limite di funzione e di limite di una successione:
:<math>\forall L \in \mathcal{I}_{\lambda}\exists H \in \mathcal{I}_{x_0}\ :\ f(x) \in L,\ \forall x \in \left(A \setminus \{x_0\}\right)\cap H</math>
:<math>\forall L' \in \mathcal{I}_{x_0} \exists m \in \mathbb{N}\ :\ x_n \in L',\ \forall n \in \mathbb{N}, n > m</math>

Siccome <math>(x_n)</math> è una successione in <math>a \setminus \{x_0\}</math>, ogni <math>x_n</math> appartiene ad <math>a \setminus \{x_0\}</math>. Inoltre, ogni <math>x_n</math> con <math>n > m</math> appartiene anche a <math>H</math> intorno di <math>x_0</math>, perché la successione converge ad <math>x_0</math> per ipotesi.<br />
Mettendo insieme le cose, <math>f(x_n) \in L,\ \forall n > m</math>. In definitiva:
<div align="center"><math>\forall L \in \mathcal{I}_{\lambda}\exists m\in \mathbb{N}\ :\ f(x_n)\in L,\ \forall n \in \mathbb{N},n>m</math>.</div>

<math>\Leftarrow )</math> . Supponiamo ora che <math>\lim_{n \to +\infty}f(x_n)=\lambda</math> per ogni successione <math>(x_n) \in A\setminus \{x_0\}</math> convergente ad <math>x_0</math>.<br />
Per assurdo, supponiamo che se si ha l'ipotesi, non accade che <math>\lim_{x \to x_0}f(x)=\lambda</math>. Allora, negando la definizione di limite, otteniamo:
:<math>\exists L \in \mathcal{I}_{\lambda}\ :\ \forall H \in \mathcal{I}_{x_0}\exists x \in \left(A\setminus \{x_0\}\right)\cap H\ :\ f(x)\not\in L</math>
cioè, per ogni intervallo di <math>x_0</math>, esiste almeno un <math>x \in \left(A\setminus \{x_0\}\right)</math> intersecato questo intervallo per cui si ha che <math>f(x)\not\in L</math>, per un qualche <math>L</math> intervallo del limite.<br />
Poniamo allora 
:<math>H_n = \begin{cases}\left]x_0-\frac{1}{n},x_0+\frac{1}{n}\right[,\ x_0 \in \mathbb{R} \\ \left]n,+\infty\right[,\ x_0 = +\infty\\ \left]-\infty,x_0\right[,\ x_0=-\infty\end{cases}</math>.
e
:<math>A_n=\left\{x \in \left(A\setminus \{x_0\}\right)\cap H \ :\ f(x)\not\in L\right\}</math>

Per la negazione della definizione di limite che abbiamo dato prima, <math>A_n \neq \emptyset,\ \forall n \in \mathbb{N}</math> ed è certamente contenuto in <math>A\setminus\{x_0\}</math>. Allora, per l'assioma della scelta, esiste una funzione <math>x:\mathbb{N}\to A\setminus\{x_0\}</math> tale che <math>x(n)\equiv x_n \in A_n</math>, per ogni <math>n \in \mathbb{N}</math>.<br />
Ma <math>(x_n)</math> è dunque una successione in <math>A \setminus \{x_0\}</math> tale che <math>x_n \in H_n</math> e <math>f(x_n)\not\in L</math> e conseguentemente <math>x_n \to x_0</math> ma <math>f(x_n)\not\to \lambda</math>.<br />
Questo contraddice la tesi.
{{endproof}}

{{ip}}

[[Categoria:Analisi matematica]]