Given a real or complex Vector Space , and an Inner Product on we say that is an inner product space. Orthonormal Sequence Orthonormal Basis Theorem For all we have: Properties Polarisation Identity Parallelogram Law Pythagoras Theorem Let be an inner product space. Then the Completion of is also an inner product space