Theorem
Consider a vector space over
. Let
be a particular vector in
, and let
be in a basis for
for all
. Then, the equation
where the left hand side is a linear combination of the vectors in the basis, has a unique list of coefficients for each element
.
Proof
Let us assume that there are two distinct sets of coefficients corresponding to the same vector . I.e, there exist
such that
Since the two sums are equal, by axiom 1.4 of a vector space, their difference is the zero vector,
But we know that the ‘s are a basis for
, so they are linearly independent. It follows then that
Which contradicts our assumption that the sets are distinct.