Está en la página 1de 8

LGEBRA DE LAS TRANSFORMACIONES LINEALES Una transformacin lineal es un conjunto de operaciones que se realizan sobre un vector para convertirlo

en otro vector. En ocasiones trabajar con vectores es muy sencillo ya que pueden ser facilmente interpretados dentro de un contexto grfico, lamentablemente no siempre ocurre y es necesario transformar a los vectores para poderlos trabajar ms facilmente. Por otra parte, trabajar con sistemas lineales es mucho ms sencillo que con sistemas no lineales, ya que se puede utilizar una tcnica llamada superposicin, la cual simplifica de gran manera gran variedad de clculos, por lo que es de gran interes demostrar que un proceso puede ser reducido a un sistema lineal, lo cual solo puede lograrse demostrando que estas operaciones forman una transformacin lineal. Se denomina transformacin lineal, funcin lineal o aplicacin lineal a toda aplicacin cuyo dominio y codominio sean espacios vectoriales y se cumplan las siguientes condiciones: Sean V y W espacios vectoriales sobre el mismo campo K, y T una funcin de V en W. T es una transformacin lineal si para cada par de vectores de u y v pertenecientes a V y para cada escalar k perteneciente a K, se satisface que: 1. 2. donde k es un escalar.

Son aplicaciones lineales los operadores usados en la formulacin matemtica de la mecnica cuntica. Para detalles especficos sobre estos, ver el artculo Operador (mecnica cuntica). Propiedades de las transformaciones lineales 1. Transformacin Lineal Singular y No Singular

Sean

espacios

vectoriales en

sobre

el

mismo

campo

una

transformacin lineal de X En caso contrario

. Entonces,

es no singular si:

es singular.

Teorema fundamental de las transformaciones lineales

Sea B = {v1,v2,v3,...vn} base de V y C = {w1, w2, w3,...wn n} un conjunto de vectores de W no necesariamente distintos, entonces existe una nica transformacin lineal Para todo

Clasificacin de las transformaciones lineales 1. Monomorfismo: Si ncleo es el vector nulo. 2. Epimorfismo: Si 3. Isomorfismo: Si 4. Endomorfismo: Si es sobreyectiva (exhaustiva). es biyectiva (inyectiva y exhaustiva). o sea si el dominio es igual al codominio (el es inyectiva, o sea si el nico elemento del

espacio vectorial de salida y el de llegada son el mismo). 5. Automorfismo: Si es endomorfismo e isomorfismo a la vez.

Definicin 1 Sean es:

espacios vectoriales, y sea

. Diremos que

1. Una transformacin lineal (o morfismo ) si dados

, es un morfismo inyectivo. es un morfismo sobreyectivo. es un morfismo biyectivo.

2. Un Monomorfismo si 3. Un epimorfismo si 4. Un isomorfismo si

Adems llamaremos , donde

para abreviar) al espacio de morfismos de

es la funcin constante cero, esto es:

Y la suma y producto escalar en

se definen as:

1. Si

entonces .

es

la

transformacin

dada

por

2. Si

entonces

es

la

transformacin

dada

por.

TEOREMAS TEOREMA 2.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 condiciones son equivalentes:

W, las siguientes

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 de monomorfismo, epimorfismo e isomorfismo. LEMA 2.2 Sean V y W dos espacios vectoriales sobre un campo F. Supongamos que V es dimensionalmente finito y que b = {x1, ..., xn} es una base de V. Entonces para todo {y1, ..., yn} W, existe una unica transformacin lineal T : V que T(xi) = yi para toda i = 1, ..., n. W tal

TEOREMA 2.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 b = (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 b como a1 :

[ x ]b = (

),

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

Sean V y W dos espacio vectoriales dimensionalmente finitos sobre un campo F, b = {x1, ..., xm} una base ordenada de V y g = {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 b y g como

[T]

g b

= ( [T(x1)]g ... [T(xm)]g ).

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 (ejercicio). TEOREMA 2.4 Sean V y W dos espacio vectoriales dimensionalmente finitos sobre un campo F, b = {x1, ..., xm} una base ordenada de V y g = {y1, ..., yn} una base ordenada de W. Entonces el mapeo T | F : L(V, W) W) es tal que [F-1(A)]bg = 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 b y g de V y W respectivamente. El siguiente teorema (cambio de coordenadas) establece la relacin entre estas matrices. TEOREMA 2.5 Sean V y W dos espacio vectoriales dimensionalmente finitos sobre un campo F. Si b, b' son dos bases ordenadas de V y g g' son dos bases ordenadas de W, entonces existe una matriz invertible Q tal que . Entonces el [T]bg constituye un isomorfismo Mn x m(F). Ms an, para toda A Mn x m(F), se tiene que F-1(A) L(V,

mapeo T |

[T]bg constituye un isomorfismo F : L(V, W)

Mn x m(F). Ms

an, para toda A Mn x m(F), se tiene que F-1(A) L(V, W) es tal que [F-1(A)]bg = A. Ejemplos.