Académique Documents
Professionnel Documents
Culture Documents
v1 , v2 ,..., vn
Sejam
v1 , v2 ,..., vn
um subespao
vetorial de V.
Demonstrao Vamos mostrar que S fechado em relao s operaes adio e multiplicao por escalar.
Se
u = a1v1 + a 2 v2 + ... + a n vn
v = b1v1 + b2 v2 + ... + bn vn
para todo
Como
real.
u+v
so CL de
v1 , v2 ,..., vn
A = {v1 , v2 ,..., vn }
indicado por
R2
gerado por
e1 = (1,0 )
e2 = (0,1)
Exemplo 2
O subespao do
R3
gerado por
v1 = (2,1,1)
v2 = (1,2,3)
(x, y, z ) [v1 , v2 ], ento existem a1 , a2 R tal que (x, y, z ) = a1v1 + a2 v2 , equivale dizer que o sistema
2 1 x
1 2 y
1 3 z
ou
2 1
x
0 5 2 y + x
0 5 2 z x
2 y + x = 2z x
z = x+ y
Professor Paulo Winterle
(2, 3, 5), (5, -4, 1), (0, 0, 0), etc., onde em todos se tem
Logo,
z = x+ y.
[v1 , v2 ] = {(x, y, x + y ); x, y R}
Graficamente este conjunto representa um plano que passa pela origem, conforme sugere a figura.
VETORES SUPRFLUOS
No intuito de simplificar a demonstrao a seguir, trataremos de apenas trs vetores. A generalizao para
Sejam
v1 v2
v3
vetores de um vetorial
. Se
vetores trivial.
v2
v3 :
v 3 = a1v1 + a2 v2 , vem
ou
e X CL de
v1
v 2 , isto ,
[v1 , v2 , v3 ] , digamos
X = b1v1 + b2 v2 + b3 v3 .
X = b1v1 + b2 v2 + b3 (a1v1 + a2 v2 )
v3
v1 v2
(ser CL de
v2 = (1,2,3)
e mostrar que
2 1 8 x
1 2 1 y
1 3 9 z
[v1 , v2 , v3 ] = [v1 , v2 ]
[v1 , v2 , v3 ] = [v1 , v2 ]
z = x+ y
ou
2 1 8
x
0 5 10 2 y + x
0 5 10 2 z x
afirmando:
3
Um plano no R pode ser gerado por 2, 3, 4, 5,... vetores todos coplanares, porm, o nmero mnimo de vetores a gerarem o
plano 2, e, portanto, os demais so vetores suprfluos no conjunto gerador.
Esta mesma idia estende-se a todo o subespao gerado. Todavia, em nosso estudo, estaremos sempre interessados no
menor conjunto gerador de um subespao.
Exemplo 4
Os vetores
geram o
R3
pois para
( x, y, z ) R 3 , o sistema
1 1 1 x
0 1 1 y
0 0 1 z
[v1 , v2 , v3 ] = R 3
Quer dizer, o R pode ser gerado por 3, 4, 5, .... vetores, porm, o nmero mnimo de vetores que o geram 3, sendo os
demais suprfluos.
Exemplo 5
E qual o subespao gerado por um s vetor
v 0?
V = R3
[v] = {v / R} .