Degeneracy (mathematics)

Last updated

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]

Contents

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

Conic section

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

The three types of degenerate triangles, all of which contain zero area. Degenerate Triangles.png
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

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

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

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

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

Sphere

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

Other

See general position for other examples.

Elsewhere

See also

Related Research Articles

<span class="mw-page-title-main">Circle</span> Simple curve of Euclidean geometry

A circle is a shape consisting of all points in a plane that are at a given distance from a given point, the centre. The distance between any point of the circle and the centre is called the radius. The length of a line segment connecting two points on the circle and passing through the centre is called the diameter. A circle bounds a region of the plane called a disc.

<span class="mw-page-title-main">Parabola</span> Plane curve: conic section

In mathematics, a parabola is a plane curve which is mirror-symmetrical and is approximately U-shaped. It fits several superficially different mathematical descriptions, which can all be proved to define exactly the same curves.

<span class="mw-page-title-main">Triangle</span> Shape with three sides

A triangle is a polygon with three corners and three sides, one of the basic shapes in geometry. The corners, also called vertices, are zero-dimensional points while the sides connecting them, also called edges, are one-dimensional line segments. A triangle has three internal angles, each one bounded by a pair of adjacent edges; the sum of angles of a triangle always equals a straight angle. The triangle is a plane figure and its interior is a planar region. Sometimes an arbitrary edge is chosen to be the base, in which case the opposite vertex is called the apex; the shortest segment between base and apex is the height. The area of a triangle equals one-half the product of height and base length.

<span class="mw-page-title-main">Congruence (geometry)</span> Relationship between two figures of the same shape and size, or mirroring each other

In geometry, two figures or objects are congruent if they have the same shape and size, or if one has the same shape and size as the mirror image of the other.

<span class="mw-page-title-main">Straightedge and compass construction</span> Method of drawing geometric objects

In geometry, straightedge-and-compass construction – also known as ruler-and-compass construction, Euclidean construction, or classical construction – is the construction of lengths, angles, and other geometric figures using only an idealized ruler and a pair of compasses.

<span class="mw-page-title-main">Perpendicular</span> Relationship between two lines that meet at a right angle (90 degrees)

In geometry, two geometric objects are perpendicular if their intersection forms right angles at the point of intersection called a foot. The condition of perpendicularity may be represented graphically using the perpendicular symbol, ⟂. Perpendicular intersections can happen between two lines, between a line and a plane, and between two planes.

In mathematics, the matrix representation of conic sections permits the tools of linear algebra to be used in the study of conic sections. It provides easy ways to calculate a conic section's axis, vertices, tangents and the pole and polar relationship between points and lines of the plane determined by the conic. The technique does not require putting the equation of a conic section into a standard form, thus making it easier to investigate those conic sections whose axes are not parallel to the coordinate system.

In algebraic geometry and computational geometry, general position is a notion of genericity for a set of points, or other geometric objects. It means the general case situation, as opposed to some more special or coincidental cases that are possible, which is referred to as special position. Its precise meaning differs in different settings.

<span class="mw-page-title-main">Degenerate conic</span> 2nd-degree plane curve which is reducible

In geometry, a degenerate conic is a conic that fails to be an irreducible curve. This means that the defining equation is factorable over the complex numbers as the product of two linear polynomials.

<span class="mw-page-title-main">Square</span> Regular quadrilateral

In Euclidean geometry, a square is a regular quadrilateral, which means that it has four sides of equal length and four equal angles. It can also be defined as a rectangle with two equal-length adjacent sides. It is the only regular polygon whose internal angle, central angle, and external angle are all equal (90°), and whose diagonals are all equal in length. A square with vertices ABCD would be denoted ABCD.

<span class="mw-page-title-main">Focus (geometry)</span> Geometric point from which certain types of curves are constructed

In geometry, focuses or foci are special points with reference to which any of a variety of curves is constructed. For example, one or two foci can be used in defining conic sections, the four types of which are the circle, ellipse, parabola, and hyperbola. In addition, two foci are used to define the Cassini oval and the Cartesian oval, and more than two foci are used in defining an n-ellipse.

<span class="mw-page-title-main">Cross section (geometry)</span> Geometrical concept

In geometry and science, a cross section is the non-empty intersection of a solid body in three-dimensional space with a plane, or the analog in higher-dimensional spaces. Cutting an object into slices creates many parallel cross-sections. The boundary of a cross-section in three-dimensional space that is parallel to two of the axes, that is, parallel to the plane determined by these axes, is sometimes referred to as a contour line; for example, if a plane cuts through mountains of a raised-relief map parallel to the ground, the result is a contour line in two-dimensional space showing points on the surface of the mountains of equal elevation.

<span class="mw-page-title-main">Equidistant</span> Point that is at the same distance to every object in a given set

A point is said to be equidistant from a set of objects if the distances between that point and each object in the set are equal.

In geometry, collinearity of a set of points is the property of their lying on a single line. A set of points with this property is said to be collinear. In greater generality, the term has been used for aligned objects, that is, things being "in a line" or "in a row".

<span class="mw-page-title-main">Centre (geometry)</span> Middle of the object in geometry

In geometry, a centre or center of an object is a point in some sense in the middle of the object. According to the specific definition of centre taken into consideration, an object might have no centre. If geometry is regarded as the study of isometry groups, then a centre is a fixed point of all the isometries that move the object onto itself.

<span class="mw-page-title-main">Steiner inellipse</span> Unique ellipse tangent to all 3 midpoints of a given triangles sides

In geometry, the Steiner inellipse, midpoint inellipse, or midpoint ellipse of a triangle is the unique ellipse inscribed in the triangle and tangent to the sides at their midpoints. It is an example of an inellipse. By comparison the inscribed circle and Mandart inellipse of a triangle are other inconics that are tangent to the sides, but not at the midpoints unless the triangle is equilateral. The Steiner inellipse is attributed by Dörrie to Jakob Steiner, and a proof of its uniqueness is given by Dan Kalman.

<span class="mw-page-title-main">Conic section</span> Curve from a cone intersecting a plane

A conic section, conic or a quadratic curve is a curve obtained from a cone's surface intersecting a plane. The three types of conic section are the hyperbola, the parabola, and the ellipse; the circle is a special case of the ellipse, though it was sometimes called as a fourth type. The ancient Greek mathematicians studied conic sections, culminating around 200 BC with Apollonius of Perga's systematic work on their properties.

<span class="mw-page-title-main">Line segment</span> Part of a line that is bounded by two distinct end points; line with two endpoints

In geometry, a line segment is a part of a straight line that is bounded by two distinct end points, and contains every point on the line that is between its endpoints. It is a special case of an arc, with zero curvature. The length of a line segment is given by the Euclidean distance between its endpoints. A closed line segment includes both endpoints, while an open line segment excludes both endpoints; a half-open line segment includes exactly one of the endpoints. In geometry, a line segment is often denoted using an overline (vinculum) above the symbols for the two endpoints, such as in AB.

In mathematics, a limiting case of a mathematical object is a special case that arises when one or more components of the object take on their most extreme possible values. For example:

In Euclidean geometry, a triangle conic is a conic in the plane of the reference triangle and associated with it in some way. For example, the circumcircle and the incircle of the reference triangle are triangle conics. Other examples are the Steiner ellipse, which is an ellipse passing through the vertices and having its centre at the centroid of the reference triangle; the Kiepert hyperbola which is a conic passing through the vertices, the centroid and the orthocentre of the reference triangle; and the Artzt parabolas, which are parabolas touching two sidelines of the reference triangle at vertices of the triangle.

References

  1. 1 2 3 4 5 Weisstein, Eric W. "Degenerate". mathworld.wolfram.com. Retrieved 2019-11-29.
  2. "Definition of DEGENERACY". www.merriam-webster.com. Retrieved 2019-11-29.
  3. 1 2 3 "Mathwords: Degenerate". www.mathwords.com. Retrieved 2019-11-29.
  4. "Mathwords: Degenerate Conic Sections". www.mathwords.com. Retrieved 2019-11-29.