Lezione 29


1 Sottospazi ortogonali, proiezioni ortogonali

Teorema. Sia V๐‘‰ uno spazio euclideo di dimensione n๐‘›. Per ogni sottospazio U๐‘ˆ di V๐‘‰, si ha

dimUโŸ‚=nโˆ’dimUdimensionsuperscript๐‘ˆperpendicular-to๐‘›dimension๐‘ˆ

Dimostrazione. Sia U๐‘ˆ un sottospazio di dimensione r๐‘Ÿ di V๐‘‰ e consideriamo una base v1,v2,โ€ฆ,vrsubscript๐‘ฃ1subscript๐‘ฃ2โ€ฆsubscript๐‘ฃ๐‘Ÿ di U๐‘ˆ. Completiamo questa base in modo da ottenere una base v1,โ€ฆ,vr,vr+1,โ€ฆ,vnsubscript๐‘ฃ1โ€ฆsubscript๐‘ฃ๐‘Ÿsubscript๐‘ฃ๐‘Ÿ1โ€ฆsubscript๐‘ฃ๐‘› di V๐‘‰. Un vettore v=ฮป1โขv1+ฮป2โขv2+โ‹ฏ+ฮปnโขvn๐‘ฃsubscript๐œ†1subscript๐‘ฃ1subscript๐œ†2subscript๐‘ฃ2โ‹ฏsubscript๐œ†๐‘›subscript๐‘ฃ๐‘› appartiene a UโŸ‚superscript๐‘ˆperpendicular-to se e solo se gโข(u,v)=0๐‘”๐‘ข๐‘ฃ0, per ogni uโˆˆU๐‘ข๐‘ˆ. Poichรฉ i vettori v1,v2,โ€ฆ,vrsubscript๐‘ฃ1subscript๐‘ฃ2โ€ฆsubscript๐‘ฃ๐‘Ÿ sono una base di U๐‘ˆ, ciรฒ equivale a richiedere che gโข(vi,v)=0๐‘”subscript๐‘ฃ๐‘–๐‘ฃ0 per i=1,โ€ฆ,r๐‘–1โ€ฆ๐‘Ÿ. Si hanno dunque le seguenti equazioni

gโข(vi,v)๐‘”subscript๐‘ฃ๐‘–๐‘ฃ =gโข(vi,ฮป1โขv1+ฮป2โขv2+โ‹ฏ+ฮปnโขvn)absent๐‘”subscript๐‘ฃ๐‘–subscript๐œ†1subscript๐‘ฃ1subscript๐œ†2subscript๐‘ฃ2โ‹ฏsubscript๐œ†๐‘›subscript๐‘ฃ๐‘›
=ฮป1โขgโข(vi,v1)+ฮป2โขgโข(vi,v2)+โ‹ฏ+ฮปnโขgโข(vi,vn)absentsubscript๐œ†1๐‘”subscript๐‘ฃ๐‘–subscript๐‘ฃ1subscript๐œ†2๐‘”subscript๐‘ฃ๐‘–subscript๐‘ฃ2โ‹ฏsubscript๐œ†๐‘›๐‘”subscript๐‘ฃ๐‘–subscript๐‘ฃ๐‘›
=giโข1โขฮป1+giโข2โขฮป2+โ‹ฏ+giโขnโขฮปn=0absentsubscript๐‘”๐‘–1subscript๐œ†1subscript๐‘”๐‘–2subscript๐œ†2โ‹ฏsubscript๐‘”๐‘–๐‘›subscript๐œ†๐‘›0

per i=1,โ€ฆ,r๐‘–1โ€ฆ๐‘Ÿ. In questo modo si ottiene un sistema di equazioni lineari omogenee la cui matrice ha rango massimo r๐‘Ÿ. Dal teorema di Rouchรฉโ€“Capelli segue che lo spazio delle soluzioni di questo sistema ha dimensione nโˆ’r๐‘›๐‘Ÿ. Dato che le soluzioni di tale sistema forniscono le componenti, rispetto alla base v1,โ€ฆ,vnsubscript๐‘ฃ1โ€ฆsubscript๐‘ฃ๐‘›, dei vettori appartenenti al sottospazio UโŸ‚superscript๐‘ˆperpendicular-to di V๐‘‰, si conclude che dimUโŸ‚=nโˆ’rdimensionsuperscript๐‘ˆperpendicular-to๐‘›๐‘Ÿ.

Corollario. Sia V๐‘‰ uno spazio euclideo di dimensione finita. Per ogni sottospazio U๐‘ˆ di V๐‘‰, si ha

(UโŸ‚)โŸ‚=Usuperscriptsuperscript๐‘ˆperpendicular-toperpendicular-to๐‘ˆ

Dimostrazione. Se n=dimV๐‘›dimension๐‘‰, per il teorema precedente si ha:

dim(UโŸ‚)โŸ‚=nโˆ’dimUโŸ‚=nโˆ’(nโˆ’dimU)=dimUdimensionsuperscriptsuperscript๐‘ˆperpendicular-toperpendicular-to๐‘›dimensionsuperscript๐‘ˆperpendicular-to๐‘›๐‘›dimension๐‘ˆdimension๐‘ˆ

Pertanto U๐‘ˆ e (UโŸ‚)โŸ‚superscriptsuperscript๐‘ˆperpendicular-toperpendicular-to sono due sottospazi vettoriali della stessa dimensione. Poichรฉ sappiamo che UโІ(UโŸ‚)โŸ‚๐‘ˆsuperscriptsuperscript๐‘ˆperpendicular-toperpendicular-to, deve necessariamente essere U=(UโŸ‚)โŸ‚๐‘ˆsuperscriptsuperscript๐‘ˆperpendicular-toperpendicular-to.

Corollario. Sia V๐‘‰ uno spazio euclideo di dimensione finita. Per ogni sottospazio U๐‘ˆ di V๐‘‰, si ha

V=UโŠ•UโŸ‚๐‘‰direct-sum๐‘ˆsuperscript๐‘ˆperpendicular-to

Dimostrazione. Se vโˆˆUโˆฉUโŸ‚๐‘ฃ๐‘ˆsuperscript๐‘ˆperpendicular-to, deve essere gโข(v,v)=0๐‘”๐‘ฃ๐‘ฃ0. Questo implica che v=0๐‘ฃ0, quindi UโˆฉUโŸ‚={0}๐‘ˆsuperscript๐‘ˆperpendicular-to0. Posto n=dimV๐‘›dimension๐‘‰, si ha dimUโŸ‚=nโˆ’dimUdimensionsuperscript๐‘ˆperpendicular-to๐‘›dimension๐‘ˆ, pertanto dalla formula di Grassmann, si ottiene

dim(U+UโŸ‚)=dimU+dimUโŸ‚=dimVdimension๐‘ˆsuperscript๐‘ˆperpendicular-todimension๐‘ˆdimensionsuperscript๐‘ˆperpendicular-todimension๐‘‰

e dunque U+UโŸ‚=V๐‘ˆsuperscript๐‘ˆperpendicular-to๐‘‰.

Osservazione. Nelle ipotesi del corollario precedente, ogni vettore vโˆˆV๐‘ฃ๐‘‰ si puรฒ scrivere in modo unico come somma di un vettore uโˆˆU๐‘ข๐‘ˆ e di un vettore wโˆˆUโŸ‚๐‘คsuperscript๐‘ˆperpendicular-to:

v=u+w,uโˆˆU,wโˆˆUโŸ‚formulae-sequence๐‘ฃ๐‘ข๐‘คformulae-sequence๐‘ข๐‘ˆ๐‘คsuperscript๐‘ˆperpendicular-to

I vettori u๐‘ข e w๐‘ค sono detti, rispettivamente, le proiezioni ortogonali di v๐‘ฃ sui sottospazi U๐‘ˆ e UโŸ‚superscript๐‘ˆperpendicular-to.

1.1 Proiezioni ortogonali

Nello spazio euclideo โ„nsuperscriptโ„๐‘› consideriamo un sottospazio vettoriale UโŠ‚โ„n๐‘ˆsuperscriptโ„๐‘›, di dimensione rโ‰ฅ1๐‘Ÿ1; sia {u1,u2,โ€ฆ,ur}subscript๐‘ข1subscript๐‘ข2โ€ฆsubscript๐‘ข๐‘Ÿ una sua base. Abbiamo giร  visto che โ„n=UโŠ•UโŸ‚superscriptโ„๐‘›direct-sum๐‘ˆsuperscript๐‘ˆperpendicular-to, pertanto ogni vettore vโˆˆโ„n๐‘ฃsuperscriptโ„๐‘› si scrive in modo unico nella forma v=u+w๐‘ฃ๐‘ข๐‘ค, con uโˆˆU๐‘ข๐‘ˆ e wโˆˆUโŸ‚๐‘คsuperscript๐‘ˆperpendicular-to. Indichiamo con prU:โ„nโ†’โ„n:subscriptpr๐‘ˆโ†’superscriptโ„๐‘›superscriptโ„๐‘› la funzione lineare che associa a ogni vโˆˆโ„n๐‘ฃsuperscriptโ„๐‘› la sua proiezione ortogonale u=prUโข(v)๐‘ขsubscriptpr๐‘ˆ๐‘ฃ sul sottospazio U๐‘ˆ.

Ora ci proponiamo di determinare la matrice della funzione prUsubscriptpr๐‘ˆ rispetto alla base canonica di โ„nsuperscriptโ„๐‘›.

Dato vโˆˆโ„n๐‘ฃsuperscriptโ„๐‘›, il vettore u=prUโข(v)๐‘ขsubscriptpr๐‘ˆ๐‘ฃ si puรฒ scrivere (in modo unico) come combinazione lineare dei vettori della base di U๐‘ˆ

u=x1โขu1+x2โขu2+โ‹ฏ+xrโขur๐‘ขsubscript๐‘ฅ1subscript๐‘ข1subscript๐‘ฅ2subscript๐‘ข2โ‹ฏsubscript๐‘ฅ๐‘Ÿsubscript๐‘ข๐‘Ÿ

Se indichiamo con A=(u1,u2,โ€ฆ,ur)๐ดsubscript๐‘ข1subscript๐‘ข2โ€ฆsubscript๐‘ข๐‘Ÿ la matrice le cui colonne sono costituite dai vettori u1,u2,โ€ฆ,ursubscript๐‘ข1subscript๐‘ข2โ€ฆsubscript๐‘ข๐‘Ÿ, lโ€™uguaglianza precedente si puรฒ riscrivere nella forma

u=AโขX,oveย โขX=(x1โ‹ฎxr)formulae-sequence๐‘ข๐ด๐‘‹oveย ๐‘‹matrixsubscript๐‘ฅ1โ‹ฎsubscript๐‘ฅ๐‘Ÿ

I coefficienti incogniti x1,โ€ฆ,xrsubscript๐‘ฅ1โ€ฆsubscript๐‘ฅ๐‘Ÿ devono essere determinati in modo che il vettore w=vโˆ’u=vโˆ’AโขX๐‘ค๐‘ฃ๐‘ข๐‘ฃ๐ด๐‘‹ appartenga al sottospazio UโŸ‚superscript๐‘ˆperpendicular-to; si deve quindi avere uiโ‹…w=0โ‹…subscript๐‘ข๐‘–๐‘ค0, per i=1,โ€ฆ,r๐‘–1โ€ฆ๐‘Ÿ.

Ricordando che il prodotto scalare dei due vettori uisubscript๐‘ข๐‘– e w๐‘ค non รจ altro che il prodotto righe per colonne del vettore uisubscript๐‘ข๐‘–, scritto in riga, per il vettore w๐‘ค, scritto in colonna, le r๐‘Ÿ equazioni u1โ‹…w=0โ‹…subscript๐‘ข1๐‘ค0, u2โ‹…w=0โ‹…subscript๐‘ข2๐‘ค0, โ€ฆ, urโ‹…w=0โ‹…subscript๐‘ข๐‘Ÿ๐‘ค0, si possono riscrivere nella forma ATโขw=0superscript๐ด๐‘‡๐‘ค0, cioรจ ATโข(vโˆ’AโขX)=ATโขvโˆ’ATโขAโขX=0superscript๐ด๐‘‡๐‘ฃ๐ด๐‘‹superscript๐ด๐‘‡๐‘ฃsuperscript๐ด๐‘‡๐ด๐‘‹0.

I coefficienti x1,โ€ฆ,xrsubscript๐‘ฅ1โ€ฆsubscript๐‘ฅ๐‘Ÿ sono dunque le soluzioni del seguente sistema di equazioni lineari:

(ATโขA)โขX=ATโขvsuperscript๐ด๐‘‡๐ด๐‘‹superscript๐ด๐‘‡๐‘ฃ

Lemma. Per ogni sottospazio vettoriale UโІโ„n๐‘ˆsuperscriptโ„๐‘› di dimensione rโ‰ฅ1๐‘Ÿ1, con base {u1,u2,โ€ฆ,ur}subscript๐‘ข1subscript๐‘ข2โ€ฆsubscript๐‘ข๐‘Ÿ, la matrice ATโขAsuperscript๐ด๐‘‡๐ด รจ invertibile.

Dimostrazione. Sia G=ATโขA๐บsuperscript๐ด๐‘‡๐ด. Per ogni i,j=1,โ€ฆ,rformulae-sequence๐‘–๐‘—1โ€ฆ๐‘Ÿ, il coefficiente gi,jsubscript๐‘”๐‘–๐‘— della matrice G๐บ รจ dato dal prodotto scalare dei vettori uisubscript๐‘ข๐‘– e ujsubscript๐‘ข๐‘—, gi,j=uiโ‹…ujsubscript๐‘”๐‘–๐‘—โ‹…subscript๐‘ข๐‘–subscript๐‘ข๐‘—.

Ciรฒ significa che G๐บ รจ la matrice del prodotto scalare in U๐‘ˆ, rispetto alla base {u1,u2,โ€ฆ,ur}subscript๐‘ข1subscript๐‘ข2โ€ฆsubscript๐‘ข๐‘Ÿ. Dato che il prodotto scalare รจ una forma bilineare simmetrica non-degenere, si ha detG=det(ATโขA)โ‰ 0๐บsuperscript๐ด๐‘‡๐ด0, quindi la matrice ATโขAsuperscript๐ด๐‘‡๐ด รจ invertibile.

Lโ€™invertibilitร  della matrice ATโขAsuperscript๐ด๐‘‡๐ด permette di concludere che il sistema lineare (ATโขA)โขX=ATโขvsuperscript๐ด๐‘‡๐ด๐‘‹superscript๐ด๐‘‡๐‘ฃ ha unโ€™unica soluzione, data da X=(ATโขA)โˆ’1โขATโขv๐‘‹superscriptsuperscript๐ด๐‘‡๐ด1superscript๐ด๐‘‡๐‘ฃ. Si ha pertanto

u=prUโข(v)=AโขX=Aโข(ATโขA)โˆ’1โขATโขv๐‘ขsubscriptpr๐‘ˆ๐‘ฃ๐ด๐‘‹๐ดsuperscriptsuperscript๐ด๐‘‡๐ด1superscript๐ด๐‘‡๐‘ฃ

La matrice

P=Aโข(ATโขA)โˆ’1โขAT๐‘ƒ๐ดsuperscriptsuperscript๐ด๐‘‡๐ด1superscript๐ด๐‘‡

รจ dunque la matrice della proiezione ortogonale prU:โ„nโ†’โ„n:subscriptpr๐‘ˆโ†’superscriptโ„๐‘›superscriptโ„๐‘›, rispetto alla base canonica di โ„nsuperscriptโ„๐‘›.

Osservazione. Si noti che la matrice P๐‘ƒ รจ tale che P2=Psuperscript๐‘ƒ2๐‘ƒ. Infatti

P2superscript๐‘ƒ2 =Pโ‹…P=(Aโข(ATโขA)โˆ’1โขAT)โข(Aโข(ATโขA)โˆ’1โขAT)absentโ‹…๐‘ƒ๐‘ƒ๐ดsuperscriptsuperscript๐ด๐‘‡๐ด1superscript๐ด๐‘‡๐ดsuperscriptsuperscript๐ด๐‘‡๐ด1superscript๐ด๐‘‡
=Aโข(ATโขA)โˆ’1โข(ATโขA)โข(ATโขA)โˆ’1โขATabsent๐ดsuperscriptsuperscript๐ด๐‘‡๐ด1superscript๐ด๐‘‡๐ดsuperscriptsuperscript๐ด๐‘‡๐ด1superscript๐ด๐‘‡
=Aโข(ATโขA)โˆ’1โขAT=Pabsent๐ดsuperscriptsuperscript๐ด๐‘‡๐ด1superscript๐ด๐‘‡๐‘ƒ

Osservazione. Dalla definizione della funzione prU:โ„nโ†’โ„n:subscriptpr๐‘ˆโ†’superscriptโ„๐‘›superscriptโ„๐‘›, si deduce che la matrice corrispondente P=Aโข(ATโขA)โˆ’1โขAT๐‘ƒ๐ดsuperscriptsuperscript๐ด๐‘‡๐ด1superscript๐ด๐‘‡ ha come unici autovalori 00 e 11. Lโ€™autospazio relativo allโ€™autovalore 11 รจ il sottospazio U๐‘ˆ, mentre lโ€™autospazio relativo allโ€™autovalore 00 (cioรจ il nucleo di prUsubscriptpr๐‘ˆ) รจ il sottospazio UโŸ‚superscript๐‘ˆperpendicular-to.

Esempio. Sia U=โŸจu1,u2โŸฉ๐‘ˆsubscript๐‘ข1subscript๐‘ข2 il sottospazio vettoriale di โ„4superscriptโ„4 generato dai vettori u1=(1,0,โˆ’1,1)subscript๐‘ข11011 e u2=(2,1,0,1)subscript๐‘ข22101. La matrice A๐ด, le cui colonne sono i vettori u1subscript๐‘ข1 e u2subscript๐‘ข2, รจ

A=(1201โˆ’1011)๐ดmatrix12011011

Si ha quindi

ATโขA=(10โˆ’112101)โข(1201โˆ’1011)=(3336)superscript๐ด๐‘‡๐ดmatrix10112101matrix12011011matrix3336

Lโ€™inversa della matrice ATโขAsuperscript๐ด๐‘‡๐ด รจ

(ATโขA)โˆ’1=(23โˆ’13โˆ’1313)superscriptsuperscript๐ด๐‘‡๐ด1matrix23131313

La matrice P๐‘ƒ della proiezione ortogonale su U๐‘ˆ รจ quindi

P๐‘ƒ =Aโข(ATโขA)โˆ’1โขAT=(1201โˆ’1011)โข(23โˆ’13โˆ’1313)โข(10โˆ’112101)absent๐ดsuperscriptsuperscript๐ด๐‘‡๐ด1superscript๐ด๐‘‡matrix12011011matrix23131313matrix10112101
=(2313013131313001323โˆ’13130โˆ’1313)absentmatrix2313013131313001323131301313

1.2 Il metodo dei minimi quadrati

Immaginiamo di voler determinare lโ€™equazione di una retta, nel piano cartesiano, passante per n๐‘› punti assegnati P1=(a1,b1)subscript๐‘ƒ1subscript๐‘Ž1subscript๐‘1, P2=(a2,b2)subscript๐‘ƒ2subscript๐‘Ž2subscript๐‘2, โ€ฆ, Pn=(an,bn)subscript๐‘ƒ๐‘›subscript๐‘Ž๐‘›subscript๐‘๐‘›. Considerando una retta di equazione y=mโขx+q๐‘ฆ๐‘š๐‘ฅ๐‘ž e imponendo la condizione di passaggio per i punti assegnati, si ottiene il seguente sistema di equazioni lineari, nelle incognite m๐‘š e q๐‘ž:

{mโขa1+q=b1mโขa2+q=b2โ‹ฏmโขan+q=bn

In notazione matriciale questo sistema si riscrive come segue:

(a11a21โ‹ฎโ‹ฎan1)โข(mq)=(b1b2โ‹ฎbn)matrixsubscript๐‘Ž11subscript๐‘Ž21โ‹ฎโ‹ฎsubscript๐‘Ž๐‘›1matrix๐‘š๐‘žmatrixsubscript๐‘1subscript๐‘2โ‹ฎsubscript๐‘๐‘›

Naturalmente, se i punti assegnati sono piรน di due, non esiste alcuna retta che passi per essi (a meno che tali punti non siano perfettamente allineati).

Dal punto di vista del sistema lineare precedente, il motivo per cui tale sistema non ammette soluzione รจ che il vettore B๐ต costituito dalla colonna dei termini noti non appartiene al sottospazio vettoriale di โ„nsuperscriptโ„๐‘› generato dalle colonne della matrice A๐ด del sistema.

In tale situazione il meglio che possiamo fare รจ cercare una retta che approssimi, nel modo migliore possibile, i punti dati.

Motivati da questo semplice esempio, consideriamo, in generale, un sistema di n๐‘› equazioni lineari in r๐‘Ÿ incognite (con n>r๐‘›๐‘Ÿ), del tipo

AโขX=B๐ด๐‘‹๐ต

Supponiamo che la matrice A๐ด abbia rango massimo, pari a r๐‘Ÿ. Ciรฒ significa che le r๐‘Ÿ colonne A(1),A(2),โ€ฆ,A(r)subscript๐ด1subscript๐ด2โ€ฆsubscript๐ด๐‘Ÿ di A๐ด sono linearmente indipendenti. Indichiamo con UโŠ‚โ„n๐‘ˆsuperscriptโ„๐‘› il sottospazio vettoriale generato dalle colonne di A๐ด. Sappiamo che il sistema AโขX=B๐ด๐‘‹๐ต ammette soluzione se e solo se il vettore colonna B๐ต appartiene al sottospazio U๐‘ˆ. Se, al contrario, B๐ต non appartiene a U๐‘ˆ, non esiste alcun vettore Xโˆˆโ„r๐‘‹superscriptโ„๐‘Ÿ tale che AโขX=B๐ด๐‘‹๐ต. In tal caso possiamo cercare di determinare un vettore X๐‘‹ che renda minima la differenza Bโˆ’AโขX๐ต๐ด๐‘‹.

Osserviamo che, al variare di Xโˆˆโ„r๐‘‹superscriptโ„๐‘Ÿ, lโ€™insieme dei vettori AโขX๐ด๐‘‹ descrive lโ€™intero sottospazio U๐‘ˆ. Il nostro problema รจ dunque quello di trovare un vettore AโขXโˆˆU๐ด๐‘‹๐‘ˆ tale che il vettore Bโˆ’AโขX๐ต๐ด๐‘‹ abbia norma minima. La situazione รจ descritta nella figura seguente:

Figura che mostra un piano U che contiene il vettore AX il quale รจ la proiezione ortogonale del vettore B. La differenza B-AX รจ un vettore ortogonale al piano U

รˆ immediato verificare che il vettore Bโˆ’AโขX๐ต๐ด๐‘‹ ha norma minima precisamente quando esso รจ ortogonale al sottospazio U๐‘ˆ; in tal caso il vettore AโขX๐ด๐‘‹ non รจ altro che la proiezione ortogonale di B๐ต su U๐‘ˆ.

Dato che il sottospazio U๐‘ˆ รจ generato dalle colonne A(1),A(2),โ€ฆ,A(r)subscript๐ด1subscript๐ด2โ€ฆsubscript๐ด๐‘Ÿ della matrice A๐ด, la condizione di ortogonalitร  tra Bโˆ’AโขX๐ต๐ด๐‘‹ e U๐‘ˆ, cioรจ tra Bโˆ’AโขX๐ต๐ด๐‘‹ e i vettori A(i)subscript๐ด๐‘–, รจ espressa dallโ€™equazione ATโข(Bโˆ’AโขX)=0superscript๐ด๐‘‡๐ต๐ด๐‘‹0. Tale equazione equivale al seguente sistema lineare:

(ATโขA)โขX=ATโขBsuperscript๐ด๐‘‡๐ด๐‘‹superscript๐ด๐‘‡๐ต

Lโ€™ipotesi che la matrice A๐ด abbia rango r๐‘Ÿ, cioรจ che le sue r๐‘Ÿ colonne siano linearmente indipendenti, implica che la matrice ATโขAsuperscript๐ด๐‘‡๐ด รจ invertibile, quindi il sistema ammette unโ€™unica soluzione data da X=(ATโขA)โˆ’1โขATโขB๐‘‹superscriptsuperscript๐ด๐‘‡๐ด1superscript๐ด๐‘‡๐ต. Come dicevamo, questo รจ il vettore Xโˆˆโ„r๐‘‹superscriptโ„๐‘Ÿ che rende minima la differenza tra il vettore B๐ต dei termini noti e il vettore AโขX๐ด๐‘‹.