In mathematics, specifically linear algebra, a degenerate bilinear form on a vector space is a bilinear form such that the map from to (the dual space of ) given by has a non-trivial kernel, i.e. there exist some non-zero in such that for all .
An equivalent definition when is finite-dimensional is that the previous map is not an isomorphism.