Álgebra linear/Transformações lineares: diferenças entre revisões
[edição não verificada] | [edição não verificada] |
Conteúdo apagado Conteúdo adicionado
m moveu Álgebra linear/Funcionais lineares para Álgebra linear/Transformações lineares: continuando a fusão dos históricos |
m moveu Álgebra linear/Operadores especiais para Álgebra linear/Transformações lineares: continuando a fusão dos históricos |
||
Linha 1:
{{Navegação/Simples|
==Operadores especiais==
* Auto-adjunto (<math>T^* = T</math>)
* Normal (<math>T^*T = TT^*</math>)
==Operador auto-adjunto==
{{Definição▼
▲{{Definição
}}
Uma matriz '''A''' é auto-adjunta se <math>\overline{A}^t = A</math>.
* Se <math>K = R</math>, <math>[T]_\alpha</math> é chamada simétrica.
* Se <math>K = C</math>, <math>[T]_\alpha</math> é chamada hermitiana.
Os seguintes enunciados são úteis na prova de teoremas do operador auto-adjunto:
}}▼
: Se <math>
: Se '''V''' é complexo e <math>\langle T(u), u \rangle = 0, \forall u \in V</math>, então <math>T = 0</math>.
'''Prove''':
* Seja <math>
==Operador unitário==
{{Definição
|
}}
Uma matriz '''A''' é unitária se <math>{\overline{A}}^t = A^{-1}</math>
'''Prove''':
▲<math>f: V \rightarrow K</math> um funcional linear. Então existe um único vetor <math>v_o \in V</math>, tal
* '''T''' é unitário <math>\iff \langle T(u), T(v) \rangle = \langle u, v \rangle</math> ('''T''' preserva o produto interno)
* '''T''' é unitário <math>\iff |T(u)| = |u|</math> ('''T''' preserva a norma)
* '''T''' é unitário <math>\iff T^{-1}</math> é unitário
==Operador normal==
{{Definição
|<math>T: V \rightarrow V</math> é chamado de normal se <math>TT^* = T^*T</math>.
▲}}
Uma matriz '''A''' é normal se <math>AA^* = A^*A</math>
'''Prove''':
* Todo operador auto-adjunto é normal
▲:<math> \langle T(u), v \rangle = \langle u, T^*(v) \rangle , \quad \forall u, v \in V</math>
* Todo operador unitário é normal
É importante ressaltar, ainda, que existem operadores normais que não são unitários nem auto-adjuntos.
==Subespaço invariante==
{{Definição
▲:<math>(S + T)^* = S^* + T^*</math>
|'''W''', subespaço vetorial de '''V''', é dito invariante sob o operador <math>T: V \rightarrow V</math>, se <math>T(W) \subset W</math>.
}}
Dizemos também que '''W''' é '''T'''-invariante.
'''Prove''':
* Se '''W''' é '''T'''-invariante, então <math>W^\perp</math> é <math>T^*</math>-invariante.
* Se '''W''' é '''T'''-invariante e '''T''' é inversível, então <math>T(W) = W</math>.
* Se '''W''' é '''T'''-invariante e '''T''' é inversível, então '''W''' é <math>T^{-1}</math>-invariante e <math>T^{-1}(W) = W</math>.
* Se '''W''' é '''T'''-invariante e '''T''' é unitário, então '''W''' é <math>T^{-1}</math>-invariante (ou <math>T^*</math>-invariante).
* Se '''W''' é '''T'''-invariante e '''T''' é unitário, então <math>W^\perp</math> é '''T'''-invariante.
{{AutoCat}}
|