Operadores Auto-Adjuntos

Vejamos a definição e alguns resultados sobre operadores auto-adjuntos, um tipo de operador normal. Os operadores auto-adjuntos são o objeto central do Teorema Espectral, um dos principais resultados da Álgebra Linear e tópico subsequente.

Example 1 (Reflexão em torno do eixo

x

)

Geometricamente, o operador $T\in \mathcal{L}(\mathbb{R}^{2})$ definido por $T(x,y)=(x,-y)$ descreve uma reflexão em torno do eixo $x$ . Verifiquemos que ele é auto-adjunto.

Sejam $u=(u_{1},u_{2})$ e $v=(v_{1},v_{2})$ pertencentes ao $\mathbb{R}^{2}$ , temos que

\begin{align} \langle Tu , v \rangle & =\langle (u_{1},-u_{2}) ,(v_{1},v_{2}) \rangle \\ & =u_{1}v_{1}-u_{2}v_{2} \\ & =\langle u ,T^{*}v \rangle. \end{align}

(2)

Por outro lado, $\langle u , Tv \rangle=\langle (u_{1},u_{2}) , (v_{1},-v_{2}) \rangle=u_{1}v_{1}-u_{2}v_{2}=\langle Tu , v \rangle$ . Logo, $T=T^{*}$ , auto-adjunto.

A auto-adjunção significa que, de uma certa forma, o operador preserva o produto interno, e reflexões são bons exemplos disso.

Demonstração

Utilizando as propriedades da adjunta:

\begin{align} &(A+B)^{*}=A^{*}+B^{*}=A+B \\ &(\alpha A)^{*}= \alpha A^{*}=\alpha A \end{align}

(3)

Demonstração

Dada a propriedade que $(T^{-1})^{*}=(T^{*})^{-1}$ , substituímos $T^{*}$ por $T$ (pois $T=T^{*}$ ), obtendo que

(T^{-1})^{*}=T^{-1}.

(4)

Logo, $T^{-1}$ é auto-adjunto.

Demonstração

Sejam $v,w\in V$ autovetores associados a autovalores distintos $\lambda$ e $\mu$ , respectivamente. Ou seja, $Tv=\lambda v$ e $Tw=\mu w$ . Dado que $T$ é auto-adjunto, temos que

\langle Tv , w \rangle=\langle v , Tw \rangle.

(5)

Logo,

\begin{align} \langle \lambda v , w \rangle &= \langle v , \mu w \rangle \\ \lambda \langle v , w \rangle &= \mu \langle v , w \rangle \\ (\lambda-\mu)\langle v , w \rangle &= 0 \end{align}

(6)

Como $\lambda \neq \mu$ , então necessariamente $\langle v , w \rangle= 0$ . Ou seja, $v$ e $w$ são ortogonais.

Matrizes de operadores auto-adjuntos¶

Como é de se esperar, operadores auto-adjuntos possuem uma equivalência matricial. Tal equivalência relaciona-se com matrizes simétricas (ver Definition 9).

Proof 1 (Caracterização de operadores auto-adjuntos)

Seja $\beta$ uma base ortonormal de $V$ .

$(\implies):$ Se $T$ é auto-adjunto, então

[T]_{\beta}=[T^{*}]_{\beta}=([T]_{\beta})^{T}.

(7)

Portanto, $[T]_{\beta}$ é simétrica.

$(\impliedby):$ Se $[T]_{\beta}=([T]_{\beta})^{T}$ , suponha que $\beta = \{ v_{1},\dots,v_{n} \}$ . Logo,

\langle Tv_{i} , v_{j} \rangle=\langle Tv_{j} , v_{i} \rangle,

(8)

para todo $i,j$ , onde estas são as entradas de $[T]_\beta$ e $([T]_{\beta})^{T}$ , respectivamente.

Sejam $u,v\in V$ , pela definição de base temos que $u=\sum_{i}x_{i}v_{i}$ e $v=\sum_{j}y_{j}v_{j}$ . Logo,

\begin{align} \langle u , Tv \rangle &= \left\langle \sum_{i}x_{i}v_{i} , T\left( \sum_{j}y_{j}v_{j} \right) \right\rangle \\ &= \sum_{i}x_{i}\sum_{j}y_{j}\langle v_{i} , Tv_{j} \rangle \\ &= \sum_{i}x_{i}\sum_{j}y_{j}\langle Tv_{j} , v_{i} \rangle \\ &= \sum_{i}x_{i}\sum_{j}y_{j}\langle Tv_{i} , v_{j} \rangle, \end{align}

(9)

onde na última igualdade usamos (8).

Portanto, temos que

\langle u , Tv \rangle=\left\langle \sum_{i}x_{i}Tv_{i} , \sum_{j}y_{j}v_{j} \right\rangle=\left\langle T\left( \sum_{i}x_{i}v_{i} \right) , \sum_{j}y_{j}v_{j} \right\rangle=\langle Tu , v \rangle,

(10)

concluindo que $T=T^{*}$ .

Example 2

Voltando ao operador do Example 1, vamos verificar sua auto-adjunção utilizando o Theorem 1.

Primeiro, escrevemos a matriz associada a ele na base canônica, a base ortonormal mais fácil de lidarmos:

\begin{align} T(1,0)&=(1,0) \\ T(0,1)&=(0,-1) \end{align} \implies [T]_{c}=\begin{bmatrix} 1 & 0 \\ 0 & -1 \end{bmatrix}

(11)

Como $([T]_{c})^{T}=[T]_{c}$ , o Theorem 1 nos garante que $T$ é auto-adjunto. Já havíamos verificado tal fato no Example 1, mas note como o teorema nos proporciona um método mais direto de verificação (não precisamos nos preocupar em definir vetores arbitrários $u$ e $v$ nem verificar a forma do produto interno entre eles).

Positividade de operadores auto-adjuntos¶

Existem certos tipos de operadores auto-adjuntos que merecem uma atenção especial, pois a partir de suas propriedades obtemos alguns resultados que têm destaque no campo mais prático e aplicado da Álgebra Linear, como a resolução de sistemas lineares e métodos de aproximação numérica.

Estendendo para considerar $v = 0$ , temos a definição a seguir:

No caso do exemplo anterior, é natural que ao incluirmos a possibilidade que $v=0$ verificamos que o operador identidade é não negativo, uma vez que ele já é positivo definido. De fato, todo operador positivo definido é não negativo, mas a recíproca não vale (podemos ter $\langle Tv , v \rangle=0$ mas $v\neq 0$ ).

Podemos também estender essas definições de maneira análoga para operadores negativos ( $T<0$ ) e não positivos ( $T\leq0$ ), mas existem operadores que não se enquadram em nenhum destes:

O teorema a seguir serve como base para uma extensão do Teorema Espectral para transformações lineares quaisquer.

Proof 2

Primeiramente, note que $(T^{*}T)^*=T^{*}T$ e $(TT^{*})^{*}=TT^{*}$ . Logo, ambos são auto-adjuntos. Agora, considerando $v\in V$ , temos

\begin{align} \langle T^{*}Tv , v \rangle & =\langle Tv , Tv \rangle \\ & =\lVert Tv \rVert ^{2} \\ & \geq0 \end{align}

(17)

Similarmente para $w\in W$ , temos

\begin{align} \langle TT^{*}w ,w \rangle & = \langle T^{*}w , T^{*}w \rangle \\ & =\lVert T^{*}w \rVert ^{2} \\ & \geq 0 \end{align}

(18)

Concluindo que ambos são não negativos.

Para o posto, observe que

\begin{align} w\in N(T^{*}) & \iff T^{*}w=0 \\ & \iff \langle v , T^{*}w \rangle=0, \forall v\in V \\ & \iff \langle Tv , w \rangle=0,\forall v\in V \\ & \iff w\in \mathrm{Im}(T)^{\perp}. \end{align}

(19)

Ou seja, $N(T^{*})=\mathrm{Im}(T)^{\perp}$ .

Utilizando esse fato, mostremos que $N(T^{*}T)=N(T)$ . Seja $v\in N(T)$ , temos $T^{*}Tv=T^{*}0=0$ , logo, $N(T)\subset N(T^{*}T)$ . Reciprocamente,

\begin{align} v\in N(T^{*}T) & \implies T^{*}Tv=0 \\ & \implies Tv\in N(T^{*})=\mathrm{Im}(T)^{\perp} \\ & \implies Tv\in(\mathrm{Im}(T)\cap \mathrm{Im}(T)^{\perp})=\{ 0 \} \\ & \implies Tv=0 \end{align}

(20)

Concluindo que $N(T^{*}T)\subset N(T)$ e, portanto, $N(T^{*}T)=N(T)$ . Assim, utilizando o Teorema do Núcleo e Imagem,

\dim V = \dim N(T^{*}T)+\dim \mathrm{Im}(T^{*}T)

(21)

\begin{align} \implies\dim \mathrm{Im}(T^{*}T) & =\dim V-\dim N(T^{*}T) \\ & =\dim V - \dim N(T) \\ & =\dim \mathrm{Im}(T) \end{align}

(22)

Mostrando que o posto de $T^{*}T$ é o mesmo de $T$ . Analogamente, obtemos que o posto de $TT^{*}$ é igual ao posto de $T^{*}$ (que é o mesmo de $T$ ).

Observe que tais operadores são positivos definidos se, e somente se, $T$ é invertível.