9

Aula

2011.10.21

AL

LEGM ; M EC

Apontamentos

(R ic a r d o .C o u tin h o @ m a th .ist.u tl.p t)

9.1

Isomorfismos entre espaos vectoriais

Exemplo 9.1 Pretendemos averiguar se os polinmios 1 + t2 , 1 t2 e 1 + t + t2 constituem

uma base de P2 . Portanto devemos estudar se seguinte equao em (x1 , x2 , x3 ) sempre
possvel e determinada qualquer que seja o polinmio (de P2 ) a0 + a1 t + a2 t2 :









x1 1 + t2 + x2 1 t2 + x3 1 + t + t2 = a0 + a1 t + a2 t2 ;

sempre possvel para que gerem P2 e determinada para que sejam linearmente independentes
(se a0 = a1 = a2 = 0, s pode haver a soluo trivial). Desenvolvendo a expresso acima
obtemos:
x1 + x2 + x3 + x3 t + (x1 x2 + x3 ) t2 = a0 + a1 t + a2 t2 .
Portanto, da igualdade entre polinmios, chegamos ao seguinte sistema

x1 + x2 + x3 = a0
x3 = a1

x1 x2 + x3 = a2

A matriz dos coeficientes deste sistema

1 1 1
0 0 1
1 1 1

que facilmente verificamos ter caracterstica igual a 3. Pelo que o sistema tem sempre uma
e s uma soluo.
Se utilizarmos a seguinte correspondncia entre polinmios de P2 e vectores de R3 ,
a0 + a1 t + a2 t2 (a0 , a1 , a2 ) ,
vemos que o problema resolvido neste exemplo equivalente a determinar se os vectores
(1, 0, 1), (1, 0, 1) e (1, 1, 1) constituem uma base de R3 .
Vamos precisar como podemos usar correspondncias similares que aparece no exemplo
anterior introduzindo o conceito de isomorfismo.
Definio 9.1 Sejam V e W espaos vectoriais sobre o mesmo corpo de escalares K e I
uma aplicao de V em W , ou seja I : V W . Ento
I injectiva se
I sobrejectiva se

v1 , v2 V
w W

I (v1 ) = I (v2 ) v1 = v2 .
v V

I bijectiva se injectiva e sobrejectiva.

I (v) = w .

9 a AULA 2011.10.21

AL

LEGM; MEC

APONTAMENTOS

(RICARDO.COUTINHO@MATH.IST.UTL.PT)

I linear se
1.

x K v V

2.

v1 , v2 V

I (xv) = xI (v) .

I (v1 + v2 ) = I (v1 ) + I (v2 )

I um isomorfismo se bijectiva e linear.

Proposio 9.1 Se I : V W um isomorfismo, ento I (0) = 0. Ou seja a imagem por
I do zero de V o zero de W .
Demonstrao. Como I linear I (0) = I (0.0) = 0.I (0) = 0.
Proposio 9.2 Se I : V W um isomorfismo, ento existe a aplicao inversa, que
vamos designar por I 1 : W V , que tambm um isomorfismo.
Demonstrao. Como I bijectiva a cada w W existe um nico v V tal que I (v) = w,
vamos designar esse v por I 1 (w). Fica assim definida uma aplicao I 1 : W V que
bijectiva. Falta verificar que I 1 linear. Por um lado temos
I (xv) = xI (v) I 1 (I (xv)) = I 1 (xI (v)) xv = I 1 (xI (v)) ,
pelo que designando I (v) por w, temos v =I 1 (w) e a igualdade acima l-se (trocando o
membro esquerdo com o direito)
I 1 (xw) = xI 1 (w) .
Por outro lado
I (v1 + v2 ) = I (v1 ) + I (v2 )

I 1 (I (v1 + v2 )) = I 1 (I (v1 ) + I (v2 ))

v1 + v2 = I 1 (I (v1 ) + I (v2 )) ,

pelo que designando I (vk ) por wk , temos vk =I 1 (wk ) e ltima igualdade acima l-se (trocando o membro esquerdo com o direito)
I 1 (w1 + w2 ) = I 1 (w1 ) + I 1 (w2 ) .

Definio 9.2 Dois espaos vectoriais, V e W , so isomorfos se existe um isomorfismo

I : V W.
Teorema 9.3 Se I : V W um isomorfismo, ento os vectores v1 , v2 , ..., vn V
1. so linearmente independentes se e s se o mesmo acontece com I (v1 ) , I (v2 ) , ..., I (vn ) .
2. geram o espao V se e s se I (v1 ) , I (v2 ) , ..., I (vn ) geram o espao o espao W .

9 a AULA 2011.10.21

AL

LEGM; MEC

APONTAMENTOS

(RICARDO.COUTINHO@MATH.IST.UTL.PT)

Demonstrao. Comecemos por notar que como I linear temos (para quaisquer escalares
x1 , x2 , ..., xn )
I (x1 v1 + x2 v2 + + xn vn ) = I (x1 v1 ) + I (x2 v2 ) + + I (xn vn )
= x1 I (v1 ) + x2 I (v2 ) + + xn I (vn )
1. Usando tambm a Proposio 9.1 e a independncia dos vectores v1 , v2 , ..., vn , temos
x1 I (v1 ) + x2 I (v2 ) + + xn I (vn ) = 0 I (x1 v1 + x2 v2 + + xn vn ) = 0
x1 v1 + x2 v2 + + xn vn = 0
x1 = x2 = = xn = 0 ,
o que mostra que I (v1 ) , I (v2 ) , ..., I (vn ) so linearmente independentes.
2. Seja w W e v o nico vector de V tal que I (v) = w. Como por hiptese os vectores
v1 , v2 , ..., vn geram V , existem escalares x1 , x2 , ..., xn tais que
v = x1 v1 + x2 v2 + + xnvn .
Aplicando I a ambos termos desta igualdade, obtemos
w = I (v) = I (x1 v1 + x2 v2 + + xn vn )
= x1 I (v1 ) + x2 I (v2 ) + + xn I (vn ) .
Como w W era arbitrrio, mostrmos que os vectores I (v1 ) , I (v2 ) , ..., I (vm ) geram W .

Teorema 9.4 Se V tem dimenso finita n, ento V isomorfo a Rn .

Demonstrao. Seja B = (v1 , v2 , ..., vn ) uma base ordenada de um espao vectorial V .
Defina-se I : V Rn atravs da expresso
I (x1 v1 + x2 v2 + + xn vn ) = (x1 , x2 , ..., xn ) .
Vamos verificar que I um isomorfismo. injectiva porque
I (x1 v1 + x2 v2 + + xn vn ) = I (y1 v1 + y2 v2 + + yn vn )
(x1 , x2 , ..., xn ) = (y1 , y2 , ..., yn )
x1 v1 + x2 v2 + + xn vn = y1 v1 + y2 v2 + + yn vn .
sobrejectiva porque dado qualquer (x1 , x2 , ..., xn ) Rn , temos x1 v1 +x2 v2 + +xn vn V
e
I (x1 v1 + x2 v2 + + xn vn ) = (x1 , x2 , ..., xn ) .
linear porque
I (x (x1 v1 + x2 v2 + + xn vn )) = (xx1 , xx2 , ..., xxn ) = x (x1 , x2 , ..., xn )
= xI (x1 v1 + x2 v2 + + xn vn)

9 a AULA 2011.10.21

AL

LEGM; MEC

APONTAMENTOS

(RICARDO.COUTINHO@MATH.IST.UTL.PT)

e
I ((x1 v1 + x2 v2 + + xn vn ) + (y1 v1 + y2 v2 + + yn vn )) =
= I ((x1 + y1 ) v1 + (x2 + y2 ) v2 + + (xn + yn ) vn )
= (x1 + y1 , x2 + y2 , ..., xn + yn )
= (x1 , x2 , ..., xn ) + (y1 , y2 , ..., yn )
= I (x1 v1 + x2 v2 + + xn vn ) + I (y1 v1 + y2 v2 + + yn vn )
Dada uma base ordenada B = (v1 , v2 , ..., vn ) de um espao vectorial V de dimenso finita n,
definimos o isomorfismo natural (ou isomorfismo cannico) I entre V e Rn para essa
base atravs da expresso
I (x1 v1 + x2 v2 + + xn vn ) = (x1 , x2 , ..., xn )
ou seja se v V , vem I (v) = (x1 , x2 , ..., xn ), onde x1 , x2 , ..., xn so as coordenadas de v na
base ordenada B.
Com base nestes isomorfismos naturais vamos poder analisar se determinados conjuntos
em espaos vectoriais de dimenso finita so conjuntos geradores do espao, linearmente
independentes ou bases, usando os teoremas 6.1, 7.2 e 8.1 respectivamente. Claro que para
isto ser possvel temos de conhecer, priori, uma base do espao vectorial em causa.
Exemplo 9.2 No espao M22 das matrizes 2 2, temos que qualquer matriz A M22
pode ser escrita na forma [ xx13 xx24 ] e


x1 x2
1 0
0 1
0 0
0 0
= x1
+ x2
+ x3
+ x4
.
x3 x4
0 0
0 0
1 0
0 1
Por outro lado


x1 x2
0 0
=
x1 = x2 = x3 = x4 = 0 .
x3 x4
0 0
Conclumos ento que E = ([ 10 00 ] , [ 00 10 ] , [ 01 00 ] , [ 00 01 ]) uma base ordenada de M22 .

Vamos agora mostrar que B = {[ 10 00 ] , [ 10 10 ] , [ 11 10 ] , [ 11 11 ]} tambm uma base de M22 .

Usando o isomorfismo natural entre M22 munido da base E e R4 , apenas precisamos mostrar que {(1, 0, 0, 0) , (1, 1, 0, 0) , (1, 1, 1, 0) , (1, 1, 1, 1)} uma base de R4 o que imediato do
Teorema 8.1, porque a matriz

1 1 1 1
0 1 1 1

0 0 1 1
0 0 0 1
tem caracterstica 4.
0 1
0 1
Do mesmo modo, podemos mostrar que [ 10 01 ] , [ 1
0 ] , [ 1 0 ] so linearmente independentes
usando o Teorema 7.2, porque a matriz

1 0 0
0 1 1

0 1 1
1 0 0

tem caracterstica 3.