09.05.2013 Views

Istituzioni di Analisi Matematica - Home Page degli Studenti di ...

Istituzioni di Analisi Matematica - Home Page degli Studenti di ...

Istituzioni di Analisi Matematica - Home Page degli Studenti di ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Versione e856994<br />

16 2. Spazi <strong>di</strong> Hilbert<br />

2.4 Il Teorema <strong>di</strong> Riesz<br />

In questa sezione <strong>di</strong>mostriamo un teorema <strong>di</strong> caratterizzazione dei funzionali lineari e continui <strong>degli</strong> spazi <strong>di</strong><br />

Hilbert. Come vedremo meglio quando parleremo <strong>di</strong> spazi duali, il teorema <strong>di</strong> Riesz asserisce che uno spazio <strong>di</strong><br />

Hilbert H e lo spazio dei funzionali lineari e continui su H sono isomorfi.<br />

2.4.1 TEOREMA (<strong>di</strong> Riesz) - Sia H uno spazio <strong>di</strong> Hilbert e ϕ: H → C un funzionale lineare e continuo. Allora<br />

esiste un unico vettore v ∈ H tale che ϕ(u) = (u, v).<br />

Dimostrazione. Chiaramente, se ϕ ≡ 0 la tesi si ottiene con v = 0: possiamo quin<strong>di</strong> supporre ϕ = 0.<br />

Consideriamo V := kerϕ. V è un sottospazio vettoriale chiuso <strong>di</strong> H e inoltre V = H perché ϕ è non nullo. Per<br />

il Corollario 2.3.7, possiamo decomporre lo spazio in H = kerϕ ⊕ (kerϕ) ⊥ . Poiché V ⊥ = 0, possiamo scegliere<br />

w ∈ V ⊥ tale che w = 1. Sia v := λw con λ ∈ C da determinare. Per le proprietà <strong>di</strong> ϕ, abbiamo che<br />

D’altra parte,<br />

ϕ(v) = v 2 = |λ| 2 .<br />

ϕ(v) = ϕ(λw) = λϕ(w),<br />

quin<strong>di</strong> λ = ϕ(w).<br />

È lasciato al lettore verificare che con questa scelta si ottiene la tesi.<br />

2.5 Norme operatoriali<br />

In questa sezione considereremo spazi vettoriali normati X ,Y e operatori lineari tra <strong>di</strong> essi. In<strong>di</strong>cheremo con<br />

BX la palla aperta <strong>di</strong> raggio 1, cioè l’insieme {x ∈ X | x X < 1}.<br />

2.5.1 DEFINIZIONE - Sia T : X → Y un operatore lineare. La norma <strong>di</strong> T è<br />

T vY T := sup T vY = sup T vY = sup .<br />

v∈X , vX ≤1<br />

v∈X , vX =1<br />

v∈X , v=0 v X<br />

Vale la seguente relazione tra la norma <strong>di</strong> T e la continuità <strong>di</strong> T .<br />

2.5.2 PROPOSIZIONE - T è continuo se e solo se T < ∞.<br />

Dimostrazione. Ve<strong>di</strong>amo la con<strong>di</strong>zione necessaria per la continuità. Poiché T (0) = 0, allora T −1 (BY ) è un<br />

intorno <strong>di</strong> 0 in X . Pertanto esiste r > 0 tale che r BX ⊂ T −1 (BY ), da cui, per linearità, T (BX ) ⊂ r −1 BY . Pertanto<br />

T < 1/r . La con<strong>di</strong>zione sufficiente è lasciata al lettore.<br />

2.5.3 DEFINIZIONE - Un operatore T : X → Y con T < ∞ si <strong>di</strong>ce limitato.<br />

2.5.4 OSSERVAZIONE - Abbiamo caratterizzato gli operatori limitati: essi sono tutti e soli i continui.<br />

2.5.5 ESERCIZIO - Definiamo il seguente spazio:<br />

L(X ,Y ) := {T : X → Y | T lineare e continuo}.<br />

1. Dimostrare che è uno spazio vettoriale normato (con la norma operatoriale definita prima).<br />

2. Se Y è uno spazio <strong>di</strong> Banach, far vedere che anche L(X ,Y ) è <strong>di</strong> Banach.<br />

2.5.6 DEFINIZIONE - Sia X uno spazio vettoriale normato. Il duale (topologico) <strong>di</strong> X è lo spazio<br />

2.5.7 OSSERVAZIONI -<br />

X ∗ := L(X ,C).<br />

◦ Per l’esercizio precedente, il duale <strong>di</strong> un qualsiasi spazio vettoriale normato è <strong>di</strong> Banach.<br />

◦ Lo spazio L(X , X ) con la composizione è un’algebra <strong>di</strong> Banach con identità Id: X → X .<br />

Con il linguaggio introdotto in questa sezione, possiamo riformulare il Teorema <strong>di</strong> Riesz come segue:<br />

2.5.8 TEOREMA (<strong>di</strong> Riesz) - Se H è uno spazio <strong>di</strong> Hilbert, allora H ∼ = H ∗ e ∼ = è un’isometria.

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

Saved successfully!

Ooh no, something went wrong!