Professional Documents
Culture Documents
Aula
2011.10.21
AL
LEGM ; M EC
Apontamentos
9.1
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
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 (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) .
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 ) .
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 .
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 .
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.