09.02.2017 Views

lgebra Linear, Elon Lages Lima

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

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

Como os vetores Au 1 ,...,Au p são L.I., resulta daí que α 1 = ··· =<br />

α p = 0. Portanto a igualdade (*) se reduz a<br />

β 1 v 1 +···+β q v q = 0.<br />

Como v 1 ,...,v q são L.I., concluímos que β 1 = ··· = β q = 0. Isto<br />

mostra que os vetores u 1 ,...,u p , v 1 ,...,v q são L.I. .<br />

Em seguida, consideremos um vetor arbitrário w ∈ E. Como<br />

Aw ∈ Im(A), podemos escrever<br />

Aw = α 1 Au 1 +···+α p Au p ,<br />

pois {Au 1 ,...,Au p } é uma base da imagem de A. A igualdade acima<br />

pode ser reescrita como<br />

A[w−(α 1 u 1 +···+α p u p )] = 0.<br />

Assim, o vetor w−(α 1 u 1 +···+α p u p ) pertence ao núcleo de A, logo<br />

pode ser expresso como combinação linear dos elementos da base<br />

{v 1 ,...,v q }. Temos então<br />

w−(α 1 u 1 +···+α p u p ) = β 1 v 1 +···+β q v q ,<br />

ou seja, w = α 1 u 1 +···+α p u p +β 1 v 1 +···+β q v q . Isto mostra que<br />

os vetores u 1 ,...,u p , v 1 ,...,v q geram E e portanto constituem uma<br />

base.<br />

Corolário. Sejam E, F espaços vetoriais de mesma dimensão finita<br />

n. Uma transformação linear A: E → F é injetiva se, e somente se, é<br />

sobrejetiva e portanto é um isomorfismo.<br />

Com efeito, temos n = dim N(A)+dim Im(A). Logo N(A) = {0}<br />

se, e somente se dim Im(A) = n, ou seja, Im(A) = F.<br />

Exemplo 6.9. Um caso particular do corolário acima diz que, num<br />

espaço vetorial de dimensão finita, um operador linear é injetivo se,<br />

e somente se, é sobrejetivo. Isto seria falso num espaço de dimensão<br />

infinita, como se vê no seguinte exemplo: sejam A,B: R ∞ → R ∞<br />

definidos por<br />

A(x 1 ,x 2 ,x 3 ,...) = (0,x 1 ,x 2 ,x 3 ,...)<br />

e<br />

B(x 1 ,x 2 ,x 3 ,...) = (x 2 ,x 3 ,x 4 ,...).

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

Saved successfully!

Ooh no, something went wrong!