e pede para decidir se eles geram . Para isso, vamos usar o conceito de posto de um conjunto de vetores: eles geram se, ao colocá-los como linhas (ou colunas) de uma matriz, o posto for igual a 4 (a dimensão de ).
Passo 2
Formamos a matriz cujas linhas são e aplicamos eliminação de Gauss para encontrar o posto.
Na forma escalonada final vemos quatro linhas não nulas, ou seja, quatro pivôs.
Passo 3
O posto da matriz é 4, que é exatamente a dimensão de R^4. Logo, qualquer vetor de R^4 pode ser escrito como combinação linear de v1,dots,v5.