Spazio duale

Da Wikipedia, l'enciclopedia libera.

In matematica lo spazio duale (o più precisamente spazio duale algebrico) di uno spazio vettoriale (V,K) è uno spazio vettoriale i cui elementi sono i funzionali lineari agenti su V. Il concetto di spazio duale ricorre in molte applicazioni della matematica e della fisica stando a fondamento della nozione di tensore.

Indice 1 Definizione 2 Esempi 2.1 Dimensione finita 2.2 Dimensione infinita 3 Trasposta di una applicazione lineare 4 Forma bilineare e spazio biduale 5 Spazio duale topologico 5.1 Definizione 5.2 Esempi 5.3 Biduali e spazi riflessivi 6 Voci correlate

[modifica] Definizione

Sia V uno spazio vettoriale su un campo K. Un funzionale lineare è un'applicazione lineare da V nel campo K. Definiamo la somma fra due funzionali lineari f e g, ed il prodotto fra f ed uno scalare α nel modo seguente:

(f + g)(w): = f(w) + g(w)

(αf)(w): = αf(w)

Con queste operazioni l'insieme di tutti i funzionali lineari di V in K forma uno spazio vettoriale, chiamato spazio vettoriale duale V* di V.

[modifica] Esempi

[modifica] Dimensione finita

Se V ha dimensione finita, allora V* ha la stessa dimensione di V. Infatti se (e₁, ...,e_n) è una base per V, lo spazio V* ha una base duale (e¹,...,eⁿ) definita nel modo seguente:

In altre parole, il funzionale eⁱ è definito come l'unico funzionale che manda e_i in 1 e tutti gli altri elementi e_j della base in zero.

Più concretamente, se Rⁿ è lo spazio dei vettori colonna con n componenti, lo spazio duale Rⁿ* è lo spazio dei vettori riga con n componenti: ciascun vettore riga v può essere infatti interpretato come un funzionale che manda il vettore colonna w nello scalare v · w ottenuto moltiplicando v e w tramite la usuale moltiplicazione fra matrici. In questo caso, se (e_i) è la base canonica di Rⁿ, allora eⁱ è semplicemente la trasposta di e_i.

[modifica] Dimensione infinita

Se V ha dimensione infinita, la costruzione di eⁱ descritta sopra produce dei vettori indipendenti in V*, ma non una base: questi vettori non sono sufficienti per generare tutti i funzionali lineari. Infatti V* ha dimensione maggiore di V, nel senso che è sempre infinita ma con cardinalità maggiore.

Ad esempio, lo spazio R^(ω) delle successioni di numeri reali che hanno solo un numero finito di elementi non nulli ha dimensione numerabile. Lo spazio duale può essere identificato con lo spazio R^ω di tutte le successioni di numeri reali, ed ha dimensione più che numerabile (ha la stessa cardinalità di R). L'identificazione avviene nel modo seguente: una sequenza (a_n) di R^ω è il funzionale che manda l'elemento (x_n) di R^(ω) nello scalare ∑_na_nx_n.

[modifica] Trasposta di una applicazione lineare

Se f: V → W è un'applicazione lineare fra spazi vettoriali, definiamo la sua trasposta ^tf: W* → V* nel modo seguente:

   dove φ è un funzionale in W * .

In altre parole, si associa un funzionale su V ad uno su W tramite composizione con f.

Se A è la matrice associata a f rispetto a due basi di V e W, allora la trasposta ^tA è la matrice associata a ^tf rispetto alle basi duali di W* e V*.

Nel linguaggio della teoria delle categorie, l'operazione che trasforma gli spazi vettoriali ed i loro morfismi negli spazi vettoriali duali con i morfismi trasposti è un funtore covariante dalla categoria degli spazi vettoriali su K in sé.

[modifica] Forma bilineare e spazio biduale

Per quanto detto sopra, se V ha dimensione finita gli spazi V e V* sono isomorfi: l'isomorfismo tra i due spazi non è però canonico, nel senso che per definirlo è necessario fare una scelta, quella di una base per V. Scelte diverse danno isomorfismi diversi: ogni isomorfismo Φ da V in V* definisce una forma bilineare non degenere su V nel modo seguente:

e analogamente ogni forma bilineare non degenere definisce un isomorfismo tra V e V*.

Lo spazio biduale V** di uno spazio vettoriale è ottenuto prendendo il duale dello spazio V*. Se V ha dimensione finita, questo ha sempre la stessa dimensione di V. A differenza di V*, lo spazio V** è però canonicamente isomorfo a V, tramite un isomorfismo canonico Ψ:V → V** che non dipende da nessuna scelta, definito come segue:

dove v è in V e φ in V*. Se V ha dimensione infinita, la mappa Φ è solamente iniettiva.

[modifica] Spazio duale topologico

[modifica] Definizione

Se V è uno spazio vettoriale topologico, ed è quindi dotato di una topologia appropriata (ad esempio se è uno spazio di Hilbert o di Banach), si può generalizzare la precedente nozione, introducendo lo spazio duale topologico o spazio duale continuo di V. Esso è definito come lo spazio dei funzionali continui su V, ed è generalmente indicato con V' . Lo spazio duale topologico è molto utilizzato nell'analisi matematica, principalmente perché su di esso si possono definire interessanti strutture topologiche.

Si noti che la definizione data sopra di spazio duale algebrico si riduce a quella di spazio duale topologico se pensiamo lo spazio vettoriale V equipaggiato con la topologia discreta (in quanto tutti i funzionali sono continui con tale topologia).

Il duale continuo V' di uno spazio normato (ad esempio uno spazio di Banach o di Hilbert) è anch'egli uno spazio normato. La norma ||φ|| di un funzionale lineare continuo φ su V è definita come:

La continuità di φ garantisce che ||φ|| sia un numero finito. Se V è uno spazio di Banach, anche V' lo è. Analogamente, un prodotto scalare su V ne induce uno su V' in modo tale che se V è di Hilbert anche V' lo è.

Se V ha dimensione finita, gli spazi duali V* e V' coincidono, perché tutti i funzionali lineari sono continui. Questo non è vero in generale se V ha dimensione infinita.

[modifica] Esempi

Sia 1 < p < ∞ un numero reale. Lo spazio l^p è l'insieme di tutte le successioni a = (a_n) tali che

è finito. Sia p* il numero per cui vale 1/p + 1/p* = 1. Allora il duale continuo di l ^p è identificato in modo naturale con l ^p* nel modo seguente: dato un funzionale continuo φ su l ^p*, l'elemento corrispondente in l ^p* è la successione (φ(e_n)) dove e_n è la successione il cui n-esimo termine è 1 e tutti gli altri sono nulli. D'altra parte, dato un elemento a = (a_n) ∈ l ^p*, il funzionale lineare continuo corrispondente φ su l ^p è definito come φ(a) = ∑_n a_n b_n per ogni a = (a_n) ∈ L^p. L'identificazione fa uso della disuguaglianza di Holder.

Notiamo che p** = p: anche in questo contesto lo spazio è isomorfo in modo naturale con il suo biduale. Questo non è però sempre vero in generale: il duale continuo di l ¹ è identificato in modo naturale con lo spazio l ^∞ delle successioni limitate, ma il duale continuo di l ^∞ è uno spazio "più grande" di l ¹.

[modifica] Biduali e spazi riflessivi

Il biduale topologico V'' V è definito quindi come il duale topologico di V' . Analogamente a quanto visto sopra, esiste una mappa canonica iniettiva

A differenza di quanto visto sopra, questa mappa può essere suriettiva anche se V ha dimensione infinita: in questo caso lo spazio V si dice riflessivo.

Ogni spazio di Hilbert è riflessivo. Anche gli spazi di Banach L^p per p>1 sono riflessivi, ma L¹ non lo è.

[modifica] Voci correlate

• Funzionale lineare
• Operatore lineare
• Spazio vettoriale topologico
• Spazio di Hilbert