Ho risolto da solo, il mio dubbio era assolutamente stupido, essendo i vettori linearmente indipendenti (mettiamo in generale n vettori) sono &quot;di conseguenza&quot; (sottolineo le virgolette) generatori, quindi i vettori dati constituiscono una base, e la dimensione dello Span dovrebbe essere esattamente il numero dei vettori che costituiscono tale base. Mentre per quanto riguarda il vettore eliminabile, basta esaminare la matrice associata al sistema e verificare quali vettori dipendono da altri, quindi questi ultimi sono eliminabili (o meglio, basta vedere il rango della matrice). Se ho detto qualche castroneria, fatemelo presente!