Take the inner product linear in its first argument; for a real space no conjugation convention is needed. Insert into the orthogonality condition against each basis vector . The normal equations are
Equivalently , where and . This orientation of the Gram matrix matches the stated inner-product convention. It is Hermitian and positive definite: for a nonzero coefficient vector ,
by linear independence of the basis. Hence is invertible and gives existence and uniqueness of . For an orthonormal basis this simplifies to ; for a general basis the Gram inverse correctly accounts for interactions between basis vectors.

Articles by others on the same topic (0)

There are currently no matching articles.