Dimostrazione

del teorema sull’algebra

dei limiti nel caso
di limiti finiti
Presentiamo la dimostrazione del Teorema 7 (che ripetiamo per comodità qui sotto).
Prima di iniziare, ricordiamo alcune proprietà dei valori assoluti che utilizzeremo ri-
petutamente:
jx þ yj
jxj þ jyj per ogni x 2 R, y 2 R Disuguaglianza triangolare

jxyj ¼ jxjjyj per ogni x 2 R, y 2 R

 
x
  ¼ jxj per ogni x 2 R, y 2 R0
y jyj

TEOREMA 7 | Algebra dei limiti, nel caso di limiti finiti

Supponiamo che le due funzioni f e g siano entrambe definite in un intorno di x0 ,
eccetto al più x0 , e che sia:
lim f ðxÞ ¼ l1 e lim gðxÞ ¼ l2
x!x0 x!x0

dove l1 2 R, l2 2 R e x0 2 R . Allora risulta:

a. lim ðf ðxÞ þ gðxÞÞ ¼ l1 þ l2
x!x0

b. lim ðf ðxÞ  gðxÞÞ ¼ l1  l2

x!x0

c. lim ðk  f ðxÞÞ ¼ k  l1 per ogni k 2 R

x!x0

d. lim ðf ðxÞ  gðxÞÞ ¼ l1  l2

x!x0
f ðxÞ l1
e. lim ¼ se l2 6¼ 0
x!x0 gðxÞ l2

app_dim_teo_alg_lim_pe
DIMOSTRAZIONE
Osserviamo preliminarmente che per dimostrare il teorema è sufficiente dimo-
strare la a, la d e la e: infatti la c è chiaramente un caso particolare della d e la b
segue da a e da c osservando che f ðxÞ  gðxÞ ¼ f ðxÞ þ ½1  gðxÞ.
1. Dimostriamo che lim ð f ðxÞ þ gðxÞÞ ¼ l1 þ l2
x!x0
 Poiché lim f ðxÞ ¼ l1 , per ogni e > 0 esiste un intorno I1 di x0 tale che:
x!x0
jf ðxÞ  l1 j < e per ogni x 2 I1 , con x 6¼ x0 [1]
F De Agostini Scuola SpA

 Analogamente, poiché lim gðxÞ ¼ l2 , esiste un intorno I2 di x0 tale che:

x!x0
jgðxÞ  l2 j < e per ogni x 2 I2 , con x 6¼ x0 [2]

 Allora per ogni x 2 I1 \ I2 (con x 6¼ x0 Þ risulta:

jf ðxÞ þ gðxÞ  l1  l2 j ¼
¼ jðf ðxÞ  l1 Þ þ ðgðxÞ  l2 Þj
jf ðxÞ  l1 jþ jgðxÞ  l2 j < 2e
" "
Disuguaglianza triangolare [1] e [2]

1/3
Dimostrazione del teorema sull’algebra dei limiti nel caso di limiti finiti
 Per ogni e > 0 abbiamo trovato un intorno di x0 , I1 \ I2 , per ogni x del quale
(eccetto al più x0 Þ i valori assunti dalla funzione f þ g si discostano da l1 þ l2
per una quantità arbitrariamente piccola (infatti 2e è arbitrario tanto quanto
eÞ. Pertanto, per x ! x0 la funzione f þ g tende a l1 þ l2 .

2. Dimostriamo che lim ðf ðxÞ  gðxÞÞ ¼ l1  l2

x!x0
 Poiché lim f ðxÞ ¼ l1 , per ogni e > 0, esiste un intorno I1 di x0 tale che:
x!x0
jf ðxÞ  l1 j < e per ogni x 2 I1 , con x 6¼ x0 [3]

 Poiché lim gðxÞ ¼ l2 , esiste anche un intorno I2 di x0 tale che

x!x0
jgðxÞ  l2 j < e per ogni x 2 I2 , con x 6¼ x0 [4]

 Sempre dal fatto che lim gðxÞ ¼ l2 , segue che esiste un intorno I3 di x0 tale
x!x0
che:
jgðxÞ  l2 j < 1 per ogni x 2 I3 , con x 6¼ x0 [5]

In tale intorno, per la disuguaglianza triangolare sarà anche:

jgðxÞj ¼ jgðxÞ  l2 þ l2 j
jgðxÞ  l2 j þ jl2 j < 1 þ jl2 j [6]

 Allora per ogni x 2 I1 \ I2 \ I3 (con x 6¼ x0 Þ risulta:

jf ðxÞ  gðxÞ  l1  l2 j ¼ jf ðxÞ  gðxÞ þ l1  gðxÞ  l1  gðxÞ  l1  l2 j ¼
Sommando e sottraendo l1  gðxÞ
¼ jgðxÞ  ðf ðxÞ  l1 Þ þ l1 ðgðxÞ  l2 Þj
Raccogliendo parzialmente

jgðxÞj  jf ðxÞ  l1 j þ jl1 j  jgðxÞ  l2 Þj < Disuguaglianza triangolare e

proprietà dei valori assoluti
< ð1 þ jl2 jÞe þ jl1 je ¼ eð1 þ jl1 j þ jl2 jÞ Per le [3], [4], [6]

 Per ogni e > 0 abbiamo trovato un intorno di x0 , I1 \ I2 \ I3 , per ogni x del

quale (eccetto al più x0 Þ i valori assunti dalla funzione f  g si discostano da
l1  l2 per una quantità arbitrariamente piccola (osserva infatti che
eð1 þ jl1 j þ jl2 jÞ è arbitrario tanto quanto e, poiché 1 þ jl1 j þ jl2 j è una costan-
te). Pertanto, per x ! x0 la funzione f  g tende a l1  l2 .

f ðxÞ l1
3. Dimostriamo che lim ¼ , se l2 6¼ 0
x!x0 gðxÞ l2
1 1
 Osserviamo che è sufficiente mostrare che lim ¼ . Dimostrato ciò,
x!x0 gðxÞ l2
app_dim_teo_alg_lim_pe
f ðxÞ 1
la tesi segue osservando che lim ¼ lim f ðxÞ  e applicando il
x!x0 gðxÞ x!x0 gðxÞ
punto d.

 Per ogni e > 0, poiché lim gðxÞ ¼ l2 , esiste un intorno I1 di x0 tale che:
x!x0
jgðxÞ  l2 j < e per ogni x 2 I1 , con x 6¼ x0 [7]

 Sempre dal fatto che lim gðxÞ ¼ l2 , segue che esiste un intorno I2 di x0 tale
x!x0
che:
F De Agostini Scuola SpA

jl2 j
jgðxÞ  l2 j < per ogni x 2 I2 , con x 6¼ x0
2
In tale intorno, per la disuguaglianza triangolare sarà anche:
jl2 j
jl2 j ¼ jl2  gðxÞ þ gðxÞj
jl2  gðxÞj þ jgðxÞj < þ jgðxÞj
2
jl2 j
quindi: jgðxÞj > [8]
2
2/3
 Dimostrazione del teorema sull’algebra dei limiti nel caso di limiti finiti

 Allora, per ogni x 2 I1 \ I2 (con x 6¼ x0 Þ risulta:

 
 1 1  jl2  gðxÞj e 2e
 
 gðxÞ  l  ¼ jl  gðxÞj < jl2 j
¼ 2
l2
Abbiamo utilizzato le proprietà
2 2 dei valori assoluti, la [7] e la [8]
jl2 j
2
 Per ogni e > 0 abbiamo trovato un intorno di x0 , I1 \ I2 , per ogni x del quale
1 1
(eccetto al più x0 Þ i valori assunti dalla funzione si discostano da per una
g l2
2e
quantità arbitrariamente piccola (infatti è arbitrario tanto quanto e, se
l22
2 1 1
l2 ¼
6 0, essendo 2 una costante). Pertanto, lim ¼ .
l2 x!x0 gðxÞ l2

app_dim_teo_alg_lim_pe
F De Agostini Scuola SpA

3/3