In mathematics, specifically linear algebra, a degenerate bilinear formf(x, y) on a vector space V is a bilinear form such that the map from V to V∗ (the dual space of V) given by v ↦ (x ↦ f(x, v)) is not an isomorphism. An equivalent definition when V is finite-dimensional is that it has a non-trivial kernel: there exist some non-zero x in V such that
f ( x , y ) = 0 {\displaystyle f(x,y)=0\,} for all y ∈ V . {\displaystyle y\in V.} reference
