退化形式
数学、とくに線型代数学において、ベクトル空間 "V" 上の退化 (degenerate) 双線型形式 "f"("x", "y") とは、"V" から "V"*（"V" の双対空間）への formula_1 で与えられる写像が同型でないような双線型形式である。"V" が有限次元のときの同値な定義はそれが非自明な核をもつということである、すなわち次を満たす "V" の 0 でない元 "x" が存在する