Enunciado
Álgebra Linear e Geometria Analítica - Callioli - Álgebra Linear e Aplicações - Parte 1- Ed: 6º - Capítulo 5.1 - Ex. 20
Sejam . Se é um automorfismo e é um escalar , mostrar que:
e .
(Veja o exercício resolvido n° 11).
Passo 1
O primeiro passo desta questão é voltar lá no exercício resolvido 11 para entendermos quem é esse e pegar algumas dicas (sempre bom uma dica néee).
E então, o que obtemos de lá? Primeiro, este é o posto de uma matriz, o qual é equivalente a dimensão da imagem da transformação (também podemos interpretar como o número de linhas não nulas na matriz na sua forma escalonada, mas aqui não é interessante esta ideia).
E lá na questão 11, é desenvolvido algumas relações que podem servir de sacada para a resolução desta questão. Então, é sempre bom olharem as dicas com calma. Vai que elas ajudam a gente a resolver!
Passo 2
Vamos começar a nossa questão verificando que . A nossa transformação é dada por . Então, dado , e .
Da mesma forma, como uma das propriedades das transformações lineares, temos , e também podemos dizer que .
Mas sim, qual o motivo de fazermos isto acima? Bom, a análise serviu para mostrar que a imagem não altera de dimensão, continuamos com múltiplos do vetor . Portanto, podemos escrever a seguinte relação:
Portanto, como o posto é exatamente a dimensão da imagem, temos:
E assim verificamos a primeira parte da questão.
Passo 3
Agora precisamos provar a segunda relação, . Novamente, lembrando, e .
Continuando, vamos começar trabalhando com o termo e com o teorema do núcleo e imagem.
Como a transformação é um automorfismo, temos que . Pelo teorema do núcleo e imagem, podemos escrever que:
Importante ressaltar que o que aparece acima é o domínio da nossa função! Ficou um pouco confuso já que temos (domínio e contradomínio são os mesmos espaços vetoriais).
Portanto, temos que . Então, se escrevermos , teremos que . Desta forma, podemos escrever que:
E consequentemente,
Conseguiram entender a relação? Como a imagem de corresponde ao seu contradomínio, e este contradomínio é o mesmo espaço do domínio de , então, basicamente temos “” (cuidado com as aspas, é pra dizer que são semelhantes, mas não são iguais!!!!)
Passo 4
Por fim, vamos verificar a outra parte que faltou da relação que discutimos no Passo anterior, isto é,
Vamos precisar novamente do teorema do núcleo e imagem. No passo anterior vimos que:
Lembrando, este é o espaço vetorial do domínio! Portanto, a dimensão da imagem de é exatamente a dimensão do seu domínio.
Então, se a gente olha a relação , dado , fica o questionamento: quem é o domínio da nossa função ?
Não seria exatamente a transformação , ou melhor, a imagem da transformação ? Portanto, podemos reescrever o teorema do núcleo e imagem, para este caso, da seguinte forma:
E portanto,
E assim nós finalmente finalizamos a nossa questão!
Resposta
Ei, a resposta está no passo a passo :)