com tneq0. Portanto há solução não trivial e S é linearmente dependente.
Passo 3
Como encontramos dependência, vemos que
Isso mostra que é redundante. Basta então ficar com
Esse conjunto tem três vetores em e é formado pelos vetores-canônicos, que são conhecidos por serem linearmente independentes e geram todo . Como e , concluímos que gera o mesmo subespaço de .
Resposta
S não é linearmente independente.
Um subconjunto independente que gera o mesmo subespaço é