Given a real or complex Vector Space ,
an inner product on is a function (or ) such that:

  1. and

This induces a Norm
Inner Product Space