Cambio de base

Un cambio de base se define como una aplicación lineal que permite relacionar entre sí las coordenadas de un espacio vectorial expresadas respecto a dos bases distintas. Esta definición depende a su vez del concepto de base en álgebra lineal, que se caracteriza como un conjunto de elementos linealmente independientes entre sí que constituyen un sistema generador del espacio vectorial al que pertenecen. Este artículo trata principalmente sobre espacios vectoriales de dimensión finita, pero muchos de los teoremas también son válidos para espacios vectoriales de dimensión infinita. Una base de un espacio vectorial de dimensión n es un conjunto de n vectores , llamados base de vectores, con la propiedad de que cada vector en el espacio puede expresarse como una combinación lineal única de los vectores de la base. Las representaciones matriciales de las aplicaciones que operan sobre los vectores también están determinadas por la base elegida. Dado que a menudo es deseable trabajar con más de una base, es de fundamental importancia poder transformar fácilmente las representaciones de los vectores coordenados y de las aplicaciones que operan sobre ellos definidos con respecto a una base, a sus representaciones equivalentes con respecto a otra base. Esta transformación se denomina cambio de base. Por ejemplo, si  es una matriz cuyas columnas comprenden una base de , un vector  (en la base estándar) también se puede expresar como una combinación lineal de las columnas de  por el vector . Entonces, por definición, . Si las columnas de  forman una base ortonormal, entonces la inversa de  es su transposición y se obtiene el cambio de base como , es decir, el vector de las proyecciones escalares de  en las columnas de .

Aunque el símbolo R que se utiliza a continuación puede interpretarse como el campo de los números reales, los resultados son válidos si R se reemplaza por cualquier otro campo F. Aunque a continuación se usa la terminología de espacios vectoriales, los resultados discutidos son válidos siempre que R sea un anillo conmutativo, de forma que el término espacio vectorial podría ser reemplazado por el término R-módulo libre, manteniéndose la validez de las expresiones utilizadas.

Nociones preliminares

Matriz de transformación

La base canónica de un espacio vectorial  es la secuencia ordenada , donde  es el elemento de  con  en el lugar  y  en las componentes restantes. Por ejemplo, la base estándar para  sería

 

Si  es una aplicación lineal, la matriz de orden  asociada con  es la matriz  cuya columna  es , para , es decir

 

En este caso se tiene que , , donde se considera  como un vector columna y la multiplicación por el lado derecho es la multiplicación de matrices. Es un hecho básico en álgebra lineal que el espacio vectorial Hom () de todas las transformaciones lineales de  a  es naturalmente isomórfico con el espacio  de las matrices  sobre ; es decir, una transformación lineal  es a todos los efectos equivalente a su matriz .

Unicidad de las transformaciones lineales

Más adelante se hará uso de las propiedades siguientes:

Teorema

Sean  y  dos espacios vectoriales, y  una base de . Sea también  un conjunto cualquiera en . Entonces, existe una transformación lineal única  con
, para .

Esta transformacíon  única está definida por

 

Por supuesto, si  es una base para , entonces  es una función biyectiva además de lineal; en otras palabras,  es un isomorfismo. Cuando también se tiene que , entonces se dice que  es un automorfismo.

Isomorfismo entre coordenadas

Ahora, sea  un espacio vectorial sobre , y supónganse que  es una base de . Por definición, si  es un vector en , entonces  para un conjunto único de escalares  denominados las "coordenadas de  relativas a la base ordenada ". El vector  se denomina "tupla de coordenadas de  relativa a ".

La aplicación lineal única  con  para  se denomina isomorfismo de coordenadas para  y la base . Así,  si y solo si .

Matriz de un conjunto de vectores

Un conjunto de vectores se puede representar mediante una matriz, en la que cada columna consta de las componentes del vector correspondiente del conjunto. Como una base es un conjunto de vectores, una matriz de este tipo permite definir una base. Posteriormente se mostrará que el cambio de base de cualquier objeto del espacio está relacionado con esta matriz. Por ejemplo, los vectores cambian con su inverso (y por eso se denominan objetos contravariantes).

Cambio de coordenadas de un vector
Primero se va a examinar la cuestión de cómo cambian las coordenadas de un vector  en el espacio vectorial  cuando se utiliza otra base.

Dos dimensiones
Dada una matriz  cuyas columnas son los vectores de la nueva base del espacio (nueva matriz base), las nuevas coordenadas para un vector columna  vienen dadas por el producto matricial . Por esta razón, se dice que los vectores ordinarios son objetos contravariantes.

Cualquier conjunto finito de vectores se puede representar mediante una matriz en la que sus columnas son las coordenadas de los vectores dados. Sirva como ejemplo en la dimensión 2, un par de vectores obtenidos al girar la base canónica 45° en sentido antihorario. La matriz cuyas columnas son las coordenadas de estos vectores es

 

Si se quiere cambiar cualquier vector del espacio a esta nueva base, solo se necesita multiplicar por la izquierda sus componentes por la inversa de esta matriz.

Tres dimensiones

Por ejemplo, sea R una nueva base dada por sus ángulos de Euler. La matriz de la base tendrá como columnas las componentes de cada vector. Por tanto, esta matriz será (véase el artículo dedicado a los ángulos de Euler):

 

Nuevamente, cualquier vector del espacio puede cambiarse a esta nueva base multiplicando a la izquierda sus componentes por la inversa de esta matriz.

Interpretación general
Supóngase que  y que  son dos bases ordenadas de un espacio vectorial n dimensional V sobre un campo K. Sean φA y φB los isomorfismos de coordenadas correspondientes (aplicaciones lineales) de Kn sobre V, es decir,  y  para , y donde los ei son n-tuplas con la componente i igual a 1 y todas las demás componentes iguales a 0.

Si  es una n-tupla con las coordenadas de un vector v de V con respecto a la base A, entonces , entonces la tupla de coordenadas de v con respecto a B es la tupla y tal que , es decir, , de modo que para cualquier vector de V, la aplicación  hace corresponder su tupla de coordenadas con respecto a A con su tupla de coordenadas con respecto a B. Dado que esta aplicación es un automorfismo en Kn, entonces tiene una matriz cuadrada asociada C. Además, la columna i de C es , es decir, la tupla de coordenadas de αi con respecto a B.

Por lo tanto, para cualquier vector v de V, si x es la tupla de coordenadas de v con respecto a A, entonces la tupla  es la tupla de coordenadas de v con respecto a B. La matriz C se llama matriz de transición de A a B.

Matriz de una transformación lineal
Ahora, supóngase que  es una transformación lineal;  es una base de V; y  es una base de W. Sean φ y ψ los isomorfismos de las coordenadas de V y de W, respectivamente, en relación con las bases dadas. Entonces, la aplicación  es una transformación lineal de Rn sobre Rm, y por lo tanto tiene una matriz t; su columna j es  para . Esta matriz se denomina matriz de T con respecto a las bases ordenadas  y  Si  e y y x son las tuplas de coordenadas de η y ξ, luego . Por el contrario, si ξ está en V y  es la tupla de coordenadas de ξ con respecto a  y se establecen  y , entonces . Es decir, si ξ está en V y η está en W y x e y son sus tuplas de coordenadas, entonces  si y solo si .

Teorema: supóngase que U, V y W son espacios vectoriales de dimensión finita y que se elige una base ordenada para cada uno. Si  y  son transformaciones lineales con matrices s y t, entonces la matriz de la transformación lineal  (con respecto a las bases dadas) es st.

Cambio de base
Ahora, se plantea la cuestión de qué le sucede a la matriz de  cuando se cambian las bases en V y en W. Sean  y  bases ordenadas de V y de W respectivamente, y supóngase que se dispone de un segundo par de bases  y  Sean φ1 y φ2 los isomorfismos de coordenadas tomando la base canónica en Rn de la primera y de la segunda bases de V; y sean ψ1 y ψ2 los isomorfismos tomando la base canónica en Rm de la primera y de la segunda bases de W.

Sean  y  (ambas aplicaciones toman Rn a Rm), y sean t1 y t2 sus respectivas matrices. Ahora, sean p y q las matrices de los automorfismos de cambio de coordenadas  en Rn y  en Rm.

Las relaciones de estas distintas aplicaciones entre sí se ilustran en el siguiente diagrama conmutativo:

Dado que se tiene que , y dado que la composición de aplicaciones lineales corresponde a la multiplicación de matrices, se sigue que
 t 2 =  'q'   't'  1  'p'  −1.

Dado que el cambio de base contiene una vez la matriz base y una vez su inversa, se dice que estos objetos son 1-co, 1-contravariantes.

Matriz de un endomorfismo
Un caso importante de la matriz de una transformación lineal es el de un endomorfismo, es decir,
una aplicación lineal desde un espacio vectorial V sobre sí mismo: es decir, el caso de que .
Naturalmente, se puede tomar  y . La matriz de la aplicación lineal T es necesariamente cuadrada.

Cambio de base

Se aplica el mismo cambio de base, de modo que , y entonces la fórmula de cambio de base se convierte en

t2 = p t1 p−1.

En esta situación, la matriz invertible p se llama matriz de cambio de base para el espacio vectorial V, y la ecuación anterior indica que las matrices t1 y t2 son semejantes.

Matriz de una forma bilineal
Una forma bilineal en un espacio vectorial V sobre un campo R es una aplicación  que es lineal en ambos argumentos. Es decir,  es bilineal si las aplicaciones
 
 
son lineales para cada w en V. Esta definición se aplica igualmente bien a módulos sobre un anillo conmutativo, siendo las aplicaciones lineales homomorfismos de módulo.

La matriz de Gram G adjunta a una base  está definida por

 

Si  y  son las expresiones de los vectores v, w con respecto a esta base, entonces la forma bilineal viene dada por

 

La matriz será simétrica si la forma bilineal B es una forma bilineal simétrica.

Cambio de base
Si P es la matriz invertible que representa un cambio de base de
 a 
entonces la matriz de Gram se transforma mediante una relación de congruencia

Instancias importantes
En la teoría de espacios vectoriales abstractos, el concepto de cambio de base es inocuo; parece aportar poco a la ciencia. Sin embargo, hay casos en álgebra asociativa en los que un cambio de base es suficiente para convertir una oruga en una mariposa (en sentido figurado):
 
 En el plano de los números complejos hiperbólicos existe una "base diagonal" alternativa. La hiperbola estándar  se convierte en  después del cambio de base. Las transformaciones del plano que dejan las hiperbolas en su lugar se corresponden entre sí, según un cambio de base modular. La diferencia contextual es lo suficientemente profunda como para luego separar la transformación de Lorentz de una contracción. Se puede obtener una visión panorámica de estas aplicaciones utilizando el cambio de base subyacente.
 Con las matrices reales de 2 × 2 se encuentra el inicio de un catálogo de álgebras lineales debido a Arthur Cayley. Su asociado, James Cockle, presentó en 1849 su álgebra de "cocuaterniones" o cuaterniones hiperbólicos, que son la misma álgebra que las matrices reales de , simplemente dispuestas en una base matricial diferente. Una vez más, es el concepto de cambio de base el que sintetiza el álgebra matricial de Cayley y los cocuaterniones de Cockle.
 Un cambio de base convierte una matriz compleja de  en un bicuaternión.

Ejemplo numérico

En el ejemplo siguiente se desarrollan las operaciones que es preciso realizar para poder pasar las coordenadas de un vector bidimensional V (representado en color verde) entre dos bases de coordenadas denominadas a (representada en color azul) y r (en color rojo).

Datos
Se definen en un sistema de referencia canónico (normalmente un sistema de coordenadas cartesiano), las coordenadas del vector V y de los vectores que forman las dos bases (a y r):

 Base azul:  // 
 Base roja:  // 

Cálculos
En primer lugar, se van a calcular las coordenadas del vector V en la base azul. Para ello, basta saber que el producto de la matriz [A] formada por las coordenadas de los vectores de la base azul dispuestos en columna, multiplicadas por las coordenadas buscadas [VA], se corresponden con las coordenadas del vector V en la base canónica. Esto se traduce en la igualdad [A] * [VA] = [V], donde se despeja [VA] multiplicando ambos lados de la ecuación por la matriz [A]-1, inversa de [A], de forma que:
 [A] * [VA] = [V]
 [A]-1 * [A] * [VA] = [A]-1 * [V] 
 [VA] = [A]-1 * [V]
(para la base roja, el procedimiento es exactamente el mismo, sustituyendo la base azul por la roja). Los cálculos toman la forma siguiente:

Primero, se forma la matriz [A], disponiendo en columnas las coordenadas de los dos vectores de la base a1 y a2:  

 

Ahora, a partir de la expresión general de la matriz inversa [M]-1 de una matriz [M] de orden 2x2:
 ; para la que  (siendo , el determinante de la matriz [M])
se calcula la matriz [A]-1, y se multiplica por las coordenadas de V, para obtener V en la base A:
 ;
Análogamente, siendo [R] la matriz de la base roja formada por r1 y r2:
 
entonces se calcula la matriz [R]-1, y se multiplica por las coordenadas de V, para obtener V en la base R:
 ;

Cambio de base:

A partir de las matrices [A] y [R] y de sus inversas [A]-1 y [R]-1, es posible transformar las coordenadas de la base azul a la base roja, y de la base roja a la base azul. Para ello, basta pasar las coordenadas de origen a la base canónica, y desde esta a la base de destino.

Por ejemplo, para pasar de la base azul a la roja las coordenadas del vector V, basta con multiplicar la matriz [A] por el vector [VA] para obtener las coordenadas de V en la base canónica, y luego multiplicar [R]-1 por el resultado de la operación anterior.

La matriz [A⇒R] = [R]-1 * [A], permite transformar las coordenadas desde la base azul a la roja:
,
de forma que: 

De forma análoga, para pasar de la base roja a la azul las coordenadas VR del vector V, se tiene que 
la matriz [R⇒A] = [A]-1 * [R], permite transformar las coordenadas desde la base roja a la azul:
, 
de forma que

Véase también
 Componentes de un vector
 Transformada integral,análogo continuo de cambio de base
 Transformación activa y pasiva

Referencias

Bibliografía

Enlaces externos
 Conferencia de álgebra lineal del MIT on Change of Basis, de MIT OpenCourseWare
 Conferencia de Khan Academy sobre el cambio de base, de Khan Academy

Álgebra lineal
Teoría de matrices