Analisi matematica Michiel Bertsch, Roberta Dal Passo, Lorenzo Giacomelli

Dimostrazioni del capitolo 7

Dimostrazione del Teorema 7.11, pagina 171 Sia f : X R R uniformemente continua in X , e sia A X limitato. Dobbiamo dimostrare che f |A ` e limitata. Ragioniamo per assurdo e supponiamo che f non sia limitata in A. Allora per ogni n N esiste xn A tale che |f (xn )| > n. La successione {xn : n N} A ` e limitata (poich e lo ` e A); quindi, per il Teorema 5.3, esiste una sottosuccessione {xkn } convergente a un elemento x R. Poich ef ` e uniformemente continua, esiste > 0 tale che |f (x) f (y )| < 1 se |x y | < (si ` e scelto = 1 nella (7.15)). Per il criterio di Cauchy (Teorema 5.6) applicato alla successione {xkn } con = /2, esiste N N tale che |xkn xkN | < /2 per ogni n N . Quindi |f (xkn )| |f (xkN )| + |f (xkn ) f (xkN )| < |f (xkN )| + 1 per ogni n N. Daltra parte, per denizione di {xkn }, |f (xkn )| + per n + e abbiamo trovato una contraddizione. Dimostrazione del Teorema 7.12, pagina 171 Dobbiamo dimostrare che se f : X R ` e uniformemente continua nellintervallo X R, esistono , > 0 tali che |f (x)| |x| + per ogni x X . Per la continuit` a uniforme di f in X esiste > 0 tale che |f (x) f (y )| < 1 se |x y | < (x, y X ), quindi |f (x) f (y )| 1 se |x y | , x, y X. (D.13)

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

Sia x0 X . Dimostreremo che |f (x)| |f (x0 )| + 1 + |x x0 |/ per ogni x X, (D.14)

da cui segue la tesi con = |f (x0 )| + 1 + |x0 |/ e = 1/ : |f (x)| |f (x0 )| + 1 + |x0 |/ + |x|/ Per la (D.13) (con y = x0 ), |f (x)| |f (x0 )| + 1 se x X e |x x0 | . per ogni x X.

In particolare |f (x0 )| |f (x0 )| + 1; quindi, sempre per la (D.13) (con y = x0 ), |f (x)| |f (x0 )| + 2 se x X e |x x0 | 2.

Ripetendo questo procedimento (o, pi` u precisamente, ragionando per induzione), si trova che per ogni n N |f (x)| |f (x0 )| + n + 1 se x X e n |x x0 | (n + 1). (D.15)

La (D.15) vale per n |x x0 |/ , quindi sostituendolo in |f (x)| |f (x0 )| + n +1 si ottiene la (D.14).

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