Enunciado
Álgebra Linear e Geometria Analítica - Callioli - Álgebra Linear e Aplicações - Parte 1- Ed: 6º - Capítulo 4.4 - Ex. 14
Seja . Consideremos os operadores lineares de (projeções sobre e , respectivamente) dados por e , , com e . Definido por por , , mostre que é um isomorfismo do espaço vetorial nele mesmo, isto é, é um automorfismo de .
Tome , , e represente geometricamente .
Passo 1
Esta questão nós podemos dividir em duas partes. A primeira é uma parte teórica, que precisamos provar que é um automorfismo. Já a segunda é um estudo de caso. Temos que representar os subespaços no .
Então, vamos começar pela primeira parte. Provar que é um automorfismo é verificar que o núcleo da sua transformação possui apenas o vetor nulo. Mas, para isto, temos que saber quem é primeiro. Ele será dado por:
Sendo .
Passo 2
Agora, vamos descobrir quem é o vetor que pertença ao núcleo de . Para isto, o vetor tem que satisfazer a seguinte relação: . Portanto,
A vontade que temos é fazer:
Essa é uma vontade grande, dizer que basta que seja para qualquer . Entretanto, não podemos fazer isto, pois e pertencem a subespaços vetoriais distintos! A única solução em comum, a qual é a solução da equação acima, é , isto é, ambos são os vetores nulos
Portanto, o único vetor que pertence ao núcleo é o vetor nulo. Logo, , e assim, verificamos que é injetora e, consequentemente, um automorfismo!
Passo 3
Agora temos que fazer um estudo de caso. O nosso espaço é o , e os subespaços e possuem as seguintes bases: e .
Para desenharmos geometricamente os subespaços no plano (o qual é o espaço ), vamos desenhar retas que representam cada um dos espaços que estamos trabalhando.
O espaço é a reta que forma uma inclinação de 45° com o eixo (vetor ). O espaço é a reta que forma uma inclinação de -45° com o eixo (vetor )
As operações e são as projeções de um vetor qualquer em cada uma das retas que representam e . Por fim, temos a aplicação , a qual corresponde a uma rotação do vetor .
Se esboçarmos todas estas relações no plano , teremos:
Resposta
Prova-se que é um automorfismo verificando que o seu núcleo é igual ao conjunto vazio.
A representação dos subespaços e dado um vetor qualquer é: