Finite-dimensional vector space/Dual basis/Basis/Fact

< Finite-dimensional vector space < Dual basis < Basis

Let be a finite-dimensional -vector space, endowed with a basis .

Then the

dual basis

is a basis of the

dual space.