Basis/Dual basis/Tautological lemma/Fact

Let be a finite-dimensional -vector space, endowed with a basis , and the corresponding dual basis

Then, for every vector

, the equality

holds.

The linear forms yield the scalars (coordinates) of a vector with respect to a basis.