Saltar para o conteúdo

Mudança de base: diferenças entre revisões

Origem: Wikipédia, a enciclopédia livre.
Conteúdo apagado Conteúdo adicionado
+ Boldrini, José Luiz; Costa, Sueli I. Rodrigues; Figueiredo, Vera Lúcia; Wetzler, Henry G. (1986). Álgebra Linear 3ª ed. (São Paulo: Harbra). p. 123. ISBN 9788529402024.
m Remove <span class="nowrap" contenteditable="false"></span>
Linha 6: Linha 6:
A [[base canônica]] de '''R'''<sup>''n''</sup> é a sequência ordenada {{Predefinição:Nowrap|('''e'''<sub>1</sub>, …, '''e'''<sub>''n''</sub>)}}, em que '''e'''<sub>''j''</sub> é o elemento de '''R'''<sup>''n''</sup> com 1 em sua ''j-ésima'' posição e 0s nas demais posições.
A [[base canônica]] de '''R'''<sup>''n''</sup> é a sequência ordenada {{Predefinição:Nowrap|('''e'''<sub>1</sub>, …, '''e'''<sub>''n''</sub>)}}, em que '''e'''<sub>''j''</sub> é o elemento de '''R'''<sup>''n''</sup> com 1 em sua ''j-ésima'' posição e 0s nas demais posições.


Se {{Predefinição:Nowrap|''T'' : '''R'''<sup>''n''</sup> → '''R'''<sup>''m''</sup>}}<span class="nowrap" contenteditable="false"></span> é uma [[transformação linear]], a [[Matriz (matemática)|matriz]] de ''T'' é a matriz '''t''' de tamanho {{Predefinição:Nowrap|''m'' × ''n''}}<span class="nowrap" contenteditable="false"></span> cuja''j''-ésima coluna é ''T''('''e'''<sub>''j''</sub>) para {{Predefinição:Nowrap|1=''j'' = 1, …, ''n''}}<span class="nowrap" contenteditable="false"></span>. Neste caso, tem-se {{Predefinição:Nowrap|1=''T''('''x''') = '''tx'''}}<span class="nowrap" contenteditable="false"></span> para todo '''x''' em '''R'''<sup>''n''</sup>, em que '''x''' é considerado como um vetor coluna e a múltiplicação no lado direito é a [[Produto de matrizes|multiplicação matricial]]. Um fato básico em álgebra linear é que o espaço vetorial {{Predefinição:Nowrap|Hom('''R'''<sup>''n''</sup>, '''R'''<sup>''m''</sup>)}} de todas as transformações lineares de '''R'''<sup>''n''</sup> para '''R'''<sup>''m''</sup> é naturalmente [[Isomorfismo|isomórfo]] ao espaço {{Predefinição:Nowrap|'''R'''<sup>''m'' × ''n''</sup>}}<span class="nowrap" contenteditable="false"></span> das matrizes {{Predefinição:Nowrap|''m'' × ''n''}}<span class="nowrap" contenteditable="false"></span> sobre '''R'''; em outras palavras, uma transformação linear {{Predefinição:Nowrap|''T'' : '''R'''<sup>''n''</sup> → '''R'''<sup>''m''</sup>}}<span class="nowrap" contenteditable="false"></span> é, para todos os propósitos, equivalente a sua matriz'''t'''.
Se {{Predefinição:Nowrap|''T'' : '''R'''<sup>''n''</sup> → '''R'''<sup>''m''</sup>}} é uma [[transformação linear]], a [[Matriz (matemática)|matriz]] de ''T'' é a matriz '''t''' de tamanho {{Predefinição:Nowrap|''m'' × ''n''}} cuja''j''-ésima coluna é ''T''('''e'''<sub>''j''</sub>) para {{Predefinição:Nowrap|1=''j'' = 1, …, ''n''}}. Neste caso, tem-se {{Predefinição:Nowrap|1=''T''('''x''') = '''tx'''}} para todo '''x''' em '''R'''<sup>''n''</sup>, em que '''x''' é considerado como um vetor coluna e a múltiplicação no lado direito é a [[Produto de matrizes|multiplicação matricial]]. Um fato básico em álgebra linear é que o espaço vetorial {{Predefinição:Nowrap|Hom('''R'''<sup>''n''</sup>, '''R'''<sup>''m''</sup>)}} de todas as transformações lineares de '''R'''<sup>''n''</sup> para '''R'''<sup>''m''</sup> é naturalmente [[Isomorfismo|isomórfo]] ao espaço {{Predefinição:Nowrap|'''R'''<sup>''m'' × ''n''</sup>}} das matrizes {{Predefinição:Nowrap|''m'' × ''n''}} sobre '''R'''; em outras palavras, uma transformação linear {{Predefinição:Nowrap|''T'' : '''R'''<sup>''n''</sup> → '''R'''<sup>''m''</sup>}} é, para todos os propósitos, equivalente a sua matriz'''t'''.


Também será utilizada a seguinte observação.
Também será utilizada a seguinte observação.


'''Teorema''' Sejam ''V'' e ''W'' espaços vetoriais, e sejam {{Predefinição:Nowrap|{&alpha;<sub>1</sub>, …, &alpha;<sub>''n''</sub>}<nowiki></nowiki>}} uma base de ''V'', e {{Predefinição:Nowrap|{&gamma;<sub>1</sub>, …, &gamma;<sub>''n''</sub>}<nowiki></nowiki>}} quaisquer ''n'' vetores em ''W''.Então existe uma única transformação linear {{Predefinição:Nowrap|''T'' : ''V'' → ''W''}}<span class="nowrap" contenteditable="false"></span> com {{Predefinição:Nowrap|1=''T''(&alpha;<sub>''j''</sub>) = &gamma;<sub>''j''</sub>}}<span class="nowrap" contenteditable="false"></span> para {{Predefinição:Nowrap|1=''j'' = 1, …, ''n''}}<span class="nowrap" contenteditable="false"></span>.
'''Teorema''' Sejam ''V'' e ''W'' espaços vetoriais, e sejam {{Predefinição:Nowrap|{&alpha;<sub>1</sub>, …, &alpha;<sub>''n''</sub>}<nowiki></nowiki>}} uma base de ''V'', e {{Predefinição:Nowrap|{&gamma;<sub>1</sub>, …, &gamma;<sub>''n''</sub>}<nowiki></nowiki>}} quaisquer ''n'' vetores em ''W''.Então existe uma única transformação linear {{Predefinição:Nowrap|''T'' : ''V'' → ''W''}} com {{Predefinição:Nowrap|1=''T''(&alpha;<sub>''j''</sub>) = &gamma;<sub>''j''</sub>}} para {{Predefinição:Nowrap|1=''j'' = 1, …, ''n''}}.


Esta ''T'' única é definida por {{Predefinição:Nowrap|1=''T''(''x''<sub>1</sub>&alpha;<sub>1</sub> + … + ''x<sub>n</sub>''&alpha;<sub>''n''</sub>) = ''x''<sub>1</sub>&gamma;<sub>1</sub> + … + ''x<sub>n</sub>''&gamma;<sub>''n''</sub>}}<span class="nowrap" contenteditable="false"></span>. É claro que se acontecer de {{Predefinição:Nowrap|{&gamma;<sub>1</sub>, …, &gamma;<sub>''n''</sub>}<nowiki></nowiki>}} ser uma base de ''W'', então ''T'' é [[Função bijectiva|bijetiva]] e linear; em outras palavras, ''T'' é um [[isomorfismo]]. Se neste caso também ocorrer que {{Predefinição:Nowrap|1=''W'' = ''V''}}<span class="nowrap" contenteditable="false"></span>, então ''T'' é chamada de [[automorfismo]].
Esta ''T'' única é definida por {{Predefinição:Nowrap|1=''T''(''x''<sub>1</sub>&alpha;<sub>1</sub> + … + ''x<sub>n</sub>''&alpha;<sub>''n''</sub>) = ''x''<sub>1</sub>&gamma;<sub>1</sub> + … + ''x<sub>n</sub>''&gamma;<sub>''n''</sub>}}. É claro que se acontecer de {{Predefinição:Nowrap|{&gamma;<sub>1</sub>, …, &gamma;<sub>''n''</sub>}<nowiki></nowiki>}} ser uma base de ''W'', então ''T'' é [[Função bijectiva|bijetiva]] e linear; em outras palavras, ''T'' é um [[isomorfismo]]. Se neste caso também ocorrer que {{Predefinição:Nowrap|1=''W'' = ''V''}}, então ''T'' é chamada de [[automorfismo]].


Agora seja ''V'' um espaço vetorial sobre '''R''' e suponha que {{Predefinição:Nowrap|{&alpha;<sub>1</sub>, …, &alpha;<sub>''n''</sub>}<nowiki></nowiki>}} é uma base de ''V''. Por definição, se &#x3BE; é um vetor de ''V'' então {{Predefinição:Nowrap|1=&xi; = ''x''<sub>1</sub>&alpha;<sub>1</sub> + … + ''x<sub>n</sub>''&alpha;<sub>''n''</sub>}}<span class="nowrap" contenteditable="false"></span> para uma única escolha de [[Grandeza escalar|escalares]] {{Predefinição:Nowrap|''x''<sub>1</sub>, …, ''x<sub>n</sub>''}}<span class="nowrap" contenteditable="false"></span> em '''R''' chamados de '''coordenadas de''' &#x3BE; '''relativas à base ordenada''' {{Predefinição:Nowrap|{&alpha;<sub>1</sub>, …, &alpha;<sub>''n''</sub>}.}}O vetor  {{Predefinição:Nowrap|1='''x''' = (''x''<sub>1</sub>, …, ''x<sub>n</sub>'')}} em '''R'''<sup>''n''</sup> é chamado de '''vetor coordenada de '''&#x3BE; (relativo a base indicada). A única transformação linear {{Predefinição:Nowrap|&phi; : '''R'''<sup>''n''</sup> → ''V''}}<span class="nowrap" contenteditable="false"></span> que satisfaz {{Predefinição:Nowrap|1=&phi;('''e'''<sub>''j''</sub>) = &alpha;<sub>''j''</sub>}}<span class="nowrap" contenteditable="false"></span> para {{Predefinição:Nowrap|1=''j'' = 1, …, ''n''}}<span class="nowrap" contenteditable="false"></span> é chamada de '''isomorfismo de coordenadas''' para ''V'' e a base {{Predefinição:Nowrap|{&alpha;<sub>1</sub>, …, &alpha;<sub>''n''</sub>}.}} Assim {{Predefinição:Nowrap|1=&phi;('''x''') = &xi;}}<span class="nowrap" contenteditable="false"></span> [[se e somente se]] {{Predefinição:Nowrap|1=&xi; = ''x''<sub>1</sub>&alpha;<sub>1</sub> + … + ''x<sub>n</sub>''&alpha;<sub>''n''</sub>}}<span class="nowrap" contenteditable="false"></span>.
Agora seja ''V'' um espaço vetorial sobre '''R''' e suponha que {{Predefinição:Nowrap|{&alpha;<sub>1</sub>, …, &alpha;<sub>''n''</sub>}<nowiki></nowiki>}} é uma base de ''V''. Por definição, se &#x3BE; é um vetor de ''V'' então {{Predefinição:Nowrap|1=&xi; = ''x''<sub>1</sub>&alpha;<sub>1</sub> + … + ''x<sub>n</sub>''&alpha;<sub>''n''</sub>}} para uma única escolha de [[Grandeza escalar|escalares]] {{Predefinição:Nowrap|''x''<sub>1</sub>, …, ''x<sub>n</sub>''}} em '''R''' chamados de '''coordenadas de''' &#x3BE; '''relativas à base ordenada''' {{Predefinição:Nowrap|{&alpha;<sub>1</sub>, …, &alpha;<sub>''n''</sub>}.}}O vetor  {{Predefinição:Nowrap|1='''x''' = (''x''<sub>1</sub>, …, ''x<sub>n</sub>'')}} em '''R'''<sup>''n''</sup> é chamado de '''vetor coordenada de '''&#x3BE; (relativo a base indicada). A única transformação linear {{Predefinição:Nowrap|&phi; : '''R'''<sup>''n''</sup> → ''V''}} que satisfaz {{Predefinição:Nowrap|1=&phi;('''e'''<sub>''j''</sub>) = &alpha;<sub>''j''</sub>}} para {{Predefinição:Nowrap|1=''j'' = 1, …, ''n''}} é chamada de '''isomorfismo de coordenadas''' para ''V'' e a base {{Predefinição:Nowrap|{&alpha;<sub>1</sub>, …, &alpha;<sub>''n''</sub>}.}} Assim {{Predefinição:Nowrap|1=&phi;('''x''') = &xi;}} [[se e somente se]] {{Predefinição:Nowrap|1=&xi; = ''x''<sub>1</sub>&alpha;<sub>1</sub> + … + ''x<sub>n</sub>''&alpha;<sub>''n''</sub>}}.


== Referências ==
== Referências ==

Revisão das 18h38min de 30 de abril de 2016

Em álgebra linear, uma base para um espaço vetorial de dimensão n é uma sequência de n vetores 1, …, αn) com a propriedade de que todo vetor do espaço pode ser representado de forma única como uma combinação linear dos vetores da base. As representações matriciais dos operadores também são determinadas pela base escolhida. Como geralmente é desejável trabalhar com mais de uma base para um espaço vetorial, é de importância fundamental em álgebra linear poder transformar facilmente representações por meio de coordenadas relativas a uma base em suas representações equivalentes com relação a outra base. Tal transformação é chamada de mudança de base.

Embora a terminologia dos espaços vetoriais seja utilizada a seguir e o símbolo R possa ser considerado como o corpo dos números reais, os resultados discutidos valem sempre que R for um anel comutativo e a expressão espaço vetorial for substituída em todos os lugares por R-módulo livre.

Noções preliminares

A base canônica de Rn é a sequência ordenada (e1, …, en), em que ej é o elemento de Rn com 1 em sua j-ésima posição e 0s nas demais posições.

Se T : RnRm é uma transformação linear, a matriz de T é a matriz t de tamanho m × n cujaj-ésima coluna é T(ej) para j = 1, …, n. Neste caso, tem-se T(x) = tx para todo x em Rn, em que x é considerado como um vetor coluna e a múltiplicação no lado direito é a multiplicação matricial. Um fato básico em álgebra linear é que o espaço vetorial Hom(Rn, Rm) de todas as transformações lineares de Rn para Rm é naturalmente isomórfo ao espaço Rm × n das matrizes m × n sobre R; em outras palavras, uma transformação linear T : RnRm é, para todos os propósitos, equivalente a sua matrizt.

Também será utilizada a seguinte observação.

Teorema Sejam V e W espaços vetoriais, e sejam 1, …, αn} uma base de V, e 1, …, γn} quaisquer n vetores em W.Então existe uma única transformação linear T : VW com Tj) = γj para j = 1, …, n.

Esta T única é definida por T(x1α1 + … + xnαn) = x1γ1 + … + xnγn. É claro que se acontecer de 1, …, γn} ser uma base de W, então T é bijetiva e linear; em outras palavras, T é um isomorfismo. Se neste caso também ocorrer que W = V, então T é chamada de automorfismo.

Agora seja V um espaço vetorial sobre R e suponha que 1, …, αn} é uma base de V. Por definição, se ξ é um vetor de V então ξ = x1α1 + … + xnαn para uma única escolha de escalares x1, …, xn em R chamados de coordenadas de ξ relativas à base ordenada 1, …, αn}.O vetor  x = (x1, …, xn) em Rn é chamado de vetor coordenada de ξ (relativo a base indicada). A única transformação linear φ : RnV que satisfaz φ(ej) = αj para j = 1, …, n é chamada de isomorfismo de coordenadas para V e a base 1, …, αn}. Assim φ(x) = ξ se e somente se ξ = x1α1 + … + xnαn.

Referências

  • Boldrini, José Luiz; Costa, Sueli I. Rodrigues; Figueiredo, Vera Lúcia; Wetzler, Henry G. (1986). Álgebra Linear 3ª ed. São Paulo: Harbra. p. 123. 412 páginas. ISBN 9788529402024 

Ver também

  • Vetor de coordenadas
  • Transformação integral, um análogo contínuo da mudança de base.
  • Transformação ativa e passiva

Ligações externas