The unit coordinate vectors in are defined by
where the 1 is in the th position. We know that these form a basis for . Prove that they also form a basis for .
Proof. First, span since if is any vector then
Further, are independent in since
Hence, . Therefore, the unit coordinate vectors form a basis for
Seems unnecessary to prove they are independent.