Definition

  • With
  • Fixing
  • Let the inner product be the standard inner product
  • Then,

Theorems