Teorema. Sean V y W dos espacios vectoriales de dimensión n y m, respectivamente. Sean B1 y B2 sus respectivas bases. Sea T:V→W una transformación lineal; entonces existe una única matriz AT de m×n tal que:
[T(v)]B2=AT.[v]B1
La matriz AT se denomina matriz de transformación correspondiente a T o representación matricial de T, con respecto a las bases B1 y B2. Se suele representar también como ATB1B2 para indicar que tal matriz utiliza trabaja exclusivamente con coordenadas respecto a las bases B1 y B2 en los espacios de partida y de llegada.
Construcción de una matriz de transformación. Sean B1 y B2 dos bases respectivas de los espacios V y W, tales que B1={v1,v2,⋯vn} y B2={w1,w2,⋯wn}.
Si T:V→W es una transformación lineal, entonces el procedimiento para calcular la matriz ATB1B2 es el siguiente:
1.- Calcular T(vi), para i=1,2,...n
2.- Determinar el vector de coordenadas de T(vi) respecto a la base B2, [T(vi)]B2.
3.- Construir la matriz ATB1B2 eligiendo a [T(vi)]B2 como la i−ésima columna de AT.
ATB1B2=⎣⎡↑[T(v1)]B2↓↑[T(v2)]B2↓⋯↑[T(vn)]B2↓⎦⎤
Utilización de la matriz de transformación.
Si [v]B1 son las coordenadas de v∈V, entonces se puede calcular [T(v)]B2 mediante la expresión:
[T(v)]B2=AT.[v]B1, ∀v∈V.
Ejemplo
Sea B={ex,e−x,xex,x2ex} una base de V=gen(B), T:V→V una transformación lineal tal que T(f)=f′(x), determine ATB.
Solución
1.- Transformar cada vector de la base del espacio de partida, B:
2.- Determinar las coordenadas de tales transformadas, respecto a la base del espacio de llegada, en este caso la misma base B para el mismo espacio V:
3.- Construir la matriz con las coordenadas halladas:
ATB=⎣⎢⎢⎡10000−10010100021⎦⎥⎥⎤.
Ejemplo
Utilice la matriz del ejemplo anterior para calcular T(Cosh(x))
Solución
Aunque se puede calcular mediante la regla de correspondencia que T(Cosh(x))=Senh(x), se requiere en el ejercicio utilizar la matriz de transformación. La matriz de transformación opera entre coordenadas, así se necesita hallar [Cosh(x)]B:
Dado que Cosh(x)=2ex+e−x, entonces vector de coordenadas es [Cosh(x)]B=(1/2,1/2,0,0)
Luego, se tiene que [T(v)]B=ATB[v]B, es decir: