Operador adjunto: diferenças entre revisões
Aspeto
Conteúdo apagado Conteúdo adicionado
Desfeita a edição 37359147 de Albmont. Você não é o único autor do artigo. |
Etiquetas: Remoção considerável de conteúdo Editor Visual |
||
Linha 1: | Linha 1: | ||
⚫ | |||
Em [[matemática]], e, em especial, em [[análise funcional]], um [[operador linear]] em um [[espaço de Hilbert]] pode possuir um '''operador adjunto'''. Essa relação é a generalização, para qualquer dimensão, do conceito da [[matriz transposta conjugada]]. Se pensarmos no espaço de Hilbert como uma "generalização dos números complexos", então o adjunto de um operador desempenha o papel do conjugado de um número complexo. |
|||
O adjunto de um aperador ''A'' é, por vezes, chamado de '''conjugado Hermitiano''' de ''A'' (após [[Charles Hermite]]) e é denotado por ''A''<sup>*</sup> ou ''A''<sup>†</sup>, sendo a última notação especialmente utilizada em conjunto com a [[Notação Bra-ket|notação Bra-ket]]. |
|||
== Definição para os operadores limitados == |
|||
Suponha que ''H'' é um [[espaço de Hilbert]], com o [[produto interno]] <math>\langle\cdot,\cdot\rangle</math>. Considere uma [[operador linear]] [[função contínua|contínuo]] ''A'' : ''H'' → ''H'' (isso é o mesmo que um [[operador linear limitado]]). |
|||
Usando o [[teorema da representação de Riesz]], pode-se mostrar que existe um [[operador linear]] [[função contínua|contínuo]] único ''A*'' : ''H'' → ''H'' com a seguinte propriedade: |
|||
: <math> \lang Ax , y \rang = \lang x , A^* y \rang \quad \mbox{para todos } x,y\in H.</math> |
|||
Esse operador ''A''* é o adjunto de ''A''. Isto pode ser visto como uma generalização da [[matriz adjunta]]. |
|||
==Propriedades== |
|||
Propriedades imediatas: |
|||
# ''A''** = ''A'' |
|||
# Se ''A'' é inversível, então assim é ''A''*, com (''A''*)<sup>−1</sup> = (''A''<sup>−1</sup>)* |
|||
# (''A'' + ''B'')* = ''A''* + ''B''* |
|||
# (λ''A'')* = λ* ''A''*, onde λ* denota o [[conjugado]] do [[número complexo]] λ |
|||
# (''AB'')* = ''B''*''A''* |
|||
Se nós definimos a [[norma operacional]] de ''A'' por |
|||
:<math> \| A \| _{op} := \sup \{ \|Ax \| : \| x \| \le 1 \} </math> |
|||
então |
|||
:<math> \| A^* \| _{op} = \| A \| _{op} </math>. |
|||
Além disso, |
|||
:<math> \| A^* A \| _{op} = \| A \| _{op}^2 </math> |
|||
O conjunto de operadores lineares limitados em um espaço de Hilbert ''H'' juntamente com a operação adjunta e norma operacional formam um protótipo de uma álgebra ''C*''. |
|||
==Operador Hermitiano== |
|||
Um determinado operador ''A'' : ''H'' → ''H'' é chamado Hermitiano, ou auto-adjunto, se |
|||
:<math> A = A^{*} </math> |
|||
o qual é equivalente à |
|||
:<math> \lang Ax , y \rang = \lang x , A y \rang \mbox{ for all } x,y\in H. </math> |
|||
Em certo sentido, esses operadores desempenham o papel dos números reais, ''i.e.'', sendo igual ao seu próprio "conjugado". |
|||
{{mínimo sobre|matemática}} |
|||
⚫ | |||
[[sv:Hermiteskt konjugat]] |
|||
<!-- PRECISA MELHORAR A APRESENTAÇÂO DISTO... |
<!-- PRECISA MELHORAR A APRESENTAÇÂO DISTO... |
||
O adjunto de um operador linear <math>T\,</math> , num espaço vetorial <math>V\,</math> munido de produto interno é um operador <math>T^{*}\,</math> tal que: |
O adjunto de um operador linear <math>T\,</math> , num espaço vetorial <math>V\,</math> munido de produto interno é um operador <math>T^{*}\,</math> tal que: |
Revisão das 16h29min de 9 de abril de 2014