Degeneracy (mathematics)

In mathematics, a degenerate case is a limiting case of a class of objects which appears to be qualitatively different from (and usually simpler than) the rest of the class;[1] "degeneracy" is the condition of being a degenerate case.[2]

The definitions of many classes of composite or structured objects often implicitly include inequalities. For example, the angles and the side lengths of a triangle are supposed to be positive. The limiting cases, where one or several of these inequalities become equalities, are degeneracies. In the case of triangles, one has a degenerate triangle if at least one side length or angle is zero. Equivalently, it becomes a "line segment".[3]

Often, the degenerate cases are the exceptional cases where changes to the usual dimension or the cardinality of the object (or of some part of it) occur. For example, a triangle is an object of dimension two, and a degenerate triangle is contained in a line,[3] which makes its dimension one. This is similar to the case of a circle, whose dimension shrinks from two to zero as it degenerates into a point.[1] As another example, the solution set of a system of equations that depends on parameters generally has a fixed cardinality and dimension, but cardinality and/or dimension may be different for some exceptional values, called degenerate cases. In such a degenerate case, the solution set is said to be degenerate.

For some classes of composite objects, the degenerate cases depend on the properties that are specifically studied. In particular, the class of objects may often be defined or characterized by systems of equations. In most scenarios, a given class of objects may be defined by several different systems of equations, and these different systems of equations may lead to different degenerate cases, while characterizing the same non-degenerate cases. This may be the reason for which there is no general definition of degeneracy, despite the fact that the concept is widely used and defined (if needed) in each specific situation.

A degenerate case thus has special features which makes it non-generic, or a special case. However, not all non-generic or special cases are degenerate. For example, right triangles, isosceles triangles and equilateral triangles are non-generic and non-degenerate. In fact, degenerate cases often correspond to singularities, either in the object or in some configuration space. For example, a conic section is degenerate if and only if it has singular points (e.g., point, line, intersecting lines).[4]

In geometry

edit

Conic section

edit

A degenerate conic is a conic section (a second-degree plane curve, defined by a polynomial equation of degree two) that fails to be an irreducible curve.

Triangle

edit
 
The three types of degenerate triangles, all of which contain zero area.

A degenerate triangle is a "flat" triangle in the sense that it is contained in a line segment. It has thus collinear vertices[3] and zero area. If the three vertices are pairwise distinct, it has two 0° angles and one 180° angle. If two vertices are equal, it has one 0° angle and two undefined angles. If all three vertices are equal, all three angles are undefined.

Rectangle

edit

A rectangle with one pair of opposite sides of length zero degenerates to a line segment, with zero area. If both of the rectangle's pairs of opposite sides have length zero, the rectangle degenerates to a point.

Hyperrectangle

edit

A hyperrectangle is the n-dimensional analog of a rectangle. If its sides along any of the n axes has length zero, it degenerates to a lower-dimensional hyperrectangle, all the way down to a point if the sides aligned with every axis have length zero.

Convex polygon

edit

A convex polygon is degenerate if at least two consecutive sides coincide at least partially, or at least one side has zero length, or at least one angle is 180°. Thus a degenerate convex polygon of n sides looks like a polygon with fewer sides. In the case of triangles, this definition coincides with the one that has been given above.

Convex polyhedron

edit

A convex polyhedron is degenerate if either two adjacent facets are coplanar or two edges are aligned. In the case of a tetrahedron, this is equivalent to saying that all of its vertices lie in the same plane, giving it a volume of zero.

Standard torus

edit
  • In contexts where self-intersection is allowed, a double-covered sphere is a degenerate standard torus where the axis of revolution passes through the center of the generating circle, rather than outside it.
  • A torus degenerates to a circle when its minor radius goes to 0.

Sphere

edit

When the radius of a sphere goes to zero, the resulting degenerate sphere of zero volume is a point.

Other

edit

See general position for other examples.

Elsewhere

edit

See also

edit

References

edit
  1. ^ a b c d e Weisstein, Eric W. "Degenerate". mathworld.wolfram.com. Retrieved 2019-11-29.
  2. ^ "Definition of DEGENERACY". www.merriam-webster.com. Retrieved 2019-11-29.
  3. ^ a b c "Mathwords: Degenerate". www.mathwords.com. Retrieved 2019-11-29.
  4. ^ "Mathwords: Degenerate Conic Sections". www.mathwords.com. Retrieved 2019-11-29.