ここで、formula_5をベクトル空間formula_6上の標準的な内積とすると、formula_7である。