Teoria

Já demos uma olhada no que é uma T L . Então agora vamos nos aprofundar em duas coisas chamadas Núcleo e Imagem. Mas, primeiro vamos começar com o Núcleo.

Núcleo de uma TL

Lembra de quando estudávamos funções, onde um elemento era uma raiz se zerasse a função? Tipo, 1 é raiz da função f x = x - 1 porque f 1 = 0 .

Uma coisa importante que temos que lembrar disso é que as raízes dessa função f ( x ) pertencem ao seu domínio. Já o zero gerado está no contra-domínio!

O Núcleo de uma T L é bem parecido com isso. Ele é o conjunto dos elementos do domínio (sejam eles vetores, matrizes ou polinômios) que zeram a T L . A definição é a seguinte:

Repetindo, os geradores do núcleo sempre pertencem ao domínio da T L !! Veja na definição do conjunto N u c ( T ) que todos os vetores desse conjunto ∈ U , que é o domínio da T L .

To batendo muito nessa tecla, mas se reclamar bato mais ainda haha, porque é muito importante galera. Tem que tá no sangue.

Tá, agora que todo mundo entendeu a definição vamos aprender a achar essa bagaça.

Por exemplo, temos essa simpática T L :

T : R 3 → R 2

T x , y , z = ( x - 2 y + z , 2 x + y + z )

Para acharmos os geradores do núcleo é só igualarmos a T L ao elemento nulo do contra-domínio.

Vale ressaltar duas coisas importantes aqui. Primeiro, o elemento nulo não é necessariamente o zero, lembra galera? Segundo, você iguala ao vetor nulo do contra-domínio. Até porque não faria sentido igualar à um vetor fora do espaço que essa T L leva né haha. Continuando:

T x , y , z = x - 2 y + z , 2 x + y + z = 0,0

x - 2 y + z = 0     2 x + y + z = 0 ( I ) ( I I )

De ( I ) :

z = 2 y - x

Substituindo em I I :

2 x + y + z = 0

2 x + y + 2 y - x = 0

x = - 3 y   ( I I I )

I I I em I :

x - 2 y + z = 0

- 3 y - 2 y + z = 0

z = 5 y

Sendo assim, os geradores do núcleo são o conjunto dos vetores ( x , y , z ) que tem x = - 3 y e z = 5 y . Então eles vão ter essa cara:

x , y , z = - 3 y , y , 5 y = y ( - 3,1 , 5 )

Loooogo, N u c T = s p a n - 3,1 , 5 ou N u c T = 〈 ( - 3,1 , 5 ) 〉 .

Opa, lembram que os elementos do Núcleo pertencem ao domínio (ai de vocês se não lembrarem!)? Então, note que o vetor genérico que a gente arrumou tem três coordenadas! Então ele é do R 3 né, que é o domínio da nossa T L ;)

Vale comentar mais algumas coisas:

Não é muito difícil de vermos que o núcleo de uma T L será sempre um espaço vetorial do domínio dela (porque ele faz parte do domínio!!!). Se duvidar de mim pode provar aí que você já sabe fazer isso haha. Então:

Nesse exemplo que eu dei o núcleo tinha dimensão 1 (é o espaço gerado por um único vetor). Então, podíamos dizer que a Nulidade dessa transformação T é 1 . A Nulidade de uma transformação linear T é a dimensão do seu núcleo: dim ⁡ N u c T .

Ah, e não esquece:

Imagem de uma TL

Além do Núcleo, existe um outro espaço vetorial muito importante relacionado a uma transformação: a imagem. A imagem de uma transformação são todos os elementos transformados a partir do domínio de uma T L .

Ou seja, são todos os elementos do contra domínio que a T L gera. Mais formalmente:

Repare que os elementos da imagem sempre, SEMPRE, pertence ao contra domínio, pois são os elementos transformados T ( u ) . Assim, I m T ⊂ V . Isso aí, vou ficar batendo nessa tecla igual fiz com o núcleo haha.

Beleza, mas como eu acho qual é essa imagem? E quais são os geradores dela?

Vamos pegar, por exemplo, essa outra transformação

T : R 2 → R 3 T x , y = ( x + y , x - y , 2 x )

Primeiro vamos desmembrar a fórmula da T L . Teremos:

x + y , x - y , 2 x = x 1,1 , 2 + y ( 1 , - 1,0 )

Assim, I m T = s p a n 1,1 , 2 , 1 - 1,0 = 1,1 , 2 , 1 , - 1,0

Oi? Só isso?! Sim, só isso haha. Mamatinha.

Note que os vetores da imagem possuem 3 coordenadas! E temos que D o m T = R 2 e o C D T = R 3 . Loooooogo (isso aí, vou falar de novo), a imagem está no contra domínio!

Assim como quando falamos de núcleo, vale comentar algumas coisas:

A imagem de uma T L também será sempre um subespaço vetorial do contra domínio da T L . Então:

Também temos um nome especial para a dimensão da imagem. O Posto de uma transformação linear T é a dimensão da sua imagem dim ⁡ I m T .

Obs: O termo nulidade não é tão usado, mas o termo posto é muito comum então vale a pena gravar.

Por último, mas não menos importante:

Imagem de uma TL

Exercícios de Livros Relacionados