Canvi de base


Un canvi de base es definix com una aplicació llineal que permet relacionar entre sí les coordenades d'un espai vectorial expressades respecte a dos bases distintes. Esta definició depén a la seua volta del concepte de base en àlgebra llineal, que es caracterisa com un conjunt d'elements linealment independents entre sí que constituïxen un sistema generador de l'espai vectorial al que pertanyen.[1][2][3] Este artícul tracta principalment sobre espais vectorials de dimensió finita, pero molts de les teoremes també són vàlits per a espais vectorials de dimensió infinita.[3] Una base d'un espai vectorial de dimensió n és un conjunt de n vectores (α1, …, αn), cridats base de vectores, en la propietat de que cada vector en l'espai pot expressar-se com una combinació llineal única dels vectores de la base.[4][5][3] Les representacions matriciales de les aplicacions que operen sobre els vectores també estan determinades per la base elegida. Ya que a sovint és desijable treballar en més d'una base, és de fonamental importància poder transformar fàcilment les representacions dels vectores coordenados i de les aplicacions que operen sobre ells definits sobre una base, a les seues representacions equivalents sobre una atra base. Esta transformació es denomina canvi de base.[6][7][8] Per eixemple, si és una matriu les columnes de la qual comprenen una base de , un vector (en la base estàndar) també es pot expressar com una combinació llineal de les columnes de pel vector . Llavors, per definició, . Si les columnes de formen una base ortonormal, llavors l'inversa de és la seua transposició i s'obté el canvi de base com , és dir, el vector de les proyeccions escalares de en les columnes de .
Encara que el símbol R que s'utilisa a continuació pot interpretar-se com el camp dels número real, els resultats són vàlits si R es reemplaça per qualsevol atre camp F. Encara que a continuació s'usa la terminologia d'espais vectorials, els resultats discutits són vàlits sempre que R siga un anell conmutativo, de manera que el terme espai vectorial podria ser reemplaçat pel terme R-mòdul lliure, mantenint-se la validea de les expressions utilisades.
Nocions preliminars
[editar | editar còdic]Matriu de transformació
[editar | editar còdic]La base canònica d'un espai vectorial és la seqüència ordenada , a on és l'element de en en el lloc i en les components restants. Per eixemple, la base estàndar per a seria
Si és una aplicació llineal, la matriu d'orde associada en és la matriu la columna de la qual és , per a , és dir
En este cas es té que , , a on es considera com un vector columna i la multiplicació pel costat dret és la multiplicació de matrius. És un fet bàsic en àlgebra llineal que l'espai vectorial Hom () de totes les transformacions llineals de a és naturalment isomòrfic en l'espai de les matrius sobre ; és dir, una transformació llineal és a tots els efectes equivalent a la seua matriu .
Unicitat de les transformacions llineals
[editar | editar còdic]Més alvance es farà us de les propietats següents:
Teorema
[editar | editar còdic]Sean i dos espais vectorials, i una base de . Siga també un conjunt qualsevol en . Llavors, existix una transformació llineal única en , per a .
Esta transformacíon única està definida per
Per supost, si és una base per a , llavors és una funció biyectiva ademés de llineal; en atres paraules, és un isomorfisme. Quan també es té que , llavors es diu que és un automorfisme.
Isomorfisme entre coordenades
[editar | editar còdic]Ara, siga un espai vectorial sobre , i suponguen-se que és una base de . Per definició, si és un vector en , llavors per a un conjunt únic d'escalares denominats les "coordenades de relatives a la base ordenada ". El vector es denomina "tupla de coordenades de relativa a ".
L'aplicació llineal única en per a es denomina isomorfisme de coordenades per a i la base . Aixina, si i solament si .
Matriu d'un conjunt de vectores
[editar | editar còdic]Un conjunt de vectores es pot representar per mig d'una matriu, en la que cada columna consta de les components del vector corresponent del conjunt. Com una base és un conjunt de vectores, una matriu d'este tipo permet definir una base. Posteriorment es mostrarà que el canvi de base de qualsevol objecte de l'espai està relacionat en esta matriu. Per eixemple, els vectores canvien en el seu invers (i per això es denominen objectes contravariantes).
Canvi de coordenades d'un vector
[editar | editar còdic]Primer es va a examinar la qüestió de cóm canvien les coordenades d'un vector en l'espai vectorial quan s'utilisa una atra base.
Dos dimensions
[editar | editar còdic]Donada una matriu les columnes de la qual són els vectores de la nova base de l'espai (nova matriu base), les noves coordenades per a un vector columna vénen donades pel producte matricial . Per esta raó, es diu que els vectores ordinaris són objectes contravariantes.
Qualsevol conjunt finito de vectores es pot representar per mig d'una matriu en la que les seues columnes són les coordenades dels vectores donats. Servixca com a eixemple en la dimensió 2, un parell de vectores obtinguts en girar la base canònica 45° en sentit antihorario. La matriu les columnes de la qual són les coordenades d'estos vectores és
Si es vol canviar qualsevol vector de l'espai a esta nova base, solament es necessita multiplicar per l'esquerra els seus components per l'inversa d'esta matriu.[9]
Tres dimensions
[editar | editar còdic]Per eixemple, siga R una nova base donada per les seues ànguls de Euler. La matriu de la base tindrà com a columnes les components de cada vector. Per tant, esta matriu serà (vore l'artícul dedicat als ànguls de Euler):
Novament, qualsevol vector de l'espai pot canviar-se a esta nova base multiplicant a l'esquerra els seus components per l'inversa d'esta matriu.
Interpretació general
[editar | editar còdic]Suponga's que i que són dos bases ordenades d'un espai vectorial n dimensional V sobre un camp K. Sean φA i φB els isomorfismes de coordenades corresponents (aplicacions llineals) de Kn sobre V, és dir, i per a i = 1, …, n, i a on els ii són n-tuplas en la component i igual a 1 i totes les demés components iguals a 0.
Si és una n-tupla en les coordenades d'un vector v de V sobre la base A, llavors , llavors la tupla de coordenades de v sobre B és la tupla i tal que , és dir, , de modo que per a qualsevol vector de V, l'aplicació fa correspondre la seua tupla de coordenades sobre A en la seua tupla de coordenades sobre B. Ya que esta aplicació és un automorfisme en Kn, llavors té una matriu quadrada associada C. Ademés, la columna i de C és , és dir, la tupla de coordenades de αi sobre B.
Per lo tant, per a qualsevol vector v de V, si x és la tupla de coordenades de v sobre A, llavors la tupla és la tupla de coordenades de v sobre B. La matriu C es diu matriu de transició de A a B.
Vore també
[editar | editar còdic]- Components d'un vector
- Transformada integral,anàlec continu de canvi de base
- Transformació activa i passiva
Referències
[editar | editar còdic]- ↑ Anton (1987, p. 171)
- ↑ Beauregard y Fraleigh (1973, p. 93)
- ↑ 3,0 3,1 3,2 Nering (1970, p. 15)
- ↑ Anton (1987, pp. 74–76)
- ↑ Beauregard y Fraleigh (1973, pp. 194–195)
- ↑ Anton (1987, pp. 221–237)
- ↑ Beauregard y Fraleigh (1973, pp. 240–243)
- ↑ Nering (1970, pp. 50–52)
- ↑ «Change of Basis - HMC Calculus Tutorial». Archivat des d'el original, el 2016-07-16. and the explanation / proof «Why?». Archivat des d'el original, el 22 d'agost de 2017.
Bibliografia
[editar | editar còdic]- (1987).«Elementary Linear Algebra».Wiley.New York:
- (1973).«A First Course In Linear Algebra: with Optional Introduction to Groups, Rings, and Fields».Houghton Mifflin Harcourt.Boston:
- (1970).«Linear Algebra and Matrix Theory».Wiley.New York:
Referències
[editar | editar còdic]
- Este artícul conté una traducció derivada de «Cambio de base» de Wikipedia en castellà publicada baix la Llicència de documentació lliure de GNU i la Llicència Creative Commons Reconeiximent-CompartirIgual 4.0 Internacional.