Lezione 33


1 Basi ortogonali e ortonormali

In questa sezione dimostreremo che ogni spazio vettoriale reale V𝑉 di dimensione finita, dotato di una forma bilineare simmetrica definita positiva, ammette una base ortonormale. Descriveremo inoltre un procedimento che permette di costruire una base ortonormale partendo da una base qualunque di V𝑉.

Iniziamo col dimostrare il seguente risultato:

Lemma. Sia V𝑉 uno spazio vettoriale reale e sia g𝑔 una forma bilineare simmetrica definita positiva su V𝑉. Se i vettori v1,v2,…,vrsubscript𝑣1subscript𝑣2…subscriptπ‘£π‘Ÿ sono a due a due ortogonali, essi sono anche linearmente indipendenti.

Dimostrazione. Consideriamo una combinazione lineare

Ξ»1⁒v1+Ξ»2⁒v2+β‹―+Ξ»r⁒vr=0subscriptπœ†1subscript𝑣1subscriptπœ†2subscript𝑣2β‹―subscriptπœ†π‘Ÿsubscriptπ‘£π‘Ÿ0

Per ogni i=1,…,r𝑖1β€¦π‘Ÿ, si ha

g⁒(vi,βˆ‘j=1rΞ»j⁒vj)=βˆ‘j=1rΞ»j⁒g⁒(vi,vj)=Ξ»i⁒g⁒(vi,vi)=0𝑔subscript𝑣𝑖superscriptsubscript𝑗1π‘Ÿsubscriptπœ†π‘—subscript𝑣𝑗superscriptsubscript𝑗1π‘Ÿsubscriptπœ†π‘—π‘”subscript𝑣𝑖subscript𝑣𝑗subscriptπœ†π‘–π‘”subscript𝑣𝑖subscript𝑣𝑖0

dato che g⁒(vi,vj)=0𝑔subscript𝑣𝑖subscript𝑣𝑗0 per ogni iβ‰ j𝑖𝑗. Essendo g𝑔 definita positiva, Γ¨ g⁒(vi,vi)>0𝑔subscript𝑣𝑖subscript𝑣𝑖0, quindi deve essere Ξ»i=0subscriptπœ†π‘–0. Questo dimostra che i vettori v1,…,vrsubscript𝑣1…subscriptπ‘£π‘Ÿ sono linearmente indipendenti.

Possiamo ora dimostrare il seguente risultato:

Teorema. Ogni spazio vettoriale V𝑉 di dimensione finita sul campo dei numeri reali, dotato di una forma bilineare simmetrica definita positiva g𝑔, possiede una base ortonormale.

Dimostrazione. Procediamo per induzione su n=dimV𝑛dimension𝑉. Se n=1𝑛1 consideriamo un vettore non nullo v∈V𝑣𝑉. PoichΓ© g𝑔 Γ¨ definita positiva, si ha g⁒(v,v)>0𝑔𝑣𝑣0, quindi possiamo porre w=v/g⁒(v,v)𝑀𝑣𝑔𝑣𝑣. Il vettore w𝑀 Γ¨ normalizzato, cioΓ¨ si ha g⁒(w,w)=1𝑔𝑀𝑀1, e costituisce pertanto una base ortonormale di V𝑉.

Supponiamo quindi che il teorema valga per ogni spazio vettoriale reale di dimensione nβˆ’1𝑛1 e dimostriamo che esso vale anche per spazi di dimensione n𝑛. Sia V𝑉 uno spazio vettoriale di dimensione n𝑛, come nell’enunciato, e sia v∈V𝑣𝑉 un vettore non nullo. Consideriamo il sottospazio W=⟨vβŸ©βŸ‚π‘Šsuperscriptdelimited-βŸ¨βŸ©π‘£perpendicular-to dotato della forma bilineare simmetrica definita positiva indotta da g𝑔. Si ha dimW=nβˆ’1dimensionπ‘Šπ‘›1 pertanto, per l’ipotesi induttiva, Wπ‘Š possiede una base ortonormale w1,…,wnβˆ’1subscript𝑀1…subscript𝑀𝑛1. PoichΓ©, per ipotesi, g𝑔 Γ¨ definita positiva, si ha g⁒(v,v)>0𝑔𝑣𝑣0; possiamo quindi porre wn=v/g⁒(v,v)subscript𝑀𝑛𝑣𝑔𝑣𝑣. Γ¨ ora immediato verificare che {w1,…,wnβˆ’1,wn}subscript𝑀1…subscript𝑀𝑛1subscript𝑀𝑛 Γ¨ una base ortonormale di V𝑉.

Osservazione. Nel caso di uno spazio vettoriale V𝑉 dotato di una forma bilineare simmetrica definita positiva g𝑔, per construire una base ortonormale di V𝑉 si puΓ² utilizzare il procedimento di ortonormalizzazione di Gram–Schmidt descritto in precedenza.

Partendo da una base 𝐯={v1,…,vn}𝐯subscript𝑣1…subscript𝑣𝑛 di V𝑉, il procedimento di Gram–Schmidt produce una base ortonormale 𝐰′={w1β€²,…,wnβ€²}superscript𝐰′subscriptsuperscript𝑀′1…subscriptsuperscript𝑀′𝑛. Se indichiamo con G𝐺 la matrice di g𝑔 rispetto alla base 𝐯𝐯 e con Gβ€²superscript𝐺′ la matrice di g𝑔 rispetto alla base 𝐰′superscript𝐰′, si ha

Gβ€²=PT⁒G⁒Psuperscript𝐺′superscript𝑃𝑇𝐺𝑃

ove P𝑃 Γ¨ la matrice di cambiamento di base, cioΓ¨ la matrice le cui colonne sono le componenti dei vettori w1β€²,…,wnβ€²subscriptsuperscript𝑀′1…subscriptsuperscript𝑀′𝑛 della nuova base, rispetto ai vettori v1,…,vnsubscript𝑣1…subscript𝑣𝑛 della base originale di V𝑉. Dato che 𝐰′={w1β€²,…,wnβ€²}superscript𝐰′subscriptsuperscript𝑀′1…subscriptsuperscript𝑀′𝑛 Γ¨ una base ortonormale, si ha

gi,jβ€²=g⁒(wiβ€²,wjβ€²)={1seΒ i=j0seΒ iβ‰ jsubscriptsuperscript𝑔′𝑖𝑗𝑔subscriptsuperscript𝑀′𝑖subscriptsuperscript𝑀′𝑗cases1seΒ i=j0seΒ iβ‰ j

quindi Gβ€²superscript𝐺′ Γ¨ la matrice identica.

Osservazione. Si noti che ogni vettore wjβ€²subscriptsuperscript𝑀′𝑗 della base ortonormale 𝐰′superscript𝐰′ si scrive come combinazione lineare dei vettori v1,v2,…,vjsubscript𝑣1subscript𝑣2…subscript𝑣𝑗 della base 𝐯𝐯. CiΓ² significa che, nella matrice di cambiamento di base P𝑃, tutti gli elementi sotto la diagonale principale sono nulli; P𝑃 Γ¨ quindi una matrice triangolare superiore.

Possiamo riassumere quanto detto finora come segue:

Teorema. Sia G∈Mn⁒(ℝ)𝐺subscript𝑀𝑛ℝ una matrice simmetrica definita positiva. Esiste una matrice invertibile P∈GLn⁒(ℝ)𝑃subscriptGL𝑛ℝ tale che PT⁒G⁒P=Isuperscript𝑃𝑇𝐺𝑃𝐼. Inoltre, tale matrice P𝑃 puΓ² essere scelta triangolare superiore.

Esempio. Applichiamo ora in un esempio concreto il metodo di ortonormalizzazione di Gram–Schmidt descritto in precedenza. Sia V𝑉 uno spazio vettoriale reale di dimensioneΒ 44 e sia g𝑔 la forma bilineare simmetrica su V𝑉 di matrice

G=(42βˆ’22210βˆ’7βˆ’2βˆ’2βˆ’7632βˆ’2310)𝐺matrix422221072276322310

rispetto alla base 𝐯={v1,v2,v3,v4}𝐯subscript𝑣1subscript𝑣2subscript𝑣3subscript𝑣4 di V𝑉. Ci proponiamo di costruire una base ortonormale di V𝑉.

Iniziamo ponendo w1=v1subscript𝑀1subscript𝑣1. Si ha

g⁒(w1,w1)=g⁒(v1,v1)=4,g⁒(w1,v2)=g⁒(v1,v2)=2formulae-sequence𝑔subscript𝑀1subscript𝑀1𝑔subscript𝑣1subscript𝑣14𝑔subscript𝑀1subscript𝑣2𝑔subscript𝑣1subscript𝑣22

quindi otteniamo

w2=v2βˆ’g⁒(w1,v2)g⁒(w1,w1)⁒w1=v2βˆ’12⁒v1subscript𝑀2subscript𝑣2𝑔subscript𝑀1subscript𝑣2𝑔subscript𝑀1subscript𝑀1subscript𝑀1subscript𝑣212subscript𝑣1

Ora si ha:

g⁒(w1,v3)𝑔subscript𝑀1subscript𝑣3 =g⁒(v1,v3)=βˆ’2,absent𝑔subscript𝑣1subscript𝑣32
g⁒(w2,v3)𝑔subscript𝑀2subscript𝑣3 =g⁒(v2βˆ’12⁒v1,v3)=g⁒(v2,v3)βˆ’12⁒g⁒(v1,v3)=βˆ’6,absent𝑔subscript𝑣212subscript𝑣1subscript𝑣3𝑔subscript𝑣2subscript𝑣312𝑔subscript𝑣1subscript𝑣36
g⁒(w2,w2)𝑔subscript𝑀2subscript𝑀2 =g⁒(v2βˆ’12⁒v1,v2βˆ’12⁒v1)=g⁒(v2,v2)βˆ’g⁒(v2,v1)+14⁒g⁒(v1,v1)=9absent𝑔subscript𝑣212subscript𝑣1subscript𝑣212subscript𝑣1𝑔subscript𝑣2subscript𝑣2𝑔subscript𝑣2subscript𝑣114𝑔subscript𝑣1subscript𝑣19

Si ricava

w3=v3βˆ’g⁒(w1,v3)g⁒(w1,w1)⁒w1βˆ’g⁒(w2,v3)g⁒(w2,w2)⁒w2=v3+16⁒v1+23⁒v2subscript𝑀3subscript𝑣3𝑔subscript𝑀1subscript𝑣3𝑔subscript𝑀1subscript𝑀1subscript𝑀1𝑔subscript𝑀2subscript𝑣3𝑔subscript𝑀2subscript𝑀2subscript𝑀2subscript𝑣316subscript𝑣123subscript𝑣2

Infine, in modo del tutto analogo, si ha

w4=v4βˆ’g⁒(w1,v4)g⁒(w1,w1)⁒w1βˆ’g⁒(w2,v4)g⁒(w2,w2)⁒w2βˆ’g⁒(w3,v4)g⁒(w3,w3)⁒w3subscript𝑀4subscript𝑣4𝑔subscript𝑀1subscript𝑣4𝑔subscript𝑀1subscript𝑀1subscript𝑀1𝑔subscript𝑀2subscript𝑣4𝑔subscript𝑀2subscript𝑀2subscript𝑀2𝑔subscript𝑀3subscript𝑣4𝑔subscript𝑀3subscript𝑀3subscript𝑀3

Sviluppando i calcoli, si trova

g⁒(w1,v4)=2g⁒(w3,v4)=2g⁒(w2,v4)=βˆ’3g⁒(w3,w3)=1𝑔subscript𝑀1subscript𝑣4absent2𝑔subscript𝑀3subscript𝑣4absent2𝑔subscript𝑀2subscript𝑣4absent3𝑔subscript𝑀3subscript𝑀3absent1

da cui si ricava

w4=βˆ’v1βˆ’v2βˆ’2⁒v3+v4subscript𝑀4subscript𝑣1subscript𝑣22subscript𝑣3subscript𝑣4

Calcoliamo infine g⁒(w4,w4)𝑔subscript𝑀4subscript𝑀4:

g⁒(w4,w4)=g⁒(βˆ’v1βˆ’v2βˆ’2⁒v3+v4,βˆ’v1βˆ’v2βˆ’2⁒v3+v4)=4𝑔subscript𝑀4subscript𝑀4𝑔subscript𝑣1subscript𝑣22subscript𝑣3subscript𝑣4subscript𝑣1subscript𝑣22subscript𝑣3subscript𝑣44

Ora non rimane altro che normalizzare i vettori trovati:

w1β€²subscriptsuperscript𝑀′1 =w1g⁒(w1,w1)=w14=12⁒v1,absentsubscript𝑀1𝑔subscript𝑀1subscript𝑀1subscript𝑀1412subscript𝑣1
w2β€²subscriptsuperscript𝑀′2 =w2g⁒(w2,w2)=w29=βˆ’16⁒v1+13⁒v2,absentsubscript𝑀2𝑔subscript𝑀2subscript𝑀2subscript𝑀2916subscript𝑣113subscript𝑣2
w3β€²subscriptsuperscript𝑀′3 =w3g⁒(w3,w3)=w31=16⁒v1+23⁒v2+v3,absentsubscript𝑀3𝑔subscript𝑀3subscript𝑀3subscript𝑀3116subscript𝑣123subscript𝑣2subscript𝑣3
w4β€²subscriptsuperscript𝑀′4 =w4g⁒(w4,w4)=w44=βˆ’12⁒v1βˆ’12⁒v2βˆ’v3+12⁒v4absentsubscript𝑀4𝑔subscript𝑀4subscript𝑀4subscript𝑀4412subscript𝑣112subscript𝑣2subscript𝑣312subscript𝑣4

La matrice di cambiamento di base Γ¨ quindi

P=(12βˆ’1616βˆ’1201323βˆ’12001βˆ’100012)𝑃matrix121616120132312001100012

che, come si vede, Γ¨ triangolare superiore. È ora immediato verificare che PT⁒G⁒P=Isuperscript𝑃𝑇𝐺𝑃𝐼.

1.1 Matrici definite positive, negative, indefinite.

Terminiamo questa parte enunciando un utile criterio per stabilire se una matrice simmetrica a coefficienti reali Γ¨ definita positiva, negativa o indefinita.

Sia G=(gi,j)∈Mn⁒(ℝ)𝐺subscript𝑔𝑖𝑗subscript𝑀𝑛ℝ una matrice simmetrica. Per ogni r=1,…,nπ‘Ÿ1…𝑛 indichiamo con GrsubscriptπΊπ‘Ÿ la sottomatrice quadrata di G𝐺 costituita dagli elementi gi,jsubscript𝑔𝑖𝑗, con 1≀i,j≀rformulae-sequence1π‘–π‘—π‘Ÿ:

G1=(g1,1),G2=(g1,1g1,2g2,1g2,2),G3=(g1,1g1,2g1,3g2,1g2,2g2,3g3,1g3,2g3,3),…,Gn=Gformulae-sequencesubscript𝐺1subscript𝑔11formulae-sequencesubscript𝐺2matrixsubscript𝑔11subscript𝑔12subscript𝑔21subscript𝑔22formulae-sequencesubscript𝐺3matrixsubscript𝑔11subscript𝑔12subscript𝑔13subscript𝑔21subscript𝑔22subscript𝑔23subscript𝑔31subscript𝑔32subscript𝑔33…subscript𝐺𝑛𝐺

I determinanti delle matrici GrsubscriptπΊπ‘Ÿ sono detti i minori principali di G𝐺.

Teorema. Sia G∈Mn⁒(ℝ)𝐺subscript𝑀𝑛ℝ una matrice simmetrica, con detGβ‰ 0𝐺0.

  1. 1.

    G𝐺 Γ¨ definita positiva se e solo se detGr>0subscriptπΊπ‘Ÿ0 per ogni r=1,…,nπ‘Ÿ1…𝑛;

  2. 2.

    G𝐺 Γ¨ definita negativa se e solo se detGr<0subscriptπΊπ‘Ÿ0 per rπ‘Ÿ dispari e detGr>0subscriptπΊπ‘Ÿ0 per rπ‘Ÿ pari;

  3. 3.

    in tutti gli altri casi G𝐺 è indefinita.

Nella dimostrazione di questo teorema useremo il seguente risultato:

Lemma. Sia G∈Mn⁒(ℝ)𝐺subscript𝑀𝑛ℝ una matrice simmetrica e sia P∈GLn⁒(ℝ)𝑃subscriptGL𝑛ℝ una matrice invertibile, triangolare superiore. Sia Gβ€²=PT⁒G⁒Psuperscript𝐺′superscript𝑃𝑇𝐺𝑃. Allora, per ogni r=1,…,nπ‘Ÿ1…𝑛, si ha anche Grβ€²=PrT⁒Gr⁒PrsubscriptsuperscriptπΊβ€²π‘Ÿsubscriptsuperscriptπ‘ƒπ‘‡π‘ŸsubscriptπΊπ‘Ÿsubscriptπ‘ƒπ‘Ÿ. In particolare, ogni minore principale della matrice G𝐺 ha lo stesso segno del corrispondente minore principale della matrice Gβ€²superscript𝐺′.

Dimostrazione. Sia G=(gi,j)𝐺subscript𝑔𝑖𝑗, Gβ€²=(gi,jβ€²)superscript𝐺′subscriptsuperscript𝑔′𝑖𝑗 e P=(pi,j)𝑃subscript𝑝𝑖𝑗. L’ipotesi che P𝑃 sia triangolare superiore equivale a dire che pi,j=0subscript𝑝𝑖𝑗0 se i>j𝑖𝑗. Con queste notazioni, l’uguaglianza Gβ€²=PT⁒G⁒Psuperscript𝐺′superscript𝑃𝑇𝐺𝑃 si scrive nella forma

gi,jβ€²=βˆ‘h,k=1nph,i⁒gh,k⁒pk,jsubscriptsuperscript𝑔′𝑖𝑗superscriptsubscriptβ„Žπ‘˜1𝑛subscriptπ‘β„Žπ‘–subscriptπ‘”β„Žπ‘˜subscriptπ‘π‘˜π‘—

Per ogni elemento gi,jβ€²subscriptsuperscript𝑔′𝑖𝑗 della sottomatrice Grβ€²subscriptsuperscriptπΊβ€²π‘Ÿ, si ha i,j≀rπ‘–π‘—π‘Ÿ e, di conseguenza, ph,i=0subscriptπ‘β„Žπ‘–0 e pk,j=0subscriptπ‘π‘˜π‘—0, per ogni h,k>rβ„Žπ‘˜π‘Ÿ. Se i,j≀rπ‘–π‘—π‘Ÿ, si ha dunque

gi,jβ€²=βˆ‘h,k=1nph,i⁒gh,k⁒pk,j=βˆ‘h,k=1rph,i⁒gh,k⁒pk,jsubscriptsuperscript𝑔′𝑖𝑗superscriptsubscriptβ„Žπ‘˜1𝑛subscriptπ‘β„Žπ‘–subscriptπ‘”β„Žπ‘˜subscriptπ‘π‘˜π‘—superscriptsubscriptβ„Žπ‘˜1π‘Ÿsubscriptπ‘β„Žπ‘–subscriptπ‘”β„Žπ‘˜subscriptπ‘π‘˜π‘—

che, in termini matriciali, equivale a Grβ€²=PrT⁒Gr⁒PrsubscriptsuperscriptπΊβ€²π‘Ÿsubscriptsuperscriptπ‘ƒπ‘‡π‘ŸsubscriptπΊπ‘Ÿsubscriptπ‘ƒπ‘Ÿ. Da ciΓ² si deduce che detGrβ€²=detGr⁒(detPr)2subscriptsuperscriptπΊβ€²π‘ŸsubscriptπΊπ‘Ÿsuperscriptsubscriptπ‘ƒπ‘Ÿ2, quindi detGrβ€²subscriptsuperscriptπΊβ€²π‘Ÿ e detGrsubscriptπΊπ‘Ÿ hanno lo stesso segno.

Possiamo ora dimostrare il teorema.

(1) Sia V𝑉 uno spazio vettoriale reale con base {v1,…,vn}subscript𝑣1…subscript𝑣𝑛 e sia g𝑔 la forma bilineare simmetrica su V𝑉 la cui matrice, rispetto alla base data, Γ¨ G𝐺. Se G𝐺 Γ¨ definita positiva esiste una matrice invertibile P𝑃, triangolare superiore, tale che PT⁒G⁒P=Isuperscript𝑃𝑇𝐺𝑃𝐼. Per il lemma precedente, i minori principali di G𝐺 hanno quindi lo stesso segno dei minori principali della matrice identica, pertanto sono tutti positivi.

Viceversa, supponiamo che la matrice G𝐺 abbia tutti i suoi minori principali positivi. Dobbiamo dimostrare che G𝐺 Γ¨ definita positiva. Procediamo per induzione sull’ordine n𝑛 della matrice G𝐺.

Se n=1𝑛1 il risultato Γ¨ ovvio. Supponiamo dunque che tale risultato valga per matrici di ordine nβˆ’1𝑛1. Per ipotesi induttiva, la sottomatrice Gnβˆ’1subscript𝐺𝑛1 Γ¨ definita positiva. Osserviamo che Gnβˆ’1subscript𝐺𝑛1 Γ¨ la matrice della restrizione della forma bilineare g𝑔 al sottospazio W=⟨v1,…,vnβˆ’1βŸ©π‘Šsubscript𝑣1…subscript𝑣𝑛1 generato dai primi nβˆ’1𝑛1 vettori della base di V𝑉. Dato che g𝑔 ristretta a Wπ‘Š Γ¨ definita positiva, possiamo applicare il procedimento di ortonormalizzazione di Gram–Schmidt alla base {v1,…,vnβˆ’1}subscript𝑣1…subscript𝑣𝑛1 di Wπ‘Š per ottenere una base ortonormale {w1,…,wnβˆ’1}subscript𝑀1…subscript𝑀𝑛1. Detta P~~𝑃 la corrispondente matrice di cambiamento di base (ricordiamo che essa Γ¨ triangolare superiore), si ha P~T⁒Gnβˆ’1⁒P~=Inβˆ’1superscript~𝑃𝑇subscript𝐺𝑛1~𝑃subscript𝐼𝑛1.

Consideriamo ora il vettore

u=vnβˆ’g⁒(w1,vn)⁒w1βˆ’g⁒(w2,vn)⁒w2βˆ’β‹―βˆ’g⁒(wnβˆ’1,vn)⁒wnβˆ’1𝑒subscript𝑣𝑛𝑔subscript𝑀1subscript𝑣𝑛subscript𝑀1𝑔subscript𝑀2subscript𝑣𝑛subscript𝑀2⋯𝑔subscript𝑀𝑛1subscript𝑣𝑛subscript𝑀𝑛1

Si verifica facilmente che i vettori w1,…,wnβˆ’1,usubscript𝑀1…subscript𝑀𝑛1𝑒 sono linearmente indipendenti, inoltre, ricordando che g⁒(wi,wj)=Ξ΄i,j𝑔subscript𝑀𝑖subscript𝑀𝑗subscript𝛿𝑖𝑗, si ha g⁒(wi,u)=g⁒(wi,vn)βˆ’g⁒(wi,vn)=0𝑔subscript𝑀𝑖𝑒𝑔subscript𝑀𝑖subscript𝑣𝑛𝑔subscript𝑀𝑖subscript𝑣𝑛0, per i=1,…,nβˆ’1𝑖1…𝑛1. I vettori w1,…,wnβˆ’1,usubscript𝑀1…subscript𝑀𝑛1𝑒 formano quindi una base ortogonale di V𝑉. La matrice Gβ€²superscript𝐺′ della forma bilineare simmetrica g𝑔 rispetto alla base {w1,…,wnβˆ’1,u}subscript𝑀1…subscript𝑀𝑛1𝑒 Γ¨ una matrice a blocchi del tipo

Gβ€²=(Inβˆ’100Ξ±)superscript𝐺′matrixsubscript𝐼𝑛100𝛼

ove Ξ±=g⁒(u,u)𝛼𝑔𝑒𝑒. Si ha pertanto Gβ€²=PT⁒G⁒Psuperscript𝐺′superscript𝑃𝑇𝐺𝑃 (ricordando come Γ¨ stata costruita la base {w1,…,wnβˆ’1,u}subscript𝑀1…subscript𝑀𝑛1𝑒, si deduce che anche la matrice di cambiamento di base P𝑃 Γ¨ triangolare superiore, inoltre si ha Pnβˆ’1=P~subscript𝑃𝑛1~𝑃). Da ciΓ² segue che Ξ±=detGβ€²=detG⁒(detP)2>0𝛼superscript𝐺′𝐺superscript𝑃20. Possiamo dunque normalizzare il vettore u𝑒, dividendolo per α𝛼. Ponendo wn=1α⁒usubscript𝑀𝑛1𝛼𝑒, si ottiene una base ortonormale {w1,…,wnβˆ’1,wn}subscript𝑀1…subscript𝑀𝑛1subscript𝑀𝑛 di V𝑉. L’esistenza di tale base ortonormale ci permette di concludere che la matrice G𝐺 Γ¨ congruente alla matrice identica, e pertanto essa Γ¨ definita positiva.

(2) G𝐺 Γ¨ definita negativa se e solo se βˆ’G𝐺 Γ¨ definita positiva, quindi, per il punto (1), se e solo se det(βˆ’Gr)>0subscriptπΊπ‘Ÿ0 per r=1,…,nπ‘Ÿ1…𝑛. Per concludere basta osservare che det(βˆ’Gr)=(βˆ’1)r⁒detGrsubscriptπΊπ‘Ÿsuperscript1π‘ŸsubscriptπΊπ‘Ÿ.

(3) Quest’ultimo caso Γ¨ una conseguenza immediata del Teorema di Sylvester. Da tale teorema si deduce infatti che, se detGβ‰ 0𝐺0, la matrice G𝐺 puΓ² solo essere definita positiva, negativa oppure indefinita.