inner product spaces

Inner product spaces are fundamental in functional analysis and facilitate defining orthogonality and projections.