Escolar Documentos
Profissional Documentos
Cultura Documentos
ESPECIAIS: CARACTERIZAO
EM ESPAOS
DE DIMENSO DOIS*
RESULTADOS INICIAIS
recisamos dos seguintes resultados para entender os conceitos relacionados com os operadores lineares especiais.
A Adjunta
Denio 1. Seja a transformao linear
, onde e so espaos
vetoriais de dimenso nita, ambos munidos de produto interno. A adjunta de
uma transformao linear
tal que, para quaisquer
e
se tenha
.
Teorema 2. Sejam
ortonormais. Se
bases
) a matriz da transformao
32
linear
nas bases e , ento a matriz da adjunta
nas bases
e a transposta
de
.
Demonstrao: Essa demonstrao pode ser encontrada em Lima (2011, p. 141).
Apresentamos a seguir uma lista de propriedades operacionais da adjunta
de uma transformao linear, as quais correspondem s propriedades da transposta
de uma matriz. A validez dessas propriedades decorre da observao de que duas
transformaes lineares
so iguais quando se tem
para quaisquer
e
.
Se
resulta em
quadrada
armativo,
Matrizes Ortogonais
Proposio 3. A matriz
, logo
A igualdade
significa que as linhas de
formam um
conjunto de vetores ortonormais em
. Portanto, para matrizes quadradas, colunas
33
2. Como
e
2) Seja
um vetor unitrio em
, existe
. Sendo
unitrio e perpendicular
. Assim, h duas possibilidades para a
ou
No primeiro caso, tem-se
primeiro
o
polinmio
caracterstico
de
,
, no tem razes reais salvo se
ou
. Se
, ento
, o qual tem uma raiz dupla
. Se
, ento
, que tem uma raiz dupla
. Em ambas as situaes os autoespaos so iguais
resultando, para a situao em que
que
e, para
, que
. Portanto, neste caso temos uma matriz de rotao.
No segundo caso,
tem razes
e
. Ento
o operador
cuja matriz na base cannica
, admite autovetores
e
, respectivamente. Assim,
e
. Observe que, neste caso, a
matriz
dada por
No
e no segundo
caso,
OPERADORES AUTOADJUNTOS
Denio 6. Um operador linear
, sendo
de produto interno, chama-se autoadjunto quando
quaisquer
tem-se
.
uma base
para todas as
34
provando que
um operador autoadjunto.
Logo,
e
, ou seja, autoadjunto. Analogamente,
, resultando que tambm autoadjunto. Entretanto, como
, segue que
e
, ou seja, o
produto
dos operadores autoadjuntos e no autoadjunto. Isto se d porque,
conforme o item
da Proposio 8,
. Note ainda que invertvel,
pois
, e que sua inversa
ou seja,
Pela Proposio 9,
autoadjunto.
35
Portanto, a matriz
simtrica se, e somente se,
para
quaisquer
. Devido linearidade de e bilinearidade do produto
interno, isto equivale a dizer que
para quaisquer
,
resultando que autoadjunto.
Exemplo 13. As matrizes dos operadores autoadjuntos
base cannica de
so, respectivamente,
do Exemplo 10 na
Teorema 14. Se
so autovalores dois a dois distintos do operador autoadjunto
, os autovetores correspondentes
so dois a dois ortogonais.
Demonstrao: Como autoadjunto, para quaisquer
, tem-se:
Mas,
seja,
, assim,
ortogonal a , para
resulta em
e
, ou
Observao 15. Se
ento, para todo mltiplo
, temos
Logo, na situao do Teorema 14, os vetores
podem ser tomados unitrios,
caso haja convenincia.
36
na base cannica de
e
,
. Assim,
e
como nos assegura o Teorema 14.
Um problema importante sobre operadores num espao vetorial de dimenso
nita o de encontrar uma base em relao qual a matriz desse operador seja o mais
simples possvel. Mostraremos que, se
um operador autoadjunto num
espao vetorial de dimenso nita com produto interno, existe uma base ortonormal em
, relativamente qual a matriz
uma matriz diagonal, isto ,
se
. Isso o que nos diz o Teorema Espectral.
simtrica, a saber
. O
, o qual deve ser maior ou igual
37
Se
resulta em
, ento
, ou seja,
, o que
um autovetor, pois
Se > 0, ento
tais que
e
38
Portanto,
a base ortonormal de
quando
quando
ou por
OPERADORES ORTOGONAIS
Teorema 22. As seguintes armaes a respeito de uma transformao linear
entre espaos vetoriais de dimenso nita munidos de produto interno,
so equivalentes:
preserva a norma, ou seja,
para todo
;
preserva a distncia, ou seja,
para quaisquer
;
preserva o produto interno, ou seja,
para quaisquer
;
;
A matriz do operador relativa a qualquer par de bases ortonormais
e
uma matriz ortogonal;
A matriz do operador
relativa a um certo par de bases ortonormais
e
uma matriz ortogonal;
O operador
transforma uma certa base ortonormal
num conjunto
ortonormal
. (Se
, ento uma base);
O operador transforma toda base ortonormal
num conjunto ortonormal
.
Demonstrao: Essa demonstrao pode ser encontrada em Lima (2011, p. 184).
Denio 23. Uma transformao linear
chama-se ortogonal quando
cumpre uma das oito condies do Teorema 22 (e, portanto, todas elas).
39
ortogonal.
De fato, pois utilizando o item
e
obtemos
.
Note que
logo
. Portanto,
Proposio 26. Se
, ento
ou
, com
Assim,
, resultando que
40
.
Seu polinmio caracterstico dado por
. Ento os
autovalores de
so e
, como descreve a Proposio 25, cujos autoespaos
so, respectivamente,
e
. Portanto,
e
como nos diz a Proposio 26.
Caracterizao dos Operadores Ortogonais em Espaos de Dimenso Dois sobre o
Conjunto dos Nmeros Reais
A seguir, vamos analisar a forma de um operador ortogonal
espao de dimenso 2 dotado de um produto interno.
Segundo a natureza dos autovalores de , h quatro possibilidades:
num
Neste caso,
, logo
41
5, a forma
. Assim,
ou
conforme seja
ou
, respectivamente. Em outras
palavras, o ngulo ca determinado a menos do sinal. Isto quer dizer que, num
espao vetorial de dimenso 2, munido de produto interno, faz sentido a noo de
ngulo apenas em valor absoluto. Portanto, os operadores ortogonais sem autovalores
(juntamente com ) num espao vetorial de dimenso 2 sero chamados rotaes. (
e
so respectivamente as rotaes de ngulo e
respectivamente.)
Exemplo 28. Considerando o operador do Exemplo 24, a saber,
do qual
no possui autovalores reais, o
42
Proposio 31. Um operador normal se, e somente se, sua matriz relativamente a
uma base ortonormal uma matriz normal.
Demonstrao: Seja um operador normal, ento sua matriz
relativa a uma base
ortonormal , por denio, quadrada e
, pois a matriz de
. Portanto um operador normal se, e somente se, sua matriz relativamente uma
base ortonormal uma matriz normal.
Exemplo 32. Os operadores autoadjuntos e os ortogonais so normais.
Primeiramente,
. Logo,
consideremos
um
operador
autoadjunto,
ento
.
Resultando que
ou seja,
normal.
2:
Temos que
43
e que
Logo
Se
, a matriz
). Ento, de
donde
.
, isto ,
Observe que se
ngulo tal que
(com
,
2 so as simtricas e as da forma
ento
. Ento a matriz
Logo existe um
se escreve como
.
dado por
tal que
Portanto,
normal.
CONCLUSO
Este artigo, que foi uma pesquisa bibliogrca, apresentou trs tipos especiais
de Operadores Lineares: os Autoadjuntos, os Ortogonais e os Normais (Caso Real)
caracterizando-os em espaos de dimenso dois. importante destacar que todos os
contedos esto diretamente ligados com a adjunta de um operador linear, consequentemente, com a matriz transposta, que a matriz da adjunta e que este trabalho traz noes bsicas sobre cada tema proposto, existindo ainda muitos outros resultados acerca
do assunto. Uma sugesto de trabalho futuro seria caracterizar os operadores lineares
Autoadjuntos, os Ortogonais e Normais (Caso Real) em espaos de dimenso 3 e 4.
44
Referncias
BOLDRINE, Jos Luiz. lgebra linear. 3.ed. So Paulo: Harbra, 1980.
LANG, Serge. lgebra linear. Rio de Janeiro: Cincia Moderna, 2003.
LIMA, Elon Lages. lgebra linear. 8.ed. Rio de Janeiro: Coleo Matemtica Universitria; IMPA, 2011.
STEINBRUCH, Alfredo Steinbruch; WINTERLE, Paulo. Introduo lgebra linear.
So Paulo: Pearson Education do Brasil, 1997.
* Recebido em: 10.02.2014. Aprovado em: 22.02.2014. Agradecemos ao Ncleo de Estudos e Pesquisa
em Educao Matemtica do IFG (NEPEM/IFG) pelo apoio.
FABIANA BARBOSA DA SILVA
Licenciada em Matemtica pelo Instituto Federal de Cincia e Tecnologia de Gois Cmpus Goinia.
E-mail: fabianabs_85@hotmail.com
ALINE MOTA DE MESQUITA ASSIS
Mestre em Matemtica. Professora do Instituto Federal de Cincia e Tecnologia de Gois Cmpus
Goinia E-mail: aline.mesquita@ifg.edu.br
JOS EDER SALVADOR DE VASCONCELOS
Mestre em Matemtica. Professor do Instituto Federal de Cincia e Tecnologia de Gois Cmpus
Goinia E-mail: salvadordevasconcelos@yahoo.com.br
45