Nei primi esercizi si richiede di dimostrare (consultando eventual- mente testi usati altrove) semplici propriet` a in R
No spazi metrici, la cui dimostrazione ` e praticamente identica a quella dei relativi teoremi per funzioni reali di variabile reale, e che sono inoltre state introdotte nella parte finale del corso di Analisi Matematica 2 di introduzione agli spazi metrici e alla loro topologia.
La dimostrazione dei teoremi importanti ` e stata invece svolta in gran parte a a lezione (utilizzando il fatto che i risultati e le tecniche per le funzioni reali di una variabile reale sono ben consolidati). Come eser- cizio dimostrare oltre ai punti seguenti anche eventuali altre propriet` a enunciate a lezione e non dimostrate in dettaglio.
(1) Dimostrare che se (X, d) ` e uno spazio metrico ogni palla aperta B
ε(x
0) ` e un insieme aperto.
(2) Sia (X, d) uno spazio metrico. Dimostrare le affermazioni se- guenti
i) Sia {O
α}
α∈Auna collezione arbitraria di insiemi aperti.
Allora O = ∪
α∈AO
α` e aperto.
ii) Sia O
1, . . . O
nuna collezione finita di insiemi aperti. Allora O
0= ∩
ni=1O
i` e aperto.
iii) Sia {C
α}
α∈Auna collezione di insiemi chiusi. Allora C =
∩
α∈AC
α` e chiuso.
iv) Sia C
1, . . . C
nuna collezione finita di insiemi chiusi. Allora C
0= ∪
ni=1C
i` e chiuso.
(3) Sia X uno spazio vettoriale dove ` e definito il prodotto scala- re (x, y) tra due elementi x, y ∈ X con la conseguente norma indotta kxk = (x, x)
12.
Analizzando la dimostrazione della disuguaglianza di Cauchy- Schwarz,
| (x, y) | ≤ kxk kyk
e della disuguaglianza triangolare per la norma kx + yk ≤ kxk + kyk
che ne ` e conseguenza, dire quando valgono le uguaglianze
| (x, y) | = kxk kyk , (x, y) = kxk kyk , kx + yk = kxk + kyk
(4) Dimostrare che se x, y sono vettori di R
N(o di uno spazio normato)
| kxk − kyk | ≤
( kx − yk
kx + yk ≤ kxk + kyk.
Dedurne che la funzione norma x ∈ R
N7→ kxk ∈ R `e continua (e lipschitziana).
1
2
(5) Dimostrare il teorema di composizione per funzioni continue:
se X, Y, Z sono spazi metrici, f : A ⊆ X → Y , g : B ⊆ Y → Z, f (A) ⊆ B, x
0∈ A, y
0= f (x
0), f ` e continua in x
0e g ` e continua in y
0, allora g ◦ f ` e continua in x
0.
(6) Dimostrare che una applicazione f : X → Y tra spazi metrici
`
e continua in (ogni punto di) X se e solo se per ogni aperto A di Y (chiuso C di Y ) la controimmagine f
−1(A) ` e un aperto di X.
(7) Enunciare e dimostrare il teorema (sui limiti e) sulla continuit` a della somma e del prodotto di funzioni continue f, g : A ⊆ R
N→ R. Verificare che la dimostrazione nel caso del prodotto vale anche (utilizzando la disuguaglianza di Cauchy-Schwarz) nel caso del prodotto scalare di funzioni a valori vettoriali: se f , g : A ⊆ R
N→ R
Msono continue allora la funzione h(x) = f · g : A → R `e continua.
(8) (Continuit` a di distanza, norma, prodotto interno) Siano {x
n}, {y
n} successioni in uno spazio metrico X e supponiamo che x
n→ x, y
n→ y ( n → ∞). Dimostrare che
a) La successione di numeri reali d(x
n, y
n) converge in R al numero reale d(x, y).
b) Se in particolare ( X, (. , .) ) ` e uno spazio con prodotto interno allora (x
n, y
n) converge a (x, y).
c) Se (X, k . k ) ` e uno spazio normato allora kx
nk converge a kxk.
(9) Siano (X, d
X), (Y, d
Y) spazi metrici e siano x
0∈ X e f : X → Y una funzione. Dimostrare che f ` e continua in x
0se e solo se da ogni successione x
nin X convergente a x
0si pu` o estrarre una sottosuccessione x
kntale che f (x
kn) converge a f (x
0).
(10) Sia (X, d) uno spazio metrico e siano ∅ 6= E, F ⊆ X. Defi- niamo la funzione d
E: X → [0, +∞), distanza da E, come d
E(x) = inf
z∈Ed(x, z), e la distanza tra E e F come d(E, F ) = inf
x∈E,y∈Fd(x, y).
a) Dimostrare che d
E(x) = 0 se e solo se x ∈ E
b) Dimostrare che la funzione d
E` e uniformemente continua (lipschitziana) mostrando che | d
E(x) − d
E(y) | ≤ d(x, y) per ogni coppia di punti x, y ∈ X.
c) Se C
1, C
2sono chiusi e disgiunti, dimostrare che la funzione g(x) =
d dC1(x)C1(x)+dC2(x)
` e ben definita, continua, a valori in [0, 1], ed ` e tale che g(x) = 0 se e solo se x ∈ C
1, g(x) = 1 se e solo se x ∈ C
2.
d) Dimostrare che se K ⊆ X ` e compatto disgiunto da C ⊆ X
chiuso, allora d(K, C) > 0; mostrare con un esempio che tale
propriet` a non vale se K ` e chiuso ma non compatto.
3
(11) Determinare l’ insieme di definizione A, l’ insieme B dove esi- stono le derivate parziali e le derivate parziali f
x(x, y), f
y(x, y) , ( f
z(x, y, z) ) delle seguenti funzioni.
a) f (x, y) = x
3+ y
2− xy b) f (x, y) = sin(x) cos(y) c) f (x, y, z) = sin(xy) cos(z) d) f (x, y) =
1−xye) f (x, y) = e
x3y2f) f (x, y) =
xy23g) f (x, y) = x
2y sin(xy) h) f (x, y) = px
2+ y
2i) f (x, y) = log (y − x
2) j) f (x, y) = p4 − x
2− y
2k) f (x, y) = arccos(x
2+ y
2− 2) l) f (x, y) = arctan(p1 + x
2y
4) m) f (x, y) = x
yn) f (x, y, z) = z
xyo) f (x, y, z) = (xy)
zp) f (x, y) = (xy)
(xy)[ a) A = B = R
2, f
x(x, y) = 3x
2− y , f
y(x, y) = 2y − x b) A = B = R
2, f
x(x, y) = cos(x) cos(y) , f
y(x, y) =
− sin(x) sin(y)
c) A = B = R
2, f
x(x, y) = y cos(xy) cos(z) , f
y(x, y) = x cos(xy) cos(z) , f
z(x, y) = − sin(xy) sin(z)
d) A = B = [x 6= 1] ( abbreviazione che useremo anche in seguito invece della notazione completa {(x, y) ∈ R
2: x 6= 1} ), f
x(x, y) =
(1−x)y 2, f
y(x, y) =
1−x1e) A = B = R
2, f
x(x, y) = 3x
2y
2e
x3y2, f
y(x, y) = 2x
3ye
x3y2f) A = B = [y 6= 0] ( abbreviazione che useremo anche in
seguito invece della notazione completa {(x, y) ∈ R
2: y 6= 0} ),
f
x(x, y) =
2xy3, f
y(x, y) =
−3xy424
g) A = B = R
2, f
x(x, y) = 2xy sin(xy) + x
2y
2cos(xy) , f
y(x, y) = x
2sin(xy) + x
3y cos(xy)
h) A = R
2, B = [x
2+ y
26= 0] = R
2\ {(0, 0)}, f
x(x, y) =
√
xx2+y2
, f
y(x, y) = √
yx2+y2
i) A = B = [y > x
2], f
x(x, y) =
y−x−2x2, f
y(x, y) =
y−x1 2j) A = [x
2+ y
2≤ 4] = B
2((0, 0)), B = [x
2+ y
2< 4] = B
2((0, 0)), f
x(x, y) = √
−x4−x2−y2
, f
y(x, y) = √
−y4−x2−y2
k) A = [1 ≤ x
2+ y
2≤ 3] = B
√3((0,0))\ B
1((0, 0)), B = [1 <
x
2+ y
2< 3] = B
√3((0,0))\ B
1((0, 0)), f
x(x, y) = √
−2x1−(4−x2−y2)2
, f
y(x, y) = √
−2y1−(4−x2−y2)2
l) A = B = R
2, f
x(x, y) =
2+x12y4 1 2√
1+x2y4
2xy
4=
xy4 (2+x2y4)
√
1+x2y4
, f
y(x, y) =
2+x12y4 1 2√
1+x2y4
4x
2y
3=
2x2y3(2+x2y4)
√
1+x2y4