Operadores Autoadjuntos e Ortogonais
Teoria
Vamos sair um pouco agora de produto interno e dar um pulinho lá em transformações lineares!
Primeira coisa, lembra o que é um operador linear? É simplesmente uma transformação linear que tem o domínio e o contra domínio iguais!
Operadores Autoadjuntos
Sendo assim, seja um espaço vetorial, temos que o operador linear é autoadjunto (ou simétrico) se a matriz que o representa em uma base ortonormal de é simétrica. Sim, isso vale para qualquer base ortonormal haha.
Exemplo:
O operador dado por é simétrico.
Se escrevermos sua matriz na base canônica (que é uma base ortonormal do ) teremos:
Como essa matriz é simétrica, o operador é simétrico. Fácil né?
Então, o problema aparece quando o cara define um produto interno diferente para o espaço em questão! Quando isso acontece, a base canônica que tanto amamos pode deixar de ser ortonormal!
Mas não tema! Tem uma propriedade muito legal de operadores adjuntos que pode ser útil nessa hora! Se liga, todo operador adjunto obedece à igualdade abaixo para quaisquer dois vetores e :
Pra testar isso você pode tanto usar vetores genéricos como testar dois a dois vetores de uma base do domínio de ;)
Propriedades
Aqui vão mais algumas propriedades dos operadores autoadjuntos. Se ,: são operadores simétricos:
- é simétrico;
- , , é simétrico;
- é simétrico se, e somente se, ;
- é simétrico;
Operadores Ortogonais
Seja um espaço vetorial, temos que o operador linear é ortogonal se a matriz que o representa em uma base ortonormal de é ortogonal. Esse também vale para qualquer base ortonormal.
Exemplo:
O operador dado por é ortogonal.
Se escrevermos a matriz de na base canônica, que é uma base ortonormal teremos:
Se essa matriz é ortogonal então é um conjunto ortonormal. De fato:
Os vetores são ortogonais e têm norma , logo é ortogonal.
Novamente, o problema entra quando definimos um novo produto interno haha. Mas aqui também temos uma propriedade legal com o produto interno. Na verdade, temos duas. Todo operador ortogonal obedece às igualdades abaixo para quaisquer dois vetores e :
E é isso aí, partiu exercícios!
Propriedades
Operadores Ortogonais
Exercícios Resolvidos
Exercício Resolvido #1
Elaboração própria
Diga se os operadores lineares abaixo são autoadjuntos:
, dado
, dado , ,
, dado , onde:
, dado
, dado
Passo 1
A matriz que representa na base canônica (ortonormal) é:
Como essa matriz não é simétrica, temos que não é autoadjunto.
Passo 2
E agora? Vamos ter que achar a ? Não, não vamos! Primeira coisa, repare que o conjunto é uma base do . Se liga:
Nenhuma linha zerou, então os vetores são e formam uma base do . Então só precisamos testar aquela propriedade dois a dois:
Ufa, acabou! Deu tudo certinho, então o operador é autoadjunto!
Passo 3
Ok, temos um operador linear definido como uma mistura de operações de outros dois! Vamos começar verificando se os outros dois são autoadjuntos:
As matrizes que representam ambas os operadores na base canônica são simétricas! Logo, elas são autoadjuntas. Pelas propriedades de matrizes adjuntas sabemos que como e são simétricos:
- é simétrico;
- é simétrico;
- é simétrico se
Bom, precisamos verificar essa última aí:
Opa, temos que , então todos os termos de são simétricos! Por fim sabemos que a soma de operadores autoadjuntos é um operador autoadjunto. Logo, é autoadjunto!
Resposta
Não
Sim
Sim
Exercício Resolvido #2
Elaboração própria
Diga se os operadores abaixo são ortogonais:
, dado
, dado
Passo 1
A matriz que representa na base canônica é:
Vamos ver se as linhas formam um conjunto ortonormal. Para isso precisamos que:
Todos os vetores são normais. Vamos ver se são ortogonais também!
Passo 2
As linhas formam um conjunto ortonormal, então é um operador ortogonal.
Passo 3
A matriz que representa na base canônica é:
Vamos verificar as colunas:
As colunas formam um conjunto ortonormal, logo, é um operador ortogonal.
Resposta
Sim
Sim
Exercício Resolvido #3
UFPE, Álgebra Linear, P3/2015.2, 3
Seja a transformação linear dada por
Considere para o espaço vetorial o produto interno . O operador é autoadjunto? E o operador é ortogonal?
Passo 1
Para o operador ser autoadjunto precisamos que, para quaisquer vetores e :
Temos que:
Analogamente:
Substituindo na fórmula:
Ta uma zona isso aí, com certeza não é igual haha. Então não é autoadjunto.
Passo 2
Para que seja ortogonal, precisamos que:
Usando os resultados do Passo 1:
Opa, deu certinho! Logo, nosso operador é ortogonal!
Resposta
não é autoadjunto mas é ortogonal.
Exercício Resolvido #4
UFS, Operadores Ortogonais, Curso de Licenciatura em Matemática, Professores Danilo Felizardo Barboza e Wilberclay Gonçalves Melo.
Verifique se o operador é ortogonal.
Passo 1
Sabemos que para que um operador seja ortogonal, temos que ter:
Então o que vamos fazer aqui é escolher um vetor qualquer e verificar se a condição acima é satisfeita para o operador beleza?
Passo 2
Escolhendo , queremos que:
Aplicando o operador dado no enunciado, temos:
Daí, temos que o módulo de vai ser
Porém:
Poxa, então:
E portanto, o operador não é ortogonal :(
Resposta
Não é ortogonal :(
Exercício Resolvido #5
Álgebra Linear e suas aplicações, Petronio Pulino, Departamento de matemática aplicada da UNICAMP
Considere o espaço vetorial com o produto interno usual e seja o operador linear sobre definido por:
onde é um ângulo fixo. Mostre que é um operador ortogonal.
Passo 1
Para mostrarmos que é ortogonal, primeiro vamos escrever esse operador em uma matriz na base canônica:
Para mostrarmos que é ortogonal, vamos verificar o produto interno entre os elementos das colunas beleza?
Passo 2
Fazendo os produtos internos:
Aeee, deu tudo 0, isso quer dizer que o operador é ortogonal :)
Resposta
Demonstração.