Lezione 12


1 Esempi di funzioni lineari

1.1 Proiezioni

Sia V๐‘‰ uno spazio vettoriale sul campo K๐พ e siano U๐‘ˆ e W๐‘Š due sottospazi vettoriali di V๐‘‰ tali che V=UโŠ•W๐‘‰direct-sum๐‘ˆ๐‘Š (diremo che U๐‘ˆ e W๐‘Š sono complementari). Una conseguenza di ciรฒ รจ che ogni vettore vโˆˆV๐‘ฃ๐‘‰ si puรฒ scrivere in modo unico nella forma v=u+w๐‘ฃ๐‘ข๐‘ค, con uโˆˆU๐‘ข๐‘ˆ e wโˆˆW๐‘ค๐‘Š.

Definizione. Sia ฯ€UW:Vโ†’V:superscriptsubscript๐œ‹๐‘ˆ๐‘Šโ†’๐‘‰๐‘‰ la funzione definita ponendo ฯ€UWโข(v)=usuperscriptsubscript๐œ‹๐‘ˆ๐‘Š๐‘ฃ๐‘ข. Questa funzione รจ detta la proiezione su U๐‘ˆ nella direzione di W๐‘Š.

La proiezione ฯ€UWsuperscriptsubscript๐œ‹๐‘ˆ๐‘Š gode delle seguenti proprietร , la cui dimostrazione รจ un facile esercizio:

  1. 1.

    ฯ€UWsuperscriptsubscript๐œ‹๐‘ˆ๐‘Š รจ lineare;

  2. 2.

    Imโขฯ€UW=UImsuperscriptsubscript๐œ‹๐‘ˆ๐‘Š๐‘ˆ;

  3. 3.

    Kerโขฯ€UW=WKersuperscriptsubscript๐œ‹๐‘ˆ๐‘Š๐‘Š;

  4. 4.

    ฯ€UWโข(u)=usuperscriptsubscript๐œ‹๐‘ˆ๐‘Š๐‘ข๐‘ข, per ogni uโˆˆU๐‘ข๐‘ˆ, cioรจ la restrizione di ฯ€UWsuperscriptsubscript๐œ‹๐‘ˆ๐‘Š al sottospazio U๐‘ˆ รจ la funzione identica;

  5. 5.

    ฯ€UWโˆ˜ฯ€UW=ฯ€UWsuperscriptsubscript๐œ‹๐‘ˆ๐‘Šsuperscriptsubscript๐œ‹๐‘ˆ๐‘Šsuperscriptsubscript๐œ‹๐‘ˆ๐‘Š.

Dimostreremo ora che la proprietร  ฯ€UWโˆ˜ฯ€UW=ฯ€UWsuperscriptsubscript๐œ‹๐‘ˆ๐‘Šsuperscriptsubscript๐œ‹๐‘ˆ๐‘Šsuperscriptsubscript๐œ‹๐‘ˆ๐‘Š รจ sufficiente, da sola, a caratterizzare le proiezioni.

Teorema. Sia V๐‘‰ uno spazio vettoriale sul campo K๐พ e sia f:Vโ†’V:๐‘“โ†’๐‘‰๐‘‰ una funzione lineare tale che fโˆ˜f=f๐‘“๐‘“๐‘“. Allora f๐‘“ รจ la proiezione su U๐‘ˆ nella direzione di W๐‘Š, dove U=Imโขf๐‘ˆIm๐‘“ e W=Kerโขf๐‘ŠKer๐‘“.

Dimostrazione. Come prima cosa dobbiamo dimostrare che V=UโŠ•W๐‘‰direct-sum๐‘ˆ๐‘Š.

Sia vโˆˆUโˆฉW=ImโขfโˆฉKerโขf๐‘ฃ๐‘ˆ๐‘ŠIm๐‘“Ker๐‘“. Dato che vโˆˆImโขf๐‘ฃIm๐‘“ si ha v=fโข(vโ€ฒ)๐‘ฃ๐‘“superscript๐‘ฃโ€ฒ, per qualche vโ€ฒโˆˆVsuperscript๐‘ฃโ€ฒ๐‘‰. Siccome v๐‘ฃ appartiene anche a KerโขfKer๐‘“, si ha fโข(v)=0๐‘“๐‘ฃ0, quindi

0=fโข(v)=fโข(fโข(vโ€ฒ))=(fโˆ˜f)โข(vโ€ฒ)=fโข(vโ€ฒ)=v,0๐‘“๐‘ฃ๐‘“๐‘“superscript๐‘ฃโ€ฒ๐‘“๐‘“superscript๐‘ฃโ€ฒ๐‘“superscript๐‘ฃโ€ฒ๐‘ฃ

perchรฉ fโˆ˜f=f๐‘“๐‘“๐‘“. Si conclude quindi che, per ogni vโˆˆUโˆฉW๐‘ฃ๐‘ˆ๐‘Š, si ha v=0๐‘ฃ0 e pertanto UโˆฉW={โ€‰0}๐‘ˆ๐‘Šโ€‰0. Questo significa che U๐‘ˆ e W๐‘Š sono in somma diretta. Ora dobbiamo dimostrare che UโŠ•W=Vdirect-sum๐‘ˆ๐‘Š๐‘‰, cioรจ che ogni vettore vโˆˆV๐‘ฃ๐‘‰ si puรฒ scrivere nella forma v=u+w๐‘ฃ๐‘ข๐‘ค, con uโˆˆU๐‘ข๐‘ˆ e wโˆˆW๐‘ค๐‘Š.

Sia dunque vโˆˆV๐‘ฃ๐‘‰. Possiamo certamente scrivere

v=fโข(v)+(vโˆ’fโข(v)).๐‘ฃ๐‘“๐‘ฃ๐‘ฃ๐‘“๐‘ฃ

Osserviamo ora che fโข(v)โˆˆImโขf=U๐‘“๐‘ฃIm๐‘“๐‘ˆ, quindi poniamo u=fโข(v)๐‘ข๐‘“๐‘ฃ. Rimane solo da dimostrare che vโˆ’fโข(v)โˆˆW=Kerโขf๐‘ฃ๐‘“๐‘ฃ๐‘ŠKer๐‘“. Si ha:

fโข(vโˆ’fโข(v))=fโข(v)โˆ’fโข(fโข(v))=fโข(v)โˆ’fโข(v)=0,๐‘“๐‘ฃ๐‘“๐‘ฃ๐‘“๐‘ฃ๐‘“๐‘“๐‘ฃ๐‘“๐‘ฃ๐‘“๐‘ฃ0

perchรฉ fโˆ˜f=f๐‘“๐‘“๐‘“, il che conferma che vโˆ’fโข(v)โˆˆW๐‘ฃ๐‘“๐‘ฃ๐‘Š. Possiamo quindi porre w=vโˆ’fโข(v)๐‘ค๐‘ฃ๐‘“๐‘ฃ e cosรฌ abbiamo dimostrato che v=u+w๐‘ฃ๐‘ข๐‘ค, con uโˆˆU๐‘ข๐‘ˆ e wโˆˆW๐‘ค๐‘Š, e che, pertanto, V๐‘‰ รจ la somma diretta di U๐‘ˆ e W๐‘Š.

A questo punto bisogna dimostrare che fโข(v)=u๐‘“๐‘ฃ๐‘ข. Si ha:

fโข(v)=fโข(u+w)=fโข(u)+fโข(w)=fโข(u)+0=fโข(u),๐‘“๐‘ฃ๐‘“๐‘ข๐‘ค๐‘“๐‘ข๐‘“๐‘ค๐‘“๐‘ข0๐‘“๐‘ข

perchรฉ wโˆˆW=Kerโขf๐‘ค๐‘ŠKer๐‘“.

Rimane infine solo da dimostrare che, per ogni uโˆˆU๐‘ข๐‘ˆ, si ha fโข(u)=u๐‘“๐‘ข๐‘ข. Dato che uโˆˆU=Imโขf๐‘ข๐‘ˆIm๐‘“ si ha u=fโข(v~)๐‘ข๐‘“~๐‘ฃ, per qualche v~โˆˆV~๐‘ฃ๐‘‰ e, di conseguenza,

fโข(u)=fโข(fโข(v~))=(fโˆ˜f)โข(v~)=fโข(v~)=u,๐‘“๐‘ข๐‘“๐‘“~๐‘ฃ๐‘“๐‘“~๐‘ฃ๐‘“~๐‘ฃ๐‘ข

perchรฉ fโˆ˜f=f๐‘“๐‘“๐‘“.

Abbiamo cosรฌ concluso che, per ogni vettore vโˆˆV๐‘ฃ๐‘‰, con v=u+w๐‘ฃ๐‘ข๐‘ค, si ha fโข(v)=u๐‘“๐‘ฃ๐‘ข. Ma ciรฒ significa che f๐‘“ รจ la proiezione ฯ€UWsuperscriptsubscript๐œ‹๐‘ˆ๐‘Š.

1.2 Simmetrie

Consideriamo uno spazio vettoriale V๐‘‰ e siano U๐‘ˆ e W๐‘Š due sottospazi vettoriali tali che V=UโŠ•W๐‘‰direct-sum๐‘ˆ๐‘Š.

Definizione. Sia ฯƒUW:Vโ†’V:superscriptsubscript๐œŽ๐‘ˆ๐‘Šโ†’๐‘‰๐‘‰ la funzione definita ponendo ฯƒUWโข(v)=uโˆ’wsuperscriptsubscript๐œŽ๐‘ˆ๐‘Š๐‘ฃ๐‘ข๐‘ค. Questa funzione รจ detta la simmetria di asse U๐‘ˆ e direzione W๐‘Š.

Osservazione. Nel caso della simmetria conviene supporre che il campo K๐พ abbia caratteristica diversa da 22, cioรจ che in K๐พ sia 1+1โ‰ 0110, altrimenti si avrebbe โˆ’1=111 e quindi โˆ’w=w๐‘ค๐‘ค. In questo caso la simmetria ฯƒUWsuperscriptsubscript๐œŽ๐‘ˆ๐‘Š sarebbe la funzione identica, infatti si avrebbe ฯƒUWโข(v)=uโˆ’w=u+w=vsuperscriptsubscript๐œŽ๐‘ˆ๐‘Š๐‘ฃ๐‘ข๐‘ค๐‘ข๐‘ค๐‘ฃ, per ogni vโˆˆV๐‘ฃ๐‘‰.

Si puรฒ dimostrare facilmente che la simmetria ฯƒUWsuperscriptsubscript๐œŽ๐‘ˆ๐‘Š gode delle seguenti proprietร :

  1. 1.

    ฯƒUWsuperscriptsubscript๐œŽ๐‘ˆ๐‘Š รจ lineare;

  2. 2.

    ImโขฯƒUW=VImsuperscriptsubscript๐œŽ๐‘ˆ๐‘Š๐‘‰;

  3. 3.

    KerโขฯƒUW={โ€‰0}Kersuperscriptsubscript๐œŽ๐‘ˆ๐‘Šโ€‰0;

  4. 4.

    ฯƒUWโข(u)=usuperscriptsubscript๐œŽ๐‘ˆ๐‘Š๐‘ข๐‘ข, per ogni uโˆˆU๐‘ข๐‘ˆ, cioรจ la restrizione di ฯƒUWsuperscriptsubscript๐œŽ๐‘ˆ๐‘Š al sottospazio U๐‘ˆ รจ la funzione identica;

  5. 5.

    ฯƒUWโˆ˜ฯƒUW=idsuperscriptsubscript๐œŽ๐‘ˆ๐‘Šsuperscriptsubscript๐œŽ๐‘ˆ๐‘Šid, ove idid รจ la funzione identica;

  6. 6.

    U=Imโข(id+ฯƒUW)๐‘ˆImidsuperscriptsubscript๐œŽ๐‘ˆ๐‘Š;

  7. 7.

    W=Kerโข(id+ฯƒUW)๐‘ŠKeridsuperscriptsubscript๐œŽ๐‘ˆ๐‘Š.

Per quanto riguarda le simmetrie, dimostreremo che esse sono caratterizzate dalla sola proprietร  ฯƒUWโˆ˜ฯƒUW=idsuperscriptsubscript๐œŽ๐‘ˆ๐‘Šsuperscriptsubscript๐œŽ๐‘ˆ๐‘Šid.

Teorema. Sia K๐พ un campo dove 1+1โ‰ 0110, sia V๐‘‰ uno spazio vettoriale su K๐พ e sia f:Vโ†’V:๐‘“โ†’๐‘‰๐‘‰ una funzione lineare tale che fโˆ˜f=id๐‘“๐‘“id. Allora f๐‘“ รจ la simmetria di asse U๐‘ˆ e direzione W๐‘Š, dove U=Imโข(id+f)๐‘ˆImid๐‘“ e W=Kerโข(id+f)๐‘ŠKerid๐‘“.

Dimostrazione. Come prima cosa dobbiamo dimostrare che V=UโŠ•W๐‘‰direct-sum๐‘ˆ๐‘Š.

Sia vโˆˆUโˆฉW=Imโข(id+f)โˆฉKerโข(id+f)๐‘ฃ๐‘ˆ๐‘ŠImid๐‘“Kerid๐‘“. Dato che vโˆˆImโข(id+f)๐‘ฃImid๐‘“ si ha v=(id+f)โข(vโ€ฒ)=vโ€ฒ+fโข(vโ€ฒ)๐‘ฃid๐‘“superscript๐‘ฃโ€ฒsuperscript๐‘ฃโ€ฒ๐‘“superscript๐‘ฃโ€ฒ, per qualche vโ€ฒโˆˆVsuperscript๐‘ฃโ€ฒ๐‘‰. Siccome v๐‘ฃ appartiene anche a Kerโข(id+f)Kerid๐‘“, si ha (id+f)โข(v)=0id๐‘“๐‘ฃ0, quindi

00 =(id+f)โข(v)=v+fโข(v)=(vโ€ฒ+fโข(vโ€ฒ))+fโข(vโ€ฒ+fโข(vโ€ฒ))absentid๐‘“๐‘ฃ๐‘ฃ๐‘“๐‘ฃsuperscript๐‘ฃโ€ฒ๐‘“superscript๐‘ฃโ€ฒ๐‘“superscript๐‘ฃโ€ฒ๐‘“superscript๐‘ฃโ€ฒ
=vโ€ฒ+fโข(vโ€ฒ)+fโข(vโ€ฒ)+fโข(fโข(vโ€ฒ))=2โข(vโ€ฒ+fโข(vโ€ฒ))=2โขv,absentsuperscript๐‘ฃโ€ฒ๐‘“superscript๐‘ฃโ€ฒ๐‘“superscript๐‘ฃโ€ฒ๐‘“๐‘“superscript๐‘ฃโ€ฒ2superscript๐‘ฃโ€ฒ๐‘“superscript๐‘ฃโ€ฒ2๐‘ฃ

perchรฉ fโˆ˜f=id๐‘“๐‘“id. Siccome nel campo K๐พ รจ 1+1โ‰ 0110, da 2โขv=02๐‘ฃ0 segue che v=0๐‘ฃ0.

Si conclude quindi che, per ogni vโˆˆUโˆฉW๐‘ฃ๐‘ˆ๐‘Š, si ha v=0๐‘ฃ0 e pertanto UโˆฉW={โ€‰0}๐‘ˆ๐‘Šโ€‰0. Questo significa che U๐‘ˆ e W๐‘Š sono in somma diretta. Ora dobbiamo dimostrare che UโŠ•W=Vdirect-sum๐‘ˆ๐‘Š๐‘‰, cioรจ che ogni vettore vโˆˆV๐‘ฃ๐‘‰ si puรฒ scrivere nella forma v=u+w๐‘ฃ๐‘ข๐‘ค, con uโˆˆU๐‘ข๐‘ˆ e wโˆˆW๐‘ค๐‘Š.

Sia dunque vโˆˆV๐‘ฃ๐‘‰. Possiamo certamente scrivere

v=12โข(v+fโข(v))+12โข(vโˆ’fโข(v)).๐‘ฃ12๐‘ฃ๐‘“๐‘ฃ12๐‘ฃ๐‘“๐‘ฃ

Osserviamo ora che 12โข(v+fโข(v))=(id+f)โข(12โขv)โˆˆImโข(id+f)=U12๐‘ฃ๐‘“๐‘ฃid๐‘“12๐‘ฃImid๐‘“๐‘ˆ, quindi poniamo u=12โข(v+fโข(v))๐‘ข12๐‘ฃ๐‘“๐‘ฃ. Rimane solo da dimostrare che 12โข(vโˆ’fโข(v))โˆˆW=Kerโข(id+f)12๐‘ฃ๐‘“๐‘ฃ๐‘ŠKerid๐‘“. Si ha:

(id+f)โข(12โข(vโˆ’fโข(v)))id๐‘“12๐‘ฃ๐‘“๐‘ฃ =12โข(vโˆ’fโข(v)+fโข(v)โˆ’fโข(fโข(v)))absent12๐‘ฃ๐‘“๐‘ฃ๐‘“๐‘ฃ๐‘“๐‘“๐‘ฃ
=12โข(vโˆ’fโข(v)+fโข(v)โˆ’v)=0,absent12๐‘ฃ๐‘“๐‘ฃ๐‘“๐‘ฃ๐‘ฃ0

perchรฉ fโˆ˜f=id๐‘“๐‘“id, il che conferma che 12โข(vโˆ’fโข(v))โˆˆW12๐‘ฃ๐‘“๐‘ฃ๐‘Š. Possiamo quindi porre w=12โข(vโˆ’fโข(v))๐‘ค12๐‘ฃ๐‘“๐‘ฃ e cosรฌ abbiamo dimostrato che v=u+w๐‘ฃ๐‘ข๐‘ค, con uโˆˆU๐‘ข๐‘ˆ e wโˆˆW๐‘ค๐‘Š, e che, pertanto, V๐‘‰ รจ la somma diretta di U๐‘ˆ e W๐‘Š.

Sia ora vโˆˆV๐‘ฃ๐‘‰ e scriviamolo nella forma v=u+w๐‘ฃ๐‘ข๐‘ค, con uโˆˆU=Imโข(id+f)๐‘ข๐‘ˆImid๐‘“ e wโˆˆW=Kerโข(id+f)๐‘ค๐‘ŠKerid๐‘“. Bisogna dimostrare che fโข(v)=uโˆ’w๐‘“๐‘ฃ๐‘ข๐‘ค.

Dato che uโˆˆImโข(id+f)๐‘ขImid๐‘“ si ha u=(id+f)โข(v~)=v~+fโข(v~)๐‘ขid๐‘“~๐‘ฃ~๐‘ฃ๐‘“~๐‘ฃ, per qualche v~โˆˆV~๐‘ฃ๐‘‰ e, di conseguenza,

fโข(u)=fโข(v~+fโข(v~))=fโข(v~)+(fโˆ˜f)โข(v~)=fโข(v~)+v~=u,๐‘“๐‘ข๐‘“~๐‘ฃ๐‘“~๐‘ฃ๐‘“~๐‘ฃ๐‘“๐‘“~๐‘ฃ๐‘“~๐‘ฃ~๐‘ฃ๐‘ข

perchรฉ fโˆ˜f=id๐‘“๐‘“id. Pertanto si ha:

fโข(v)=fโข(u+w)=fโข(u)+fโข(w)=u+fโข(w).๐‘“๐‘ฃ๐‘“๐‘ข๐‘ค๐‘“๐‘ข๐‘“๐‘ค๐‘ข๐‘“๐‘ค

Rimane quindi solo da dimostrare che, per ogni wโˆˆW๐‘ค๐‘Š, si ha fโข(w)=โˆ’w๐‘“๐‘ค๐‘ค.

Dato che wโˆˆW=Kerโข(id+f)๐‘ค๐‘ŠKerid๐‘“ si ha (id+f)โข(w)=0id๐‘“๐‘ค0, cioรจ w+fโข(w)=0๐‘ค๐‘“๐‘ค0 e, di conseguenza, fโข(w)=โˆ’w๐‘“๐‘ค๐‘ค.

Abbiamo cosรฌ concluso che, per ogni vettore vโˆˆV๐‘ฃ๐‘‰, con v=u+w๐‘ฃ๐‘ข๐‘ค, si ha fโข(v)=uโˆ’w๐‘“๐‘ฃ๐‘ข๐‘ค. Ma ciรฒ significa che f๐‘“ รจ la simmetria ฯƒUWsuperscriptsubscript๐œŽ๐‘ˆ๐‘Š.

2 Matrice associata a una funzione lineare

Ci proponiamo ora di studiare le proprietร  di una funzione lineare f:Vโ†’W:๐‘“โ†’๐‘‰๐‘Š, in relazione alla scelta di basi per gli spazi vettoriali V๐‘‰ e W๐‘Š.

Iniziamo col dimostrare che una funzione lineare f:Vโ†’W:๐‘“โ†’๐‘‰๐‘Š รจ completamente determinata dalla conoscenza delle immagini dei vettori di una base di V๐‘‰, le quali possono essere scelte arbitrariamente in W๐‘Š.

Teorema. Siano V๐‘‰ e W๐‘Š spazi vettoriali sul campo K๐พ e sia {vi}iโˆˆIsubscriptsubscript๐‘ฃ๐‘–๐‘–๐ผ una base di V๐‘‰.

  1. 1.

    Un omomorfismo f:Vโ†’W:๐‘“โ†’๐‘‰๐‘Š รจ determinato, in modo unico, dalle immagini dei vettori visubscript๐‘ฃ๐‘–, per ogni iโˆˆI๐‘–๐ผ.

  2. 2.

    Scelti arbitrariamente dei vettori {wi}iโˆˆIsubscriptsubscript๐‘ค๐‘–๐‘–๐ผ in W๐‘Š, esiste un unico omomorfismo f:Vโ†’W:๐‘“โ†’๐‘‰๐‘Š tale che fโข(vi)=wi๐‘“subscript๐‘ฃ๐‘–subscript๐‘ค๐‘–, per ogni iโˆˆI๐‘–๐ผ.

Dimostrazione. (1) Sia f:Vโ†’W:๐‘“โ†’๐‘‰๐‘Š una funzione lineare e supponiamo di conoscere fโข(vi)๐‘“subscript๐‘ฃ๐‘–, per ogni iโˆˆI๐‘–๐ผ. Poichรฉ {vi}iโˆˆIsubscriptsubscript๐‘ฃ๐‘–๐‘–๐ผ รจ una base di V๐‘‰, ogni vettore vโˆˆV๐‘ฃ๐‘‰ si puรฒ scrivere, in modo unico, come combinazione lineare finita dei vettori visubscript๐‘ฃ๐‘–:

v=ฮป1โขvi1+ฮป2โขvi2+โ‹ฏ+ฮปnโขvin.๐‘ฃsubscript๐œ†1subscript๐‘ฃsubscript๐‘–1subscript๐œ†2subscript๐‘ฃsubscript๐‘–2โ‹ฏsubscript๐œ†๐‘›subscript๐‘ฃsubscript๐‘–๐‘›

Dalla linearitร  di f๐‘“ segue che

fโข(v)=ฮป1โขfโข(vi1)+ฮป2โขfโข(vi2)+โ‹ฏ+ฮปnโขfโข(vin),๐‘“๐‘ฃsubscript๐œ†1๐‘“subscript๐‘ฃsubscript๐‘–1subscript๐œ†2๐‘“subscript๐‘ฃsubscript๐‘–2โ‹ฏsubscript๐œ†๐‘›๐‘“subscript๐‘ฃsubscript๐‘–๐‘›

il che dimostra che la conoscenza di fโข(vi)๐‘“subscript๐‘ฃ๐‘–, per ogni iโˆˆI๐‘–๐ผ, determina, in modo unico, fโข(v)๐‘“๐‘ฃ, per ogni vโˆˆV๐‘ฃ๐‘‰. In altre parole, se g:Vโ†’W:๐‘”โ†’๐‘‰๐‘Š รจ un omomorfismo tale che gโข(vi)=fโข(vi)๐‘”subscript๐‘ฃ๐‘–๐‘“subscript๐‘ฃ๐‘–, per ogni iโˆˆI๐‘–๐ผ, allora gโข(v)=fโข(v)๐‘”๐‘ฃ๐‘“๐‘ฃ, per ogni vโˆˆV๐‘ฃ๐‘‰.

(2) Per ogni iโˆˆI๐‘–๐ผ scegliamo arbitrariamente un vettore wiโˆˆWsubscript๐‘ค๐‘–๐‘Š. Definiamo una funzione f:Vโ†’W:๐‘“โ†’๐‘‰๐‘Š ponendo fโข(vi)=wi๐‘“subscript๐‘ฃ๐‘–subscript๐‘ค๐‘–, per ogni iโˆˆI๐‘–๐ผ, ed estendendo f๐‘“ per linearitร  a tutto V๐‘‰, cioรจ ponendo

fโข(v)=ฮป1โขfโข(vi1)+ฮป2โขfโข(vi2)+โ‹ฏ+ฮปnโขfโข(vin),๐‘“๐‘ฃsubscript๐œ†1๐‘“subscript๐‘ฃsubscript๐‘–1subscript๐œ†2๐‘“subscript๐‘ฃsubscript๐‘–2โ‹ฏsubscript๐œ†๐‘›๐‘“subscript๐‘ฃsubscript๐‘–๐‘›

se v=ฮป1โขvi1+ฮป2โขvi2+โ‹ฏ+ฮปnโขvin๐‘ฃsubscript๐œ†1subscript๐‘ฃsubscript๐‘–1subscript๐œ†2subscript๐‘ฃsubscript๐‘–2โ‹ฏsubscript๐œ†๐‘›subscript๐‘ฃsubscript๐‘–๐‘›.

Si verifica immediatamente che f๐‘“ รจ ben definita ed รจ lineare. Lโ€™unicitร  di una tale f๐‘“ discende dal puntoย (1).

2.1 Matrice di una funzione lineare.

Siano V๐‘‰ e W๐‘Š spazi vettoriali sul campo K๐พ, di dimensioni n๐‘› e m๐‘š, rispettivamente, e fissiamo delle basi {v1,โ€ฆ,vn}subscript๐‘ฃ1โ€ฆsubscript๐‘ฃ๐‘› di V๐‘‰ e {w1,โ€ฆ,wm}subscript๐‘ค1โ€ฆsubscript๐‘ค๐‘š di W๐‘Š.

In base al teorema precedente, una funzione lineare f:Vโ†’W:๐‘“โ†’๐‘‰๐‘Š รจ determinata, in modo unico, dalla conoscenza dei vettori fโข(vj)๐‘“subscript๐‘ฃ๐‘—, per j=1,โ€ฆ,n๐‘—1โ€ฆ๐‘›. Poichรฉ {w1,โ€ฆ,wm}subscript๐‘ค1โ€ฆsubscript๐‘ค๐‘š รจ una base di W๐‘Š, per ogni j=1,โ€ฆ,n๐‘—1โ€ฆ๐‘› possiamo scrivere

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

per degli opportuni ai,jโˆˆKsubscript๐‘Ž๐‘–๐‘—๐พ, con i=1,โ€ฆ,m๐‘–1โ€ฆ๐‘š e j=1,โ€ฆ,n๐‘—1โ€ฆ๐‘›.

Da quanto detto si deduce quindi che una funzione lineare f:Vโ†’W:๐‘“โ†’๐‘‰๐‘Š รจ determinata in modo unico dal dato di mโขn๐‘š๐‘› elementi ai,jsubscript๐‘Ž๐‘–๐‘— del campo K๐พ, cioรจ da una matrice A๐ด del tipo

A=(a1,1a1,2โ€ฆa1,na2,1a2,2โ€ฆa2,nโ‹ฎโ‹ฎโ‹ฑโ‹ฎam,1am,2โ€ฆam,n)๐ดmatrixsubscript๐‘Ž11subscript๐‘Ž12โ€ฆsubscript๐‘Ž1๐‘›subscript๐‘Ž21subscript๐‘Ž22โ€ฆsubscript๐‘Ž2๐‘›โ‹ฎโ‹ฎโ‹ฑโ‹ฎsubscript๐‘Ž๐‘š1subscript๐‘Ž๐‘š2โ€ฆsubscript๐‘Ž๐‘š๐‘›

Ad ogni funzione lineare f:Vโ†’W:๐‘“โ†’๐‘‰๐‘Š puรฒ dunque essere associata una matrice mร—n๐‘š๐‘› a elementi in K๐พ. Naturalmente tale matrice dipende, oltre che dalla funzione f๐‘“, anche dalla scelta delle basi di V๐‘‰ e W๐‘Š. Quando sarร  opportuno indicare esplicitamente la dipendenza dalle basi, scriveremo A=M๐ฏ๐ฐโข(f)๐ดsuperscriptsubscript๐‘€๐ฏ๐ฐ๐‘“ per denotare la matrice di f:Vโ†’W:๐‘“โ†’๐‘‰๐‘Š rispetto alle basi ๐ฏ={v1,โ€ฆ,vn}๐ฏsubscript๐‘ฃ1โ€ฆsubscript๐‘ฃ๐‘› di V๐‘‰ e ๐ฐ={w1,โ€ฆ,wm}๐ฐsubscript๐‘ค1โ€ฆsubscript๐‘ค๐‘š di W๐‘Š.

Osservazione. Ricordiamo che se un vettore vโˆˆV๐‘ฃ๐‘‰ si scrive come combinazione lineare

v=ฮป1โขv1+ฮป2โขv2+โ‹ฏ+ฮปnโขvn๐‘ฃsubscript๐œ†1subscript๐‘ฃ1subscript๐œ†2subscript๐‘ฃ2โ‹ฏsubscript๐œ†๐‘›subscript๐‘ฃ๐‘›

degli elementi di una base ๐ฏ={v1,โ€ฆ,vn}๐ฏsubscript๐‘ฃ1โ€ฆsubscript๐‘ฃ๐‘› di V๐‘‰, i coefficienti ฮป1,โ€ฆ,ฮปnsubscript๐œ†1โ€ฆsubscript๐œ†๐‘› che compaiono in una tale espressione si dicono le coordinate di v๐‘ฃ rispetto alla base fissata. Anche in questo caso, quando sarร  opportuno indicare esplicitamente la base, scriveremo (ฮป1,โ€ฆ,ฮปn)๐ฏsuperscriptsubscript๐œ†1โ€ฆsubscript๐œ†๐‘›๐ฏ.

Possiamo allora osservare che, dalla definizione della matrice M๐ฏ๐ฐโข(f)superscriptsubscript๐‘€๐ฏ๐ฐ๐‘“ associata a un omomorfismo f:Vโ†’W:๐‘“โ†’๐‘‰๐‘Š, rispetto alle basi ๐ฏ={v1,โ€ฆ,vn}๐ฏsubscript๐‘ฃ1โ€ฆsubscript๐‘ฃ๐‘› di V๐‘‰ e ๐ฐ={w1,โ€ฆ,wm}๐ฐsubscript๐‘ค1โ€ฆsubscript๐‘ค๐‘š di W๐‘Š, segue che le coordinate del vettore fโข(vj)๐‘“subscript๐‘ฃ๐‘—, rispetto alla base di W๐‘Š fissata, costituiscono la j๐‘—-esima colonna della matrice M๐ฏ๐ฐโข(f)superscriptsubscript๐‘€๐ฏ๐ฐ๐‘“. Questa osservazione si rivela utile quando รจ necessario scrivere esplicitamente la matrice associata a una data funzione lineare.

Vediamo ora come si puรฒ utilizzare la matrice di una funzione lineare f๐‘“ per calcolare lโ€™immagine di un vettore vโˆˆV๐‘ฃ๐‘‰, cioรจ per determinare il vettore w=fโข(v)๐‘ค๐‘“๐‘ฃ.

Sia dunque vโˆˆV๐‘ฃ๐‘‰ e sia w=fโข(v)โˆˆW๐‘ค๐‘“๐‘ฃ๐‘Š. Scriviamo v๐‘ฃ come combinazione lineare dei vettori della base ๐ฏ๐ฏ:

v=ฮป1โขv1+ฮป2โขv2+โ‹ฏ+ฮปnโขvn.๐‘ฃsubscript๐œ†1subscript๐‘ฃ1subscript๐œ†2subscript๐‘ฃ2โ‹ฏsubscript๐œ†๐‘›subscript๐‘ฃ๐‘›

e w๐‘ค come combinazione lineare dei vettori della base ๐ฐ๐ฐ:

w=ฮผ1โขw1+ฮผ2โขw2+โ‹ฏ+ฮผmโขwm.๐‘คsubscript๐œ‡1subscript๐‘ค1subscript๐œ‡2subscript๐‘ค2โ‹ฏsubscript๐œ‡๐‘šsubscript๐‘ค๐‘š

Applicando la funzione f๐‘“ al vettore v๐‘ฃ e sfruttando la linearitร  di f๐‘“, si ha:

w=fโข(v)๐‘ค๐‘“๐‘ฃ =fโข(ฮป1โขv1+ฮป2โขv2+โ‹ฏ+ฮปnโขvn)=โˆ‘j=1nฮปjโขfโข(vj)absent๐‘“subscript๐œ†1subscript๐‘ฃ1subscript๐œ†2subscript๐‘ฃ2โ‹ฏsubscript๐œ†๐‘›subscript๐‘ฃ๐‘›superscriptsubscript๐‘—1๐‘›subscript๐œ†๐‘—๐‘“subscript๐‘ฃ๐‘—
=โˆ‘j=1nฮปjโข(โˆ‘i=1mai,jโขwi)=โˆ‘i=1m(โˆ‘j=1nai,jโขฮปj)โขwi.absentsuperscriptsubscript๐‘—1๐‘›subscript๐œ†๐‘—superscriptsubscript๐‘–1๐‘šsubscript๐‘Ž๐‘–๐‘—subscript๐‘ค๐‘–superscriptsubscript๐‘–1๐‘šsuperscriptsubscript๐‘—1๐‘›subscript๐‘Ž๐‘–๐‘—subscript๐œ†๐‘—subscript๐‘ค๐‘–

Confrontando questa espressione con la seguente

w=ฮผ1โขw1+ฮผ2โขw2+โ‹ฏ+ฮผmโขwm.๐‘คsubscript๐œ‡1subscript๐‘ค1subscript๐œ‡2subscript๐‘ค2โ‹ฏsubscript๐œ‡๐‘šsubscript๐‘ค๐‘š

si deduce lโ€™uguaglianza

ฮผi=โˆ‘j=1nai,jโขฮปj.subscript๐œ‡๐‘–superscriptsubscript๐‘—1๐‘›subscript๐‘Ž๐‘–๐‘—subscript๐œ†๐‘—

In termini di prodotto righe per colonne di una matrice per un vettore, questโ€™ultima uguaglianza รจ equivalente alla seguente:

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

Questa formula ci dice che per calcolare le coordinate del vettore w=fโข(v)๐‘ค๐‘“๐‘ฃ nella base ๐ฐ๐ฐ รจ sufficente moltiplicare la matrice M๐ฏ๐ฐโข(f)superscriptsubscript๐‘€๐ฏ๐ฐ๐‘“ per il vettore colonna costituito dalle coordinate del vettore v๐‘ฃ nella base ๐ฏ๐ฏ.