Trovare una base per il nucleo di un'applicazione lineare

Tagliafico
Salve!!!
Mi è venuto un dubbio.
in un esercizio, ho un'applicazione $T:R^3to\R^4$ definita da $T(x,y,z)=(x,3x-2y+z, 2y-4z,x).
Devo scrivere la matrice relativa alle basi canoniche di $R^3$ e $R^4$, calcolare la dimensione del nucleo e dell'immagine e trovare una base per ciascuno di essi.

La matrice dovrebbe essere questa (se ho capito bene la teoria):

$((1,0,0),(3,-2,1),(0,2,-4),(1,0,0))$

Per calcolare la dimensione del nucleo risolvo questo sistema:

$kerf={(x=0),(3x-2y+z=0),(2y-4z=0):}$

e dovrei ottenere ${(x=0),(y=0),(z=0):}$
quindi $dimkerf=0$.

Di conseguenza, usando il teorema dell'equazione dimensionale, avrò
$dimImf=dimV-dimKerf=3-0=3$.

Ora devo trovare una base per $kerf$ e una per $Imf$.

Per l'immagine di $f$ dovrebbe bastare ch'io prenda le colonne della mia matrice, a patto che queste siano tra loro linearmente indipendenti, giusto?
quindi una base di $Imf$ potrebbe essere ${(1,3,0),(0,-2,2),(0,1,-4)}$

Ora, come faccio a trovare una base per $kerf$?
Il nucleo è un sottospazio vettoriale..quindi suppongo che, essendo un sottospazio vettoriale a sua volta uno spazio vettoriale, ed essendo finitamente generato, debba avere una base.

ma ${(0,0,0)}$ non può essere una sua base, perchè il vettore nullo è linearmente dipendente.
E allora?
forse mi sbaglio, e non ha base in questo caso???

Risposte
mistake89
Non ho controllato i calcoli ma c'è qualcosa che sicuro non va.
Anzitutto cos'è l'$ImT$? E' un sottospazio vettoriale di $RR^3$ o di $RR^4$?

Poi considera che se il $kerT$ è banale, non ha diritto a base, in quanto sai già che contiene il solo vettore nullo!

Tagliafico
credo che $ImT$ sia sottospazio di $R^4$. giusto?

pensavo che il nucleo di un'applicazione dovesse sempre avere una base.
però stavo ragionando sul fatto che effettivamente uno spazio vettoriale $V$ nullo ha come base l'insieme vuoto.
e in questo caso il nucleo, che è anche uno spazio vettoriale, è nullo.

mistake89
"Tagliafico":
credo che $ImT$ sia sottospazio di $R^4$. giusto?

Giusto, quindi i vettori sono del tipo $(x,y,z,t)$ giusto? :wink:


pensavo che il nucleo di un'applicazione dovesse sempre avere una base.
però stavo ragionando sul fatto che effettivamente uno spazio vettoriale $V$ nullo ha come base l'insieme vuoto.
e in questo caso il nucleo, che è anche uno spazio vettoriale, è nullo.


Secondo me confondi banale con vuoto. Un sottospazio vettoriale non è mai vuoto, perchè vi è sempre il vettore nullo.
Può, come in questo caso, essere ridotto al solo vettore nullo ed essere banale, ma non vuoto altrimenti sarebbe soltanto un insieme vuoto, senza alcuna struttura. Quindi dicendo che $dimKerT=0$ hai già descritto compiutamente com'è fatto questo spazio e non ci serve altro!

Tagliafico
"mistake89":

Giusto, quindi i vettori sono del tipo $(x,y,z,t)$ giusto? :wink:


Si si è vero ^^ ho sbagliato la base di $Imf$ perchè, credo, posso prendere le colonne della mia matrice (che infatti sono nella forma $(x,y,z,t)$) e non quello che ho scritto. Stavo pensando al fatto che quando considero il nucleo non ha senso considerare due righe uguali, così come per sapere se la dimensione dell'immagine è effettivamente $3$ mi basta calcolare il rango della mia matrice, e quindi posso non considerare l'ultima riga :-)

"mistake89":


Secondo me confondi banale con vuoto. Un sottospazio vettoriale non è mai vuoto, perchè vi è sempre il vettore nullo.
Può, come in questo caso, essere ridotto al solo vettore nullo ed essere banale, ma non vuoto altrimenti sarebbe soltanto un insieme vuoto, senza alcuna struttura. Quindi dicendo che $dimKerT=0$ hai già descritto compiutamente com'è fatto questo spazio e non ci serve altro!


ah. effettivamente hai ragione. mi sarebbe bastato pensare a cos'è un insieme vuoto: ${x|x!=x}$, cioè senza elementi.
0 è un elemento invece.

mistake89
"Tagliafico":
[quote="mistake89"]
Giusto, quindi i vettori sono del tipo $(x,y,z,t)$ giusto? :wink:


Si si è vero ^^ ho sbagliato la base di $Imf$ perchè, credo, posso prendere le colonne della mia matrice (che infatti sono nella forma $(x,y,z,t)$) e non quello che ho scritto. Stavo pensando al fatto che quando considero il nucleo non ha senso considerare due righe uguali, così come per sapere se la dimensione dell'immagine è effettivamente $3$ mi basta calcolare il rango della mia matrice, e quindi posso non considerare l'ultima riga :-)

[/quote]
Scusami non ho capito

Tagliafico
"mistake89":

Scusami non ho capito


ho sbagliato la base di $Imf$ perchè ho preso le colonne della matrice associata all'applicazione, ma ho dimenticato di prendere l'ultima riga.
se avessi preso tutte le righe della matrice, avrei avuto 3 colonne del tipo $(x,y,z,t)$.

Tagliafico
Se invece ho un endomorfismo $f:M_2to\M_2$ (dove $M_2$ sono le matrici quadrate di ordine $2$)
la cui matrice associata è

$((1,1,0,0),(1,-1,0,0),(0,0,1,1),(0,0,1,-1))$

rispetto alla base $B={((1,0),(0,1)),((1,0),(0,-1)),((0,1),(1,0)),((0,1),(-1,0))}$

se calcolo il nucleo dell'applicazione ottengo

${(x+y=0),(x-y=0),(z+t=0),(z-t=0):}$

quindi

${(x=-y),(z=-t):}$

la dimensione del nucleo sarà data da $(x,-x,-t,t)$ ossia $dimkerf=2$

devo trovare una base per il nucleo.4
sicuramente dovrò avere due vettori linearmente indipendenti, appartenenenti al dominio, in questo caso $M_2$

non so bene come trovarlo.
io darei dei valori a $x$ e $t$ ad esempio $(0,0,1,-1)$ e $(1,-1,0,0)$

quindi suppongo che la mia base possa essere ${((0,0),(2,0)),((0,0),(0,2))}$

potrebbe andar bene?

mistake89
Secondo me c'è qualche problema proprio nell'applicazione che hai definito.
Considera una generica matrice $((x,y),(z,t))$ e sfrutta per esteso la definizione di matrice associata. Cioè si vede che $f((1,0),(0,1))=((1,0),(0,1))+((1,0),(0,-1))=((2,0),(0,0))$. E così via per altre...

Se non ho sbagliato la tua applicazione lavora così $f((x,y),(z,t))=((x+t,y+z),(y-z,t-x))$. Controlla per piacere perchè l'ho fatto molto velocemente. E quindi calcolando $f((x,y),(z,t))=0_(M_2)$ dovresti ottenere $x=y=z=t=0$.

D'altra parte il rango della tua matrice è $4$ quindi la dimensione di $ImF=dimM_2-dimKerf=4$ da cui $dimKerf=0$.

Però ti ripeto, controlla per bene i conti.

Tagliafico
"mistake89":
Secondo me c'è qualche problema proprio nell'applicazione che hai definito.
Considera una generica matrice $((x,y),(z,t))$ e sfrutta per esteso la definizione di matrice associata. Cioè si vede che $f((1,0),(0,1))=((1,0),(0,1))+((1,0),(0,-1))=((2,0),(0,0))$. E così via per altre...

Se non ho sbagliato la tua applicazione lavora così $f((x,y),(z,t))=((x+t,y+z),(y-z,t-x))$. Controlla per piacere perchè l'ho fatto molto velocemente. E quindi calcolando $f((x,y),(z,t))=0_(M_2)$ dovresti ottenere $x=y=z=t=0$.

D'altra parte il rango della tua matrice è $4$ quindi la dimensione di $ImF=dimM_2-dimKerf=4$ da cui $dimKerf=0$.

Però ti ripeto, controlla per bene i conti.


Hai ragione, il rango è 4.
ho sbagliato il sistema, o meglio, non l'ho finito.

una volta che ottengo ${(x=-y),(z=-t):}$ devo sostituire nelle equazioni rimanenti e otterrei
${(x=-y),(z=-t),(-2y=0),(-2t=0):}$ per cui
${(y=0),(t=0),(x=0),(z=0):}$

è stata una svista. accidenti :(

La domanda però credo che sia comunque valida, se posta in altri termini:
supponiamo di avere un'applicazione $f:M_2to\R^3$
definita in un certo modo e supponiamo che, una volta fatti tutti i conti, mi risulti $dimkerf=2$

supponiamo che debba trovare una base per questo nucleo, e supponiamo che mi venga come soluzione del sistema per trovare la dimensione del nucleo (per esempio) una cosa del tipo $(x,-2x,z,0)$

la base del nucleo dovrà avere degli elementi al suo interno appartenenti a $M_2$, giusto?

prediamo la base canonica di $M_2$ che chiamiamo $B={E_11,E_12,E_21,E_22}$

allora uno dei vettori della mia base potrebbe essere $(E11-2E11+E21+0)$ ossia $((-1,1),(0,0))$???

mistake89
Ma il fatto è che tu non puoi ottenere un vettore di $RR^3$, perchè il nucleo è un sottospazio di $M_2$. :)

Tu avrai un'applicazione che ti associa $f((x,y),(z,t))=(a,b,c)$. Ora ti chiedi quando $f(M)=0$ otterrai un sistema. Ed una volta risolto otterrai delle condizioni su $x,y,z,t$, che sono gli elementi della nostra matrice. Quindi sostituiti ad $M in M_2$ otterrai il tuo $kerf$.

Tagliafico
"mistake89":
Ma il fatto è che tu non puoi ottenere un vettore di $RR^3$, perchè il nucleo è un sottospazio di $M_2$. :)

Tu avrai un'applicazione che ti associa $f((x,y),(z,t))=(a,b,c)$. Ora ti chiedi quando $f(M)=0$ otterrai un sistema. Ed una volta risolto otterrai delle condizioni su $x,y,z,t$, che sono gli elementi della nostra matrice. Quindi sostituiti ad $M in M_2$ otterrai il tuo $kerf$.


quindi se dal sistema ottengo $(x,-2x,z,0)$

prenderò la mia matrice e calcolerò $((x,2x),(z,0))$ facendo variare $x$ e $z$?

tipo per $dimker=2$ farei qualcosa del tipo ${((1,2),(0,0)),((0,0),(1,0))}$?

mistake89
No. Qualcosa del tipo $((1,2),(0,0)),((0,0),(1,0))$

Tagliafico
"mistake89":
No. Qualcosa del tipo $((1,2),(0,0)),((0,0),(1,0))$

:) si si avevo sbagliato, lo stavo correggendo

ora è chiaro!!!! e se ho un'applicazione $F:M_2to\M_2$

è simile per l'Imf?
perchè se il codominio è in $R$ o in $K[x]$ non ho dubbi.
dubbi mi vengono quando ho matrici

mistake89
A parte che puoi considerare le matrici quadrate isomorfe a $RR^(n^2)$ e quindi ovviare al problema, però non cambia niente, devi lavorare sullo spazio vettoriale delle matrici che come ogni spazio vettoriale, ha base canonica, componenti, combinazioni lineari etc. Se ti è più comodo immaginale come vettori scritti in maniera strana :-D

Ricorda che la matrice associata ad un'applicazione lineare lavora con le componenti non con le immagini. Quindi devi considerare le rispettive immagini (cioè la combinazione lineare, tramite le componenti scritte in matrice dei vettori della base considerata!)

Tagliafico
"mistake89":
A parte che puoi considerare le matrici quadrate isomorfe a $RR^(n^2)$ e quindi ovviare al problema, però non cambia niente, devi lavorare sullo spazio vettoriale delle matrici che come ogni spazio vettoriale, ha base canonica, componenti, combinazioni lineari etc. Se ti è più comodo immaginale come vettori scritti in maniera strana :-D
)


Cos'è $RR^(n^2)$?? com'è definito? non l'ho mai visto credo... O_o
"mistake89":

Ricorda che la matrice associata ad un'applicazione lineare lavora con le componenti non con le immagini. Quindi devi considerare le rispettive immagini (cioè la combinazione lineare, tramite le componenti scritte in matrice dei vettori della base considerata!)


Mmm..si su questo ci sono.
Non mi pare alla fin fine che sia difficile.Farò ancora esercizi fino al compito comunque su quest'argomento.
Ti ringrazio!

mistake89
Non ti spaventare che non è niente di eccezionale. $RR^4$ lo conosci no? Beh possiamo scrivere $RR^(2^2)$ :wink:
E' semplicemente un $RR$-spazio vettoriale di dimensione $n^2$. Nulla più!

Tagliafico
"mistake89":
Non ti spaventare che non è niente di eccezionale. $RR^4$ lo conosci no? Beh possiamo scrivere $RR^(2^2)$ :wink:
E' semplicemente un $RR$-spazio vettoriale di dimensione $n^2$. Nulla più!


Ho capito.

non lo avevo mai visto così :-D

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.