Lezione 32


1 Matrice associata a una forma bilineare

Sia V๐‘‰ uno spazio vettoriale di dimensione finita sul campo del numeri reali K=โ„๐พโ„ e sia g๐‘” una forma bilineare definita su V๐‘‰. Consideriamo una base ๐ฏ={v1,โ€ฆ,vn}๐ฏsubscript๐‘ฃ1โ€ฆsubscript๐‘ฃ๐‘› di V๐‘‰ e poniamo gi,j=gโข(vi,vj)subscript๐‘”๐‘–๐‘—๐‘”subscript๐‘ฃ๐‘–subscript๐‘ฃ๐‘—, per ogni i,j=1,โ€ฆ,nformulae-sequence๐‘–๐‘—1โ€ฆ๐‘›. Gli scalari gi,jsubscript๐‘”๐‘–๐‘— formano una matrice quadrata, di ordine n๐‘›, a coefficienti in K๐พ.

Definizione. Con le notazioni precedenti, la matrice G=(gi,j)๐บsubscript๐‘”๐‘–๐‘— รจ detta la matrice della forma bilineare g๐‘”, rispetto alla base ๐ฏ๐ฏ di V๐‘‰. Quando sarร  opportuno indicare esplicitamente la dipendenza dalla base di V๐‘‰, scriveremo G=M๐ฏ๐ฏโข(g)๐บsubscript๐‘€๐ฏ๐ฏ๐‘”.

La conoscenza della matrice di g๐‘” permette di calcolare gโข(v,w)๐‘”๐‘ฃ๐‘ค per ogni coppia di vettori v,wโˆˆV๐‘ฃ๐‘ค๐‘‰. Infatti, esprimendo v๐‘ฃ e w๐‘ค come combinazioni lineari dei vettori della base di V๐‘‰,

v=โˆ‘i=1nฮปiโขvi,w=โˆ‘j=1nฮผjโขvjformulae-sequence๐‘ฃsuperscriptsubscript๐‘–1๐‘›subscript๐œ†๐‘–subscript๐‘ฃ๐‘–๐‘คsuperscriptsubscript๐‘—1๐‘›subscript๐œ‡๐‘—subscript๐‘ฃ๐‘—

grazie alla bilinearitร  di g๐‘”, si ha:

gโข(v,w)=gโข(โˆ‘i=1nฮปiโขvi,โˆ‘j=1nฮผjโขvj)=โˆ‘i,j=1nฮปiโขฮผjโขgโข(vi,vj)=โˆ‘i,j=1nฮปiโขฮผjโขgi,j๐‘”๐‘ฃ๐‘ค๐‘”superscriptsubscript๐‘–1๐‘›subscript๐œ†๐‘–subscript๐‘ฃ๐‘–superscriptsubscript๐‘—1๐‘›subscript๐œ‡๐‘—subscript๐‘ฃ๐‘—superscriptsubscript๐‘–๐‘—1๐‘›subscript๐œ†๐‘–subscript๐œ‡๐‘—๐‘”subscript๐‘ฃ๐‘–subscript๐‘ฃ๐‘—superscriptsubscript๐‘–๐‘—1๐‘›subscript๐œ†๐‘–subscript๐œ‡๐‘—subscript๐‘”๐‘–๐‘—

Considerando i vettori (ฮป1,ฮป2,โ€ฆ,ฮปn)๐ฏsuperscriptsubscript๐œ†1subscript๐œ†2โ€ฆsubscript๐œ†๐‘›๐ฏ e (ฮผ1,ฮผ2,โ€ฆ,ฮผn)๐ฏsuperscriptsubscript๐œ‡1subscript๐œ‡2โ€ฆsubscript๐œ‡๐‘›๐ฏ, costituiti dalle componenti di v๐‘ฃ e w๐‘ค rispetto alla base ๐ฏ๐ฏ di V๐‘‰, รจ possibile esprimere gโข(v,w)๐‘”๐‘ฃ๐‘ค in termini di prodotti tra matrici e vettori come segue:

gโข(v,w)=(ฮป1,โ€ฆ,ฮปn)๐ฏโขGโข(ฮผ1โ‹ฎฮผn)๐ฏ=(ฮป1,โ€ฆ,ฮปn)๐ฏโขM๐ฏ๐ฏโข(g)โข(ฮผ1โ‹ฎฮผn)๐ฏ๐‘”๐‘ฃ๐‘คsuperscriptsubscript๐œ†1โ€ฆsubscript๐œ†๐‘›๐ฏ๐บsuperscriptmatrixsubscript๐œ‡1โ‹ฎsubscript๐œ‡๐‘›๐ฏsuperscriptsubscript๐œ†1โ€ฆsubscript๐œ†๐‘›๐ฏsubscript๐‘€๐ฏ๐ฏ๐‘”superscriptmatrixsubscript๐œ‡1โ‹ฎsubscript๐œ‡๐‘›๐ฏ

Ad ogni forma bilineare g๐‘” su V๐‘‰ possiamo quindi associare una matrice quadrata G=M๐ฏ๐ฏโข(g)๐บsubscript๐‘€๐ฏ๐ฏ๐‘” a coefficienti in K๐พ la quale, ovviamente, dipende dalla scelta di una base di V๐‘‰. รˆ immediato verificare che la forma bilineare g๐‘” รจ simmetrica se e solo se gi,j=gj,isubscript๐‘”๐‘–๐‘—subscript๐‘”๐‘—๐‘–, per ogni i,j=1,โ€ฆ,nformulae-sequence๐‘–๐‘—1โ€ฆ๐‘›, cioรจ se e solo se G๐บ รจ una matrice simmetrica. Analogamente, g๐‘” รจ antisimmetrica se e solo se gi,j=โˆ’gj,isubscript๐‘”๐‘–๐‘—subscript๐‘”๐‘—๐‘–, per ogni i,j=1,โ€ฆ,nformulae-sequence๐‘–๐‘—1โ€ฆ๐‘›, cioรจ se e solo se G๐บ รจ una matrice antisimmetrica.

Osservazione. Siano U๐‘ˆ e W๐‘Š due sottospazi vettoriali di uno spazio vettoriale V๐‘‰ e sia gV=gUโŠ•gWsubscript๐‘”๐‘‰direct-sumsubscript๐‘”๐‘ˆsubscript๐‘”๐‘Š, ove gUsubscript๐‘”๐‘ˆ e gWsubscript๐‘”๐‘Š sono delle forme bilineari definite su U๐‘ˆ e W๐‘Š rispettivamente. Sia ๐ฎ={u1,โ€ฆ,ur}๐ฎsubscript๐‘ข1โ€ฆsubscript๐‘ข๐‘Ÿ una base di U๐‘ˆ e indichiamo con GUsubscript๐บ๐‘ˆ la matrice di gUsubscript๐‘”๐‘ˆ rispetto alla base ๐ฎ๐ฎ. Analogamente, consideriamo una base ๐ฐ={w1,โ€ฆ,ws}๐ฐsubscript๐‘ค1โ€ฆsubscript๐‘ค๐‘  di W๐‘Š e indichiamo con GWsubscript๐บ๐‘Š la matrice di gWsubscript๐‘”๐‘Š rispetto alla base ๐ฐ๐ฐ. Se indichiamo con G๐บ la matrice di gVsubscript๐‘”๐‘‰ rispetto alla base ๐ฏ๐ฏ di V๐‘‰ costituita dai vettori u1,โ€ฆ,ur,w1,โ€ฆ,wssubscript๐‘ข1โ€ฆsubscript๐‘ข๐‘Ÿsubscript๐‘ค1โ€ฆsubscript๐‘ค๐‘ , รจ immediato verificare che la matrice G๐บ ha la seguente forma a blocchi

G=(GU0r,s0s,rGW)๐บmatrixsubscript๐บ๐‘ˆsubscript0๐‘Ÿ๐‘ subscript0๐‘ ๐‘Ÿsubscript๐บ๐‘Š

ove 0r,ssubscript0๐‘Ÿ๐‘  indica la matrice nulla con r๐‘Ÿ righe e s๐‘  colonne.

1.1 Nucleo di una forma bilineare

Descriviamo ora il nucleo di una forma bilineare simmetrica g๐‘” in termini della matrice ad essa associata:

Teorema. Siano V๐‘‰ uno spazio vettoriale su K๐พ, g๐‘” una forma bilineare simmetrica su V๐‘‰ e ๐ฏ={v1,โ€ฆ,vn}๐ฏsubscript๐‘ฃ1โ€ฆsubscript๐‘ฃ๐‘› una base di V๐‘‰. Indichiamo con GโˆˆMnโข(K)๐บsubscript๐‘€๐‘›๐พ la matrice di g๐‘” rispetto alla base ๐ฏ๐ฏ di V๐‘‰. Il nucleo di g๐‘” รจ lโ€™insieme dei vettori v๐‘ฃ del tipo v=ฮป1โขv1+ฮป2โขv2+โ‹ฏ+ฮปnโขvn๐‘ฃsubscript๐œ†1subscript๐‘ฃ1subscript๐œ†2subscript๐‘ฃ2โ‹ฏsubscript๐œ†๐‘›subscript๐‘ฃ๐‘›, ove la n๐‘›-upla (ฮป1,โ€ฆ,ฮปn)subscript๐œ†1โ€ฆsubscript๐œ†๐‘› รจ una soluzione del sistema lineare omogeneo GโขX=0๐บ๐‘‹0.

Dimostrazione. Un vettore v=ฮป1โขv1+ฮป2โขv2+โ‹ฏ+ฮปnโขvn๐‘ฃsubscript๐œ†1subscript๐‘ฃ1subscript๐œ†2subscript๐‘ฃ2โ‹ฏsubscript๐œ†๐‘›subscript๐‘ฃ๐‘› appartiene al nucleo di g๐‘” se e solo se gโข(w,v)=0๐‘”๐‘ค๐‘ฃ0 per ogni wโˆˆV๐‘ค๐‘‰. Poichรฉ i vettori v1,v2,โ€ฆ,vnsubscript๐‘ฃ1subscript๐‘ฃ2โ€ฆsubscript๐‘ฃ๐‘› formano una base di V๐‘‰, ciรฒ equivale a richiedere che gโข(vi,v)=0๐‘”subscript๐‘ฃ๐‘–๐‘ฃ0, per i=1,โ€ฆ,n๐‘–1โ€ฆ๐‘›. Si ha dunque, per ogni vettore visubscript๐‘ฃ๐‘– della base di V๐‘‰,

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

Queste sono precisamente le n๐‘› equazioni del sistema lineare

Gโข(x1โ‹ฎxn)=0๐บmatrixsubscript๐‘ฅ1โ‹ฎsubscript๐‘ฅ๐‘›0

Corollario. Sia V๐‘‰ uno spazio vettoriale di dimensione finita su K๐พ. Una forma bilineare simmetrica g๐‘” definita su V๐‘‰ รจ non degenere se e solo se la sua matrice G๐บ, rispetto a una qualunque base di V๐‘‰, รจ non singolare, cioรจ se e solo se detGโ‰ 0๐บ0.

Dimostrazione. Ricordiamo che g๐‘” รจ non degenere se e solo se Kerโข(g)={0}Ker๐‘”0. In base al teorema precedente, ciรฒ equivale a richiedere che il sistema lineare GโขX=0๐บ๐‘‹0 abbia come unica soluzione il vettore nullo. Per il teorema di Cramer questo avviene se e solo se la matrice G๐บ รจ non singolare.

1.2 Cambiamenti di base

La matrice associata a una forma bilineare g๐‘”, definita su uno spazio vettoriale di dimensione finita V๐‘‰, dipende dalla scelta di una base di V๐‘‰. Vogliamo ora descrivere come cambia la matrice di g๐‘” in corrispondenza di un cambiamento della base di V๐‘‰.

Consideriamo quindi uno spazio vettoriale V๐‘‰ di dimensione n๐‘› su K๐พ e una forma bilineare g๐‘” su V๐‘‰. Siano ๐ฏ={v1,โ€ฆ,vn}๐ฏsubscript๐‘ฃ1โ€ฆsubscript๐‘ฃ๐‘› e ๐ฏโ€ฒ={v1โ€ฒ,โ€ฆ,vnโ€ฒ}superscript๐ฏโ€ฒsubscriptsuperscript๐‘ฃโ€ฒ1โ€ฆsubscriptsuperscript๐‘ฃโ€ฒ๐‘› due basi di V๐‘‰ e indichiamo con G=(gi,j)=M๐ฏ๐ฏโข(g)๐บsubscript๐‘”๐‘–๐‘—subscript๐‘€๐ฏ๐ฏ๐‘” la matrice di g๐‘” rispetto alla base ๐ฏ๐ฏ e con Gโ€ฒ=(gi,jโ€ฒ)=M๐ฏโ€ฒโข๐ฏโ€ฒโข(g)superscript๐บโ€ฒsubscriptsuperscript๐‘”โ€ฒ๐‘–๐‘—subscript๐‘€superscript๐ฏโ€ฒsuperscript๐ฏโ€ฒ๐‘” la matrice di g๐‘” rispetto alla base ๐ฏโ€ฒsuperscript๐ฏโ€ฒ. Ricordiamo che ciรฒ significa che

gi,j=gโข(vi,vj),egi,jโ€ฒ=gโข(viโ€ฒ,vjโ€ฒ)formulae-sequencesubscript๐‘”๐‘–๐‘—๐‘”subscript๐‘ฃ๐‘–subscript๐‘ฃ๐‘—esubscriptsuperscript๐‘”โ€ฒ๐‘–๐‘—๐‘”subscriptsuperscript๐‘ฃโ€ฒ๐‘–subscriptsuperscript๐‘ฃโ€ฒ๐‘—

per ogni i,j=1,โ€ฆ,nformulae-sequence๐‘–๐‘—1โ€ฆ๐‘›.

Indichiamo con P=(pi,j)๐‘ƒsubscript๐‘๐‘–๐‘— la matrice della funzione identica idV:Vโ†’V:subscriptid๐‘‰โ†’๐‘‰๐‘‰, rispetto alla base ๐ฏโ€ฒsuperscript๐ฏโ€ฒ del dominio e alla base ๐ฏ๐ฏ del codominio, P=M๐ฏโ€ฒ๐ฏโข(idV)๐‘ƒsuperscriptsubscript๐‘€superscript๐ฏโ€ฒ๐ฏsubscriptid๐‘‰. Si ha

vjโ€ฒ=โˆ‘i=1npi,jโขvisubscriptsuperscript๐‘ฃโ€ฒ๐‘—superscriptsubscript๐‘–1๐‘›subscript๐‘๐‘–๐‘—subscript๐‘ฃ๐‘–

Siamo ora in grado di determinare la relazione esistente tra le due matrici G=M๐ฏ๐ฏโข(g)๐บsubscript๐‘€๐ฏ๐ฏ๐‘” e Gโ€ฒ=M๐ฏโ€ฒโข๐ฏโ€ฒโข(g)superscript๐บโ€ฒsubscript๐‘€superscript๐ฏโ€ฒsuperscript๐ฏโ€ฒ๐‘”. Si ha infatti:

gi,jโ€ฒsubscriptsuperscript๐‘”โ€ฒ๐‘–๐‘— =gโข(viโ€ฒ,vjโ€ฒ)absent๐‘”subscriptsuperscript๐‘ฃโ€ฒ๐‘–subscriptsuperscript๐‘ฃโ€ฒ๐‘—
=gโข(โˆ‘h=1nph,iโขvh,โˆ‘k=1npk,jโขvk)absent๐‘”superscriptsubscriptโ„Ž1๐‘›subscript๐‘โ„Ž๐‘–subscript๐‘ฃโ„Žsuperscriptsubscript๐‘˜1๐‘›subscript๐‘๐‘˜๐‘—subscript๐‘ฃ๐‘˜
=โˆ‘h,k=1nph,iโขpk,jโขgโข(vh,vk)absentsuperscriptsubscriptโ„Ž๐‘˜1๐‘›subscript๐‘โ„Ž๐‘–subscript๐‘๐‘˜๐‘—๐‘”subscript๐‘ฃโ„Žsubscript๐‘ฃ๐‘˜
=โˆ‘h,k=1nph,iโขgh,kโขpk,jabsentsuperscriptsubscriptโ„Ž๐‘˜1๐‘›subscript๐‘โ„Ž๐‘–subscript๐‘”โ„Ž๐‘˜subscript๐‘๐‘˜๐‘—

Questa uguaglianza puรฒ essere riscritta, in termini di matrici, come segue:

Gโ€ฒ=PTโขGโขP,cioรจM๐ฏโ€ฒโข๐ฏโ€ฒโข(g)=(M๐ฏโ€ฒ๐ฏโข(idV))TโขM๐ฏ๐ฏโข(g)โขM๐ฏโ€ฒ๐ฏโข(idV)formulae-sequencesuperscript๐บโ€ฒsuperscript๐‘ƒ๐‘‡๐บ๐‘ƒcioรจsubscript๐‘€superscript๐ฏโ€ฒsuperscript๐ฏโ€ฒ๐‘”superscriptsuperscriptsubscript๐‘€superscript๐ฏโ€ฒ๐ฏsubscriptid๐‘‰๐‘‡subscript๐‘€๐ฏ๐ฏ๐‘”superscriptsubscript๐‘€superscript๐ฏโ€ฒ๐ฏsubscriptid๐‘‰

Diamo ora la seguente definizione:

Definizione. Due matrici quadrate G๐บ e Gโ€ฒsuperscript๐บโ€ฒ di ordine n๐‘› a coefficienti in K๐พ si dicono congruenti se esiste una matrice invertibile PโˆˆGLnโข(K)๐‘ƒsubscriptGL๐‘›๐พ tale che

Gโ€ฒ=PTโขGโขPsuperscript๐บโ€ฒsuperscript๐‘ƒ๐‘‡๐บ๐‘ƒ

Da quanto sopra detto si deduce il seguente risultato:

Corollario. Due matrici G,Gโ€ฒโˆˆMnโข(K)๐บsuperscript๐บโ€ฒsubscript๐‘€๐‘›๐พ rappresentano la stessa forma bilineare g๐‘” definita su uno spazio vettoriale V๐‘‰ di dimensione n๐‘› su K๐พ, rispetto a basi diverse, se e solo se esse sono congruenti.

Osservazione. Si verifica facilmente che la relazione di congruenza รจ una relazione di equivalenza sullโ€™insieme Mnโข(K)subscript๐‘€๐‘›๐พ delle matrici quadrate di ordine n๐‘› a coefficienti in K๐พ.

Osserviamo che se ๐ฏ={v1,โ€ฆ,vn}๐ฏsubscript๐‘ฃ1โ€ฆsubscript๐‘ฃ๐‘› รจ una base ortonormale di V๐‘‰, la corrispondente matrice G๐บ della forma bilineare g๐‘” รจ la matrice identica. In particolare, se ๐ฏ๐ฏ e ๐ฏโ€ฒsuperscript๐ฏโ€ฒ sono entrambe basi ortonormali di V๐‘‰, si ha G=Gโ€ฒ=I๐บsuperscript๐บโ€ฒ๐ผ e quindi la formula di cambiamento di base si riduce a PTโขP=Isuperscript๐‘ƒ๐‘‡๐‘ƒ๐ผ, cioรจ PT=Pโˆ’1superscript๐‘ƒ๐‘‡superscript๐‘ƒ1. Ciรฒ motiva la seguente definizione:

Definizione. Una matrice PโˆˆMnโข(K)๐‘ƒsubscript๐‘€๐‘›๐พ รจ detta matrice ortogonale se PTโขP=Isuperscript๐‘ƒ๐‘‡๐‘ƒ๐ผ.

รˆ immediato verificare che lโ€™insieme delle matrici ortogonali

Oโข(n)={PโˆˆMnโข(K):PTโขP=I}O๐‘›conditional-set๐‘ƒsubscript๐‘€๐‘›๐พsuperscript๐‘ƒ๐‘‡๐‘ƒ๐ผ

รจ un gruppo rispetto allโ€™operazione di moltiplicazione; tale gruppo รจ detto il gruppo ortogonale di ordine n๐‘›.

Possiamo riassumere quanto visto finora come segue:

Teorema. La matrice di cambiamento di base da una base ortonormale di V๐‘‰ a unโ€™altra base ortonormale di V๐‘‰ รจ una matrice ortogonale.

Terminiamo questa sezione con la seguente definizione:

Definizione. Sia GโˆˆMnโข(โ„)๐บsubscript๐‘€๐‘›โ„ una matrice simmetrica e sia g:โ„nร—โ„nโ†’โ„:๐‘”โ†’superscriptโ„๐‘›superscriptโ„๐‘›โ„ la corrispondente forma bilineare simmetrica (cioรจ la forma bilineare la cui matrice, rispetto alla base canonica di โ„nsuperscriptโ„๐‘›, รจ G๐บ). La matrice G๐บ รจ detta:

  1. 1.

    definita positiva se g๐‘” รจ definita positiva;

  2. 2.

    definita negativa se g๐‘” รจ definita negativa;

  3. 3.

    semidefinita positiva se g๐‘” รจ semidefinita positiva;

  4. 4.

    semidefinita negativa se g๐‘” รจ semidefinita negativa;

  5. 5.

    indefinita se g๐‘” รจ indefinita.