Mudanza de base

En matemáticas, unha base ordenada dun espazo vectorial de dimensión  permite representar de forma única calquera elemento do espazo vectorial mediante un vector de coordenadas, que é unha secuencia de  escalares chamados coordenadas. Se se consideran dúas bases diferentes, o vector de coordenadas que representa un vector  nunha base é, en xeral, diferente do vector de coordenadas que representa  na outra base. Unha **mudanza de base** (ou **cambio de base**) consiste en converter cada expresión en termos de coordenadas relativas a unha base noutra expresión  en termos de coordenadas relativas á outra base.

Tal conversión resulta da *fórmula de mudanza de base* que expresa as coordenadas relativas a unha base en termos de coordenadas relativas á outra base. Usando matrices, pódese escribir esta fórmula
:\mathbf X_\mathrm{antiga} = A \,\mathbf X_\mathrm{nova},
onde "antiga" e "nova" refírense respectivamente á base definida inicialmente e á outra base, \mathbf X_\mathrm{antiga} e \mathbf X_\mathrm{nova} son os vectores columna das coordenadas do mesmo vector nas dúas bases. A é a **matriz da mudanza de base** (tamén chamada **matriz de paso** ou **matriz de transformación**), que é a matriz cuxas columnas son as coordenadas dos novos vectores base expresados na base antiga.

Unha mudanza de base ás veces chámase *cambio de coordenadas*, aínda que isto exclúe moitas transformacións de coordenadas.
Para aplicacións en física e especialmente en mecánica, unha mudanza de base implica a miúdo a transformación dunha base ortonormal, entendida como unha rotación no espazo físico, excluíndo así as translacións.

Este artigo trata principalmente de espazos vectoriais de dimensión finita. No entanto, moitos dos principios tamén son válidos para espazos vectoriais de dimensión infinita.

## Definición 
Sexa K un corpo, E un K-espazo vectorial de dimensión finita *n*, e B, B' dúas bases de E.

A matriz A, **matriz de transformación de B a B**, denotada como \mathrm{P_B^{B'}}, é a matriz representativa da aplicación de identidade IdE de E equipada coa base B' a E equipada coa base B:
*\mathrm{P_B^{B'}}=\mathcal M_{\mathrm{B}',\mathrm{B}}(\mathrm{Id_E})
ou, equivalentemente:
*\mathrm{P_B^{B'}} é igual a \mathcal M_{\mathrm{B}}(\mathrm{B}'), é dicir, as súas columnas son as coordenadas dos vectores de B' expresadas na base B.

Por razóns mnemotécnicas, chamamos B' á nova base, B á base antiga. Observarase que nas dúas primeiras descricións dadas as bases aparecen na orde contraria á da terminoloxía. A terceira pódese detallar do seguinte xeito: se  \mathrm{B} =(e_{1}, \ldots ,e_{n}) e \mathrm{B}'=(e'_1,\ldots ,e'_n) onde e'_j = \sum_{i = 1}^n a_{i,j}e_i para j=1,\ldots ,n, entón
: \mathrm{P_B^{B'}} = (a_{i,j})_{i,j=1}^n\in\mathcal{M}_n(\mathbb{K}).

## Cambio de coordenadas dun vector 
Como xa se mencionou, se un vector de E ten coordenadas X e X' en dúas bases B e B', entón \mathrm{X} = \mathrm{P_B^{B'}} \mathrm{X}'.

### Exemplos 
Considere o espazo euclidiano ℝ3 equipado coa súa base canónica B(*e*1, *e*2, *e*3), "base antiga" ortonormal directa.

thumb|Homotecia de factor *k*.

; Homotecia

A nova base B'(*e*1, *e*2, *e*3) obtense mediante unha homotecia de factor *k*. Temos así:
: *e*1 = *k e*1;
: *e*2 = *k e*2;
: *e*3 = *k e*3.
A matriz de paso escríbese como
: \mathrm{P_B^{B'}} = \begin{pmatrix}
k & 0 & 0 \\
0 & k & 0 \\
0 & 0 & k \\
\end{pmatrix}
Sexa un vector *x* de compoñentes (X1, X2, X3) en B e (X'1, X'2, X'3) en B'. Temos:
:\begin{pmatrix}\mathrm{X}_1 \\ \mathrm{X}_2 \\ \mathrm{X}_3 \\ \end{pmatrix}

=
\begin{pmatrix}
k & 0 & 0 \\
0 & k & 0 \\
0 & 0 & k \\
\end{pmatrix}

\begin{pmatrix}
\mathrm{X}'_1  \\ \mathrm{X}'_2  \\ \mathrm{X}'_3 \\ 
\end{pmatrix}
=

\begin{pmatrix}
k\mathrm{X}'_1  \\
k\mathrm{X}'_2 \\
k\mathrm{X}'_3 \\
\end{pmatrix}

thumb|Rotación dun ángulo α arredor de *e*3.

; Rotación da base

A nova base B'(*e*1, *e*2, *e*3) obtense mediante rotación por un ángulo α  en torno ao eixo e3. Temos así:
: *e*1 = cos(α) *e*1 + sin(α) *e*2;
: *e*2 = –sin(α) *e*1 + cos(α) *e*2;
: *e*3 = *e*3.
A matriz de paso escríbese como
: \mathrm{P_B^{B'}} = \begin{pmatrix}
\cos \alpha & -\sin \alpha & 0 \\
\sin \alpha & \cos \alpha & 0 \\
0 & 0 & 1 \\
\end{pmatrix}
Sexa un vector *x* de compoñentes (X1, X2, X3) en B e (X'1, X'2, X'3) en B'. Temos:
: \begin{pmatrix}\mathrm{X}_1 \\ \mathrm{X}_2 \\ \mathrm{X}_3 \\ \end{pmatrix}
=
\begin{pmatrix}
\cos \alpha & -\sin \alpha & 0 \\
\sin \alpha & \cos \alpha & 0 \\
0 & 0 & 1 \\
\end{pmatrix}
\begin{pmatrix}
\mathrm{X}'_1  \\ \mathrm{X}'_2  \\ \mathrm{X}'_3 \\ 
\end{pmatrix}
=
\begin{pmatrix}
(\cos\alpha)\mathrm{X}'_1-(\sin\alpha)\mathrm{X}'_2 \\
(\sin\alpha)\mathrm{X}'_1+(\cos\alpha)\mathrm{X}'_2 \\
\mathrm{X}'_3 \\
\end{pmatrix}

## Función definida nun espazo vectorial
Unha función que ten un espazo vectorial como dominio adoita especificarse como unha función multivariante cuxas variábeis son as coordenadas nalgunha base do vector sobre o que se aplica a función.

Cando se muda a base, múdase a expresión da función. Este cambio pódese calcular substituíndo as "vellas" coordenadas polas súas expresións en termos de "novas" coordenadas. Máis precisamente, se  é a expresión da función en termos das coordenadas antigas, e se  é a fórmula de cambio de base, entón  é a expresión da mesma función en termos das novas coordenadas.

## Mapas lineares 
Considere un mapa linear  desde un espazo vectorial  de dimensión  ata un espazo vectorial  de dimensión . Represéntase en bases "vellas" de  e  mediante unha matriz  . Un cambio de bases defínese por unha matriz de cambio de base   para , e unha matriz de cambio de base   para .

Nas bases "novas", a matriz de  é
:P^{-1}MQ.
Esta é unha consecuencia directa da fórmula de mudanza de base.

## Endomorfismos 
Os endomorfismos son mapas lineares desde un espazo vectorial  ata si mesmo. Para un cambio de base, aplícase a fórmula do apartado anterior, coa mesma matriz de cambio de base a ambos os dous lados da fórmula. É dicir, se  é a matriz cadrada dun endomorfismo de  sobre unha base "vella", e  é unha matriz de cambio de base, entón a matriz do endomorfismo na base "nova" é
:P^{-1}MP.

Como toda matriz invertíbel pode usarse como unha matriz de cambio de base, isto implica que dúas matrices son semellantes se e só se representan o mesmo endomorfismo en dúas bases diferentes.

## Formas bilineares 
Unha *forma bilinear* nun espazo vectorial *V* sobre un corpo  é unha función  que é linear en ambos os argumentos. É dicir,  é bilinear se os mapas
v \mapsto B(v, w)
e v \mapsto B(w, v)
son lineares para cada w\in V fixo.

A matriz  dunha forma bilinear  nunha base (v_1, \ldots, v_n)  (a base "vella" no que segue) é a matriz cuxa entrada da fila  e columna  é B(v_i, v_j). Dedúcese que se  e  son os vectores columna das coordenadas de dous vectores  e , temos
:B(v, w)=\mathbf v^{\mathsf T}\mathbf B\mathbf w,
onde \mathbf v^{\mathsf T} denota a transposta da matriz .

Se  é unha matriz de cambio de base, entón un cálculo sinxelo mostra que a matriz da forma bilinear na nova base é
:P^{\mathsf T}\mathbf B P.

Unha forma bilinear simétrica é unha forma bilinear  tal que B(v,w)=B(w,v) para todo  e  en . Dedúcese que a matriz de  en calquera base é simétrica. Isto implica que a propiedade de ser unha matriz simétrica debe manterse mediante a fórmula de cambio de base anterior. Tamén se pode comprobar isto observando que a transposta dun produto matricial é o produto das transpostas calculadas na orde inversa. En particular,
:(P^{\mathsf T}\mathbf B P)^{\mathsf T} = P^{\mathsf T}\mathbf B^{\mathsf T} P,
e os dous membros desta ecuación son iguais a P^{\mathsf T} \mathbf B P se a matriz  é simétrica.

Se a característica do corpo base  non é dous, entón para cada forma bilinear simétrica hai unha base para a que a matriz é diagonal. A maiores, as entradas diferentes de cero resultantes na diagonal defínense ata a multiplicación por un cadrado. Así, se o corpo base é o corpo \mathbb R dos números reais, estas entradas distintas de cero pódense escoller para que sexan  ou . A Lei da inercia de Sylvester é un teorema que afirma que a cantidade de números  e  dependen só da forma bilinear, e non do cambio de base.

As formas bilineares simétricas sobre os reais atópanse a miúdo en xeometría e física, normalmente no estudo dos cuádricos e da inercia dun corpo ríxido. Nestes casos, as bases ortonormais son ​​especialmente útiles; isto significa que en xeral se prefire restrinxir os cambios de base a aqueles que teñen unha matriz de cambio de base ortogonal, é dicir, unha matriz tal que P^{\mathsf T}=P^{-1}. Esas matrices teñen a propiedade fundamental de que a fórmula de cambio de base é a mesma para unha forma bilinear simétrica e o endomorfismo representado pola mesma matriz simétrica.

O Teorema espectral afirma que, dada unha matriz simétrica dese tipo, hai un cambio de base ortogonal  tal que a matriz resultante (tanto da forma bilinear como do endomorfismo) é unha matriz diagonal cos valores propios da matriz inicial na diagonal. Dedúcese que, sobre os reais, se a matriz dun endomorfismo é simétrica, entón é diagonalizábel.

## Notas 
## Véxase tamén 
### Bibliografía 
* 
* 
* 

### Outros artigos 
* Transformación activa e pasiva
* Covarianza e contravarianza de vectores
* Transformada integral, o análogo continuo da mudanza de base.
* Pesos de Chirgwin-Coulson; aplicación en química computacional
### Ligazóns externas 
* MIT Linear Algebra Lecture on Change of Basis, de MIT OpenCourseWare
*Khan Academy Lecture on Change of Basis, de Khan Academy