TRANSFORMACIONES LINEALES

Se trata de funciones entre K-espacios vectoriales que son compatibles con la

estructura (es decir, con la operacin y la accin) de estos espacios.

TEOREMA 1

Si T: V W es una transformacin lineal, entonces V es dimensionalmente

finito si y slo si N (T) y R (T) son dimensionalmente finitos, y en este caso,
dim (V) = nulidad (T) + rango (T).

Demostracin

Dados dos espacios vectoriales V y W sobre un campo F, definimos L(V, W) =

{T : V W | T es una transformacin lineal}.

Si T, U L(V, W) y a F, definimos aT + U : V W como (aT + U)(x)

= aT(x) + U(x) para toda x F. Es un ejercicio verificar que aT + U es una
transformacin lineal y que L(V, W), junto con estas operaciones de suma y de
multiplicacin por escalares, es un espacio vectorial sobre F.

Definimos el que una funcin fuera inyectiva, sobre y biyectiva. Es un ejercicio

demostrar que para una transformacin lineal T : V W, las siguientes
condiciones son equivalentes:

T es inyectiva.
N(T) = {0} (es decir, nulidad(T) = 0)
Para todo S V, S es linealmente independiente si y slo si T(S) W es
linealmente independiente.

Tambin se deja como ejercicio el verificar que si V y W son dos espacios

vectoriales con la misma dimensin (finita) y T: V W es una transformacin
lineal, entonces T es inyectiva o sobre si y slo si es biyectiva.

Una transformacin lineal es una funcin que preserva la estructura algebraica

de espacio vectorial, por lo que no toda funcin entre espacios vectoriales es
una transformacin lineal. De hecho, es sencillo encontrar funciones inyectivas,
sobre, y biyectivas que no son transformaciones lineales. Esto motiva las
definiciones demonomorfismo, epimorfismo e isomorfismo.
TEOREMA 2

Sean V y W dos espacios vectoriales sobre un campo F. Supongamos

que V es dimensionalmente finito y que = {x1, ..., xn} es una base
de V. Entonces para todo {y1, ..., yn} W, existe una nica transformacin
lineal T : V W tal que T(xi) = yi para toda i = 1, ..., n.

TEOREMA 3

En la categora de los espacios vectoriales dimensionalmente finitos, la

dimensin es un invariante completo de isomorfismo. Es decir, para
cualesquiera dos espacios vectoriales dimensionalmente finitos V y W sobre un
campo F, existe un isomorfismo entre V y W si y slo si dim(V) = dim(W).

Demostracin

Sea V un espacio vectorial dimensionalmente finito sobre un campo F y

sea = (x1, ..., xm) una base ordenada de V. Para cada x V, existen
escalares nicos a1, ..., am F tales que x = a1x1 + ... + amxm. Definimos
al vector coordenado de x relativo a como

a1
[ x ] =
( )
:
am
,

Es fcil ver que el mapeo x | [ x ] constituye un isomorfismo : V Mn x 1(F).

Sean V y W dos espacio vectoriales dimensionalmente finitos sobre un

campo F, = {x1, ..., xm} una base ordenada de V y = {y1, ..., xn} una base
ordenada de W. Para cada T L(V, W), definimos la matriz asociada a T con
respecto a las bases ordenadas y como

[T]
=
( [T(x1)] ... [T(xm)]
) .
Por otro lado, dada una matriz A Mn x m(F), la funcin LA : Fm Fn definida
por LA(x) = Ax, es una transformacin lineal.
TEOREMA 4

Sean V y W dos espacio vectoriales dimensionalmente finitos sobre un

campo F, = {x1, ..., xm} una base ordenada de V y = {y1, ..., yn} una base
ordenada de W. Entonces el mapeo T | [T] constituye un isomorfismo :
L(V, W) Mn x m(F). Ms an, para toda A Mn x m(F), se tiene que -
1
(A) L(V, W) es tal que [-1(A)] = A.

Demostracin

Sean V y W dos espacios vectoriales sobre un campo F. Si T L(V, W),

entonces existe una matriz asociada a T por cada par de bases
ordenadas y de V y W respectivamente. El siguiente teorema (cambio de
coordenadas) establece la relacin entre estas matrices.

TEOREMA 5

Sean V y W dos espacios vectoriales dimensionalmente finitos sobre un

campo F. Si , ' son dos bases ordenadas de V y ' son dos bases
ordenadas de W, entonces existe una matriz invertible Q tal que. Entonces el
mapeo T | [T] constituye un isomorfismo : L(V, W) Mn x m(F). Ms
an, para toda A Mn xm(F), se tiene que -1(A) L(V, W) es tal que [-
1
(A)] = A.

IMAGEN DE UNA TRANSFORMACIN LINEAL

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

imagen de T se define como el conjunto de todos los valores de la aplicacin T:

im (T) := [w W : v V tal que w = T(v)]

Proposicin (la imagen de una transformacin lineal es un subespacio

vectorial del codominio)

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

Entonces im (T) es un subespacio de W.
Parte de demostracin. Se aplica el criterio de subespacio. Se demuestra que
el conjunto im (T) es cerrado bajo la adicin y bajo la multiplicacin por
escalares, adems contiene al vector cero.
Mostremos que el conjunto im (T) es cerrado bajo la adicin. Sean w1, w2
im(T). Por la definicin de la imagen, existen v1, v2 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
definicin de la imagen, esto implica que w1 + w2 im (T).

NCLEO DE UNA TRANSFORMACIN LINEAL

Sean V, W espacios vectoriales sobre un campo F y sea T L(V, W). El ncleo
(kernel, espacio nulo) de T se define como la pre imagen completa del vector
nulo:

ker(T) := [x V : T(x) = 0W]

Proposicin (el ncleo de una transformacin lineal es un subespacio

vectorial del dominio)

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

ker(T) es un subespacio de V.
DEPARTAMENTO DE CIENCIAS DE LA TIERRA Y LA
CONSTRUCCIN

CARRERA DE INGENIERA CIVIL

LGEBRA LINEAL

TEMA:
TRANSFORMACIONES LINEALES

ING. CARLOS LEN

LESLY LLANOS

NRC: 1602

QUITO ECUADOR