Every Linear Functional on or is of the form of a Standard Inner Product

Theorem

  • If
  • Then, s.t

Proof

  • Let be arbitrary
  • Let be arbitrary
  • Then,
  • Then,
  • Note