Cambio de base

Cambio de sistema de coordenadas en un espacio vectorial

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.[1][2][3]​ 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.[3]​ Una base de un espacio vectorial de dimensión n es un conjunto de n vectores (α1, …, αn), 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.[4][5][3]​ 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.[6][7][8]​ 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 .

Una combinación lineal de un conjunto básico de vectores (violeta) permite obtener nuevos vectores (rojo). Si son linealmente independientes, forman un nuevo conjunto de bases. Las combinaciones lineales que relacionan el primer conjunto con el segundo son un tipo de aplicación lineal denominada cambio de base
El mismo vector representado por dos bases diferentes (flechas moradas y rojas)

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 preliminaresEditar

Matriz de transformaciónEditar

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 linealesEditar

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

TeoremaEditar

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 coordenadasEditar

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 vectoresEditar

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 vectorEditar

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 dimensionesEditar

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.[9]

Tres dimensionesEditar

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 generalEditar

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 i = 1, …, n, 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 linealEditar

Ahora, supóngase que T : VW es una transformación lineal; 1, …, αn} es una base de V; y 1, …, βm} 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 T1 = ψ−1T ∘ φ es una transformación lineal de Rn sobre Rm, y por lo tanto tiene una matriz t; su columna j es ψ−1(Tj)) para j = 1, …, n. Esta matriz se denomina matriz de T con respecto a las bases ordenadas 1, …, αn} y 1, …, βm}. Si η = T(ξ) e y y x son las tuplas de coordenadas de η y ξ, luego y = ψ−1(T(φ(x))) = tx. Por el contrario, si ξ está en V y x = φ−1(ξ) es la tupla de coordenadas de ξ con respecto a 1, …, αn}, y se establecen y = tx y η = ψ(y), entonces η = ψ(T1(x)) = T(ξ). Es decir, si ξ está en V y η está en W y x e y son sus tuplas de coordenadas, entonces y = tx si y solo si η = T(ξ).

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 T : UV y S : VW son transformaciones lineales con matrices s y t, entonces la matriz de la transformación lineal ST : UW (con respecto a las bases dadas) es st.

Cambio de baseEditar

Ahora, se plantea la cuestión de qué le sucede a la matriz de T : VW cuando se cambian las bases en V y en W. Sean 1, …, αn} y 1, …, βm} bases ordenadas de V y de W respectivamente, y supóngase que se dispone de un segundo par de bases {α′1, …, α′n} y {β′1, …, β′m}. 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 T1 = ψ1−1T ∘ φ1 y T2 = ψ2−1T ∘ φ2 (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 φ2−1 ∘ φ1 en Rn y ψ2−1 ∘ ψ1 en Rm.

Las relaciones de estas distintas aplicaciones entre sí se ilustran en el siguiente diagrama conmutativo: Dado que se tiene que T2 = ψ2−1T ∘ φ2 = (ψ2−1 ∘ ψ1) ∘ T1 ∘ (φ1−1 ∘ φ2), 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 endomorfismoEditar

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 W = V. Naturalmente, se puede tomar 1, …, βn} = {α1, …, αn} y {β′1, …, β′m} = {α′1, …, α′n}.. La matriz de la aplicación lineal T es necesariamente cuadrada.

Cambio de baseEditar

Se aplica el mismo cambio de base, de modo que q = p, 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 bilinealEditar

Una forma bilineal en un espacio vectorial V sobre un campo R es una aplicación V × VR que es lineal en ambos argumentos. Es decir, B : V × VR 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 baseEditar

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 importantesEditar

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 xxyy = 1 se convierte en xy = 1 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 2 × 2, 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 2 × 2 en un bicuaternión.

Ejemplo numéricoEditar

 
Representación del vector V (color verde) en las bases de coordenadas r (color rojo) y a (color azul)

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énEditar

ReferenciasEditar

  1. Anton (1987, p. 171)
  2. Beauregard y Fraleigh (1973, p. 93)
  3. a b c Nering (1970, p. 15)
  4. Anton (1987, pp. 74–76)
  5. Beauregard y Fraleigh (1973, pp. 194–195)
  6. Anton (1987, pp. 221–237)
  7. Beauregard y Fraleigh (1973, pp. 240–243)
  8. Nering (1970, pp. 50–52)
  9. «Change of Basis - HMC Calculus Tutorial». www.math.hmc.edu. Archivado desde el original el 16 de julio de 2016. Consultado el 22 de agosto de 2017.  and the explanation / proof «Why?». www.math.hmc.edu. Archivado desde el original el 22 de agosto de 2017. Consultado el 22 de agosto de 2017. 

BibliografíaEditar

Enlaces externosEditar