La transformacin lineal es una funcin utilizada para la asignacin de un espacio
vectorial a otro espacio vectorial con la ayuda de los escalares, la cual satisface la expresin f(a*x+b*y) =a*f(x)+b*f(y). En otras palabras, se consideran 2 espacios vectoriales, V y W. Una transformacin lineal es una grfica T: V W que satisface dos condiciones: 1) T (v1 + v2) = T (v1) + T (v2) donde v1 y v2 son vectores en V. 2) T (xV) = x T (v) donde x es una escala Una transformacin lineal puede ser sobreyectiva o inyectiva. En el caso que, W y V tengan dimensiones idnticas, entonces T puede llegar a ser invertible, esto es, se encuentra T-1 el cual satisface la condicin TT-1 = I. Asimismo, T (0) ser siempre 0. La teora de la matriz entra en la teora de las transformaciones lineales porque es posible representar cada transformacin lineal como matriz. La multiplicacin de matrices puede considerarse como el ejemplo principal que puede demostrar el concepto de transformacin lineal. Una matriz A de dimensin n x m define que T (v) = Av y aqu v es representado como un vector columna. Veamos un ejemplo: Aqu, la transformacin lineal t es definida como T (x, y) = (y, 2x + 2y, x). En el caso que, V y W sean de dimensin finita, la transformacin lineal est mejor representada con la multiplicacin de matrices en lugar de estableciendo la base del espacio vectorial, tanto para W y V. En el caso que, W y V incluyan un producto escalar y tambin los espacios vectoriales correspondientes y que W y V sean ortonormales, ser simple representar la matriz correspondiente como . Mientras que w y v son de dimensin infinita, la transformacin lineal puede ser continua. Por ejemplo, considera que un espacio polinmico de 1 variable sea v y T una derivada. Entonces, T (xn) = nxn-1, una no continua como xn/n = 0 mientras que T (xn)/n no converge. El resultado de la suma de 2 o ms transformaciones lineales, la multiplicacin de una transformacin lineal por nmero particular, y la multiplicacin de 2 transformaciones lineales, son siempre transformaciones lineales. Una transformacin lineal en la cual su identidad es descrita en el espacio euclidiano siempre es auto-adjunta en el caso de que la matriz A correspondiente sea simtrica en cualquier base ortonormal.
Una transformacin lineal que es auto-adjunta y se describa en una dimensin
finita unitaria, el espacio (euclidiano) contiene una base ortonormal en la cual su matriz lleva una forma diagonal.
Existen dos espacios fundamentales que estn asociados a una transformacin
lineal: su kernel ker(T) y su imagen im(T). El kernel y la imagen de una transformacin lineal T corresponden con el espacio nulo y el espacio de la columna de cualquier matriz que represente a T. En un sistema lineal, el nmero de variables es igual al nmero de variables libres ms el nmero de variables angulares, quedando una transformacin lineal final T: V W en la identidad dim V = dim ker(T) dim im(T). Si dim ker(T) = 0 y dim im(T) = dimW, entonces t esta sobre y uno a uno. En este caso, esto se denomina un isomorfismo.