The Inner Product is a Bilinear map satisfying:

  • Symmetry:
  • Linearity:
  • Positive definiteness: , with equality iff

The standard inner product on is the Dot Product: