\[
B(f(v),w)=B(v,f(w))
\]
para todo $v,w\in V$.
- Se $\lambda\in\F$ é um autovalor de $f$ tal que $V_\lambda$ contém um vetor não isotrópico, então $\lambda\in\mbox{Fix}(\sigma)$.
- Sejam $v_1$ e $v_2$ autovetores de $f$ associados com autovalores $\lambda_1$ e $\lambda_2$, respetivamente, tais que $\lambda_1^\sigma\neq \lambda_2$. Então $v_1\perp v_2$ (ou seja, $B(v_1,v_2)=0$).
\[
\lambda B(v,v)=B(\lambda v,v)=B(f(v),w)=B(v,f(v))=B(v,\lambda v)=\lambda^\sigma B(v,v).
\]
Portanto, $(\lambda-\lambda^\sigma)B(v,v)=0$ e $\lambda-\lambda^\sigma=0$. Logo $\lambda=\mbox{Fix}(\sigma)$.
2. Assuma que $v_1$ e $v_2$ são autovetores associados com autovalores $\lambda_1$ e $\lambda_2$ com $\lambda_1\neq \lambda_2^\sigma$. Temos que
\begin{align*}
\lambda_1 B(v_1,v_2)&=B(f(v_1),w_2)=B(v_1,f(v_2))=B(v_1,\lambda_2 v_2)\\&=\lambda_2^\sigma B(v_1,v_2).
\end{align*}
Isso implica que $(\lambda_1-\lambda_2^\sigma)B(v_1,v_2)=0$. Ou seja, $\lambda_1=\lambda_2^\sigma$ ou $B(v_1,v_2)=0$.
Como $\lambda_1\neq \lambda_2^\sigma$, nos resta que $B(v_1,v_2)=0$.
\[
Q(v)=B(v,v)\geq 0\quad\mbox{para todo}\quad v\in V
\]
e $Q(v)=0$ se e somente se $v=0$. Neste caso dizemos que $V$ é um espaço com produto interno. A forma $B(-,-)$ é frquentamente escrita como $\langle -,-\rangle$. Se $V$ é espaço com produto interno e $v\in V$, então $Q(v)\geq 0$ e definimos
\[
\|v\|=\sqrt{Q(v)}=\sqrt{\langle v,v\rangle}\in \R.
\]
O número $\|v\|$ é chamado norma de $v$. Temos que $\|v\|\geq 0$ e $\|v\|=0$ se e somente se $v=0$.
Sabe-se do resultado anterior que quando $\dim V=n$ finita, então $(V,B)$ é isométrica ao espaço $\R^{p+q}$ ou $\C^{p+q}$ com $p+q=n$. Se $p\geq 1$, então $B(b_1,b_1)=-1$, que não é possível pela positividade da forma.
Note que a notação $\langle u,v\rangle$ foi usada anteriormente para o espaço gerado por $u$ e $v$. A partir deste ponto, este espaço será denotado por $\mbox{span}\langle u,v\rangle$.
- Os autovalores de $v$ são números reais.
- Se $v_1$ e $v_2$ são autovetores de $f$ com autovalores distintos, então $v_1\perp v_2$.
2. Sejam $v_1$ e $v_2$ autovetores de $f$ com autovalores distintos $\lambda_1$ e $\lambda_2$, respetivamente. Temos pelo item 1. que $\lambda_1,\lambda_2\in\R$ e $\lambda_1\neq \lambda_2^\sigma=\lambda_2$. O lema acima implica que $v_1\perp v_2$.
Seja $V$ um espaço com produto interno e assuma que $\dim V=n$ é finita e seja $f:V\to V$ um operador autoadjunto. Então os autovalores de $f$ são números reais e $V$ possui uma base $B$ ortonormal formada por autovetores de $f$. Em particular, $f$ é diagonalizável e $[f]_B^B=D$ é diagonal.
Assuma que o teorema está verdadeiro para espaços de dimensão menor que $n$ e assuma que $\dim V=n$. Seja inicialmente $X$ uma base ortonormal de $V$ qualquer (existe por resultado anterior). A matriz $A$ de $f$ nesta base $X$ satisfaz $X^t=\overline X$ (ou $X^t=X$ quando $\F=\R$). Por resultado anterior $A$ e $f$ possuem autovalor $\lambda\in \R$. Seja $b_1’$ um autovetor para autovalor $\lambda$. Ponha $\alpha_1=\langle b_1′,b_1’\rangle$ e note que a positividade do produto interno implica que $\alpha_1\in \R$ e $\alpha_1 > 0$. Pondo $b_1=(\alpha_1)^{-1/2}b_1’$ obtemos que $\langle b_1,b_1\rangle =1$.
Considere $U=\mbox{span}\{b_1\}$. Então $\dim U^\perp=n-1$, $U^{\perp}\cap U=0$ e $V=U\perp U^\perp$. Além disso, $U$ sendo $f$-invariante, $U^\perp$ é invariante por $f^*=f$. Por hipótese de indução, $U^\perp$ possui uma base ortonormal $\{b_2,\ldots,b_n\}$ que composta de autovetores de $f$. Ora, $\{b_1,\ldots,b_n\}$ é base ortonormal de $V$ composta de autovetores de $f$.
- $A$ é ortogonal se e somente se $A^tA=I$ e $A^{-1}=A^t$;
- $A$ é unitária se e somente se $A^*A=I$ e $A^{-1}=A^*$.
- Seja $A\in M_{n\times n}(\R)$ uma matriz simétrica. Existe uma matriz ortogonal $P$ tal que $P^tAP$ é diagonal.
- $A\in M_{n\times n}(\C)$ uma matriz hermitiana. Existe uma matriz unitária $P$ tal que $P^*AP$ é diagonal.
\[
D=[f]_B^B=P^{-1}AP=P^*AP
\]
pois $P^{-1}=P^*$ pelo exercício anterior. Quando $P\in M_{n\times n}(\R)$, então $P^*=P^t$.
\[
A=\begin{pmatrix} 1 & i \\ i & -1\end{pmatrix}
\]
O polinômio caraterístico de $A$ é $t^2$ e $0$ é o único autovalor de $A$. Mas como $A$ não é a transformação nula, não existe base de $\C^2$ formada por autovetores de $A$.