A bilinear form B: V×V→K on a vector space (or module) whose radical {v∈V | B(v,w)=0 for all w∈V} is nontrivial. Equivalently its Gram matrix (with respect to some basis) is singular, so B fails to induce an isomorphism V→V* or a nondegenerate pairing on V.

Principle

Degeneracy is the failure of the nondegeneracy condition: precisely, the existence of nonzero vectors annihilated by the form. This obstructs passage to duals, inversion of the Gram matrix, and many orthogonality arguments that rely on trivial radical.

Demonstration

Concrete instance: on K^2 with coordinates (x,y) define B((x,y),(x',y')) = x x'. The Gram matrix relative to the standard basis is [[1,0],[0,0]], determinant 0, and the radical is span{(0,1)}. In algebraic geometry, a quadratic form on a family that acquires a radical on the special fiber exhibits this degeneration.

Misapplication

Treating a degenerate bilinear form as if it induced an isomorphism V→V* (for example inverting its Gram matrix) or using it as an inner product in analytic arguments without checking positivity and nondegeneracy. Another misuse is ignoring the radical when forming orthogonal complements, leading to incorrect dimension counts.

Consequence

When correctly recognized, degeneracy forces one to replace V by the quotient V/rad(B) to recover a nondegenerate pairing; classification and canonical forms change (one must record the radical), isotropic subspaces proliferate, and expected dualities or orthogonal decompositions fail or must be modified.

Reversal

Nondegenerate bilinear form: the radical is {0}, the Gram matrix is invertible, and V pairs perfectly with V*. Many standard theorems (Sylvester's law of inertia over fields of char≠2, orthogonal decompositions) apply in the reversed case.

Boundary

Applies to bilinear and quadratic forms over fields and modules; over rings there are extra phenomena (torsion, nilpotents) that complicate the notion of radical. In characteristic 2 one must distinguish symmetric versus alternating behavior; over general bases degeneracy can vary in families (rank jump locus).

Semantic Tension

'Degenerate' is used both for linear-algebraic singularity of a form (nontrivial radical) and informally for limits or pathological cases; it can be conflated with 'singular Gram matrix', 'isotropic', or 'limit of nonsingular forms'. The precise tension is between the algebraic kernel notion and heuristic ideas of collapse or limiting behaviour.

Synthesis

A Degenerate Bilinear Form is precisely a bilinear pairing with a nonzero radical; recognizing it requires tracking the kernel of the form and, when necessary, passing to the quotient to recover nondegenerate structure. This single failure—existence of nonzero vectors annihilated by the form—propagates into classification, duality, and geometric behaviour in families, and must be handled explicitly in proofs and constructions.