G. Gilardi, Analisi Funzionale - Dipartimento di Matematica
G. Gilardi, Analisi Funzionale - Dipartimento di Matematica
G. Gilardi, Analisi Funzionale - Dipartimento di Matematica
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Capitolo 5<br />
9.3. Definizione. Siano V uno spazio vettoriale e C un suo sottoinsieme. Diciamo che C è<br />
equilibrato quando da x ∈ C , α ∈ K e |α| ≤ 1 segue αx ∈ C .<br />
9.4. Esercizio. Dimostrare che: i) se V è uno spazio vettoriale topologico, ogni intorno<br />
dell’origine è assorbente; ii) ogni insieme non vuoto equilibrato contiene l’origine; iii) nel caso<br />
reale, C è equilibrato se e solo se, per ogni x ∈ C , il segmento <strong>di</strong> estremi ±x è incluso in C .<br />
9.5. Esercizio. Costruire C ⊂ R 2 che è assorbente ma non è un intorno dell’origine.<br />
9.6. Esercizio. Sia V uno spazio normato. Calcolare i funzionali <strong>di</strong> Minkowski della palla<br />
Br(0) e della palla chiusa Br(0) .<br />
9.7. Esercizio. Derivare velocemente dall’esercizio precedente i funzionali <strong>di</strong> Minkowski dei seguenti<br />
sottoinsiemi <strong>di</strong> R 2 : C1 = (−1, 1) 2 e C2 = co{(±1, 0), (0, ±1)} .<br />
9.8. Proposizione. Siano V uno spazio vettoriale e C un suo sottoinsieme assorbente e convesso.<br />
Allora il funzionale <strong>di</strong> Minkowski <strong>di</strong> C verifica le proprietà seguenti:<br />
i) minkC(x + y) ≤ minkC(x) + minkC(y) per ogni x, y ∈ V ;<br />
ii) minkC(αx) = α minkC(x) per ogni x ∈ V e α reale positivo;<br />
iii) se C è anche equilibrato, minkC è una seminorma in V .<br />
Nelle sole ipotesi iniziali valgono inoltre le inclusioni<br />
iv) {x ∈ V : minkC(x) < 1} ⊆ C ⊆ {x ∈ V : minkC(x) ≤ 1}.<br />
Se poi V è uno spazio vettoriale topologico, si ha più precisamente<br />
v) C = {x ∈ V : minkC(x) < 1} se C è aperto ;<br />
vi) C = {x ∈ V : minkC(x) ≤ 1} se C è chiuso<br />
e, se in aggiunta V è uno spazio normato, risulta<br />
vii) esiste M > 0 tale che minkC(x) ≤ M�x� per ogni x ∈ V se C è un intorno dell’origine;<br />
viii) esiste α > 0 tale che minkC(x) ≥ α�x� per ogni x ∈ V se C è limitato.<br />
In particolare, se V è normato e C è un intorno convesso equilibrato limitato dell’origine, minkC<br />
è una norma equivalente a quella originaria.<br />
Dimostrazione. Ricor<strong>di</strong>amo che 0 ∈ C per l’Esercizio 9.4 e poniamo p = minkC per semplificare le<br />
notazioni. In particolare p(0) = 0 . Dimostriamo i) . Fissiamo ε > 0 ad arbitrio. Allora esistono α, β > 0<br />
tali che x/α ∈ C , y/β ∈ C , α ≤ p(x) + ε e β ≤ p(y) + ε . Siccome C è convesso, deduciamo che<br />
x + y α<br />
=<br />
α + β α + β<br />
x β<br />
+<br />
α α + β<br />
y<br />
∈ C da cui p(x + y) ≤ α + β ≤ p(x) + p(y) + 2ε.<br />
β<br />
Per l’arbitrarietà <strong>di</strong> ε conclu<strong>di</strong>amo. La ii) è del tutto imme<strong>di</strong>ata e passiamo a iii) : dobbiamo solo<br />
<strong>di</strong>mostrare che p(αx) = |α|p(x) per α ∈ K e non solo per α reale positivo. Se α = 0 l’uguaglianza è vera<br />
in quanto p(0) = 0 . Supponiamo ora α �= 0 . Scriviamo α = ρ e iϑ con ρ > 0 e ϑ = 0, π nel caso reale e<br />
ϑ ∈ R nel caso complesso. Allora p(αx) = p(ρe iϑ x) = ρp(e iϑ x) = |α|p(e iϑ x) . Ma e iϑ x/λ ∈ C se e solo se<br />
x/λ ∈ C dato che C è equilibrato. Deduciamo che p(e iϑ x) = p(x) e combinando conclu<strong>di</strong>amo.<br />
Dimostriamo ora le inclusioni iv) e le uguaglianze v) e vi) . Se p(x) < 1 allora esiste λ ∈ (0, 1) tale<br />
che x/λ ∈ C . Siccome 0 ∈ C e C è convesso, deduciamo x = λ(x/λ) + (1 − λ)0 ∈ C . Supponiamo<br />
ora x ∈ C . Allora x/1 ∈ C da cui p(x) ≤ 1 . Aggiungiamo ora l’ipotesi che V sia uno spazio vettoriale<br />
topologico e che C sia aperto: dobbiamo solo <strong>di</strong>mostrare che da x ∈ C segue p(x) < 1 . Sia dunque<br />
x ∈ C . Siccome l’applicazione α ↦→ αx da K in V è continua in 1 e C è aperto, si ha αx ∈ C per tutti<br />
gli α ∈ K sufficientemente vicini a 1 . In particolare esiste α reale > 1 tale che αx ∈ C e conclu<strong>di</strong>amo<br />
120<br />
Gianni <strong>Gilar<strong>di</strong></strong>