In vector space V4 any four linearly independent vectors form a basis. Let us extend
{(1,1,1,1),(1,2,1,2)} to {(1,1,1,1),(1,2,1,2),(0,0,1,0),(0,0,0,1)}.
Since ∣∣1100120011101201∣∣=∣∣1000110010101101∣∣=1=0, we conclude that the vectors
(1,1,1,1),(1,2,1,2),(0,0,1,0),(0,0,0,1) are linearly independent, and thus form a basis of V4.
Comments