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

← Ver a alteração anterior Ver a alteração posterior →

Conteúdo apagado Conteúdo adicionado

Em linha

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 (α₁, …, α_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 Rⁿ é a sequência ordenada (e₁, …, e_n), em que e_j é o elemento de Rⁿ com 1 em sua j-ésima posição e 0s nas demais posições.

Se T : Rⁿ → R^m é uma transformação linear, a matriz de T é a matriz t de tamanho m × n cujaj-ésima coluna é T(e_j) para j = 1, …, n. Neste caso, tem-se T(x) = tx para todo x em Rⁿ, 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(Rⁿ, R^m) de todas as transformações lineares de Rⁿ para R^m é naturalmente isomórfo ao espaço R^{m × n} das matrizes m × n sobre R; em outras palavras, uma transformação linear T : Rⁿ → R^m é, 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 {α₁, …, α_n} uma base de V, e {γ₁, …, γ_n} quaisquer n vetores em W.Então existe uma única transformação linear T : V → W com T(α_j) = γ_j para j = 1, …, n.

Esta T única é definida por T(x₁α₁ + … + x_nα_n) = x₁γ₁ + … + x_nγ_n. É claro que se acontecer de {γ₁, …, γ_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 {α₁, …, α_n} é uma base de V. Por definição, se ξ é um vetor de V então ξ = x₁α₁ + … + x_nα_n para uma única escolha de escalares x₁, …, x_n em R chamados de coordenadas de ξ relativas à base ordenada {α₁, …, α_n}.O vetor x = (x₁, …, x_n) em Rⁿ é chamado de vetor coordenada de ξ (relativo a base indicada). A única transformação linear φ : Rⁿ → V que satisfaz φ(e_j) = α_j para j = 1, …, n é chamada de isomorfismo de coordenadas para V e a base {α₁, …, α_n}. Assim φ(x) = ξ se e somente se ξ = x₁α₁ + … + x_nα_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

Aula de Álgebra Linear do MIT sobre mudança de bases do MIT OpenCourseWare
Aula do Khan Academy sobre mudança de bases, do Khan Academy

@@ 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]]''.
 == 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.
-'''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 ==