Si la aplicación f:EF es lineal y E es de dimensión finita, entonces Nuc f e Im f son de dimensión finita

y dim E=dim Nuc f + dim Im f.

Demostracion: Nuc f es un subespacio vectorial de E y en particular de dim finita. Tomemos una base de
Nuc f, $v_{1,},v_{2,},_{...,},v_{k,}$, y completemosla hasta obtener una base de E :
$v_{1,},v_{2,},_{...,},v_{k,},_{...},v_{n}$. Las imágenes por f de los k primeros vectores son
$\overrightarrow{0}$ . Las imágenes

$f(v_{k+1)},...,f(v_{n)}$

Forman una base de Im f . En efecto, generan a Im f, ya que si $v \in Im f$, existe un u=

$\sum_{i=1}^{n}$ $a^{i}v_{i}\in E$ tal que
v=f(u)=f(\sum_{i=1}^{n}a^{i}v_{i})=\sum_{i=1}^{n}a^{i}f(v_{i})=\sum_{i=k+1}^{n}a^{i}f(v_{i})$

ademas son linealmente independientes, ya que

\overrightarrow{0}=\sum_{i=k+1}^{n}a^{i}f(v_{i})=f(\sum_{i=1}^{n}a^{i}v_{i})\Rightarrow
\sum_{i=k+1}^{n}a^{i}v_{i}\in Nuc f \Rightarrow \sum_{i=k+1}^{n}a^{i}v_{i}=
\sum_{i=1}^{k}b^{i}v_{i}\Rightarrow \sum_{i=1}^{k}b^{i}v_{i} - \sum_{i=k+1}^{n}a^{i}v_{i}=
\overrightarrow{0}$

Por la base tenemos que los vectores son linealmente indepenedientes, por tanto los coeficientes son
todos 0.

Sea E un espacio vectorial de dimension finita y sean F y G subespacios de E, entonces

dim(F+G)=dimF+dimG-dim $(F \cap G)$

Demostracion:

Designemos f=dim F, g=dim G , i=dim$(F\cap G)$ y supongamos que una base de $(F\cap G)$ es
B=${u_{1},u_{2},...,u_{i}}$ . Completamos la base de B hasta obtener unas bases de F y G

$\ B_{F}=\left \{u_{1},u_{2},...,u_{i},v_{1},v_{2},...,v_{f-i} \right \}$

$\ B_{G}=\left \{u_{1},u_{2},...,u_{i},w_{1},w_{2},...,w_{g-i} \right \}$

El sistema

S=$\left \{u_{1},u_{2},...,u_{i},v_{1},v_{2},...,v_{f-i},w_{1},w_{2},...,w_{g-i} \right \}$

genera a F+G. Ahora probaremos que es un sistema libre. En efecto, sea

\sum_{\alpha =1}^{i}\lambda _{\alpha }\ u_{\alpha }+ \sum_{\beta =1}^{f-i}\mu _{\beta }\ v_{\beta }+

\sum_{\gamma =1}^{g-i}\nu _{\gamma }\ w_{\gamma }=0$ ...(1)

El vector $\sum_{\gamma =1}^{g-i}\nu _{\gamma }\ w_{\gamma }$, que pertenece a G, tambien

pertenece a F por ser cobinacion lineal de los elementos de $B_{f}$ y por tanto pertenece a $F\cap G$
pero $F\cap G$ y el subespacio generado por los vectores $\left \{ w_{1},w_{2},...,w_{g-i} \right \} $, son
suplementarios en G, luego $\sum_{\gamma =1}^{g-i}\nu _{\gamma }\ w_{\gamma }=0$. Esto implica
que todos los $\nu _{\gamma }$ son nulos al ser $\{ w_{1},w_{2},...,w_{g-i}$ sistema libre. Sustituyendo
estos $\nu _{\gamma }$ en (1) y al ser $B_{f}$ sistema libre, tambien son nulos lodos los demas
escalares, es decir S es sistema libre. En consecuencia, S es una base de F+G. Tenemos

dim(F+G)=cardS=i+(f-i)+(g-i)=f+g-i=dimF+dimG-dim $ F\cap G $ . $\blacksquare $

Preposicion: Ker f es un espacio vectorial para cualquier aplicación lineal f.

Demostracion:

$f(\overrightarrow{0_{E}})=\overrightarrow{0_{F}}\Rightarrow \overrightarrow{0_{E}}\in Ker f$

Ademas si $\overrightarrow{x}, \overrightarrow{y}\in Ker f \Rightarrow

f(\overrightarrow{x})=\overrightarrow{0_{F}}, f(\overrightarrow{y})=\overrightarrow{0_{F}}$

Entonces $f(\lambda \overrightarrow{x}+\mu \overrightarrow{y})= \lambda f(\overrightarrow{x})+\mu

f(\overrightarrow{y})=\overrightarrow{0_{F}}

Proposicion: La imagen de una transformacion lineal es un subespacio vectorial del codominio.

Sean V,W espacios vectoriales sobre un campo F y sea T$\in L(V,W)$.

Entonces im(T) es un subespacio de W.

Demostracion:

Se aplica el criterio de subespacio. Se demuestra que el conjunto im(T) es cerrado bajo la adicion y bajo
la multiplicacion por escalares, ademas contiene al vector cero. Mostremos que el conjunto im( T) es
cerrado bajo la adicion. Sean w1,w2 $ \in im(T)$.

Por la definicion de la imagen, existen v1,v2 $\in V$ tales que w1 = T(v1), w2 = T(v2). Por la linealidad de
T, T(v1 + v2) = T(v1) + T(v2) = w1 + w2. Logramos encontrar un vector x = v1 +v2 tal que T(x) = w1 +w2.
Por la definicion de la imagen, esto implica que w1 + w2 $\in im(T)$.

Proposicion :

Sean V,W espacios vectoriales sobre un campo F y sea T $\in L(V,W)$. Entonces: T es inyectiva
$\Leftrightarrow $ ker(T) = ${0_{V}}$.

Demostracion:

$\Rightarrow$ Supongamos que T es inyectiva. Tenemos por demostrar la igualdad ker(T) = ${0_{V}}$.
Sabemos que la contencion ${0_{V}} \subset ker(T)$ se cumple para cualquier transformacion lineal.
Vamos a demostrar que $ker(T) \subset {0_{V}}$. Para ello, consideremos un vector arbitrario $v \in
ker(T)$ y demostremos que v = $0_{V}$ . Por la definicion del nucleo tenemos que T(v) = $0_{W}$. Por
otro lado, sabemos que T$(0_{V} )$ = $0_{W}$. De las ultimas dos igualdades sigue que T(v) = T$(0_{V}
)$. Como T es inyectiva, podemos concluir que v = $0_{V}$ .

$\Leftarrow $. Supongamos que ker(T) = {0}. Sean $u,v \in V$ tales que T(u) = T(v), demostremos que u
= v. Por la linealidad de T, T(u−v) = T(u + (−1)v) = T(u) + (−1)T(v) = T(u)−T(v) = 0. Esto significa que $T(u−v)
\in ker(T)$. Luego u−v = 0 y u = v.