În matematică și mai precis în algebră liniară , schimbarea bazei sau a matricei de coordonate este o matrice pătrată care codifică schimbarea unei baze a unui spațiu vectorial .
Definiție
Este {\ displaystyle V} un spațiu vectorial dimensional finit pe un câmp {\ displaystyle K} . Lasa-i sa fie {\ displaystyle B} Și {\ displaystyle C} două baze ale {\ displaystyle V} , și ei sunt {\ displaystyle \ mathbf {b} _ {1}, \ mathbf {b} _ {2}, \ dots, \ mathbf {b} _ {n}} vectorii care alcătuiesc baza {\ displaystyle B} . Se numește matrice de schimbare a coordonatelor de la bază {\ displaystyle B} până la bază {\ displaystyle C} singura matrice {\ displaystyle [M] _ {C} ^ {B}} ale căror coloane sunt coordonatele vectorilor {\ displaystyle \ mathbf {b} _ {i}} în raport cu vectorii bazei {\ displaystyle C} : [1]
- {\ displaystyle [M] _ {C} ^ {B} = {\ begin {bmatrix} \ [\ mathbf {b} _ {1}] _ {C} & \ cdots & [\ mathbf {b} _ {n }] _ {C} \ \ end {bmatrix}}}
Avem apoi: [2]
- {\ displaystyle [\ mathbf {v}] _ {C} = [M] _ {C} ^ {B} [\ mathbf {v}] _ {B} \ qquad [\ mathbf {v}] _ {B} = ([M] _ {C} ^ {B}) ^ {- 1} [\ mathbf {v}] _ {C}}
În special, matricea {\ displaystyle [M] _ {C} ^ {B}} este matricea asociată cu funcția de identitate pe {\ displaystyle V} decât elementele de bază {\ displaystyle B} în domeniul e {\ displaystyle C} în intervalul.
De sine {\ displaystyle K = \ mathbb {R}} este câmpul numerelor reale , matricea de schimbare a bazelor este utilă pentru a verifica dacă două baze au aceeași orientare : acest lucru se întâmplă exact atunci când determinantul matricei de schimbare a bazei care le conectează este pozitiv.
Reprezentare grafică în plan cartezian
Fig.1. Vectorul
{\ displaystyle u} are coordonate:
{\ displaystyle ({\ begin {smallmatrix} 5 \\ 3 \ end {smallmatrix}})} în plan
{\ displaystyle \ scriptstyle (x, y)} ,
{\ displaystyle ({\ begin {smallmatrix} 3 \\ 1 \ scriptstyle \ end {smallmatrix}})} decât baza
{\ displaystyle \ scriptstyle B} Și
{\ displaystyle ({\ begin {smallmatrix} -7 \\ 5 \ end {smallmatrix}})} decât baza
{\ displaystyle \ scriptstyle C} .
Fig. 2. Către transportator
{\ displaystyle [v_ {1}] _ {B} = ({\ begin {smallmatrix} 1 \\ 0 \ end {smallmatrix}})} , primul vector al bazei
{\ displaystyle B} , se potrivește cu vectorul
{\ displaystyle [v_ {1}] _ {C} = ({\ begin {smallmatrix} -1 \\ 1 \ end {smallmatrix}})} care se identifică cu
{\ displaystyle \ scriptstyle 1 ^ {a}} coloana matricei
{\ displaystyle \ scriptstyle [M] _ {C} ^ {B}} .
Către transportator
{\ displaystyle [v_ {2}] _ {B} = ({\ begin {smallmatrix} 0 \\ 1 \ end {smallmatrix}})} , al doilea vector al bazei
{\ displaystyle B} , se potrivește cu vectorul
{\ displaystyle [v_ {2}] _ {C} = ({\ begin {smallmatrix} -4 \\ 2 \ end {smallmatrix}})} care se identifică cu
{\ displaystyle \ scriptstyle 2 ^ {a}} coloana matricei
{\ displaystyle \ scriptstyle [M] _ {C} ^ {B}} .
Fig.3. Către transportator
{\ displaystyle [w_ {1}] _ {C} = ({\ begin {smallmatrix} 1 \\ 0 \ end {smallmatrix}})} , primul vector al bazei
{\ displaystyle C} , se potrivește cu vectorul
{\ displaystyle [w_ {1}] _ {B} = ({\ begin {smallmatrix} 1 \\ - {\ frac {1} {2}} \ end {smallmatrix}})} care se identifică cu
{\ displaystyle \ scriptstyle 1 ^ {a}} coloana matricei
{\ displaystyle \ scriptstyle [M] _ {B} ^ {C}} .
Către transportator
{\ displaystyle [w_ {2}] _ {C} = ({\ begin {smallmatrix} 0 \\ 1 \ end {smallmatrix}})} , al doilea vector al bazei
{\ displaystyle C} , se potrivește cu vectorul
{\ displaystyle [w_ {2}] _ {B} = ({\ begin {smallmatrix} 2 \\ - {\ frac {1} {2}} \ end {smallmatrix}})} care se identifică cu
{\ displaystyle \ scriptstyle 2 ^ {a}} coloana matricei
{\ displaystyle \ scriptstyle [M] _ {B} ^ {C}} .
Referindu-ne la fig. 1, să presupunem că avem vectorul în plan cartezian {\ displaystyle u} de coordonate:
- {\ displaystyle u = {\ begin {pmatrix} 5 \\ 3 \ end {pmatrix}}} .
Lasă-i să fie atunci{\ displaystyle (v_ {1}, v_ {2})} Și{\ displaystyle (w_ {1}, w_ {2})} două perechi de vectori decât în spațiul euclidian {\ displaystyle \ mathbb {R} ^ {2}} respectiv identificați baza {\ displaystyle B} este baza {\ displaystyle C} date de la:
- {\ displaystyle B = \ left (v_ {1} = {\ begin {pmatrix} 1 \\ 1 \ end {pmatrix}}, v_ {2} = {\ begin {pmatrix} 2 \\ 0 \ end {pmatrix} } \ dreapta)}
- {\ displaystyle C = \ left (w_ {1} = {\ begin {pmatrix} 0 \\ 1 \ end {pmatrix}}, w_ {2} = {\ begin {pmatrix} 1 \\ 2 \ end {pmatrix} } \ dreapta)}
Cuplul{\ displaystyle (v_ {1}, v_ {2})} poate reprezenta orice vector al planului cartezian (și, prin urmare, reprezintă o bază), deoarece acestea sunt non-paralele și, prin urmare, vectori independenți; același lucru este valabil și pentru cuplu{\ displaystyle (w_ {1}, w_ {2})} .
Se verifică cu ușurință că vectorul poate fi obținut {\ displaystyle u} ca o combinație de vectori ai bazei {\ displaystyle B} și bază {\ displaystyle C} folosind următoarele ecuații:
- {\ displaystyle u = 3v_ {1} + v_ {2}} {\ displaystyle (1)}
- {\ displaystyle u = -7w_ {1} + 5w_ {2}} {\ displaystyle (2)}
Prin urmare, coordonatele vectorului {\ displaystyle u} decât elementele de bază {\ displaystyle B} Și {\ displaystyle C} sunt date de:
- {\ displaystyle [u] _ {B} = {\ begin {pmatrix} 3 \\ 1 \ end {pmatrix}}}
- {\ displaystyle [u] _ {C} = {\ begin {pmatrix} -7 \\ 5 \ end {pmatrix}}}
Grafic, pe baza {\ displaystyle B} vectorul {\ displaystyle u} este dat de suma vectorilor {\ displaystyle v_ {1}} ' Și {\ displaystyle v_ {2}} ': în acest sens este necesar să se traseze linia care are aceeași direcție ca {\ displaystyle v_ {1}} și localizați punctul de intersecție cu linia dreaptă care trece prin vârful vectorului {\ displaystyle u} și paralel cu {\ displaystyle v_ {2}} . Astfel se obține vectorul {\ displaystyle v_ {1}} 'cu un modul egal cu de trei ori cel al {\ displaystyle v_ {1}} și vectorul {\ displaystyle v_ {2}} 'cu modul egal cu {\ displaystyle v_ {2}} în conformitate cu ecuația {\ displaystyle (1)} care poate fi rescris ca:
- {\ displaystyle u = 3v_ {1} + v_ {2} = v_ {1}} ' {\ displaystyle + v_ {2}} '
- {\ displaystyle v_ {1}} ' {\ displaystyle = 3v_ {1}}
- {\ displaystyle v_ {2}} ' {\ displaystyle = v_ {2}}
În mod similar, în bază {\ displaystyle C} vectorul {\ displaystyle u} este dat de suma vectorilor {\ displaystyle w_ {1}} ' Și {\ displaystyle w_ {2}} ': în acest sens este necesar să se traseze linia care are aceeași direcție ca {\ displaystyle w_ {1}} și localizați punctul de intersecție cu linia dreaptă care trece prin vârful vectorului {\ displaystyle u} și paralel cu {\ displaystyle w_ {2}} . Astfel se obține vectorul {\ displaystyle w_ {1}} ', în acest caz opus în versetul a {\ displaystyle w_ {1}} , cu un modul egal de șapte ori cel din urmă și purtătorul {\ displaystyle w_ {2}} 'cu modul egal de cinci ori {\ displaystyle w_ {2}} în conformitate cu ecuația {\ displaystyle (2)} care poate fi rescris ca:
- {\ displaystyle u = -7w_ {1} + 5w_ {2} = w_ {1}} ' {\ displaystyle + w_ {2}} '
- {\ displaystyle w_ {1}} ' {\ displaystyle = -7w_ {1}}
- {\ displaystyle w_ {2}} ' {\ displaystyle = 5w_ {2}}
Matricea care vă permite să comutați între coordonatele din bază {\ displaystyle B} celor bazate {\ displaystyle C} este dat de:
- {\ displaystyle [M] _ {C} ^ {B} = {\ begin {pmatrix} -1 & -4 \\ 1 & 2 \ end {pmatrix}}}
Identitatea este valabilă ca dovadă {\ displaystyle [u] _ {C} = [M] _ {C} ^ {B} [u] _ {B}} Așa cum se arată mai jos:
- {\ displaystyle {\ begin {pmatrix} -7 \\ 5 \ end {pmatrix}} = {\ begin {pmatrix} -1 & -4 \\ 1 & 2 \ end {pmatrix}} {\ begin {pmatrix} 3 \\ 1 \ end {pmatrix}}}
Fig. 2 permite să avem o reprezentare grafică a coloanelor acestei matrice . Prima coloană oferă coeficienții multiplicativi ai vectorilor care alcătuiesc baza {\ displaystyle C} pentru a obține primul vector al bazei prin sumă geometrică {\ displaystyle B} în conformitate cu definiția dată în paragraful introductiv. Același lucru este valabil și pentru a doua coloană.
Matricea care vă permite să comutați între coordonatele din bază {\ displaystyle C} celor bazate {\ displaystyle B} este dat de inversul său:
- {\ displaystyle [M] _ {B} ^ {C} = {\ begin {pmatrix} 1 & 2 \\ - {\ frac {1} {2}} & - {\ frac {1} {2}} \ sfârșit {pmatrix}}}
Identitatea este valabilă ca dovadă {\ displaystyle [u] _ {B} = [M] _ {B} ^ {C} [u] _ {C}} Așa cum se arată mai jos:
- {\ displaystyle {\ begin {pmatrix} 3 \\ 1 \ end {pmatrix}} = {\ begin {pmatrix} 1 & 2 \\ - {\ frac {1} {2}} & - {\ frac {1} {2}} \ end {pmatrix}} {\ begin {pmatrix} -7 \\ 5 \ end {pmatrix}}}
Fig. 3 vă permite să aveți o reprezentare grafică a coloanelor acestei matrice . Prima coloană oferă coeficienții multiplicativi ai vectorilor care alcătuiesc baza {\ displaystyle B} pentru a obține primul vector al bazei prin sumă geometrică {\ displaystyle C} în conformitate cu definiția dată în paragraful introductiv. Același lucru este valabil și pentru a doua coloană.
Compoziţie
Matricea de schimbare a bazelor permite codificarea relației dintre diferite baze prin compoziția funcțiilor. Lasa-i sa fie {\ displaystyle B_ {1}} , {\ displaystyle B_ {2}} Și {\ displaystyle B_ {3}} baze pentru {\ displaystyle V} și fie {\ displaystyle M_ {i, j}} matricea de schimbare a coordonatelor din {\ displaystyle B_ {i}} la {\ displaystyle B_ {j}} . Avem: [3]
- {\ displaystyle M_ {1,3} = M_ {2,3} M_ {1,2}}
Rezultă că dacă {\ displaystyle M} este matricea de schimbare a coordonatelor din {\ displaystyle B} în {\ displaystyle B '} Și {\ displaystyle M '} este matricea de schimbare a coordonatelor din {\ displaystyle B '} în {\ displaystyle B} atunci relația se menține: [4]
- {\ displaystyle MM '= I}
În special, matricea {\ displaystyle M} este inversabilă și {\ displaystyle M '} este inversul său.
Schimbarea matricilor asociate cu endomorfisme
Este {\ displaystyle T: V \ to V} un endomorfism al unui spațiu vectorial {\ displaystyle V} . Lasa-i sa fie {\ displaystyle B} Și {\ displaystyle B '} două baze pentru {\ displaystyle V} Și {\ displaystyle M} matricea de schimbare a coordonatelor din {\ displaystyle B '} în {\ displaystyle B} . Este {\ displaystyle [T] _ {B}} matricea de transformare a {\ displaystyle T} decât baza {\ displaystyle B} Și {\ displaystyle [T] _ {B '}} matricea asociată cu {\ displaystyle B '} . Atunci relația are:
- {\ displaystyle [T] _ {B '} = M ^ {- 1} [T] _ {B} M}
În mod echivalent, două matrice care reprezintă același endomorfism în raport cu baze diferite sunt similare . [5]
Exemple
- În plan cartezian , fie {\ displaystyle B = ((1,0), (0,1))} baza canonică e {\ displaystyle B '= ((0,1), (1,0))} obținută prin permutare {\ displaystyle B} . Matricea de schimbare a coordonatelor din {\ displaystyle B} în {\ displaystyle B '} Și:
- {\ displaystyle {\ begin {bmatrix} 0 & 1 \\ 1 & 0 \\\ end {bmatrix}}}
- În spațiul euclidian {\ displaystyle \ mathbb {R} ^ {3}} , matricea de schimbare dintre baze:
- {\ displaystyle B = \ left (v_ {1} = {\ begin {pmatrix} 1 \\ 0 \\ 2 \ end {pmatrix}}, v_ {2} = {\ begin {pmatrix} 3 \\ 1 \\ 0 \ end {pmatrix}}, v_ {3} = {\ begin {pmatrix} 2 \\ 1 \\ 1 \ end {pmatrix}} \ right)}
- {\ displaystyle B '= \ left (w_ {1} = {\ begin {pmatrix} 1 \\ 0 \\ 1 \ end {pmatrix}}, w_ {2} = {\ begin {pmatrix} 0 \\ 1 \ \ 1 \ end {pmatrix}}, w_ {3} = {\ begin {pmatrix} 1 \\ 1 \\ 0 \ end {pmatrix}} \ right)}
se găsește prin rezolvarea sistemului de ecuații liniare : - {\ displaystyle v_ {i} = M_ {1i} w_ {1} + M_ {2i} w_ {2} + M_ {3i} w_ {3}}
cu 9 ecuații (trei pentru fiecare {\ displaystyle i = 1,2,3} ) și 9 necunoscute {\ displaystyle M_ {ji}} . Rezultatul este matricea: - {\ displaystyle M = {\ begin {pmatrix} {\ frac {3} {2}} & 1 & 1 \\ {\ frac {1} {2}} & - 1 & 0 \\ - {\ frac {1 } {2}} & 2 & 1 \ end {pmatrix}}}
Matricea {\ displaystyle M} de aceea poate fi folosit pentru a schimba coordonatele unui vector fix. De exemplu, vectorul: - {\ displaystyle v = {\ begin {pmatrix} 5 \\ 2 \\ 7 \ end {pmatrix}} = 2v_ {1} -v_ {2} + 3v_ {3}}
are coordonate cu privire la {\ displaystyle B} : - {\ displaystyle [v] _ {B} = {\ begin {pmatrix} 2 \\ - 1 \\ 3 \ end {pmatrix}}}
Coordonatele sale cu privire la {\ displaystyle B '} apoi se calculează după cum urmează: - {\ displaystyle [v] _ {B '} = {\ begin {pmatrix} {\ frac {3} {2}} & 1 & 1 \\ {\ frac {1} {2}} & - 1 & 0 \ \ - {\ frac {1} {2}} & 2 & 1 \ end {pmatrix}} {\ begin {pmatrix} 2 \\ - 1 \\ 3 \ end {pmatrix}} = {\ begin {pmatrix} 5 \\ 2 \\ 0 \ end {pmatrix}}}
Notă
Bibliografie
- Serge Lang, Algebra liniară, Torino, Bollati Basic Books, 1992, ISBN 88-339-5035-2 .
- Kenneth Hoffman, Ray Kunze, Algebra liniară , ediția a II-a, Englewood Cliffs, New Jersey, Prentice - Hall, inc., 1971, ISBN 0-13-536821-9 .
- F. Odetti, M. Raimondo, Elements of Linear Algebra and Analytical Geometry , ECIG, 1992, ISBN 88-7545-717-4 .
- Roggero, Schimbări de bază .
Elemente conexe
linkuri externe