09.02.2017 Views

lgebra Linear, Elon Lages Lima

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Seção 6 Núcleo e Imagem 67<br />

A e B são operadores lineares. O primeiro é injetivo mas não é sobrejetivo<br />

e o segundo é sobrejetivo mas não é injetivo.<br />

Exemplo 6.10. O Teorema do Núcleo e da Imagem dá outra explicação<br />

para o fato de um hiperplano H ⊂ R n ter dimensão n−1. Por<br />

esse teorema, se dim E = n e f: E → R é um funcional linear ≠ 0<br />

então o núcleo de f é um subespaço vetorial de dimensão n−1 em E,<br />

pois f não-nulo implica Im(f) = R logo dim Im(f) = 1 e dim N(f) =<br />

dim E−dim Im(f) = n−1. Ora, o hiperplano<br />

H = {(x 1 ,...,x n ) ∈ R n ;a 1 x 1 +···+a n x n = 0}<br />

é o núcleo do funcional linear não nulo f: R n → R, definido por<br />

f(x 1 ,...,x n ) = a 1 x 1 +···+a n x n .<br />

Teorema 6.7. Se uma transformação linear A: E → F tem uma<br />

inversa à esquerda B: F → E e uma inversa à direita C: F → E então<br />

B = C e A é um isomorfismo, com A −1 = B = C.<br />

Demonstração: Tem-se BA = I E e AC = I F . Portanto B = BI F =<br />

B(AC) = (BA)C = I E C = C.<br />

Corolário. Seja dim E = dim F. Se as transformações lineares<br />

A: E → F, B: F → E são tais que BA = I E então AB = I F e B = A −1 .<br />

Com efeito, BA = I E ⇒ A injetiva ⇒ A sobrejetiva (Corolário<br />

do Teorema 6.6) ⇒ AC = I F para alguma C ⇒ C = B (Teor. 6.7)<br />

⇒ AB = I F .<br />

Exercícios<br />

6.1. Prove que o núcleo e a imagem de uma transformação linear<br />

A: E → F são respectivamente subespaços vetoriais de E e F.<br />

6.2. Seja A: E → E um operador linear. Para quaisquer vetores<br />

u ∈ N(A) e v ∈ Im(A), prove que se tem Au ∈ N(A) e Av ∈ Im(A).<br />

6.3. Encontre númerosa,b,c,dde modo que o operadorA: R 2 → R 2 ,<br />

dado porA(x,y) = (ax+by,cx+dy) tenha como núcleo a retay = 3x.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!