For any orthonormal basis of , bilinearity givesTogether with , these identities prove pairwise orthogonality. The construction subtracts the orthogonal projection onto a finite-dimensional subspace from , leaving the orthogonal projection residual.
Articles by others on the same topic
There are currently no matching articles.