Teorema Núcleo Imagem
Teoria
Pra você ter uma ideia da importância desse teorema, ele é conhecido como Teorema Fundamental da Álgebra Linear.
Ta beleza, mas o que esse teorema todo poderoso diz? Bom, ele relaciona as dimensões do núcleo e da imagem com a dimensão do domínio de uma . O que ele diz é o seguinte:
Ou seja, a soma das dimensões do núcleo e da imagem de uma transformação linear é exatamente a dimensão do seu domínio (sim, é igual ao que vimos pra matrizes :p)!
Além de, é claro, facilitar MUITO nosso trabalho pra achar a dimensão do núcleo ou da imagem de uma , esse teorema tem implicações muito interessantes.
Por exemplo, lembram daquele macete que eu tinha ensinado pra vocês:
Se as dimensões do domínio e do contra domínio de uma são iguais, então temos que ela é injetiva se for sobrejetiva e vice versa. Isso vem do Teorema Núcleo Imagem!
Seja linear, então se é injetiva, temos que . Pelo TNI, temos que . Opa, se a dimensão da imagem é igual à do contra domínio, então ela é sobrejetiva né!
O caminho inverso também é válido, verifica aí ;)
Exercícios Resolvidos
Exercício Resolvido #1
Elaboração Própria
Dada a transformação abaixo:
ache geradores para o núcleo, e calcule sua dimensão;
verifique se é injetiva;
verifique se é sobrejetiva.
Passo 1
Para achar o Núcleo, precisamos achar quais vetores do domínio que aplicados em levam a transformação em zero. Podemos equacioná-la assim:
Igualando coordenada a coordenada:
Passo 2
Portanto os vetores que geram o núcleo são os vetores que possuem: , na primeira coordenada, , na segunda coordenada, e , na terceira coordenada.
Assim concluímos que:
E, portanto, .
Passo 3
Como o Núcleo de , contém somente o vetor nulo, podemos dizer, pelo teorema que relaciona injetividade e o núcleo, que ela é injetiva.
Passo 4
Ahh então agora basta calcular os geradores da imagem e sua dimensão e depois... NÃO!!!!!
Até é verdade que podemos fazer isso, se você foi por ai e calculou a dimensão, você está correto! Mas É MUITO MAIS RÁPIDO calcularmos através do teorema núcleo-imagem! Perceba só:
Ao olharmos para a fórmula, podemos perceber que a “carrega” vetores do e devolve também no . Assim:
E, assim, .
Passo 5
Aplicando os valores na fórmula temos:
Repare que esse 3 é a dimensão do DOMÍNIO! Por acaso, nossa transformação possui domínio e contra-domínio iguais! E, por isso, .
Como a dimensão da imagem é igual a do CONTRA-DOMÍNIO, a é sobrejetiva.
Resposta
e .
Sim.
Sim.
Exercício Resolvido #2
Marco Cabral e Paulo Goldfeld, Curso de Álgebra Linear Fundamentos e Aplicações, 3ª Ed., Rio de Janeiro, Instituto de Matemática, 2012, pp. 129 – Prob 4.9
Explique em cada caso porque não existe uma :
cujo núcleo seja a origem;
que seja injetiva;
com ;
com e
Passo 1
Pra resolvermos esse exercício temos que ter duas coisas em mente:
A primeira é o TNI:
A segunda é que o núcleo e a imagem têm suas dimensões restringidas pelo espaço em que estão contidos. Como assim?
Bom, o núcleo está contido no domínio, logo, sua dimensão será, no máximo, a do domínio.
A imagem, por sua vez, está contida no contra domínio, portanto, sua dimensão será, no máximo, a do contra domínio.
Dito isso, podemos começar.
Passo 2
Pelo enunciado temos que:
Logo,
Aplicando isso no TNI:
Opa, temos um problema ai! A imagem de está contida no que é o contra domínio. Dessa forma, sua dimensão deve ser no máximo e, portanto, tal transformação não pode existir!
Passo 3
Se é injetiva, então:
Logo, pelo TNI:
Novamente temos uma imagem de dimensão contida em um espaço de dimensão , o que não é possível!
Passo 4
Agora temos que Aplicando isso no TNI:
Bom, claramente isso é impossível né. Se você conseguir pensar em um espaço de dimensão me conta por favor haha. Última letra gora.
Passo 5
Nesse caso temos:
E também que:
A dimensão do núcleo claramente é . No entanto, repare que os vetores geradores da imagem são múltiplos um do outro! Logo, a dimensão da imagem é ! Substituindo isso no TNI:
Logo, chegamos à conclusão que tal não existe.
Resposta
Ei, a resposta está no passo a passo :)
Exercício Resolvido #3
Transformações Lineares e Teorema Núcleo-Imagem
Dado fixo, a transformação dada por é linear. Existe algum tal que seja injetiva ?
Passo 1
Queremos saber se existe algum para que seja injetiva.
Bom, vamos ver se ela é injetiva primeiro. Pelo Teorema Núcleo-Imagem, podemos ver que:
Se ela for injetiva, , e assim, a . Só que sabemos que e, portanto, a deve ser no máximo (que e é a dimensão do contradomínio). Assim, não existe nenhum que torne isso possível.
Resposta
Não.
Exercício Resolvido #4
Transformações Lineares e Teorema Núcleo-Imagem
Sejam e duas transformações lineares injetivas. Mostre que .
Passo 1
Para mostrar isso, devemos usar o teorema núcleo-imagem. Na transformação temos:
Mas como é injetiva, e assim:
Na transformação :
Mas como é injetiva, e assim:
Passo 2
Agora vamos estudar os casos. Em sabemos que , e por definição de imagem, ela está contida no contradomínio, , então e assim .
Agora podemos fazer a mesma coisa para a . Em , sabemos que e, por definição de imagem, ela está contida no contradomínio, , então e assim .
Logo, podemos concluir que .
Resposta
Ei, a resposta está no passo a passo :)
Exercício Resolvido #5
Elaboração Própria
Foi perguntado a Vininho se a seguinte proposição é verdadeira:
Se uma transformação linear é injetiva, então ela é sobrejetiva.
E ele respondeu:
“Sim, pois pelo Teorema do Núcleo-Imagem:
E como é injetiva:
Portanto:
Assim, podemos ver que ela é sobrejetiva.”
Qual foi o erro de Vininho? E responda se a proposição é verdadeira ou falsa, e caso seja falsa adicione uma hipótese para que torne a proposição verdadeira.
Passo 1
O erro de Vininho foi não saber a definição de sobrejetividade.
De fato, pelo Teorema Núcleo-Imagem, temos que:
A definição de sobrejetividade é que E NÃO QUE .
Passo 2
Além disso, podemos concluir que a proposição é falsa. Para torná-la verdadeira deveríamos ter que, além da transformação ser injetiva, a dimensão do domínio da transformação deve ser igual à dimensão do contra domínio, . Ficaria assim:
Se , então a transformação é injetora, se e somente se, é sobrejetora.
Resposta
O erro de Vininho foi não saber a definição de sobrejetividade.