A bilinear form B: V × V → F on a vector space V over a field F that has a nontrivial kernel: there exists a nonzero v in V such that B(v,w)=0 for every w in V. Equivalently the linear map V → V* induced by v ↦ B(v,−) is not injective.

Principle

Degeneracy is the failure of the bilinear pairing to induce an isomorphism V ≅ V*; it is detected by the presence of isotropic (annihilating) vectors and by the form's matrix having rank strictly less than dim V (determinant zero when matrix is square).

Demonstration

On F^2 with coordinates (x,y) define B((x1,y1),(x2,y2)) = x1 x2. The associated matrix is [[1,0],[0,0]] so the vector (0,1) is nonzero but B((0,1),w)=0 for all w; B is degenerate.

Misapplication

Calling a bilinear form degenerate because it is not symmetric, or because it vanishes on some particular pair of vectors, without checking whether a nonzero vector annihilates all arguments. Confusing degeneracy with the property of having zero values on some pairs rather than having a nontrivial kernel.

Consequence

Presence of a nontrivial radical (the set of vectors annihilating everything) prevents inverting the form to identify V with its dual, changes classification (e.g. Witt decomposition) and allows isotropic subspaces; certain canonical constructions (orthogonal complements, determinants, signatures) must be adapted or are undefined.

Reversal

A nondegenerate bilinear form has trivial kernel, induces an isomorphism V → V*, and its representing matrix is of full rank; no nonzero vector pairs to zero with every vector.

Boundary

Statement assumes a bilinear pairing on a vector space (or free module) over a field; over general modules, over rings without duals, or for sesquilinear/Hermitian forms the notion and tests of degeneracy must be adjusted. Infinite-dimensional settings require attention to algebraic versus topological duals.

Semantic Tension

Degenerate vs singular (matrix determinant zero) are closely related but context matters: 'singular matrix' refers to a chosen basis representation, while 'degenerate form' is the basis-independent property; degeneracy also differs from being isotropic (a vector with zero self-pairing) which is weaker.

Synthesis

A degenerate bilinear form is exactly a bilinear pairing that fails to pair some nonzero vector nontrivially with all vectors; algebraically it is the property that the induced map to the dual has a nonzero kernel, with concrete consequences for invertibility, orthogonality theory and classification.