[quote=&quot;GIMUSI&quot;:ur2z2b9w]

se [tex:ur2z2b9w]\alpha[/tex:ur2z2b9w] fosse zero andrebbe tutto a finire nel [tex:ur2z2b9w]Ker&#40;f&#41;[/tex:ur2z2b9w]...quindi è un caso da escludere...[/quote:ur2z2b9w]
Beh allora è inutile andare avanti: se non contiene lo 0, non è un sottospazio di End(quellarobalì), no? Avevo letto erroneamente che l'immagine di f dovesse stare dentro W e non essere uguale.

[quote:ur2z2b9w]più che altro mi chiedo se sia necessario introdurlo...mi viene da pensare che che mandare [tex:ur2z2b9w]v_3[/tex:ur2z2b9w] in (1,2,3) sia del tutto equivalente a mandarlo in (2,4,6)...[/quote:ur2z2b9w]

Boh, per descriverle tutte io farei una cosa tipo: fisso v1, v2, v3 e poi dico che f(v1)=0, f(v2)=0, f(v3)=k(1,2,3) ... al variare di k diverso da 0 per quel che dicevi prima. A questo punto posso pure scrivere la matrice (con un po' di conti). Far variare v3 mi sembra più brutto: non c'è modo di dire che due diversi v3 non mi diano la stessa funzione f, quindi magari le ho descritte tutte ma in modo non unico ... vabbeh che non è richiesto.


[quote:ur2z2b9w]nel punto (3a) si chiede che [tex:ur2z2b9w]f&#40;w&#41;\in V[/tex:ur2z2b9w]...allora è sufficiente mandare [tex:ur2z2b9w]f&#40;v_3&#41;[/tex:ur2z2b9w] in una qualsiasi combinazione lineare di [tex:ur2z2b9w]v_1[/tex:ur2z2b9w] e [tex:ur2z2b9w]v_2[/tex:ur2z2b9w][/quote:ur2z2b9w]
si chiede anche che f(v) stia in W... questo dicevo.

[quote:ur2z2b9w]nel punto (3b) invece si chiede di dare la dimensione di tutte le applicazioni tali che [tex:ur2z2b9w]f&#40;w&#41;\in V[/tex:ur2z2b9w]...e queste dovrebbero avere come base le 4 applicazioni [tex:ur2z2b9w]f_i_j[/tex:ur2z2b9w] che ho indicato (la logica è la medesima che ho seguito nel punto 1b)[/quote:ur2z2b9w]
no, quello che volevo dire io ... tu imponi ad esempio che f_1 sia tale che f_1(v1)=(1,2,3) e ok ... ma cosa fa f_1 su v2 e su v_3? devi dirlo sennò non hai descritto una funzione, ma tante.

[quote=&quot;13700&quot;:ur2z2b9w]Poi ti volevo chiedere ... nel 4a ho fatto la tua dimostrazione f(f(v))=0 vuol dire che f(v) sta nel ker, ma f(v) è l'immagine... però poi come fai a scegliere le basi in quel modo? Cioè ... se l'immagine sta nel ker ... non lo so, c'è qualcosa che non capisco  <!-- s:? --><img src="{SMILIES_PATH}/icon_confused.gif" alt=":?" title="Confused" /><!-- s:? -->[/quote:ur2z2b9w]

[quote:ur2z2b9w]ho notato solo ora che ho scritto erroneamente che  [tex:ur2z2b9w]v_1,v_2,...,v_k[/tex:ur2z2b9w] sono base di [tex:ur2z2b9w]v_k_+_1,v_k_+_2,...,v_n[/tex:ur2z2b9w]...ovviamente intendevo che sono base delle loro immagini[/quote:ur2z2b9w]

no vabbeh questo l'avevo capito..
[quote:ur2z2b9w]
...è un passaggio decisivo che non ho esplicitato bene...ripeto qui il ragionamento...

- supponiamo che il [tex:ur2z2b9w]Ker&#40;f&#41;[/tex:ur2z2b9w] abbia dimensione [tex:ur2z2b9w]k[/tex:ur2z2b9w] e quindi come base i [tex:ur2z2b9w]k[/tex:ur2z2b9w] vettori [tex:ur2z2b9w]v_1,v_2,...,v_k[/tex:ur2z2b9w]

- allora [tex:ur2z2b9w]Im&#40;f&#41;[/tex:ur2z2b9w] deve avere dimensione [tex:ur2z2b9w]n-k[/tex:ur2z2b9w] e come base [tex:ur2z2b9w]n-k[/tex:ur2z2b9w] vettori [tex:ur2z2b9w]v_k_+_1,v_k_+_2,...,v_n[/tex:ur2z2b9w] ([tex:ur2z2b9w]dim&#40;Ker&#41; + dim&#40;Im&#41; = n[/tex:ur2z2b9w])

- se [tex:ur2z2b9w]Im&#40;f&#41;\subseteq Ker&#40;f&#41;[/tex:ur2z2b9w] significa che gli [tex:ur2z2b9w]n-k[/tex:ur2z2b9w] vettori immagine della base di [tex:ur2z2b9w]Im&#40;f&#41;[/tex:ur2z2b9w] si possono scrivere come combinazione lineare dei [tex:ur2z2b9w]k[/tex:ur2z2b9w] vettori base del [tex:ur2z2b9w]Ker[/tex:ur2z2b9w]

(qui il passaggio fondamentale che ho saltato)

- i vettori immagine della base di [tex:ur2z2b9w]Im&#40;f&#41;[/tex:ur2z2b9w] non solo devo essere non nulli (altrimenti i [tex:ur2z2b9w]v_k_+_1,v_k_+_2,...,v_n[/tex:ur2z2b9w] sarebbero nel [tex:ur2z2b9w]Ker&#41;[/tex:ur2z2b9w] ma devono anche essere linearmente indipendenti (altrimenti anche le corrispondenti combinazioni lineari nulle dei [tex:ur2z2b9w]v_k_+_1,v_k_+_2,...,v_n[/tex:ur2z2b9w] finirebbero nel [tex:ur2z2b9w]Ker[/tex:ur2z2b9w])

- pertanto deve risultare [tex:ur2z2b9w]k\geq n-k[/tex:ur2z2b9w][/quote:ur2z2b9w]

Ma questo l'avevo capito, l'unica mia obiezione era come facesse ad essere v1,...,vn una base di V .... come scrivi all'inizio?