Die angegebenen Vektoren mögen \(v_1,v_2,v_3,v_4\)
heißen, ferner seien \(e_1,e_2,e_3\) die Einheitsvektoren
der Standardbasis.
Dann kann man mit ein bisschen Experimentierfreude
herausbekommen, dass
\(e_1=v_1+v_2+v_3\)
\(e_2=v_3\)
\(e_3=v_1+v_3\)
ist, d.h.
Spann\((v_1,v_2,v_3)=\)Spann\((e_1,e_2,e_3)=\mathbb{Z}_2^3\).