Enunciado
Álgebra Linear e Geometria Analítica - Callioli - Álgebra Linear e Aplicações - Parte 1- Ed: 6º - Capítulo 5.1 - Ex. 11
Seja dado por
Mostrar que:
- ;
- é um automorfismo do e .
Passo 1
Bom, temos duas contas a fazer. Só que as operações a serem feitas na letra a) irão nos ajudar na letra b).
Ai sim o negócio fica interessante! Temos que aproveitar tudo que fazemos!
Desta forma, vamos começar devagar pela letra a). Lá, precisamos provar que . E como faremos isto? Então... será um pouco de trabalho “braçal”. Vamos ter de calcular um por um. Portanto, começando por , temos:
Fazendo o mesmo procedimento para , temos:
E, finalmente, para , temos:
E assim acabamos provando que é o operador nulo!
Passo 2
Agora, podemos ir para a letra b). Inicialmente, vamos provar que é um automorfismo. Depois, verificaremos a relação . Será no segundo instante que utilizaremos as relações desenvolvidas para a letra a).
Mas bom, vamos com calma. Primeiro, vamos provar que é um automorfismo. Mas sim, quem é ?
Ele será dado por:
Agora sim. Para provarmos que é um automorfismo, basta checarmos que . Isto é, o núcleo de é o vetor nulo. Lembrando, o núcleo é o conjunto dos vetores tais que .
Sendo assim, basta descobrirmos os vetores que satisfazem o sistema abaixo:
A única solução do sistema é . Portanto, . E assim provamos que a transformação linear é um automorfismo.
Passo 3
Agora, temos que provar a relação . Para isto, vamos calcular os dois membros e verificar que ambos são iguais.
Começaremos então pelo primeiro membro, o qual é o mais fácil. Utilizando as relações já obtidas no Passo 1, temos:
Pronto. Já sabemos o resultado do primeiro membro. Agora, temos que obter , o qual corresponde ao automorfismo inverso. O procedimento pode parecer estranho, mas é sempre o mesmo passo a passo, independentemente da transformação que estamos trabalhando!
Então, vamos fazer . Agora, vamos supor que .
Só que nós não dissemos antes que ? Desta relação, podemos escrever então que
Comparando coordenada a coordenada, queremos descobrir os valores das incógnitas , , e que satisfaçam:
Portanto, . Agora, é só compararmos ambos os membros da nossa relação. Logo,
Comparando coordenada a coordenada, vemos que ambas as relações são idênticas!
Resposta
Ei, a resposta está no passo a passo :)