Saltar para o conteúdo

Operador adjunto: diferenças entre revisões

Origem: Wikipédia, a enciclopédia livre.
Conteúdo apagado Conteúdo adicionado
OTAVIO1981 (discussão | contribs)
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:
[[Categoria:Análise funcional]][[sv:Hermiteskt konjugat]]
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>&minus;1</sup> = (''A''<sup>&minus;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}}

[[Categoria:Análise funcional]]

[[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