Productos de transformaciones lineales

Supongamos que
y

son espacios vectoriales, de dimensiones respectivas

, y que

Las transformaciones lineales duales

mediante las relaciones

Propiedad 1.4 Si

son sendas transformaciones lineales.

y

estn definidas

se representa, respecto a bases

entonces
traspuesta

, mediante una matriz

se representa, respecto a las bases duales, mediante la matriz

.

Ahora definamos una transformacin

haciendo
.

Propiedad 1.5 Si
y

se representa, respecto a bases

se representa, respecto a bases

entonces
matriz producto tensorial

y
y

, mediante la matriz
, mediante la matriz

se representa, respecto a las bases productos, mediante la

siguiente:

Ahora bien, si

es un espacio vectorial de dimensin

recursivamente:

potencia tensorial de
representa a

es la

es la matriz cuadrada de orden

respecto a una cierta base

, se tiene que

-sima
que

quedar representada por

determinada como sigue:

Cada ndice entero

se escribe en base

como una palabra de

dgitos

. Para una tal palabra

, definamos

. Evidentemente, vistas

las palabras como representaciones de nmeros en base

,

es lineal, definimos

. Naturalmente,

. Si

la matriz

Debido a la propiedad 1.5, se tiene la recurrencia

(1)

con la cual es posible calcular las entradas de la matriz

representaciones en base de los ndices correspondientes.

siguiendo las

Transformacin lineal

Definicin
Se denomina transformacin lineal a toda funcin cuyo dominio e imagen sean espacios
vectoriales y se cumplan las siguientes condiciones:
1. T(u + v) = T(u) + T(v)
2. T(ku) = kT(u) donde k es un escalar.

Transformacin lineal nula

Transformacin lineal identidad

Homotecias
con
Si |k| > 1 se denominan dilataciones
Si |k| < 1 se denominan contracciones
Ver artculo sobre Homotecias

Propiedades de las transformaciones lineales

1.

Ncleo (kernel) e imagen

Si

es lineal, se define el ncleo y la imagen de T de la siguiente manera:

Es decir que el ncleo de una transformacin lineal est formado por el conjunto de
todos los vectores del dominio que tienen por imagen al vector nulo del codominio.

El ncleo de toda transformacin lineal es un subespacio del dominio:

1.
2. Dados
3. Dados

dado que T(0V) = 0W

Se denomina nulidad a la dimensin del ncleo. Nulidad(T) = dim(Nu(T))

O sea que la imagen de una transformacin lineal est formada por el conjunto de
todos los vectores del codominio que son imgenes de al menos algn vector del
dominio.
La imagen de toda transformacin lineal es un subespacio del codominio.
El rango de una transformacin lineal es la dimensin de la imagen.

rg(T) = dim(Im(T))

Teorema de las dimensiones

dim(Nu(T)) + dim(Im(T)) = dim(V)

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
es inyectiva, o sea si el nico elemento del
ncleo es el vector nulo. Nu(T) = 0V
2. Epimorfismo: Si
es sobreyectiva.
3. Isomorfismo: Si
es biyectiva.
4. Endomorfismo: Si
o sea si el dominio es igual al codominio.
5. Automorfismo: Si
es endomorfismo e isomorfismo a la vez.

Matriz asociada a una transformacin lineal

Sea

una transformacin lineal es posible encontrar una matriz

asociada a una transformacin lineal

Transformaciones lineales
Una transformacin establece una correspondencia entre nmeros o puntos. No difiere en
absoluto de una funcin, pero se utiliza el trmino transformacin cuando se desea dar la
idea del reemplazamiento real de un punto por otro. Un ejemplo sencillo de transformacin
es un desplazamiento paralelo del plano complejo que reemplaza el punto z por el z a.
Se pueden imaginar los puntos z y z a situados en el mismo plano o en diferentes planos.
En el primer caso, una notacin adecuada sera z za; en el segundo, deberamos utilizar
la notacin funcional w za. Con mayor generalidad, si se denota una transformacin por
T, escribiremos z Tz o w Tz.
a) El grupo lineal
Consideremos la transformacin

[1]
cuyos coeficientes a, b, c y d son nmeros complejos. Imponemos adems ad bc 0 para
que w no sea independiente de z. Con esta condicin se evita tambin que el denominador
sea idnticamente nulo.
Con objeto de establecer una correspondencia entre los planos ampliados, aadimos los
siguientes valores convencionales a los definidos por [1] :
1. si c 0, w para z d/c y wa/c para z
2. si c 0, w para z
La transformacin ampliada w Tz se llama una transformacin lineal.
La ecuacin [1] puede resolverse con respecto a z dando

Esta transformacin puede ampliarse de la misma forma; la transformacin lineal resultante

es inversa de la T, y se denota, por consiguiente, por T-1. La existencia de una inversa
muestra que la correspondencia definida por T es biunvoca.
T est determinada por una matriz de segundo orden

cuyo determinante es ad bc 0. Est tambin determinada por cualquier mltiplo no nulo

0
de la misma matriz.
La notacin matricial resulta conveniente principalmente porque conduce a la
determinacin sencilla de una transformacin compuesta w T1T2 z. Si utilizamos
subndices para distinguir entre las matrices correspondientes a T1 y T2, es fcil comprobar
que T1T2 est determinada por la matriz producto.
Todas las transformaciones lineales forman grupo. En efecto, la propiedad asociativa
(T1T2)T3 T1(T2T3) se verifica para transformaciones arbitrarias, la identidad w z es una
transformacin lineal y la inversa de una transformacin lineal es lineal.
b) Transformaciones elementales
Las transformaciones lineales ms sencillas estn dadas por matrices de la forma

La primera de ellas se llama traslacin paralela. La segunda es una rotacin si |k| 0, y

una homotecia si k > 0 (si k < 0 se puede escribir k |k| k/|k|, y por lo tanto la
transformacin es una homotecia seguida de una traslacin paralela). La ltima
transformacin se llama una inversin.
Si c 0, podemos escribir

y esta descomposicin muestra que la transformacin lineal ms general se compone de una

traslacin, una inversin, una rotacin y una homotecia seguida de otra traslacin. Si c 0,
desaparece la inversin y no es necesaria la ltima traslacin.
c) La razn doble
Dados tres puntos distintos z2, z3, z4 en el plano ampliado, existe una transformacin lineal
T que transforma estos puntos en 0, 1, . Si ninguno de los puntos dados es , T podr
escribirse

Si z2, z3 z4, la transformacin se reduce, respectivamente, a

Se define la razn doble de cuatro puntos, y se denota por (z1, z2, z3, z4), a la imagen de z1
mediante la transformacin lineal que transforma z2, z3, z4 en 0, 1, .
La razn doble es invariante respecto a las transformaciones lineales. Con una formulacin
ms precisa:
Si z1, z2, z3, z4 son puntos distintos en el plano ampliado y S es una transformacin lineal
cualquiera, se tiene que (S z1, S z2, S z3, S z4) (z1, z2, z3, z4).
La razn doble (z1, z2, z3, z4) es real si y slo si los cuatro puntos son concclicos o estn
alineados.
Una transformacin lineal transforma circunferencias en circunferencias.