なおformula_41の定義における係数は、後述する内積から定義されるノルムが1になるよう選んだものである。