13.01.2013 Views

G. Gilardi, Analisi Funzionale - Dipartimento di Matematica

G. Gilardi, Analisi Funzionale - Dipartimento di Matematica

G. Gilardi, Analisi Funzionale - Dipartimento di Matematica

SHOW MORE
SHOW LESS

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>

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!