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.