Immagine e nucleo di un endomorfismo

lex1531
problemi con questo esercizio: dato $ f_h : (x; y; z) in R^3 rarr (x + y + z; hy + 2z; z) in R^3, h in R: $
determinare per ogni $ h in R $ una base di $ Im f_h e una base di Ker f_h $

facendo la matrice del sistema ho trovato che ha rango 3 per $ h != 0 $ quindi
per $ h != 0 rarr Im f_h = R^3 $ quindi $ Ker f_h =0 $
per $ h=0 rarr Im f_h = R^2 $ quindi $ Ker f_h = 1 $ dove la base di $ Im f_h $ è del tipo $ (x=-y-z;2z;z) $ quindi ad esempio $ (-1,0,0) (-1,2,1) $
come trovo la base di $ Ker f_h $ ???

Risposte
mistake89
Semplicemente calcolando $f_0(x,y,z)=(0,0,0)$

Lorin1
Per il caso $h!=0$ siamo ok!

Per il caso $h=0$ diciamo che $dimImf=2$ e $B_Imf={(1,0,0),(1,2,1)}$, (basta prendere le colonne della matrice associata all'applicazione, quelle che intersecano il minore fondamentale). Mentre $dimKerf=1$, e per trovare una base devi risolvere il sistema $AX=0$ con $A$ matrice associata all'applicazione

lex1531
ok! per minore fondamentale intendi l'unico minore che ha rango 2 vero?
fatto il sistema e mi trovo! una base è per es (1,-1,0)

grazie!

Lorin1
Si, diciamo che in generale il minore non è unico, ma basta trovarne uno che abbia il determinante diverso da zero.

Per la base, si va bene così.

lex1531
ma quindi anche per trovare la base di un qualsiasi sottospazio posso applicare questa regola?
cioè una volta fatta la matrice associata al sottospazio, a meno che non abbia rango pieno ovviamente, le colonne che intersecano un minore diverso da zero sono base?
non so se mi sono spiegato bene :D
se per esempio ho una matrice 4x4 e vedo che non ha rango 4 ma 3, le colonne che intersecano la sottomatrice 3x3 con det diverso da zero formano una base?

Lorin1
Si, una base per $Imf$ nel riferimento naturale però. Quando hai un riferimento $R$ diverso da quello naturale il discorso cambia un pochino. E comunque vale anche quando la matrice ha rango massimo; anzi proprio in questo caso, le colonne della matrice associata all'applicazione sono i vettori della base di $Imf$ che avrà dimensione massima.

lex1531
ed ovviamente la base dell'immagine vale anche come base del sottospazio verò?
nel senso se un esercizio mi chiede di trovare la base del sottospazio e vedo che la matrice ricavata dal sistema ha rango massimo, allora le colonne della matrice rappresentano la base?

quindi messi in colonna, a formare una matrice, tre vettori di un sottospazio, se la matrice ha rango massimo, quei vettori rappresentano una base, giusto?

questo è il concetto?

Lorin1
Si, per base ovviamente si intende base del sottospazio immagine

lex1531
mi hai sbloccato un sacco di dubbi con questa cosa :D

Lorin1
E' una cosa che si capisce anche dalla costruzione di matrice associata all'applicazione, le cui colonne sono le componenti in N (rif. naturale) dei vettori di N, trasformati tramite l'applicazione f. Se ci rifletti su, vedi che è abbastanza ovvia come cosa.

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