Degenerate Form

Degenerate Form

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

for all

A nondegenerate or nonsingular form is one that is not degenerate, meaning that is an isomorphism, or equivalently in finite dimensions, if and only if

for all implies that x = 0.

If V is finite-dimensional then, relative to some basis for V, a bilinear form is degenerate if and only if the determinant of the associated matrix is zero – if and only if the matrix is singular, and accordingly degenerate forms are also called singular forms. Likewise, a nondegenerate form is one for which the associated matrix is non-singular, and accordingly nondegenerate forms are also referred to as non-singular forms. These statements are independent of the chosen basis.

There is the closely related notion of a unimodular form and a perfect pairing; these agree over fields but not over general rings.

The most important examples of nondegenerate forms are inner products and symplectic forms. Symmetric nondegenerate forms are important generalizations of inner products, in that often all that is required is that the map be an isomorphism, not positivity. For example, a manifold with an inner product structure on its tangent spaces is a Riemannian manifold, while relaxing this to a symmetric nondegenerate form yields a pseudo-Riemannian manifold.

Read more about Degenerate Form:  Infinite Dimensions, Terminology

Famous quotes containing the words degenerate and/or form:

    It would seem as if the very language of our parlors would lose all its nerve and degenerate into palaver wholly, our lives pass at such remoteness from its symbols, and its metaphors and tropes are necessarily so far fetched.
    Henry David Thoreau (1817–1862)

    ‘A thing is called by a certain name because it instantiates a certain universal’ is obviously circular when particularized, but it looks imposing when left in this general form. And it looks imposing in this general form largely because of the inveterate philosophical habit of treating the shadows cast by words and sentences as if they were separately identifiable. Universals, like facts and propositions, are such shadows.
    David Pears (b. 1921)