Sottospazio ortogonale

In algebra lineare, il sottospazio ortogonale realizza il concetto di ortogonalità per sottospazi di uno spazio vettoriale munito di un prodotto scalare. Quando il prodotto scalare è definito positivo, il sottospazio ortogonale è spesso chiamato anche complemento ortogonale.

Definizione

Sia $V$ uno spazio vettoriale su un campo $K$ munito di un prodotto scalare o di una forma hermitiana $\varphi :V\times V\to K$. Sia $W$ un sottospazio vettoriale di $V$. Il sottospazio ortogonale $W^{\perp }$ di $W$ è l'insieme dei vettori ortogonali a tutti i vettori di $W$:

$W^{\perp }=\{v\in V|\varphi (v,w)=0\mathrm{\forall }w\in W\}$

Dove due vettori $v,w$ di $V$ sono detti ortogonali se e solo se $\varphi (v,w)=0$.

Si dimostra facilmente che l'insieme $W^{\perp }$, munito della somma e del prodotto mutuati da $V$, è un sottospazio vettoriale di $V$; si dimostra inoltre che, se $ℒ(W)$ è il sottospazio generato dai vettori di $W$, allora:

$W^{\perp }={(ℒ(W))}^{\perp }$

Dimensioni e somma diretta

Il sottospazio ortogonale è un sottospazio vettoriale di $V$. La sua dimensione non è fissata generalmente, ma vale la disuguaglianza:

$\dim W+\dim W^{\perp }\ge \dim V$

Se il prodotto scalare o la forma hermitiana è non degenere, vale l'uguaglianza:

$\dim W+\dim W^{\perp }=\dim V$

Infine, se $K=ℝ$ e $\varphi$ è un prodotto scalare definito positivo, oppure se $K=ℂ$ e $\varphi$ è una forma hermitiana definita positiva, lo spazio $W$ ed il suo ortogonale sono in somma diretta:

$W\oplus W^{\perp }=V$

Questo è il caso ad esempio in ogni spazio euclideo o spazio di Hilbert. Lo stesso risultato vale se $\varphi$ è definito negativo. Per questo motivo, se $\varphi$ è definito positivo o negativo il sottospazio ortogonale è chiamato anche complemento ortogonale.

Relazioni con le altre operazioni

Valgono le relazioni seguenti per ogni coppia $U$ e $W$ di sottospazi di $V$:

$U\subset W\Rightarrow W^{\perp }\subset U^{\perp }(U+W{)}^{\perp }=U^{\perp }\cap W^{\perp }(U^{\perp }{)}^{\perp }\supset U$

Se $\varphi$ è non degenere, vale:

$(U^{\perp }{)}^{\perp }=U$

Radicale

Il radicale di $\varphi$ è definito come il sottospazio formato dai vettori che sono ortogonali a qualsiasi vettore di $V$:

$\mathrm{R}\mathrm{a}\mathrm{d}(\varphi )=V^{\perp }$

Un prodotto scalare (o forma hermitiana) $\varphi$ è non degenere quando il radicale è il sottospazio banale (consta cioè del solo elemento zero).

Bibliografia

• Template:Cita libro

Voci correlate

• Forma sesquilineare
• Prodotto scalare
• Somma diretta
• Sottospazio vettoriale
• Spazio di Hilbert
• Spazio euclideo

Collegamenti esterni

• Template:Cita web