Á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 formatação: usando navegação simples; recat; |
m +formatação: usando navegação simples; recat; usando nova sintaxe para esboços |
||
Linha 1:
{{Navegação/Simples|
{{Rdc}}
===Funcionais Lineares===
* Unitário (<math>T^* = T^{-1}</math>)▼
'''Definição''':
{{Definição|livro=Álgebra linear|texto=
Uma função <math>
:<math>f(u + v) = f(u) + f(v)</math>
:<math>f( \lambda v) = \lambda f(v)</math>
}}
{{Teorema|livro=Álgebra linear|texto=
;Teorema da existência e unicidade
}}▼
{{Teorema|livro=Álgebra linear|texto=
;Teorema da base dual
* Seja <math>T: V \rightarrow V</math>, com '''V''' complexo. Então <math>T^* = T \iff \langle T(v), v \rangle \in R</math>.▼
Se '''V''' é um espaço vetorial, <math>\mathrm{dim} V = n</math> e <math>\beta = \{v_1, v_2, \ldots, v_n\} </math>
é uma base de V, então existe uma única base <math>\beta^* = \{f_1, f_2, \ldots, f_n\}</math> de <math>V^*</math>
tal que <math>f_i(v_j) = \delta_{ij}</math>
}}
'''
{{Definição|livro=Álgebra linear|texto=
:<math>
:<math>V^*</math> é chamado de espaço dual de V
}}
'''Corolários''':
:<math>f = \sum f(v_i)f_i</math>
:<math>v = \sum f_i(v)v_i</math>
==Teoremas==
{{Teorema|livro=Álgebra linear|texto=
;Teorema de representação dos funcionais lineares
▲
}}
Demonstra-se ainda que <math>v_o = \sum \overline{f(e_i)}e_i</math>
==Adjunto de um operador linear==
'''Definição''':
{{Definição|livro=Álgebra linear|texto=
Seja '''V''' um espaço vetorial.
▲}}
O operador adjunto, <math>T^* : V \rightarrow V </math>, de um determinado operador linear <math>T : V \rightarrow V</math> é definido pela igualdade:
:<math> \langle T(u), v \rangle = \langle u, T^*(v) \rangle , \quad \forall u, v \in V</math>
}}
Demonstra-se que todo operador linear possui um e apenas um operador adjunto correspondente.
A partir da definição, podemos obter as seguintes conseqüências (prove!):
:<math>(\lambda T)^* = \bar{\lambda} T^*</math>
:<math>(S \circ T)^* = T^* \circ S^*</math>
{{Teorema|livro=Álgebra linear|texto=
;Proposição
Seja '''V''' um espaço vetorial sobre '''K''', <math>\mathrm{dim} V = n</math>, com produto interno.
Seja <math>\alpha = \{e_1, e_2, \ldots, e_n\}</math> uma base ortonormal de '''V'''. Então
<math>[T]_\alpha = (a_{ij})</math>, onde <math>a_{ij} = \langle T(e_j), e_i \rangle</math>
}}
{{Teorema|livro=Álgebra linear|texto=
;Corolário
Então, para qualquer base <math>\alpha = \{e_1, e_2, \ldots, e_n\}</math> ortonormal de '''V''', temos que
a matriz <math>[T^*]_\alpha = (\overline{[T]_\alpha})^t</math>.
}}
{{Esboço|Matemática}}
{{AutoCat}}
|