em e pede para decidir se gera . Para isso, vamos usar o conceito de posto (rank) de uma matriz cujas colunas são esses vetores: gera se, e somente se, o posto for .
Passo 2
Formamos a matriz cujas colunas são os vetores de :
Passo 3
Aplicamos eliminação de Gauss para encontrar o posto de M. Usamos a primeira linha como pivô e eliminamos abaixo: