O enunciado pede para mostrar duas propriedades do subespaço gerado de um conjunto em um espaço vetorial sobre um corpo . Vamos usar a definição de gerador (span) por combinações lineares finitas:
Com essa descrição, fica direto comparar spans de diferentes conjuntos e também de spans iterados.
Passo 2
Prova de (a): se Ssubseteq T, então todo vetor de >=r(S) é combinação linear de vetores em S, mas como cada siin S também está em T, essa mesma combinação mostra que
sumi=1^nalphai,si;in;>=r(T)
Logo todo elemento de >=r(S) está em >=r(T), ou seja
>=r(S);subseteq;>=r(T)
Passo 3
Prova de (b): queremos >=r[>=r(S)]=>=r(S).
Como Ssubseteq>=r(S), aplicando (a) com T=>=r(S) segue
>=r(S);subseteq;>=r[>=r(S)]
Por outro lado, se xin>=r[>=r(S)], então
x=sumi=1^nalphai,ti com tiin>=r(S)
Cada ti é combinação linear de vetores em S, digamos ti=sumjbetaijsij. Substituindo em x obtém-se uma combinação linear de elementos de S, logo xin>=r(S). Assim
>=r[>=r(S)];subseteq;>=r(S)
Com as duas inclusões concluímos a igualdade.
Resposta
(a) Se Ssubseteq T então >=r(S)subseteq>=r(T).
(b) >=r[>=r(S)]=>=r(S).