Enunciado
Álgebra Linear e Geometria Analítica - Callioli - Álgebra Linear e Aplicações - Parte 1- Ed: 6º - Capítulo 6.5 - Ex. 3
Seja um automorfismo. Se é auto-adjunto, mostrar que também o é.
Passo 1
Vamos lá a nossa questão!
Para conseguirmos resolver esta questão, temos que relembrar muito bem as implicações sobre automorfismos e operadores auto-adjuntos.
Então, vamos começar falando sobre automorfismo. Se a transformação é um automorfismo, significa dizer que ela é bijetora. Portanto, para cada , existe um único tal que:
Mas como é uma transformação bijetora, então,
E uma consequência de ser um automorfismo é que também o é. Esta transformação inversa será responsável por associar o vetor ao vetor . Isto é, . Ou também,
Estas relações são a sacada que iremos precisar utilizar para mostrar que o operador é auto-adjunto se também o for.
Passo 2
Bom, a gente tem falado bastante sobre um operador auto-adjunto. Mas, afinal, o que é um operador auto-adjunto?
Então, um operador auto-adjunto qualquer é aquele que satisfaz:
Para quaisquer .
Como o operador é auto-adjunto, podemos reescrever a definição da seguinte forma:
Então, para conseguirmos provar que o operador também é auto-adjunto, devemos chegar à relação acima, só que com no lugar de . Mas como faremos isto? Bom, para isto, vamos ter que utilizar as relações que obtivemos ao saber que é um automorfismo.
Então, como e ,
E também, como e , temos:
Que é exatamente a definição de um operador auto-adjunto, só que para a transformação inversa de . Portanto, conseguimos provar a relação da questão!
Resposta
Ei, a resposta está no passo a passo :)