Inner Products and Orthogonality

If a Banach space is endowed with the additional geometric structure of an inner product, one obtains a Hilbert space, which preserves many further properties of a finite-dimensional vector space. In particular, one has the useful tools of orthogonal projections and orthonormal bases.