２次形式(quadratic form) - iPhoneアプリ作成のために

基礎体Kの標数は２ないと仮定する。

K係数の１次結合

<L| = a1<v1|+...+an<vn| ∈V*

はV上の関数

L(|v>))=<L|v>=Σai<vi|v>

を定める。

同様にV上の２次形式

Q = Σaij <vi|<vj|

Q(|v>)= Σaij <vi|v><vj|v>

を定める。

---