ALGEBRA LINEAR – Subespaços Vetoriais - RESUMO

Definição (52) Um conjunto não vazio V munido com duas operações

AB (onde A , B  V)
rA (onde r  IR e A  V)
será chamado um espaço vetorial ( real ) se são satisfeitas as 10 seguintes propriedades
[1] Se A  V e B  V, então AB  V
[2] AB = BA (Comutatividade)
[3] (AB)C = A(BC) (Associatividade)
[4] Existe um elemento D  V tal que AD = A = DA para qualquer A  V
[5] Para cada A  V existe um elemento A*  V tal que AA* = D = A*A
[6] Se r  IR e A  V, então rA  V.
[7] 1A = A para qualquer A  V
[8] r(AB) = (rA)(rB) para qualquer r  IR e para qualquer A , B  V
[9] (r+s)A = (rA)(sA) para qualquer r , s  IR e para qualquer A  V
[10] r(sA) = (rs)A para qualquer r , s  IR e para qualquer A  V

Como exemplos de espaços vetoriais temos R2 , R3 , R4 , e em geral Rn.

Considerando qualquer um dos ( Rn ,  ,  )

espaços vetoriais V = (Rn ,  ,  ) Satisfaz as propriedades [1] a [10]
estamos interessados em subconjuntos
não vazios W de V que quando levam Será que ( W ,  ,  )
em consideração as operações  e  também satisfaz as
herdadas de V satisfazem as 10 propriedades [1] a [10]?
propriedades da Definição (52), isto é,
que (W ,  ,  ) seja em si um espaço
vetorial.

Na página 28 o resultado 79 responde esta questão de forma simplificada

Teorema (79) Seja ( V , + ,  ) um espaço

vetorial real e seja W um subconjunto de
V. Se as duas propriedades
W Se A , B  W e r  R
[1] Se A  W e B  W, então A+B  W Rn
AB  W ?
[2] Se r  R e A  W, então rA  W rA  W ?
são satisfeitas, então W é um subespaço
vetorial de V.

Observação A As propriedades [1] e [2] do Teorema (79) devem ser provadas usando elementos
genéricos (NÃO NUMÉRICOS):
A = (a1,a2,...an) , B = (b1,b2,...bn) , r , C = (c1,c2,...cn)
Observação B Você só pode usar exemplos numéricos
A = (5,-1,...,8)  W , B = (3,0,...,-2)  W , r = 4 , C = (0,9,...,6)  W
(i) para provar que a propriedade [1] do Teorema (79) FALHA, isto é para provar que A+B  W
ou
(ii) para provar que a propriedade [2] do Teorema (79) FALHA, isto é para provar que rC  W

Definição (82) Seja V um espaço vetorial real e sejam A1 , A2 , ... , An  V. O conjunto

Span(A1 ; A2 ; ... ; An) = { r1A1 + r2A2 + ... + rnAn : r1 , r2 , ... , rn  IR }
é chamado de subespaço gerado por { A1 , A2 , ... , An }.

Proposição (81) Seja V um espaço vetorial real. Se A1 , A2 , ... , An  V, então

W = Span(A1 ; A2 ; ... ; An)
é um subespaço vetorial de V.

Observação C Como usar a Proposição (81)? Seja W um sub-conjunto de Rn. Se você conseguir
encontrar (determinar) vetores A1 , A2 , ... , Ap  Rn tais que
W = Span(A1,A2,...,Ap)
você terá provado que W é um sub-espaço vetorial de Rn.

Observação D Seja W um sub-conjunto de Rn. Para conseguirmos encontrar (determinar) vetores

A1 , A2 , ... , Ap  Rn tais que
W = Span(A1,A2,...,Ap)
usamos (quando possível) o método de DECOMPOSIÇÃO, isto é, dado
W = { ( Ex1(a,b,..,z) , Ex2(a,b,..,z) , ... , Exn(a,b,..,z) ) : a  R , b  R ,... , z  R }
decompomos

( Ex1(a,b,..,z) , Ex2(a,b,..,z) , ... , Exn(a,b,..,z) ) = Tantos somandos como letras diferentes existam
= 
, ,..., 
 
+ 
, ,..., 
 
+ ... + 
, ,..., 
 
R n
R n
R n

= a   , ,...,  + b   , ,...,  + ... + z   , ,..., 

     
A1 A2 Ap

mas não esqueça que SÓ TEMOS PERMIÇÃO PARA DECOMPOR, caso no conjunto W, depois do
símbolo TAL QUE: “:”, apareçam APENAS relações de pertinência: a  R , b  R ,... , z  R.

Proposição (80) Se V é um espaço vetorial real, então W 1 = {O} e W 2 = V são dois subespaço
vetorial de V (chamados subespaços triviais).

Proposição (84) Seja V um espaço vetorial real. Se W é um subespaço vetorial de V, então O  W

A utilidade da Proposição (84) está na recíproca

Proposição E Seja W um sub-conjunto de Rn. Se O  W, então W não é um sub-espaço de Rn.

Observação 7 Como usar a Proposição E? Seja W um sub-conjunto de Rn. Se você conseguir

provar que O  W você terá provado que W NÃO é um sub-espaço vetorial de Rn.

Observação 8 Se ocorrer que O  W infelizmente nada pode ser afirmado sobre W, isto é não se
pode garantir que W seja ou não seja um sub-espaço vetorial de Rn.