Analisi matematica Michiel Bertsch, Roberta Dal Passo, Lorenzo Giacomelli

Dimostrazioni del capitolo 6

Dimostrazione del Teorema 6.1 (teorema ponte), pagina 152 Sia f : X R e sia x0 un punto di accumulazione per X . Dobbiamo dimostrare che le due seguenti aermazioni sono equivalenti: (i) lim f (x) = ;
xx0

(ii) per ogni successione {an } X \ {x0 } tale che an x0 per n +, si ha lim f (an ) = .
n+

Consideriamo solo il caso in cui x0 e

R.

(i) (ii). Se vale (i), preso > 0 esiste > 0 tale che |f (x) | < se xX e 0 < |x x0 | < . (D.11)

Daltra parte, se an x0 , esiste per questo > 0 un N N tale che n > N si ha |an x0 | < ; inoltre per ipotesi an X e 0 < |an x0 | (an = x0 !); quindi, per la (D.11), |f (an ) | < n > N e abbiamo trovato la (ii). (ii) (i). Per assurdo, supponiamo che valga la (ii) ma sia falsa la (i). Allora non ` e vero che: per ogni > 0 esiste > 0 tale che x X, 0 < |x x0 | < |f (x) | < ovvero esiste > 0 tale che non ` e vero che: esiste > 0 tale che x X, 0 < |x x0 | < |f (x) | < ,

Copyright 2007 - The McGraw-Hill Companies s.r.l.

ovvero

esiste > 0 tale che per ogni > 0 non ` e vero che: x X, 0 < |x x0 | < |f (x) | < ,

ovvero esiste > 0 tale che per ogni > 0 esiste x X tale che 0 < |x x0 | < e |f (x ) | (D.12)

(lo studente confronti la denizione di limite e la sua negazione (D.12)!). Visto che la (D.12) ` e valida per ogni > 0, possiamo dare a i valori 1 1 1 , 3 , 4 , . . . e chiamare i valori corrispondenti x nella (D.12) a1 , a2 , a3 , a4 , . . . 1, 2 Allora abbiamo trovato un valore > 0 e una successione {an } X tali che 0 < |an x0 | < 1 n e |f (an ) | n = 1, 2, 3, . . .

Quindi an x0 per n + e f (an ) 0 per n +, in contraddizione con (ii).

Copyright 2007 - The McGraw-Hill Companies s.r.l.