Para a disciplina de Álgebra Linear e Matricial por Ronan Soares
Dois espaços vetoriais $\mathcal{V}$ e $\mathcal{U}$
$F: \mathcal{V} \to \mathcal{U}$
$B_v = \left\{v_1, \ldots, v_n\right\}$ base de $\mathcal{V}$
$B_u = \left\{u_1, \ldots, u_n\right\}$ base de $\mathcal{U}$
Existe uma única $F: \mathcal{V} \to \mathcal{U}$
Os vetores que resultam no vetor nulo zero
Os resultados aplicados em algum vetor
$F: \mathcal{V} \to \mathcal{U}$ é TL
$\operatorname{nuc}(F)$ é subespaço de $\mathcal{V}$
$\operatorname{img}(F)$ é subespaço de $\mathcal{U}$
$F: \mathcal{V} \to \mathcal{U}$ é TL
Se $\operatorname{ger}(\{v_1, \ldots, v_n\}) = \mathcal{V}$
Então $\operatorname{ger}(\{F(v_1), \ldots, F(v_n)\})$ gera $\operatorname{img}(F)$