定義
E を実数体 R 上の線形空間とする。
p : E → R を写像で任意の x ∈ E と任意の λ ≧ 0 に対して
p(λx) = λp(x) とする。
このとき p を E 上の正の半同次形式と言う。