Proprietà dei limiti finiti
1) Teorema dell’unicità
Il limite quando esiste è unico, ovvero: una funzione non
può assumere al limite due diversi valori. Tanto più si va a restringere l’intervallo di
valori intorno al valore limite, tanto più questo diventa piccolo, ma resta sempre
uno e uno solo, non si divide in due intervalli (e quindi valori) diversi.
( )=¿ ( )=¿
f x l f x l
1 2 <l
l
Prendiamo due limiti: e con .
¿ ¿
lim lim 1 2
x→ x x→ x
0 0
Questi due limiti sono diversi e la distanza tra loro sarà il modulo della differenza:
| |
¿ −l
l 1 2 ε
Se ora prendiamo un ε minore di questa distanza (per esempio minore della
| |
< −l /2
ε l
metà della distanza, ) l’intervallo non può contenere entrambi i limiti e
1 2
quindi non può esistere il limite. Ovvero è impossibile avere contemporaneamente:
| | | |
( )−l ( )−l l
< <
f x ε f x ε ε
e perché non può coprire simultaneamente 1
1 2
l ε
e (la loro distanza è maggiore di ).
2
2) Secondo teorema
( )=¿ ( ) ∈
=¿
f x l g x l l , l R
1 2 1 2
Se esistono i limiti finiti e
¿ ¿
lim lim
x→ x x→ x
0 0
allora esiste il limite, finito, della funzione somma (o differenza):
( ) + +l
f x g( x)=¿ l 1 2
¿
lim
x→ x 0
( )−g( )=¿ −l
f x x l 1 2
¿
lim
x → x 0
3) Terzo teorema
( )=¿ ( ) ∈
=¿
f x l g x l l , l R
1 2 1 2
Se esistono i limiti finiti e
¿ ¿
lim lim
x→ x x→ x
0 0
allora esiste il limite, finito, della funzione prodotto:
( ) )=¿
f x ∙ g(x l ∙ l
1 2
¿
lim
x → x
0
Proprietà dei limiti finiti
Teorema dell’unicità del limite.
Il limite quando esiste è unico.
Dimostrazione: supponiamo che
Dalla definizione di limite abbiamo
Possiamo scegliere
Ma questo implicherebbe che la funzione assume valori in due intervalli diversi e disgiunti, e ciò non è possibile (va contro la definizione stessa di funzione che ad ogni valore di
Secondo teorema.
Se esistono i limiti finiti
Terzo teorema.
Se esistono i limiti finiti
e che, qualunque sia l’esponente:
Quarto teorema.
Se esistono i limiti finiti
Quinto teorema.
Se esiste il limite finito
Alcune osservazioni sul limite del quoziente
Se esiste il limite finito: