You are on page 1of 4

11

Aula

2011.10.28

AL

LEG M ; M EC

Apontamentos

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

11.1

Subespaos

Se num espao vectorial V um subconjunto W V um espao vectorial para as mesmas


operaes de adio de vectores e multiplicao por escalares definidas em V , dizemos que
W um subespao de V .
Teorema 11.1 Se V um espao vectorial, ento um subconjunto no vazio W V um
subespao de V se e s se satisfaz as seguintes condies:
1. Fecho da adio: u, v W,

u+v W .

2. Fecho da multiplicao por um escalar: u W , K,

u W .

Demonstrao. Se W um subespao de V , ento um espao vectorial e em particular


tem que satisfazer as condies acima indicadas (propriedades axiomticas 1 e 6 descritas
na 5a Aula).
Se W um subconjunto de V e satisfaz com as condies acima indicadas, ento, dado
qualquer u W , temos
0.u = 0 W

(1) .u = u W ,

onde se usou a Proposio 5.2 e 5.4. Portanto as propriedades axiomticas 4 e 5 descritas


na 5a Aula so verificadas para W . As restantes propriedades axiomticas (para alm da 1
e 6 que so verdadeiras por hiptese) so obviamente verificadas para W , porque se o so
para todos os elementos de V tambm o so, em particular, para os elementos de W .
Exemplo 11.1 O subconjunto de R2 definido por W = {(n, 0) : n Z} no um subespao de R2 . De facto, apesar de ser fechado em relao soma, no fechado em relao
multiplicao por escalares:
(n, 0) W

mas

1
(1, 0)
/W .
2

Exemplo 11.2 O subconjunto de R2 definido por W = {(x, y) R2 : xy = 0} no um


subespao de R2 . De facto, apesar de ser fechado em relao multiplicao por escalares,
no fechado em relao soma:
(1, 0), (0, 1) W

mas (1, 0) + (0, 1) = (1, 1)


/W .

Exemplo 11.3 O subconjunto de R2 definido por W = {(x, y) R2 : y = 0} um subespao de R2 . De facto, se (x1 , y1 ) e (x2 , y2 ) pertencem a W , ento y1 = y2 = 0 e temos, para
qualquer R,
(x1 , y1 ) + (x2 , y2 ) = (x1 + x2 , 0) W

e (x1 , y1 ) = (x1 , 0)
/W .

11 a AULA 2011.10.28

AL

LEGM; MEC

APONTAMENTOS

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

Exemplo 11.4 O subconjunto de P5 definido por W = {p (t) P5 : p (0) = p (1)} um


subespao de P5 . De facto se p1 (t) , p2 (t) W , ento temos, para qualquer R,
p1 (0) + p2 (0) = p1 (1) + p2 (1)

e p1 (0) = p1 (1) ,

pelo que p1 (t) + p2 (t) W e p1 (t) W .


Se V um espao vectorial e 0 o seu zero, ento o conjunto {0} um subespao de V ,
designado por subespao trivial de V .
Note-se que se W um subespao de V , ento 0 W , isto o zero de V o zero de W (ver
demonstrao do teorema acima). Este facto serve muitas vezes de critrio para excluir a
hiptese de determinado subconjunto ser um subespao.
Exemplo 11.5 O subconjunto de P5 definido por W = {p (t) P5 : p (0) = p (1) + 1} no
um subespao de P5 . De facto basta reparar que o polinmio nulo no pertence a W .
Exemplo 11.6 O subconjunto de R2 definido por W = {(x, y) R2 : y = 1} no um
subespao de R2 . De facto basta reparar que (0, 0)
/ W.
Proposio 11.2 Se V um espao vectorial, ento um subconjunto no vazio W V
um subespao de V se e s se fechado para a combinao linear de vectores.
Demonstrao. Dado um subespao W de V , sejam 1 , 2 , . . . , n K e v1 , v2 , . . . , vn
W . Ento, usando o Teorema 11.1, j vj W , porque W fechado em relao multiplicao por escalares, e como tambm fechado em relao soma conclumos
1 v1 + 2 v2 + + n vn W .
Reciprocamente se fechado em relao s combinaes lineares sai imediatamente que
fechado em relao soma e multiplicao por escalares, porque v1 + v2 e v so casos
particulares de combinaes lineares.
Teorema 11.3 Se S um subconjunto de um espao vectorial V , ento a expanso linear
de S, L (S), o menor subespao de V que contm S.
Demonstrao. Como a soma de duas combinaes lineares de elementos de S ainda uma
combinao linear de elementos de S e a multiplicao por um escalar de uma combinao
linear de elementos de S ainda uma combinao linear de elementos de S, o Teorema 11.1
garante que L (S) (o conjunto de todas as combinaes lineares com elementos de S) um
subespao de V . Tambm bvio que L (S) contm o conjunto S. Resta ver que o menor
subespao de V que contm S, ou seja
se W um subespao que contm S, ento tambm contm L (S) .
Mas pela Proposio 11.2, se W um subespao que contm S ento qualquer combinao
linear de elementos de S ainda pertence a W , ou seja L (S) W.
De acordo com este teorema, dados n vectores linearmente independentes v1 , v2 , . . . , vn de
um espao vectorial V , a sua expanso linear subespao de V que admite como base o
conjunto formado por estes mesmos vectores, e portanto, tem dimenso n:
se v1 , v2 , . . . , vn so linearmente independentes ,

dim L {v1 , v2 , . . . , vn } = n.

11 a AULA 2011.10.28

AL

LEGM; MEC

APONTAMENTOS

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

Exemplo 11.7 A expanso linear gerada pelos vectores (1, 0, 0) e (0, 1, 0) um subespao
linear. Este subespao tem dimenso 2 porque gerado por dois vectores linearmente independentes:
dim L {(1, 0, 0) , (0, 1, 0)} = 2 .
Geometricamente este subespao o plano XY em R3 .
Em rigor, devamos ter imposto a condio S = nas condies do Teorema 11.3. No o
fizemos, porque, motivados pelo prprio teorema, vamos adoptar a seguinte definio que
torna esse teorema vlido mesmo no caso S = ; porque o menor subespao de um espao
vectorial V que contm o conjunto vazio o subespao trivial de V .
Definio 11.1 Num espao vectorial V , a expanso linear do conjunto vazio o subespao
trivial de V :
{0} = L () .
Na sequncia desta definio, impe-se tambm a seguinte definio.
Definio 11.2 Num espao vectorial, a base do subespao trivial o conjunto vazio .
Proposio 11.4 Seja V um espao vectorial. Se S V um conjunto linearmente independente e se w V tal que w L
/ (S), ento o conjunto S {w} linearmente independente.
Demonstrao. Sejam v1 , v2 , . . . , vn S e suponha-se que
x1 v1 + x2 v2 + + xn vn + xn+1 w = 0 .
Se, por absurdo, xn+1 = 0, viria
w=

x1
x2
xn
v1
v2
vn ,
xn+1
xn+1
xn+1

o que no pode acontecer visto que w L


/ (S).
Portanto xn+1 = 0, e a relao acima escreve-se
x1 v1 + x2 v2 + + xn vn = 0 .
Consequentemente, como S linearmente independente, temos x1 = x2 = = xn = xn+1 =
0.
Teorema 11.5 Se V um espao vectorial de dimenso finita e W V um subespao de
V , ento existe uma base de W e dim W  dim V .
Demonstrao. Se W = {0} o resultado bvio. Se W = {0}, ento existe 0 = w1 W .
Se L {w1 } = W a demonstrao termina, caso contrrio existe1 w2 W \ L {w1 } e,
1

Dados dois conjuntos A e B, o conjunto A \ B definido por


A \ B = {x A : x
/ B} .

11 a AULA 2011.10.28

AL

LEGM; MEC

APONTAMENTOS

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

pela Proposio 11.4, {w1 , w2 } linearmente independente. Se L {w1 , w2 } = W a demonstrao termina, caso contrrio existe w3 W \ L {w1 , w2 } e, pela Proposio 11.4,
{w1 , w2 , w3 } linearmente independente. Continuando este raciocnio, haver uma altura
em que L {w1 , w2 , . . . , wn } = W , com n  dim V , porque de acordo com a Proposio 8.3
no pode haver um nmero maior que dim V de vectores de V linearmente independentes.

Teorema 11.6 Se V um espao vectorial de dimenso finita e W V um subespao tal


que dim W = dim V , ento W = V .
Demonstrao. Seja {w1 , w2 , . . . , wn } uma base de W . Se por absurdo existe v V \ W ,
ento de acordo com a Preposio 11.4 o conjunto {w1 , w2 , . . . , wn , v} seria linearmente
independente o que impossvel porque dim V = dim W = n.

11.2

Subespaos de R2 e R3

De acordo com o Teorema 11.5 podemos classificar os subespaos de acordo com a sua
dimenso. Vamos assim classificar todos os subespaos de R2 e R3 .
Seja W um subespao de R2
1. Se dim W = 0, ento W = {(0, 0)}; W o subespao trivial de R2 .
2. Se dim W = 1, ento existe (0, 0) = v R2 tal que W = L (v) = {tv : t R} ; W
uma recta que passa na origem.
3. Se dim W = 2, ento W = R2 .
Seja W um subespao de R3
1. Se dim W = 0, ento W = {(0, 0, 0)}; W o subespao trivial de R3 .
2. Se dim W = 1, ento existe (0, 0) = v R2 tal que W = L (v) = {tv : t R}; W
uma recta que passa na origem.
3. Se dim W = 2, ento existem u e v vectores no colineares, ou seja linearmente independentes, tais que W = L (u, v) = {su + tv : s, t R}; W um plano que passa na
origem.
4. Se dim W = 3, ento W = R3 .
Exemplo 11.8 A recta W = {(x, y, z) : x + y = 0
pao de R3 de dimenso 1.

e z = 0} = L ((1, 1, 0)) um subes-

Exemplo 11.9 O plano W = {(x, y, z) : x + 2y + 3z = 0} = L ((2, 1, 0) , (3, 0, 1)) um


subespao de R3 de dimenso 2.

You might also like