Lezione 13


1 Funzioni lineari e matrici

Riportiamo qui alcune considerazioni sulle funzioni lineari e sulle matrici ad esse associate.

1.1 Immagine inversa (o antiimmagine).

Data una funzione lineare f:Vโ†’W:๐‘“โ†’๐‘‰๐‘Š tra due spazi vettoriali V๐‘‰ e W๐‘Š, di dimensioni rispettivamente n๐‘› e m๐‘š sul campo K๐พ, possiamo considerare il seguente problema: dato un vettore wโˆˆW๐‘ค๐‘Š, determinare la sua antiimmagine fโˆ’1โข(w)โІVsuperscript๐‘“1๐‘ค๐‘‰, cioรจ determinare tutti i vettori vโˆˆV๐‘ฃ๐‘‰ tali che fโข(v)=w๐‘“๐‘ฃ๐‘ค.

Se scegliamo delle basi ๐ฏ={v1,โ€ฆ,vn}๐ฏsubscript๐‘ฃ1โ€ฆsubscript๐‘ฃ๐‘› di V๐‘‰ e ๐ฐ={w1,โ€ฆ,wm}๐ฐsubscript๐‘ค1โ€ฆsubscript๐‘ค๐‘š di W๐‘Š, allโ€™omomorfismo f๐‘“ risulta associata una matrice A=(ai,j)๐ดsubscript๐‘Ž๐‘–๐‘—, con m๐‘š righe e n๐‘› colonne, a elementi in K๐พ, con la proprietร  che, per ogni vettore

v=ฮป1โขv1+โ‹ฏ+ฮปnโขvnโˆˆV,๐‘ฃsubscript๐œ†1subscript๐‘ฃ1โ‹ฏsubscript๐œ†๐‘›subscript๐‘ฃ๐‘›๐‘‰

se esprimiamo w=fโข(v)๐‘ค๐‘“๐‘ฃ come combinazione lineare dei vettori della base ๐ฐ๐ฐ

w=fโข(v)=ฮผ1โขw1+โ‹ฏ+ฮผmโขwm,๐‘ค๐‘“๐‘ฃsubscript๐œ‡1subscript๐‘ค1โ‹ฏsubscript๐œ‡๐‘šsubscript๐‘ค๐‘š

allora si ha

(a1,1a1,2โ€ฆa1,na2,1a2,2โ€ฆa2,nโ‹ฎโ‹ฎโ‹ฑโ‹ฎam,1am,2โ€ฆam,n)โข(ฮป1ฮป2โ‹ฎฮปn)=(ฮผ1ฮผ2โ‹ฎฮผm)matrixsubscript๐‘Ž11subscript๐‘Ž12โ€ฆsubscript๐‘Ž1๐‘›subscript๐‘Ž21subscript๐‘Ž22โ€ฆsubscript๐‘Ž2๐‘›โ‹ฎโ‹ฎโ‹ฑโ‹ฎsubscript๐‘Ž๐‘š1subscript๐‘Ž๐‘š2โ€ฆsubscript๐‘Ž๐‘š๐‘›matrixsubscript๐œ†1subscript๐œ†2โ‹ฎsubscript๐œ†๐‘›matrixsubscript๐œ‡1subscript๐œ‡2โ‹ฎsubscript๐œ‡๐‘š

Pertanto, se indichiamo con (b1,โ€ฆ,bm)โˆˆKmsubscript๐‘1โ€ฆsubscript๐‘๐‘šsuperscript๐พ๐‘š il vettore delle coordinate di w๐‘ค rispetto alla base ๐ฐ๐ฐ di W๐‘Š e se indichiamo con (x1,โ€ฆ,xn)โˆˆKnsubscript๐‘ฅ1โ€ฆsubscript๐‘ฅ๐‘›superscript๐พ๐‘› le coordinate di un generico vettore vโˆˆV๐‘ฃ๐‘‰ (rispetto alla base ๐ฏ๐ฏ di V๐‘‰), il problema di determinare i vettori v๐‘ฃ tali che fโข(v)=w๐‘“๐‘ฃ๐‘ค si traduce nel problema di determinare le soluzioni del seguente sistema di equazioni lineari:

(a1,1a1,2โ€ฆa1,na2,1a2,2โ€ฆa2,nโ‹ฎโ‹ฎโ‹ฑโ‹ฎam,1am,2โ€ฆam,n)โข(x1x2โ‹ฎxn)=(b1b2โ‹ฎbm)matrixsubscript๐‘Ž11subscript๐‘Ž12โ€ฆsubscript๐‘Ž1๐‘›subscript๐‘Ž21subscript๐‘Ž22โ€ฆsubscript๐‘Ž2๐‘›โ‹ฎโ‹ฎโ‹ฑโ‹ฎsubscript๐‘Ž๐‘š1subscript๐‘Ž๐‘š2โ€ฆsubscript๐‘Ž๐‘š๐‘›matrixsubscript๐‘ฅ1subscript๐‘ฅ2โ‹ฎsubscript๐‘ฅ๐‘›matrixsubscript๐‘1subscript๐‘2โ‹ฎsubscript๐‘๐‘š

1.2 Rango

Sia f:Vโ†’W:๐‘“โ†’๐‘‰๐‘Š una funzione lineare tra due spazi vettoriali. Ricordiamo che lโ€™immagine di f๐‘“ รจ generata dalle immagini tramite f๐‘“ dei vettori di una base di V๐‘‰. Le coordinate di questi vettori, rispetto alla base di W๐‘Š, compaiono nelle colonne della matrice di f๐‘“. Possiamo quindi concludere che la dimensione dellโ€™immagine di f๐‘“ รจ uguale al numero di colonne linearmente indipendenti della matrice M๐ฏ๐ฐโข(f)superscriptsubscript๐‘€๐ฏ๐ฐ๐‘“, cioรจ al rango per colonne di M๐ฏ๐ฐโข(f)superscriptsubscript๐‘€๐ฏ๐ฐ๐‘“, che sappiamo essere uguale al rango per righe. Quindi

dimImโขf=rangoโขM๐ฏ๐ฐโข(f).dimensionIm๐‘“rangosuperscriptsubscript๐‘€๐ฏ๐ฐ๐‘“

1.3 Operazioni tra funzioni e operazioni tra matrici

Siano f,g:Vโ†’W:๐‘“๐‘”โ†’๐‘‰๐‘Š funzioni lineari e indichiamo con M๐ฏ๐ฐโข(f)=(aiโขj)superscriptsubscript๐‘€๐ฏ๐ฐ๐‘“subscript๐‘Ž๐‘–๐‘— e M๐ฏ๐ฐโข(g)=(biโขj)superscriptsubscript๐‘€๐ฏ๐ฐ๐‘”subscript๐‘๐‘–๐‘— le matrici ad esse associate. La somma di f๐‘“ e g๐‘” รจ la funzione lineare definita da (f+g)โข(v)=fโข(v)+gโข(v)๐‘“๐‘”๐‘ฃ๐‘“๐‘ฃ๐‘”๐‘ฃ, per ogni vโˆˆV๐‘ฃ๐‘‰. In particolare, per ogni vettore vjsubscript๐‘ฃ๐‘— della base di V๐‘‰, si ha

(f+g)โข(vj)๐‘“๐‘”subscript๐‘ฃ๐‘— =fโข(vj)+gโข(vj)=โˆ‘i=1mai,jโขwi+โˆ‘i=1mbi,jโขwiabsent๐‘“subscript๐‘ฃ๐‘—๐‘”subscript๐‘ฃ๐‘—superscriptsubscript๐‘–1๐‘šsubscript๐‘Ž๐‘–๐‘—subscript๐‘ค๐‘–superscriptsubscript๐‘–1๐‘šsubscript๐‘๐‘–๐‘—subscript๐‘ค๐‘–
=โˆ‘i=1m(ai,j+bi,j)โขwi.absentsuperscriptsubscript๐‘–1๐‘šsubscript๐‘Ž๐‘–๐‘—subscript๐‘๐‘–๐‘—subscript๐‘ค๐‘–

La matrice M๐ฏ๐ฐโข(f+g)superscriptsubscript๐‘€๐ฏ๐ฐ๐‘“๐‘”, associata alla funzione f+g๐‘“๐‘”, ha quindi come elementi le somme ai,j+bi,jsubscript๐‘Ž๐‘–๐‘—subscript๐‘๐‘–๐‘— degli elementi delle matrici M๐ฏ๐ฐโข(f)superscriptsubscript๐‘€๐ฏ๐ฐ๐‘“ e M๐ฏ๐ฐโข(g)superscriptsubscript๐‘€๐ฏ๐ฐ๐‘”, associate rispettivamente a f๐‘“ e g๐‘”. Pertanto si ha:

M๐ฏ๐ฐโข(f+g)=M๐ฏ๐ฐโข(f)+M๐ฏ๐ฐโข(g).superscriptsubscript๐‘€๐ฏ๐ฐ๐‘“๐‘”superscriptsubscript๐‘€๐ฏ๐ฐ๐‘“superscriptsubscript๐‘€๐ฏ๐ฐ๐‘”

Sia ora ฮปโˆˆK๐œ†๐พ e consideriamo la funzione ฮปโขf๐œ†๐‘“ definita da (ฮปโขf)โข(v)=ฮปโขfโข(v)๐œ†๐‘“๐‘ฃ๐œ†๐‘“๐‘ฃ, per ogni vโˆˆV๐‘ฃ๐‘‰. Valutando questa funzione sui vettori della base di V๐‘‰, si ha

(ฮปโขf)โข(vj)=ฮปโขfโข(vj)=ฮปโขโˆ‘i=1mai,jโขwi=โˆ‘i=1m(ฮปโขai,j)โขwi,๐œ†๐‘“subscript๐‘ฃ๐‘—๐œ†๐‘“subscript๐‘ฃ๐‘—๐œ†superscriptsubscript๐‘–1๐‘šsubscript๐‘Ž๐‘–๐‘—subscript๐‘ค๐‘–superscriptsubscript๐‘–1๐‘š๐œ†subscript๐‘Ž๐‘–๐‘—subscript๐‘ค๐‘–

da cui si deduce che la matrice M๐ฏ๐ฐโข(ฮปโขf)superscriptsubscript๐‘€๐ฏ๐ฐ๐œ†๐‘“, associata alla funzione ฮปโขf๐œ†๐‘“, รจ la matrice i cui elementi sono dati dal prodotto di ฮป๐œ† per gli elementi della matrice M๐ฏ๐ฐโข(f)superscriptsubscript๐‘€๐ฏ๐ฐ๐‘“:

M๐ฏ๐ฐโข(ฮปโขf)=ฮปโขM๐ฏ๐ฐโข(f).superscriptsubscript๐‘€๐ฏ๐ฐ๐œ†๐‘“๐œ†superscriptsubscript๐‘€๐ฏ๐ฐ๐‘“

Esiste una biiezione tra lโ€™insieme Homโข(V,W)Hom๐‘‰๐‘Š e lโ€™insieme Mm,nโข(K)subscript๐‘€๐‘š๐‘›๐พ delle matrici mร—n๐‘š๐‘› a elementi in K๐พ

Homโข(V,W)โ†’Mm,nโข(K)fโ†ฆM๐ฏ๐ฐโข(f).formulae-sequenceโ†’Hom๐‘‰๐‘Šsubscript๐‘€๐‘š๐‘›๐พmaps-to๐‘“superscriptsubscript๐‘€๐ฏ๐ฐ๐‘“

I due insiemi Homโข(V,W)Hom๐‘‰๐‘Š e Mm,nโข(K)subscript๐‘€๐‘š๐‘›๐พ sono spazi vettoriali su K๐พ. Le uguaglianze

M๐ฏ๐ฐโข(f+g)=M๐ฏ๐ฐโข(f)+M๐ฏ๐ฐโข(g),M๐ฏ๐ฐโข(ฮปโขf)=ฮปโขM๐ฏ๐ฐโข(f)formulae-sequencesuperscriptsubscript๐‘€๐ฏ๐ฐ๐‘“๐‘”superscriptsubscript๐‘€๐ฏ๐ฐ๐‘“superscriptsubscript๐‘€๐ฏ๐ฐ๐‘”superscriptsubscript๐‘€๐ฏ๐ฐ๐œ†๐‘“๐œ†superscriptsubscript๐‘€๐ฏ๐ฐ๐‘“

ci dicono che la funzione biiettiva fโ†ฆM๐ฏ๐ฐโข(f)maps-to๐‘“superscriptsubscript๐‘€๐ฏ๐ฐ๐‘“ รจ lineare, quindi รจ un isomorfismo tra gli spazi vettoriali Homโข(V,W)Hom๐‘‰๐‘Š e Mm,nโข(K)subscript๐‘€๐‘š๐‘›๐พ.

Per analogia con la definizione della base canonica di Knsuperscript๐พ๐‘›, definiamo delle matrici Ei,jsubscript๐ธ๐‘–๐‘—, con i=1,โ€ฆ,m๐‘–1โ€ฆ๐‘š e j=1,โ€ฆ,n๐‘—1โ€ฆ๐‘›, i cui elementi sono tutti nulli eccetto quello di posto (i,j)๐‘–๐‘— (cioรจ quello che si trova sulla i๐‘–-esima riga e sulla j๐‘—-esima colonna), che รจ uguale a 11. รˆ immediato verificare che le mโขn๐‘š๐‘› matrici Ei,jsubscript๐ธ๐‘–๐‘— appena definite formano una base dello spazio vettoriale Mm,nโข(K)subscript๐‘€๐‘š๐‘›๐พ. Ciรฒ รจ conseguenza del fatto che ogni matrice A=(aiโขj)๐ดsubscript๐‘Ž๐‘–๐‘— si scrive, in modo unico, come segue:

A=โˆ‘i,jai,jโขEi,j.๐ดsubscript๐‘–๐‘—subscript๐‘Ž๐‘–๐‘—subscript๐ธ๐‘–๐‘—

Vediamo ora quale operazione tra matrici corrisponde alla composizione di due funzioni lineari. A tal fine consideriamo tre spazi vettoriali U๐‘ˆ, V๐‘‰ e W๐‘Š, di dimensioni rispettivamente r๐‘Ÿ, n๐‘› e m๐‘š, e fissiamo delle loro basi ๐ฎ={u1,โ€ฆ,ur}๐ฎsubscript๐‘ข1โ€ฆsubscript๐‘ข๐‘Ÿ, ๐ฏ={v1,โ€ฆ,vn}๐ฏsubscript๐‘ฃ1โ€ฆsubscript๐‘ฃ๐‘› e ๐ฐ={w1,โ€ฆ,wm}๐ฐsubscript๐‘ค1โ€ฆsubscript๐‘ค๐‘š. Siano f:Vโ†’W:๐‘“โ†’๐‘‰๐‘Š e g:Uโ†’V:๐‘”โ†’๐‘ˆ๐‘‰ due funzioni lineari e indichiamo con A=M๐ฏ๐ฐโข(f)๐ดsuperscriptsubscript๐‘€๐ฏ๐ฐ๐‘“ la matrice di f๐‘“, con B=M๐ฎ๐ฏโข(g)๐ตsuperscriptsubscript๐‘€๐ฎ๐ฏ๐‘” la matrice di g๐‘” e con C=M๐ฎ๐ฐโข(fโˆ˜g)๐ถsuperscriptsubscript๐‘€๐ฎ๐ฐ๐‘“๐‘” la matrice di fโˆ˜g:Uโ†’W:๐‘“๐‘”โ†’๐‘ˆ๐‘Š, rispetto alle basi indicate. Ricordiamo che A๐ด รจ una matrice mร—n๐‘š๐‘›, B๐ต รจ una matrice nร—r๐‘›๐‘Ÿ, mentre C๐ถ รจ una matrice mร—r๐‘š๐‘Ÿ.

Per ogni vettore ujsubscript๐‘ข๐‘— della base di U๐‘ˆ si ha:

(fโˆ˜g)โข(uj)๐‘“๐‘”subscript๐‘ข๐‘— =fโข(gโข(uj))=fโข(โˆ‘h=1nbh,jโขvh)=โˆ‘h=1nbh,jโขfโข(vh)absent๐‘“๐‘”subscript๐‘ข๐‘—๐‘“superscriptsubscriptโ„Ž1๐‘›subscript๐‘โ„Ž๐‘—subscript๐‘ฃโ„Žsuperscriptsubscriptโ„Ž1๐‘›subscript๐‘โ„Ž๐‘—๐‘“subscript๐‘ฃโ„Ž
=โˆ‘h=1nbh,jโข(โˆ‘i=1mai,hโขwi)=โˆ‘i=1m(โˆ‘h=1nai,hโขbh,j)โขwi.absentsuperscriptsubscriptโ„Ž1๐‘›subscript๐‘โ„Ž๐‘—superscriptsubscript๐‘–1๐‘šsubscript๐‘Ž๐‘–โ„Žsubscript๐‘ค๐‘–superscriptsubscript๐‘–1๐‘šsuperscriptsubscriptโ„Ž1๐‘›subscript๐‘Ž๐‘–โ„Žsubscript๐‘โ„Ž๐‘—subscript๐‘ค๐‘–

Poichรฉ C=(ci,j)๐ถsubscript๐‘๐‘–๐‘— รจ la matrice di fโˆ˜g๐‘“๐‘”, si ha anche

(fโˆ˜g)โข(uj)=โˆ‘i=1mci,jโขwi.๐‘“๐‘”subscript๐‘ข๐‘—superscriptsubscript๐‘–1๐‘šsubscript๐‘๐‘–๐‘—subscript๐‘ค๐‘–

Dallโ€™uguaglianza di queste due espressioni segue che

ci,j=โˆ‘h=1nai,hโขbh,j,subscript๐‘๐‘–๐‘—superscriptsubscriptโ„Ž1๐‘›subscript๐‘Ž๐‘–โ„Žsubscript๐‘โ„Ž๐‘—

per ogni i=1,โ€ฆ,m๐‘–1โ€ฆ๐‘š e j=1,โ€ฆ,r๐‘—1โ€ฆ๐‘Ÿ.

Osserviamo che questa formula non รจ altro che la definizione del prodotto (righe per colonne) di matrici. Si ha pertanto

M๐ฎ๐ฐโข(fโˆ˜g)=M๐ฏ๐ฐโข(f)โ‹…M๐ฎ๐ฏโข(g).superscriptsubscript๐‘€๐ฎ๐ฐ๐‘“๐‘”โ‹…superscriptsubscript๐‘€๐ฏ๐ฐ๐‘“superscriptsubscript๐‘€๐ฎ๐ฏ๐‘”

1.4 Cambiamenti di base

Abbiamo piรน volte fatto notare che la matrice associata a una funzione lineare f:Vโ†’W:๐‘“โ†’๐‘‰๐‘Š dipende dalla scelta di una base dello spazio vettoriale V๐‘‰ e di una base di W๐‘Š: cambiando scelta delle basi cambia anche la matrice associata a f๐‘“. Ci proponiamo ora di studiare in che modo cambia la matrice di f๐‘“ se cambiamo la nostra scelta delle basi di V๐‘‰ e W๐‘Š.

Consideriamo due spazi vettoriali V๐‘‰ e W๐‘Š sul campo K๐พ, di dimensioni rispettivamente n๐‘› e m๐‘š e sia f:Vโ†’W:๐‘“โ†’๐‘‰๐‘Š una funzione lineare. Siano ๐ฏ={v1,โ€ฆ,vn}๐ฏsubscript๐‘ฃ1โ€ฆsubscript๐‘ฃ๐‘› e ๐ฏโ€ฒ={v1โ€ฒ,โ€ฆ,vnโ€ฒ}superscript๐ฏโ€ฒsubscriptsuperscript๐‘ฃโ€ฒ1โ€ฆsubscriptsuperscript๐‘ฃโ€ฒ๐‘› due basi di V๐‘‰ e siano ๐ฐ={w1,โ€ฆ,wm}๐ฐsubscript๐‘ค1โ€ฆsubscript๐‘ค๐‘š e ๐ฐโ€ฒ={w1โ€ฒ,โ€ฆ,wmโ€ฒ}superscript๐ฐโ€ฒsubscriptsuperscript๐‘คโ€ฒ1โ€ฆsubscriptsuperscript๐‘คโ€ฒ๐‘š due basi di W๐‘Š. Infine, indichiamo con M๐ฏ๐ฐโข(f)superscriptsubscript๐‘€๐ฏ๐ฐ๐‘“ la matrice di f๐‘“ rispetto alle basi ๐ฏ๐ฏ e ๐ฐ๐ฐ e con M๐ฏโ€ฒ๐ฐโ€ฒโข(f)superscriptsubscript๐‘€superscript๐ฏโ€ฒsuperscript๐ฐโ€ฒ๐‘“ la matrice di f๐‘“ rispetto alle basi ๐ฏโ€ฒsuperscript๐ฏโ€ฒ e ๐ฐโ€ฒsuperscript๐ฐโ€ฒ.

Dato vโˆˆV๐‘ฃ๐‘‰ scriviamo

v=ฮป1โขv1+โ‹ฏ+ฮปnโขvn=ฮป1โ€ฒโขv1โ€ฒ+โ‹ฏ+ฮปnโ€ฒโขvnโ€ฒ,๐‘ฃsubscript๐œ†1subscript๐‘ฃ1โ‹ฏsubscript๐œ†๐‘›subscript๐‘ฃ๐‘›subscriptsuperscript๐œ†โ€ฒ1subscriptsuperscript๐‘ฃโ€ฒ1โ‹ฏsubscriptsuperscript๐œ†โ€ฒ๐‘›subscriptsuperscript๐‘ฃโ€ฒ๐‘›

ove (ฮป1,โ€ฆ,ฮปn)๐ฏsuperscriptsubscript๐œ†1โ€ฆsubscript๐œ†๐‘›๐ฏ sono le coordinate del vettore v๐‘ฃ nella base ๐ฏ๐ฏ e (ฮป1โ€ฒ,โ€ฆ,ฮปnโ€ฒ)๐ฏโ€ฒsuperscriptsubscriptsuperscript๐œ†โ€ฒ1โ€ฆsubscriptsuperscript๐œ†โ€ฒ๐‘›superscript๐ฏโ€ฒ sono le coordinate di v๐‘ฃ nella base ๐ฏโ€ฒsuperscript๐ฏโ€ฒ.

Analogamente scriviamo

w=fโข(v)=ฮผ1โขw1+โ‹ฏ+ฮผmโขwm=ฮผ1โ€ฒโขw1โ€ฒ+โ‹ฏ+ฮผmโ€ฒโขwmโ€ฒ,๐‘ค๐‘“๐‘ฃsubscript๐œ‡1subscript๐‘ค1โ‹ฏsubscript๐œ‡๐‘šsubscript๐‘ค๐‘šsubscriptsuperscript๐œ‡โ€ฒ1subscriptsuperscript๐‘คโ€ฒ1โ‹ฏsubscriptsuperscript๐œ‡โ€ฒ๐‘šsubscriptsuperscript๐‘คโ€ฒ๐‘š

ove (ฮผ1,โ€ฆ,ฮผm)๐ฐsuperscriptsubscript๐œ‡1โ€ฆsubscript๐œ‡๐‘š๐ฐ sono le coordinate del vettore w๐‘ค nella base ๐ฐ๐ฐ e (ฮผ1โ€ฒ,โ€ฆ,ฮผmโ€ฒ)๐ฐโ€ฒsuperscriptsubscriptsuperscript๐œ‡โ€ฒ1โ€ฆsubscriptsuperscript๐œ‡โ€ฒ๐‘šsuperscript๐ฐโ€ฒ sono le coordinate di w๐‘ค nella base ๐ฐโ€ฒsuperscript๐ฐโ€ฒ.

Sia M๐ฏ๐ฏโ€ฒโข(id)superscriptsubscript๐‘€๐ฏsuperscript๐ฏโ€ฒid la matrice della funzione identica id:Vโ†’V:idโ†’๐‘‰๐‘‰ nelle basi ๐ฏ๐ฏ del dominio e ๐ฏโ€ฒsuperscript๐ฏโ€ฒ del codominio. Questa matrice รจ tale che

(ฮป1โ€ฒโ‹ฎฮปnโ€ฒ)๐ฏโ€ฒ=M๐ฏ๐ฏโ€ฒโข(id)โข(ฮป1โ‹ฎฮปn)๐ฏsuperscriptmatrixsubscriptsuperscript๐œ†โ€ฒ1โ‹ฎsubscriptsuperscript๐œ†โ€ฒ๐‘›superscript๐ฏโ€ฒsuperscriptsubscript๐‘€๐ฏsuperscript๐ฏโ€ฒidsuperscriptmatrixsubscript๐œ†1โ‹ฎsubscript๐œ†๐‘›๐ฏ

Sia M๐ฐ๐ฐโ€ฒโข(id)superscriptsubscript๐‘€๐ฐsuperscript๐ฐโ€ฒid la matrice della funzione identica id:Wโ†’W:idโ†’๐‘Š๐‘Š nelle basi ๐ฐ๐ฐ del dominio e ๐ฐโ€ฒsuperscript๐ฐโ€ฒ del codominio. Questa matrice รจ tale che

(ฮผ1โ€ฒโ‹ฎฮผmโ€ฒ)๐ฐโ€ฒ=M๐ฐ๐ฐโ€ฒโข(id)โข(ฮผ1โ‹ฎฮผm)๐ฐsuperscriptmatrixsubscriptsuperscript๐œ‡โ€ฒ1โ‹ฎsubscriptsuperscript๐œ‡โ€ฒ๐‘šsuperscript๐ฐโ€ฒsuperscriptsubscript๐‘€๐ฐsuperscript๐ฐโ€ฒidsuperscriptmatrixsubscript๐œ‡1โ‹ฎsubscript๐œ‡๐‘š๐ฐ

Sia M๐ฏ๐ฐโข(f)superscriptsubscript๐‘€๐ฏ๐ฐ๐‘“ la matrice di f๐‘“ rispetto alle basi ๐ฏ๐ฏ e ๐ฐ๐ฐ. Questa matrice รจ tale che

(ฮผ1โ‹ฎฮผm)๐ฐ=M๐ฏ๐ฐโข(f)โข(ฮป1โ‹ฎฮปn)๐ฏsuperscriptmatrixsubscript๐œ‡1โ‹ฎsubscript๐œ‡๐‘š๐ฐsuperscriptsubscript๐‘€๐ฏ๐ฐ๐‘“superscriptmatrixsubscript๐œ†1โ‹ฎsubscript๐œ†๐‘›๐ฏ

Sia M๐ฏโ€ฒ๐ฐโ€ฒโข(f)superscriptsubscript๐‘€superscript๐ฏโ€ฒsuperscript๐ฐโ€ฒ๐‘“ la matrice di f๐‘“ rispetto alle basi ๐ฏโ€ฒsuperscript๐ฏโ€ฒ e ๐ฐโ€ฒsuperscript๐ฐโ€ฒ. Questa matrice รจ tale che

(ฮผ1โ€ฒโ‹ฎฮผmโ€ฒ)๐ฐโ€ฒ=M๐ฏโ€ฒ๐ฐโ€ฒโข(f)โข(ฮป1โ€ฒโ‹ฎฮปnโ€ฒ)๐ฏโ€ฒsuperscriptmatrixsubscriptsuperscript๐œ‡โ€ฒ1โ‹ฎsubscriptsuperscript๐œ‡โ€ฒ๐‘šsuperscript๐ฐโ€ฒsuperscriptsubscript๐‘€superscript๐ฏโ€ฒsuperscript๐ฐโ€ฒ๐‘“superscriptmatrixsubscriptsuperscript๐œ†โ€ฒ1โ‹ฎsubscriptsuperscript๐œ†โ€ฒ๐‘›superscript๐ฏโ€ฒ

Combinando tutte queste formule si ha:

(ฮผ1โ€ฒโ‹ฎฮผmโ€ฒ)๐ฐโ€ฒ=M๐ฏโ€ฒ๐ฐโ€ฒโข(f)โข(ฮป1โ€ฒโ‹ฎฮปnโ€ฒ)๐ฏโ€ฒ=M๐ฏโ€ฒ๐ฐโ€ฒโข(f)โขM๐ฏ๐ฏโ€ฒโข(id)โข(ฮป1โ‹ฎฮปn)๐ฏsuperscriptmatrixsubscriptsuperscript๐œ‡โ€ฒ1โ‹ฎsubscriptsuperscript๐œ‡โ€ฒ๐‘šsuperscript๐ฐโ€ฒsuperscriptsubscript๐‘€superscript๐ฏโ€ฒsuperscript๐ฐโ€ฒ๐‘“superscriptmatrixsubscriptsuperscript๐œ†โ€ฒ1โ‹ฎsubscriptsuperscript๐œ†โ€ฒ๐‘›superscript๐ฏโ€ฒsuperscriptsubscript๐‘€superscript๐ฏโ€ฒsuperscript๐ฐโ€ฒ๐‘“superscriptsubscript๐‘€๐ฏsuperscript๐ฏโ€ฒidsuperscriptmatrixsubscript๐œ†1โ‹ฎsubscript๐œ†๐‘›๐ฏ

e anche

(ฮผ1โ€ฒโ‹ฎฮผmโ€ฒ)๐ฐโ€ฒ=M๐ฐ๐ฐโ€ฒโข(id)โข(ฮผ1โ‹ฎฮผm)๐ฐ=M๐ฐ๐ฐโ€ฒโข(id)โขM๐ฏ๐ฐโข(f)โข(ฮป1โ‹ฎฮปn)๐ฏsuperscriptmatrixsubscriptsuperscript๐œ‡โ€ฒ1โ‹ฎsubscriptsuperscript๐œ‡โ€ฒ๐‘šsuperscript๐ฐโ€ฒsuperscriptsubscript๐‘€๐ฐsuperscript๐ฐโ€ฒidsuperscriptmatrixsubscript๐œ‡1โ‹ฎsubscript๐œ‡๐‘š๐ฐsuperscriptsubscript๐‘€๐ฐsuperscript๐ฐโ€ฒidsuperscriptsubscript๐‘€๐ฏ๐ฐ๐‘“superscriptmatrixsubscript๐œ†1โ‹ฎsubscript๐œ†๐‘›๐ฏ

Dal confronto di queste due espressioni si deduce che

M๐ฏโ€ฒ๐ฐโ€ฒโข(f)โขM๐ฏ๐ฏโ€ฒโข(id)=M๐ฐ๐ฐโ€ฒโข(id)โขM๐ฏ๐ฐโข(f)superscriptsubscript๐‘€superscript๐ฏโ€ฒsuperscript๐ฐโ€ฒ๐‘“superscriptsubscript๐‘€๐ฏsuperscript๐ฏโ€ฒidsuperscriptsubscript๐‘€๐ฐsuperscript๐ฐโ€ฒidsuperscriptsubscript๐‘€๐ฏ๐ฐ๐‘“

e quindi

M๐ฏโ€ฒ๐ฐโ€ฒโข(f)=M๐ฐ๐ฐโ€ฒโข(id)โขM๐ฏ๐ฐโข(f)โข(M๐ฏ๐ฏโ€ฒโข(id))โˆ’1=M๐ฐ๐ฐโ€ฒโข(id)โขM๐ฏ๐ฐโข(f)โขM๐ฏโ€ฒ๐ฏโข(id)superscriptsubscript๐‘€superscript๐ฏโ€ฒsuperscript๐ฐโ€ฒ๐‘“superscriptsubscript๐‘€๐ฐsuperscript๐ฐโ€ฒidsuperscriptsubscript๐‘€๐ฏ๐ฐ๐‘“superscriptsuperscriptsubscript๐‘€๐ฏsuperscript๐ฏโ€ฒid1superscriptsubscript๐‘€๐ฐsuperscript๐ฐโ€ฒidsuperscriptsubscript๐‘€๐ฏ๐ฐ๐‘“superscriptsubscript๐‘€superscript๐ฏโ€ฒ๐ฏid

Questa รจ la formula di cambiamento di basi per le matrici delle funzioni lineari.

Quanto appena visto motiva la seguente definizione:

Definizione. Due matrici quadrate A๐ด e B๐ต di ordine n๐‘› a elementi in K๐พ si dicono simili se esiste una matrice invertibile SโˆˆMnโข(K)๐‘†subscript๐‘€๐‘›๐พ tale che

A=SโขBโขSโˆ’1๐ด๐‘†๐ตsuperscript๐‘†1

o, equivalentemente,

B=Sโˆ’1โขAโขS.๐ตsuperscript๐‘†1๐ด๐‘†

Da quanto sopra detto si deduce il seguente risultato:

Corollario. Due matrici A,BโˆˆMnโข(K)๐ด๐ตsubscript๐‘€๐‘›๐พ rappresentano lo stesso endomorfismo f๐‘“ di uno spazio vettoriale V๐‘‰ di dimensione n๐‘› su K๐พ, rispetto a basi diverse, se e solo se sono simili.

Osservazione. Si noti che la relazione di similitudine รจ una relazione di equivalenza nellโ€™insieme Mnโข(K)subscript๐‘€๐‘›๐พ delle matrici quadrate di ordine n๐‘› a elementi in K๐พ.

Piรน in generale, per matrici non necessariamente quadrate, possiamo dare la seguente definizione:

Definizione. Due matrici mร—n๐‘š๐‘›, A๐ด e B๐ต, a elementi in K๐พ si dicono equivalenti se rappresentano la stessa funzione lineare f:Knโ†’Km:๐‘“โ†’superscript๐พ๐‘›superscript๐พ๐‘š rispetto a basi diverse, cioรจ se esistono matrici invertibili PโˆˆMnโข(K)๐‘ƒsubscript๐‘€๐‘›๐พ e QโˆˆMmโข(K)๐‘„subscript๐‘€๐‘š๐พ tali che B=Qโˆ’1โขAโขP๐ตsuperscript๐‘„1๐ด๐‘ƒ (o, equivalentemente, scambiando i ruoli di Q๐‘„ e Qโˆ’1superscript๐‘„1, tali che B=QโขAโขP๐ต๐‘„๐ด๐‘ƒ).

Si puรฒ dimostrare che ogni matrice AโˆˆMm,nโข(K)๐ดsubscript๐‘€๐‘š๐‘›๐พ, di rango r๐‘Ÿ, รจ equivalente a una matrice del tipo

Dr=(Ir000)subscript๐ท๐‘Ÿmatrixsubscript๐ผ๐‘Ÿ000

ove Irsubscript๐ผ๐‘Ÿ indica la matrice identica di ordine r๐‘Ÿ e 00 sono dei blocchi costituiti interamente da zeri. Di conseguenza, due matrici A,BโˆˆMm,nโข(K)๐ด๐ตsubscript๐‘€๐‘š๐‘›๐พ sono equivalenti se e solo se hanno lo stesso rango.