Inner Product Space

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