Nothing Special   »   [go: up one dir, main page]

Ir al contenido

Cambio de base

De Wikipedia, la enciclopedia libre
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)

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 .

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

[editar]

Matriz de transformación

[editar]

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

[editar]

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

Teorema

[editar]

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
[editar]

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

[editar]

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

[editar]

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

[editar]

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 dimensiones

[editar]

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

[editar]

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 lineal

[editar]

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 base

[editar]

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 endomorfismo

[editar]

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 base

[editar]

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 bilineal

[editar]

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 base

[editar]

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

[editar]

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

[editar]
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

Ejemplo en tres dimensiones

[editar]
Rotación del sistema de ejes coordenados por un ángulo alrededor del eje z.

Supongamos ahora que se quiere transformar las coordenadas desde la base canónica a otra base ortonormal obtenida al girar aquella un ángulo alrededor del eje z. Se tiene la matriz de cambio de base:

Al hacer la aplicación del operador, es decir, al multiplicar la matriz por el vector, obtendremos la expresión del vector en la nueva base vectorial:

siendo

los componentes del vector en la nueva base.

Véase también

[editar]

Referencias

[editar]
  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ía

[editar]

Enlaces externos

[editar]