Use the convention that the inner product is conjugate-linear in its first argument; the real case is the same without conjugates. Linear independence makes the Gram matrix positive definite, so exists and is Hermitian. Define the Riesz dual basis in an inner product space within by
Then . Its own Gram entries are
Hence the inverse Gram matrix is the Gram matrix of the dual vectors:
The dual vectors are required to lie in ; adding arbitrary vectors orthogonal to that subspace would preserve the displayed biorthogonality but would destroy this conclusion.