miniature_Expressions for vectors in orthonormal bases

Proposition

Let be a vector space with an orthonormal basis . Then for any vector the coefficient in front of in the decomposition of in will be . As a formula,

Link to original