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

Origem: Wikipédia, a enciclopédia livre.
Conteúdo apagado Conteúdo adicionado
m Remove <span class="nowrap" contenteditable="false"></span>
m Remove Template namespace name ("Predefinição:") from templates
Linha 1: Linha 1:
Em [[álgebra linear]], uma [[Base (álgebra linear)|base]] para um [[espaço vetorial]] de dimensão ''n'' é uma sequência de ''n'' vetores {{Predefinição:Nowrap|(&alpha;<sub>1</sub>, …, &alpha;<sub>''n''</sub>)}} 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 [[Matriz de transformação|representações matriciais]] dos [[Transformação linear|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'''.
Em [[álgebra linear]], uma [[Base (álgebra linear)|base]] para um [[espaço vetorial]] de dimensão ''n'' é uma sequência de ''n'' vetores {{Nowrap|(&alpha;<sub>1</sub>, …, &alpha;<sub>''n''</sub>)}} 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 [[Matriz de transformação|representações matriciais]] dos [[Transformação linear|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 (matemática)|corpo]] dos [[Número real|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 ''[[Módulo (álgebra)|R-módulo livre]]''.
Embora a terminologia dos espaços vetoriais seja utilizada a seguir e o símbolo '''R''' possa ser considerado como o [[Corpo (matemática)|corpo]] dos [[Número real|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 ''[[Módulo (álgebra)|R-módulo livre]]''.


== Noções preliminares ==
== Noções preliminares ==
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 {{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>}} é 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'''.
Se {{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 {{Nowrap|''m'' × ''n''}} cuja''j''-ésima coluna é ''T''('''e'''<sub>''j''</sub>) para {{Nowrap|1=''j'' = 1, …, ''n''}}. Neste caso, tem-se {{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 {{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 {{Nowrap|'''R'''<sup>''m'' × ''n''</sup>}} das matrizes {{Nowrap|''m'' × ''n''}} sobre '''R'''; em outras palavras, uma transformação linear {{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''}} com {{Predefinição:Nowrap|1=''T''(&alpha;<sub>''j''</sub>) = &gamma;<sub>''j''</sub>}} para {{Predefinição:Nowrap|1=''j'' = 1, …, ''n''}}.
'''Teorema''' Sejam ''V'' e ''W'' espaços vetoriais, e sejam {{Nowrap|{&alpha;<sub>1</sub>, …, &alpha;<sub>''n''</sub>}<nowiki></nowiki>}} uma base de ''V'', e {{Nowrap|{&gamma;<sub>1</sub>, …, &gamma;<sub>''n''</sub>}<nowiki></nowiki>}} quaisquer ''n'' vetores em ''W''.Então existe uma única transformação linear {{Nowrap|''T'' : ''V'' → ''W''}} com {{Nowrap|1=''T''(&alpha;<sub>''j''</sub>) = &gamma;<sub>''j''</sub>}} para {{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>}}. É 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]].
Esta ''T'' única é definida por {{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 {{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 {{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>}} 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>}}.
Agora seja ''V'' um espaço vetorial sobre '''R''' e suponha que {{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 {{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]] {{Nowrap|''x''<sub>1</sub>, …, ''x<sub>n</sub>''}} em '''R''' chamados de '''coordenadas de''' &#x3BE; '''relativas à base ordenada''' {{Nowrap|{&alpha;<sub>1</sub>, …, &alpha;<sub>''n''</sub>}.}}O vetor  {{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 {{Nowrap|&phi; : '''R'''<sup>''n''</sup> → ''V''}} que satisfaz {{Nowrap|1=&phi;('''e'''<sub>''j''</sub>) = &alpha;<sub>''j''</sub>}} para {{Nowrap|1=''j'' = 1, …, ''n''}} é chamada de '''isomorfismo de coordenadas''' para ''V'' e a base {{Nowrap|{&alpha;<sub>1</sub>, …, &alpha;<sub>''n''</sub>}.}} Assim {{Nowrap|1=&phi;('''x''') = &xi;}} [[se e somente se]] {{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 18h40min 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