Teorema Espectral para Operadores Simétricos

31
Encontro de Ensino, Pesquisa e Extenso, Presidente Prudente, 21 a 24 de outubro, 2013
O TEOREMA ESPECTRAL PARA OPERADORES SIMTRICOS

Marco Antonio Travassos1, Fernando Pereira Sousa2
1
Aluno do Curso de Matemtica CPTL/UFMS, bolsista do Grupo PET Matemtica/CPTL/UFMS; Professor do Curso de
Matemtica CPTL/UFMS. E-mail sr.marcotravassos@gmail.com
RESUMO
Neste presente trabalho trataremos sobre diagonalizao de operadores, ou seja, dado um
operador linear
, queremos determinar uma base de , em relao a qual, a matriz de
seja a mais simples possvel. Na verdade esta matriz ser uma matriz diagonal. Aqui estaremos
interessados num tipo particular de operadores, os operadores simtricos. Na lgebra linear existe
um resultado importante conhecido como o teorema Espectral para operadores auto-adjuntos. O
teorema Espectral para operadores simtricos um caso particular deste resultado e
apresentaremos uma demonstrao, para esse caso particular, de uma maneira mais simples e
rpida. Tambm, apresentaremos uma demonstrao do teorema espectral para operadores
simtricos, no contexto das matrizes reais.
Palavras-chave: Autovetores, diagonalizao, operador adjunto, operadores simtricos, teorema
espectral.
INTRODUO
O presente trabalho sobre o teorema Espectral para operadores simtricos. A teoria
espectral tem como objetivo principal estudar espaos vetoriais e operadores lineares, buscando
descrever de forma simples a atuao dos operadores. Os teoremas espectrais so fundamentais
na lgebra linear, por garantirem a existncia de uma base ortonormal de autovetores para alguns
tipos de operadores, isto implica que o operador seja diagonalizvel, o que facilita bastante os
clculos.
O objetivo desse trabalho fazer a prova do teorema Espectral para operadores simtricos
de uma maneira simples e que possa ser compreendida integralmente por qualquer estudante
que tenha concludo um curso introdutrio de lgebra linear.
O trabalho est organizado em duas seces, sendo que na primeira seco contm
algumas definies para que o leitor possa se familiarizar com o texto e tambm uma condio
necessria e suficiente para que
seja um operador diagonalizvel. Por fim, na segunda
seco apresentaremos o teorema Espectral para operadores simtricos e uma demonstrao do

teorema Espectral para operadores simtricos no contexto das matrizes reais, que o principal
objetivo deste trabalho.
Colloquium Exactarum, vol. 5, n. Especial, JulDez, 2013, p. 31-37. ISSN: 2178-8332. DOI: 10.5747/ce.2013.v05.nesp.000050
32
METODOLOGIA
O trabalho resultado de uma pesquisa terica, desenvolvido atravs de discusses do
tema com o orientador e apresentaes de seminrios como parte das atividades do programa
PET - Matemtica no estudo de Introduo lgebra Linear. O trabalho incluiu uma etapa de
leitura e resolues de exerccios, desenvolvimento das atividades propostas e a tabulao dos
resultados obtidos. O estudo e as atividades desenvolvidas foram avaliados atravs da
apresentao de seminrios de discusso.
RESULTADOS
1. Conceitos Bsicos
Para que a leitura posterior deste trabalho seja feita de maneira mais rpida, decidimos
expor aqui os conceitos bsicos que sero usados neste trabalho. Tais definies, proposies,
lemas e teoremas podem ser encontrados em , -. Uma observao a ser feita que neste
trabalho estaremos considerando apenas espaos vetoriais de dimenso finita e munidos de
produto interno.
Definio 1. Seja
um espao vetorial de dimenso finita, munido de produto interno. Para cada
operador linear
( ) para quaisquer
Quando
tal que ( )
existe um nico operador linear

. O operador
dizemos que
chamado de operador adjunto de
um operador simtrico.
O resultado a seguir mostra como podemos obter
a partir de uma representao
matricial de .
Proposio 1. Para toda base ortonormal
de
e para todo operador linear
em , temos que
(, - )
Para demonstrarmos a proposio acima, vamos precisar do seguinte resultado, cuja

demonstrao omitiremos.
Lema 1. Seja
+ uma base ortonormal de
representa um operador
, para todos
Demonstrao 1. Considere as matrizes , ( )
a matriz que
.
e,
, para todos
( )
, - , ento
em , com relao base , ou seja,

( )
. Se
. Pelo Lema 1,
.
Logo,
( )
( )
33
para todos
, provando o resultado.
Pela Proposio 1, observamos que se

base ortonormal
de
um operador simtrico em , ento para toda
temos
, -
(, - )
simtrico se, e somente se, , - uma matriz simtrica. Observemos que o
Assim,
fato de um operador ser simtrico no depende da base ortonormal escolhida. Portanto, se , for uma matriz simtrica em uma determinada base ortonormal
, ento , - ser tambm
simtrica para qualquer outra base ortonormal .

Definio 2. Um operador linear
Em outras palavras,
dito ser um operador ortogonal quando
um operador ortogonal quando
( ) dita ser ortogonal quando
Definio 3. Uma matriz
Em outras palavras,
uma matriz ortogonal se
invertvel e
Segue imediatamente da definio que uma matriz

matriz
invertvel e
ortogonal se, e somente se, a
Proposio 2. Se
so bases ortonormais de , ento a matriz mudana de base , -
uma matriz ortogonal.

Proposio 3. Um operador linear
diagonal se, e somente se, essa base
*
Suponhamos que
, -
Como, para cada
em relao qual a matriz , -
admite uma base
for formada por autovetores de .

+ uma base de
tal que , - diagonal, digamos,
( )
segue que
um autovalor de
,
e
um autovetor de
associado a
. Portanto,
base formada de autovetores de .
uma
34
Reciprocamente, suponhamos agora que

por autovetores de . Existem, ento, nmeros reais
( )
. Observamos que os
+ uma base de
formada
tais que, para cada
's no so necessariamente todos distintos. Pela definio de
, - , temos
, -
ou seja, , - uma matriz diagonal.

Na demonstrao da Proposio 3 fica claro que, se um operador linear
tem uma
representao por uma matriz diagonal , - , ento as entradas da diagonal principal de , - so

dadas pelos autovalores de . Mais ainda, a ordem em que os autovalores aparecem na diagonal
principal da matriz a mesma em que seus respectivos autovetores so dados na base .
Se
um operador linear em um espao
diagonalizvel se, e somente se,

se
tem
tem
autovalores distintos, ento
Vimos que
de dimenso , a proposeo 3 nos diz que
autovetores linearmente independentes. Em particular,

diagonalizvel.
um operador diagonalizvel se, e somente se, existe uma base de
formada por autovetores de .

Veremos que se
um espao com produto interno e se
simtrico, ento existe uma base ortonormal de
um operador
formada por autovetores de . Em particular,
todo operador simtrico diagonalizvel.

Proposio 4. Seja
simtrico e
um espao vetorial de dimenso finita sobre
uma base de
. Se
um operador
, ento, todas as razes do polinmio caracterstico
, -
so
nmeros reais.
2. O Teorema Espectral
O prximo resultado nos garante que todo operador simtrico diagonalizvel. Este
resultado conhecido como Teorema Espectral e um dos resultados mais importantes da
lgebra Linear.
Teorema 1. Seja
um espao de dimenso finita sobre. Se
ento existe uma base ortonormal
de
um operador simtrico,
tal que , - diagonal.
35
Demonstrao. Faremos a prova por induo sobre a dimenso de . Denotaremos a matriz , por . Se dim
, o resultado bvio. Suponhamos que
espaos de dimenso . Seja

seja
um espao vetorial tal que dim
uma raiz complexa de polinmio
de . Seja
um autovetor unitrio de
. Seja
. Pela Proposio 4,
uma base de
. Portanto,
um autovalor
associado a . Consideremos o subespao
*
. Afirmamos que ( )
Note que
e que o resultado vlido para
. De fato, seja
. Como
um operador
simtrico, temos que

( )
donde ( )
( )
. Assim, podemos considerar o operador restrio

(
),
que tambm um operador simtrico. Alm disso, como dim , Assim, podemos aplicar a hiptese de induo ao operador
base ortonormal *
+ de
*
Consequentemente,
, segue que dim
para garantir a existncia de uma
formada por autovetores de
+ uma base ortonormal de
(logo de
).
. Da, , - diagonal.
Reciprocamente, se
uma base ortonormal de
formada por autovetores. Ento, pela
proposio 3 temos que , - diagonal. Como , - diagonal, ento , - simtrica. Logo,

um operador simtrico.
O prximo resultado a verso matricial do Teorema 1.
( ) simtrica, ento existe uma matriz ortogonal
Teorema 2. Se
( ) tal que
diagonal.
( ) uma matriz simtrica. Ento o operador
Demontrao. Seja
simtrico. Pelo Teorema 1, existe uma base ortonormal

a base cannica de
. Como
matriz ortogonal, ou seja,
tal que , -
) tambm
diagonal. Se
, ento
, -
sendo
de
, - ,
so bases ortonormais, segue da Proposio 2 que
uma
A recproca deste resultado tambm verdadeira. Para demonstra-la temos que provar
que
. Por hiptese, existe uma matriz
Entretanto, como
( ) tal que
ortogonal ento,
(
diagonal.
36
(
(
)
(
)
(
Portanto,
como queramos demonstrar.
DISCUSSO
O teorema espectral para operadores simtricos fundamental na lgebra linear por
garantir a existncia de uma base ortonormal de autovetores para operadores simtricos. Isto
implica que o operador seja diagonalizvel o que facilita os clculos. Desta forma podemos fazer o
reconhecimento de cnicas, qudricas e tornar o clculo de composio de funes reais mais
simples entre outras aplicaes.
Neste trabalho estudamos operadores lineares
em um espao vetorial
mas poderamos estender esses resultados para um espao vetorial
sobre os reais,
sobre . Nesse ltimo caso
os operadores so chamados de operadores hermitianos. O caso que tratamos aqui um caso

particular do teorema Espectral para operadores auto-adjuntos. Os operadores auto-adjuntos so
compostos pelos operadores simtricos e os hermitianos. Tambm existem diversas
generalizaes do teorema Espectral, bem como para operadores unitrios, operadores normais e
operadores compactos auto-adjuntos em espaos de Hilbert.
CONCLUSO
Neste trabalho abordamos o assunto, diagonalizao de operadores, Vimos que
um operador diagonalizvel se, e somente se, existe uma base de
. Conclumos que se
base
um espao vetorial de dimenso finita sobre
operador simtrico, ento existe uma base ortonormal
de
e se
um
tal que a matriz de
em relao
diagonal. Acreditamos que nosso objetivo principal foi atingido e como resultado obteve
um texto claro, bem estruturado, acessvel a diversos estudantes, mesmo que no possuam muito
conhecimento sobre o assunto. Este trabalho foi muito importante para os meus estudos, pois me
permitiu o aprofundamento neste tema bem como aperfeioar competncias de investigao,
organizao e comunicao da informao.
37
REFERNCIAS
1. HEFEZ, Abramo. Introduo lgebra Linear/Abramo Hefez; Ceclia de Souza Fernandez. Rio de
Janeiro: SBM, 2012. 328p. (Coleo PROFMAT, 01).
2. Coelho, Flvio Ulhoa. Um Curso de lgebra Linear/Flvio Ulhoa Coelho, Mary Lilian Loureno.-2.
ed. rev. e ampl., 2. reimpr.-So Paulo: Editora da Universidade de So Paulo, 2010.-(Acadmica,
34).

Teorema Espectral para Operadores Simétricos

Caricato da

Informazioni sul documento

Descrizione originale:

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Teorema Espectral para Operadores Simétricos

Caricato da

Copyright:

Formati disponibili

31

Encontro de Ensino, Pesquisa e Extenso, Presidente Prudente, 21 a 24 de outubro, 2013

O TEOREMA ESPECTRAL PARA OPERADORES SIMTRICOS

seja um operador diagonalizvel. Por fim, na segunda

seco apresentaremos o teorema Espectral para operadores simtricos e uma demonstrao do

um espao vetorial de dimenso finita, munido de produto interno. Para cada

existe um nico operador linear

chamado de operador adjunto de

O resultado a seguir mostra como podemos obter

a partir de uma representao

e para todo operador linear

Para demonstrarmos a proposio acima, vamos precisar do seguinte resultado, cuja

+ uma base ortonormal de

Demonstrao 1. Considere as matrizes , ( )

em , com relao base , ou seja,

Pela Proposio 1, observamos que se

um operador simtrico em , ento para toda

simtrico se, e somente se, , - uma matriz simtrica. Observemos que o

, ento , - ser tambm

simtrica para qualquer outra base ortonormal .

dito ser um operador ortogonal quando

um operador ortogonal quando

( ) dita ser ortogonal quando

Definio 3. Uma matriz

uma matriz ortogonal se

Segue imediatamente da definio que uma matriz

ortogonal se, e somente se, a

so bases ortonormais de , ento a matriz mudana de base , -

uma matriz ortogonal.

Como, para cada

em relao qual a matriz , -

admite uma base

for formada por autovetores de .

tal que , - diagonal, digamos,

base formada de autovetores de .

Reciprocamente, suponhamos agora que

tais que, para cada

's no so necessariamente todos distintos. Pela definio de

ou seja, , - uma matriz diagonal.

representao por uma matriz diagonal , - , ento as entradas da diagonal principal de , - so

um operador linear em um espao

diagonalizvel se, e somente se,

autovalores distintos, ento

de dimenso , a proposeo 3 nos diz que

autovetores linearmente independentes. Em particular,

um operador diagonalizvel se, e somente se, existe uma base de

formada por autovetores de .

um espao com produto interno e se

simtrico, ento existe uma base ortonormal de

formada por autovetores de . Em particular,

todo operador simtrico diagonalizvel.

um espao vetorial de dimenso finita sobre

, ento, todas as razes do polinmio caracterstico

um espao de dimenso finita sobre. Se

ento existe uma base ortonormal

tal que , - diagonal.

, o resultado bvio. Suponhamos que

espaos de dimenso . Seja

um espao vetorial tal que dim

uma raiz complexa de polinmio

associado a . Consideremos o subespao

e que o resultado vlido para