1 Limiti
(1.1) Teorema Siano π₯, π¦ β β tali che la somma π₯ + π¦ sia deο¬nita. Allora per ogni intorno π di π₯ + π¦ esistono un intorno π di π₯ ed un intorno π di π¦ tali che
βπ β π, βπ β π : la somma π + π `e deο¬nita e π + π β π .
Dimostrazione. Distinguiamo alcuni casi. Se π₯, π¦ β β, per ogni intorno π di π₯ + π¦ esiste π > 0 tale che ]π₯ + π¦ β π, π₯ + π¦ + π[β π . Poniamo
π = ]π₯ β π 2, π₯ + π 2 [ , π =]π¦ β π 2, π¦ + π 2 [ .
Evidentemente π `e un intorno di π₯ e π `e un intorno di π¦. Inoltre per ogni π β π e per ogni π β π la somma π + π `e deο¬nita e si ha
β£π β π₯β£ < π 2, β£π β π¦β£ < π 2. Ne segue β£(π + π) β (π₯ + π¦)β£ = β£(π β π₯) + (π β π¦)β£ β€ β£π β π₯β£ + β£π β π¦β£ < π 2 + π 2 = π , da cui π + π β]π₯ + π¦ β π, π₯ + π¦ + π[β π .
Consideriamo ora il caso π₯ β β e π¦ = +β. Per ogni intorno π di +β esiste π β β tale che ]π, +β] β π . Poniamo
π =]π₯ β 1, π₯ + 1[ , π =]π β π₯ + 1, +β] . 175
Evidentemente π `e un intorno di π₯ e π `e un intorno di +β. Inoltre per ogni π β π e per ogni π β π la somma π + π `e deο¬nita e si ha
π₯ β 1 < π < π₯ + 1 , π > π β π₯ + 1 . Ne segue
π + π > π , da cui π + π β]π, +β] β π .
Supponiamo ora π₯ = π¦ = +β. Per ogni intorno π di +β esiste π β β tale che ]π, +β] β π . Poniamo
π =]0, +β] , π =]π, +β] .
Evidentemente π e π sono due intorni di +β. Inoltre per ogni π β π e per ogni π β π la somma π + π `e deο¬nita e si ha π > 0 ed π > π . Ne segue π + π > π , ossia π + π β]π, +β] β π .
Gli altri casi possono essere dimostrati per esercizio.
(1.2) Teorema Siano π₯, π¦ β β tali che il prodotto π₯π¦ sia deο¬nito. Allora per ogni intorno π di π₯π¦ esistono un intorno π di π₯ ed un intorno π di π¦ tali che
βπ β π, βπ β π : il prodotto ππ `e deο¬nito e ππ β π .
Dimostrazione. Anche questa volta distinguiamo alcuni casi. Se π₯, π¦ β β, per ogni intorno π di π₯π¦ esiste π > 0 tale che ]π₯π¦ β π, π₯π¦ + π[β π . Per ogni π, π β β risulta
β£ππ β π₯π¦β£ = β£π(π β π¦) + (π β π₯)π¦β£ β€ β£π(π β π¦)β£ + β£(π β π₯)π¦β£ = β£πβ£β£π β π¦β£ + β£π β π₯β£β£π¦β£ . Poniamo πΏβ² = π 2β£π¦β£ + π, πΏ β²β² = π 2β£π₯β£ + 2, π =]π₯ β πΏβ², π₯ + πΏβ²[ , π =]π¦ β πΏβ²β², π¦ + πΏβ²β²[ .
Evidentemente π `e un intorno di π₯ e π `e un intorno di π¦. Inoltre per ogni π β π e per ogni π β π il prodotto ππ `e deο¬nito e si ha
1. LIMITI 177 Ne segue β£ππ β π₯π¦β£ β€ (β£π₯β£ + 1)β£π β π¦β£ + β£π β π₯β£β£π¦β£ < (β£π₯β£ + 1)πΏβ²β²+ πΏβ²β£π¦β£ < π 2+ π 2 = π , da cui ππ β]π₯π¦ β π, π₯π¦ + π[β π .
Consideriamo ora il caso π₯ β]0, +β[ ed π¦ = +β. Per ogni intorno π di +β esiste π β β tale che ]π, +β] β π . Poniamo
π = ] 1 2π₯, 3 2π₯ [ , π = ] 2β£π β£ π₯ , +β [ .
Evidentemente π `e un intorno di π₯ e π `e un intorno di +β. Inoltre per ogni π β π e per ogni π β π il prodotto ππ `e deο¬nito e si ha
1 2π₯ < π < 3 2π₯ , π > 2 β£π β£ π₯ . Ne segue ππ > β£π β£ β₯ π , da cui ππ β]π, +β] β π .
Supponiamo ora π₯ = π¦ = +β. Per ogni intorno π di +β esiste π β β tale che ]π, +β] β π . Poniamo
π =]1, +β] , π =]β£π β£, +β] .
Evidentemente π e π sono due intorni di +β. Inoltre per ogni π β π e per ogni π β π il prodotto ππ `e deο¬nito e si ha π > 1 ed π > β£π β£. Ne segue ππ > β£π β£ β₯ π , da cui ππ β]π, +β] β π .
Gli altri casi possono essere dimostrati per esercizio.
(1.3) Teorema Siano πΈ, πΉ β β, siano π : πΈ β β e π : πΉ β β due funzioni e siano π₯ β πβ1(πΉ ), π¦ β πΉ e β β β. Supponiamo che lim πβπ₯π (π) = π¦ , lim πβπ¦π(π) = β . Allora si ha lim πβπ₯(π β π )(π) = β .
Dimostrazione. Per ogni intorno π di β esiste un intorno π di π¦ tale che π(π β© πΉ ) β π . Sia π un intorno di π₯ tale che π (π β© πΈ) β π . Allora si ha
(π β π )(π β© πβ1(πΉ )) = π(π (π β© πβ1(πΉ ))) β π(π β© πΉ ) β π , da cui la tesi.
(1.4) Teorema Siano πΈ, πΉ β β, siano π : πΈ β β e π : πΉ β β due funzioni e siano π₯ β πΈ β© πΉ e ββ², ββ²β² β β. Supponiamo che
lim
πβπ₯π (π) = ββ², lim
πβπ₯π(π) = ββ²β². Valgono allora i seguenti fatti:
(π) se la somma ββ² + ββ²β² `e deο¬nita, si ha che π₯ `e aderente a dom (π + π) e lim
πβπ₯(π + π)(π) = ββ²+ ββ²β²;
(π) se il prodotto ββ²ββ²β² `e deο¬nito, si ha che π₯ `e aderente a dom (π π) e lim
πβπ₯(π π)(π) = ββ²ββ²β².
Dimostrazione.
(π) Per ogni intorno π di ββ² + ββ²β² esistono per il Teorema (1.1) un intorno πβ² di ββ² ed un intorno πβ²β² di ββ²β² tali che per ogni π¦β² β πβ² e per ogni π¦β²β² β πβ²β² la somma π¦β²+ π¦β²β² `e deο¬nita e π¦β²+ π¦β²β² β π .
Siano πβ² ed πβ²β² due intorni di π₯ tali che π (πβ² β© πΈ) β πβ² e π(πβ²β²β© πΉ ) β πβ²β². Per il Teorema (2.2.2) π = πβ² β© πβ²β² `e un intorno di π₯ ed π β© (πΈ β© πΉ ) β dom (π + π). Per ogni intorno π΄ di π₯ risulta (π΄ β© π ) β© (πΈ β© πΉ ) β π΄ β© dom (π + π) e (π΄ β© π ) β© (πΈ β© πΉ ) β= β , perchΒ΄e π₯ `e aderente ad πΈ β© πΉ . Pertanto π₯ `e aderente a dom (π + π). Inoltre per ogni π₯ β π β© dom (π + π) si ha π (π₯) β πβ² e π(π₯) β πβ²β², da cui π (π₯) + π(π₯) β π .
(π) Per ogni intorno π di ββ²ββ²β² esistono per il Teorema (1.2) un intorno πβ² di ββ² ed un intorno πβ²β² di ββ²β² tali che per ogni π¦β² β πβ² e per ogni π¦β²β² β πβ²β² il prodotto π¦β²π¦β²β² `e deο¬nito e π¦β²π¦β²β²β π .
1. LIMITI 179
Siano πβ² ed πβ²β² due intorni di π₯ tali che π (πβ² β© πΈ) β πβ² e π(πβ²β²β© πΉ ) β πβ²β². Per il Teorema (2.2.2) π = πβ² β© πβ²β² `e un intorno di π₯ ed π β© (πΈ β© πΉ ) β dom (π π). Ne segue, come nel punto (π), che π₯ `e aderente a dom (π π). Inoltre per ogni π₯ β π β© dom (π π) si ha π (π₯) β πβ² e π(π₯) β πβ²β², da cui π (π₯)π(π₯) β π .
(1.5) Teorema Siano πΈ β β, π : πΈ β β, π₯ β πΈ e β β β. Supponiamo che lim
πβπ₯π (π) = β . Allora valgono i seguenti fatti:
(π) se β β β β {0}, si ha che π₯ `e aderente a dom (1/π ) e lim πβπ₯ 1 π (π) = 1 β ;
(π) se β = ββ o β = +β, si ha che π₯ `e aderente a dom (1/π ) e lim πβπ₯ 1 π (π) = 0 ; (π) se β = 0 e se π₯ `e aderente a dom (1/π ), si ha lim πβπ₯ 1 π (π) = +β .
Dimostrazione. Anzitutto osserviamo che, se β β= 0, esiste per il teorema di permanenza del segno un intorno π di π₯ in cui π non si annulla mai. Ne segue π β© πΈ β dom (1/π ), per cui π₯ `e aderente a dom (1/π ). Per questo motivo nei punti (π) e (π) si pu`o asserire che π₯ `e aderente a dom (1/π ).
Le altre aο¬ermazioni seguono dai Teoremi (2.1.5) e (2.3.10) e dal Teorema di composizione.
(1.6) Teorema Siano πΈ β β, π : πΈ β β e π₯ β πΈ. Allora si ha lim inf
πβπ₯ π (π) β€ lim sup
πβπ₯
Inoltre lβuguaglianza sussiste se e solo se π ammette limite in π₯, nel qual caso lim inf πβπ₯ π (π) = lim sup πβπ₯ π (π) = lim πβπ₯π (π) .
Dimostrazione. Siano π un minorante deο¬nitivo e π un maggiorante deο¬nitivo per π in π₯. Siano πβ² ed πβ²β² due intorni di π₯ tali che π `e un minorante per π (πβ² β© πΈ) e π `
e un maggiorante per π (πβ²β² β© πΈ). Dal momento che πβ² β© πβ²β² `e un intorno di π₯, esiste π β (πβ²β© πβ²β²) β© πΈ. Ne segue π β€ π (π) β€ π , in particolare π β€ π .
Per il Principio di Dedekind esteso, esiste π§ β β tale che π β€ π§ β€ π per ogni minorante deο¬nitivo π e per ogni maggiorante deο¬nitivo π . Ne segue
lim inf
πβπ₯ π (π) β€ π§ β€ lim sup
πβπ₯
π (π) . Supponiamo ora che
lim
πβπ₯π (π) = β . Dimostriamo anzitutto che
β β₯ lim sup
πβπ₯
π (π) .
Se β = +β, lβaο¬ermazione `e vera. Altrimenti sia π > β. Dal momento che [ββ, π [ `e un intorno di β, esiste un intorno π di π₯ tale che π (π β© πΈ) β [ββ, π [. Ne segue che π `
e un maggiorante deο¬nitivo per π in π₯, per cui π β₯ lim sup
πβπ₯ π (π). Per lβarbitrariet`a di π si deduce che β β₯ lim sup πβπ₯ π (π) . In modo simile si prova che β β€ lim inf
πβπ₯ π (π). Ne segue lim inf πβπ₯ π (π) β€ lim sup πβπ₯ π (π) β€ lim πβπ₯π (π) β€ lim inf πβπ₯ π (π) , il che `e possibile solo se tutte le disuguaglianze sono uguaglianze.
Viceversa supponiamo che lim inf
πβπ₯ π (π) = lim sup
πβπ₯
π (π) .
Denotiamo con β il comune valore di massimo e minimo limite. Consideriamo prima il caso β β β. Per ogni intorno π di β esiste π > 0 tale che ]β β 2π, β + 2π[β π . Dal momento
1. LIMITI 181
che β + π > lim sup
πβπ₯
π (π), risulta che β + π `e un maggiorante deο¬nitivo per π in π₯. Sia πβ² un intorno di π₯ tale che π (πβ²β© πΈ) β [ββ, β + π]. In modo simile si trova un intorno πβ²β²
di π₯ tale che π (πβ²β²β© πΈ) β [β β π, +β]. Allora π = πβ²β© πβ²β² `e un intorno di π₯ e
π (π β© πΈ) β [β β π, β + π] β]β β 2π, β + 2π[β π .
Consideriamo ora il caso β = ββ. Per ogni intorno π di ββ esiste π β β tale che [ββ, π + 1[β π . PoichΒ΄e π > lim sup
πβπ₯
π (π), si trova come prima un intorno π di π₯ tale che π (π β© πΈ) β [ββ, π ]. In conclusione, si ha
π (π β© πΈ) β [ββ, π ] β [ββ, π + 1[β π . Il caso β = +β `e simile e pu`o essere trattato per esercizio.
(1.7) Teorema Siano πΈ β β, π, π : πΈ β β e π₯ β πΈ. Supponiamo che π (π) β€ π(π) per ogni π β πΈ. Allora si ha lim sup πβπ₯ π (π) β€ lim sup πβπ₯ π(π) , lim inf πβπ₯ π (π) β€ lim inf πβπ₯ π(π) .
Dimostrazione. Evidentemente ogni maggiorante deο¬nitivo per π in π₯ `e anche un maggiorante deο¬nitivo per π in π₯, ossia si ha
{π β β : π `e un maggiorante deο¬nitivo per π in π₯} β β{π β β : π `e un maggiorante deο¬nitivo per π in π₯} .
Passando allβestremo inferiore membro a membro, si deduce la prima disuguaglianza. La seconda disuguaglianza pu`o essere dimostrata per esercizio in maniera simile.
1. Si dimostri che `e impossibile deο¬nire (+β) + (ββ) e (ββ) + (+β) in modo da conservare la validit`a del Teorema (1.1).
2. Si dimostri che `e impossibile deο¬nire (+β) β 0, 0 β (+β), (ββ) β 0 e 0 β (ββ) in modo da conservare la validit`a del Teorema (1.2).