O enunciado pede para verificar se o conjunto de vetores em
gera todo . Em termos de teoria de espaços vetoriais, isso equivale a checar se o posto (rank) da matriz formada por esses vetores é igual a 4, pois um conjunto de vetores gera se, e somente se, sua dimensão do span for 4.
Passo 2
Formamos a matriz cujas linhas são os vetores dados:
O posto de A nos dirá quantos vetores independentes temos.
Passo 3
Aplicamos eliminação de Gauss para encontrar o número de pivôs: