In mathematics, specifically linear algebra, a degenerate bilinear form on a vector space V is a bilinear form such that the map from V to V^* (the dual space of V) given by 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