HOME

TheInfoList



OR:

In
geometry Geometry (; ) is, with arithmetic, one of the oldest branches of mathematics. It is concerned with properties of space such as the distance, shape, size, and relative position of figures. A mathematician who works in the field of geometry is c ...
, a singular point on a
curve In mathematics, a curve (also called a curved line in older texts) is an object similar to a line, but that does not have to be straight. Intuitively, a curve may be thought of as the trace left by a moving point. This is the definition that ...
is one where the curve is not given by a smooth embedding of a parameter. The precise definition of a singular point depends on the type of curve being studied.


Algebraic curves in the plane

Algebraic curves in the plane may be defined as the set of points satisfying an equation of the form f(x,y) = 0, where is a
polynomial In mathematics, a polynomial is an expression consisting of indeterminates (also called variables) and coefficients, that involves only the operations of addition, subtraction, multiplication, and positive-integer powers of variables. An exampl ...
function If is expanded as f = a_0 + b_0 x + b_1 y + c_0 x^2 + 2c_1 xy + c_2 y^2 + \cdots If the origin is on the curve then . If then the implicit function theorem guarantees there is a smooth function so that the curve has the form near the origin. Similarly, if then there is a smooth function so that the curve has the form near the origin. In either case, there is a smooth map from to the plane which defines the curve in the neighborhood of the origin. Note that at the origin b_0 = \frac, \; b_1 = \frac, so the curve is non-singular or ''regular'' at the origin if at least one of the
partial derivative In mathematics, a partial derivative of a function of several variables is its derivative with respect to one of those variables, with the others held constant (as opposed to the total derivative, in which all variables are allowed to vary). Pa ...
s of is non-zero. The singular points are those points on the curve where both partial derivatives vanish, f(x,y) = \frac = \frac = 0.


Regular points

Assume the curve passes through the origin and write y = mx. Then can be written f= (b_0 + m b_1) x + (c_0 + 2m c_1 + c_2 m^2)x^2 + \cdots. If b_0 + mb_1 is not 0 then has a solution of multiplicity 1 at and the origin is a point of single contact with line y = mx. If b_0 + mb_1 = 0 then has a solution of multiplicity 2 or higher and the line y = mx, or b_0x + b_1y = 0, is tangent to the curve. In this case, if c_0 + 2mc_1 + c_2m^2 is not 0 then the curve has a point of double contact with y = mx. If the coefficient of , c_0 + 2mc_1 + c_2m^2, is 0 but the coefficient of is not then the origin is a point of inflection of the curve. If the coefficients of and are both 0 then the origin is called ''point of undulation'' of the curve. This analysis can be applied to any point on the curve by translating the coordinate axes so that the origin is at the given point.


Double points

If and are both in the above expansion, but at least one of , , is not 0 then the origin is called a double point of the curve. Again putting y = mx, can be written f = (c_0 + 2m c_1 + c_2 m^2)x^2 + (d_0 + 3md_1 + 3 m^2 d_2 + d_3 m^3) x^3 + \cdots. Double points can be classified according to the solutions of c_0 + 2mc_1 + m^2c_2 = 0.


Crunodes

If c_0 + 2mc_1 + m^2c_2 = 0 has two real solutions for , that is if c_0c_2 - c_1^2 < 0, then the origin is called a ''
crunode In mathematics, a crunode (archaic) or node is a point where a curve intersects itself so that both branches of the curve have distinct tangent lines at the point of intersection. A crunode is also known as an ''ordinary double point''. For a ...
''. The curve in this case crosses itself at the origin and has two distinct tangents corresponding to the two solutions of c_0 + 2mc_1 + m^2c_2 = 0. The function has a
saddle point In mathematics, a saddle point or minimax point is a point on the surface of the graph of a function where the slopes (derivatives) in orthogonal directions are all zero (a critical point), but which is not a local extremum of the functi ...
at the origin in this case.


Acnodes

If c_0 + 2mc_1 + m^2c_2 = 0 has no real solutions for , that is if c_0c_2 - c_1^2 > 0, then the origin is called an '' acnode''. In the real plane the origin is an isolated point on the curve; however when considered as a complex curve the origin is not isolated and has two imaginary tangents corresponding to the two complex solutions of c_0 + 2mc_1 + m^2c_2 = 0. The function has a local extremum at the origin in this case.


Cusps

If c_0 + 2mc_1 + m^2c_2 = 0 has a single solution of multiplicity 2 for , that is if c_0c_2 - c_1^2 = 0, then the origin is called a ''cusp''. The curve in this case changes direction at the origin creating a sharp point. The curve has a single tangent at the origin which may be considered as two coincident tangents.


Further classification

The term ''node'' is used to indicate either a crunode or an acnode, in other words a double point which is not a cusp. The number of nodes and the number of cusps on a curve are two of the invariants used in the Plücker formulas. If one of the solutions of c_0 + 2mc_1 + m^2c_2 = 0 is also a solution of d_0 + 3md_1 + 3m^2d_2 + m^3d_3 = 0, then the corresponding branch of the curve has a point of inflection at the origin. In this case the origin is called a ''flecnode''. If both tangents have this property, so c_0 + 2mc_1 + m^2c_2 is a factor of d_0 + 3md_1 + 3m^2d_2 + m^3d_3, then the origin is called a ''biflecnode''.


Multiple points

In general, if all the terms of degree less than are 0, and at least one term of degree is not 0 in , then curve is said to have a ''multiple point'' of order or a ''k-ple point''. The curve will have, in general, tangents at the origin though some of these tangents may be imaginary.


Parametric curves

A parameterized curve in is defined as the image of a function g(t) = (g_1(t),g_2(t)). The singular points are those points where \frac = \frac = 0. Many curves can be defined in either fashion, but the two definitions may not agree. For example, the cusp can be defined on an algebraic curve, x^3 - y^2 = 0, or on a parametrised curve, g(t) = (t^2, t^3). Both definitions give a singular point at the origin. However, a
node In general, a node is a localized swelling (a " knot") or a point of intersection (a vertex). Node may refer to: In mathematics * Vertex (graph theory), a vertex in a mathematical graph * Vertex (geometry), a point where two or more curves, line ...
such as that of y^2 - x^3 - x^2 = 0 at the origin is a singularity of the curve considered as an algebraic curve, but if we parameterize it as g(t) = (t^2 - 1, t(t^2 - 1)), then never vanishes, and hence the node is ''not'' a singularity of the parameterized curve as defined above. Care needs to be taken when choosing a parameterization. For instance the straight line can be parameterised by g(t) = (t^3, 0) which has a singularity at the origin. When parametrised by g(t) = (t, 0) it is nonsingular. Hence, it is technically more correct to discuss singular points of a smooth mapping rather than a singular point of a curve. The above definitions can be extended to cover ''
implicit Implicit may refer to: Mathematics * Implicit function * Implicit function theorem * Implicit curve * Implicit surface * Implicit differential equation Other uses * Implicit assumption, in logic * Implicit-association test, in social psycholog ...
curves'' which are defined as the zero set of a
smooth function In mathematical analysis, the smoothness of a function is a property measured by the number of continuous derivatives it has over some domain, called ''differentiability class''. At the very minimum, a function could be considered smooth if ...
, and it is not necessary just to consider algebraic varieties. The definitions can be extended to cover curves in higher dimensions. A theorem of Hassler WhitneyBruce and Giblin, ''Curves and singularities'', (1984, 1992) , (paperback) states Any parameterized curve can also be defined as an implicit curve, and the classification of singular points of curves can be studied as a classification of singular point of an algebraic variety.


Types of singular points

Some of the possible singularities are: *An isolated point: x^2 + y^2 = 0, an acnode *Two lines crossing: x^2 - y^2 = 0, a
crunode In mathematics, a crunode (archaic) or node is a point where a curve intersects itself so that both branches of the curve have distinct tangent lines at the point of intersection. A crunode is also known as an ''ordinary double point''. For a ...
*A cusp: x^3 - y^2 = 0, also called a ''spinode'' *A tacnode: x^4 - y^2 = 0 *A rhamphoid cusp: x^5 - y^2 = 0.


See also

* Singular point of an algebraic variety * Singularity theory * Morse theory


References

* {{Algebraic curves navbox Curves Algebraic curves Singularity theory