Mathematical singularity


Mathematical singularity

In mathematics, a singularity is in general a point at which a given mathematical object is not defined, or a point of an exceptional set where it fails to be well-behaved in some particular way, such as differentiability. See Singularity theory for general discussion of the geometric theory, which only covers some aspects.

For example, the function

 f(x)=\frac{1}{x}

on the real line has a singularity at x = 0, where it seems to "explode" to ±∞ and is not defined. The function g(x) = |x| (see absolute value) also has a singularity at x = 0, since it is not differentiable there. Similarly, the graph defined by y2 = x also has a singularity at (0,0), this time because it has a "corner" (vertical tangent) at that point.

The algebraic set defined by y2 = x2 in the (x, y) coordinate system has a singularity (singular point) at (0, 0) because it does not admit a tangent there.

Contents

Real analysis

In real analysis singularities are also called discontinuities. There are three kinds: type I, which has two sub-types, and type II, which also can be divided into two subtypes, but normally is not.

To describe these types, suppose that f(x) is a function of a real argument x, and for any value of its argument, say c, the symbols f(c + ) and f(c ) are defined by:

f(c^+) = \lim_{x \to c}f(x), constrained by x > c\ and
f(c^-) = \lim_{x \to c}f(x), constrained by x < c\  .

The limit f(c ) is called the left-handed limit, and f(c + ) is called the right-handed limit. The value f(c ) is the value that the function f(x) tends towards as the value x approaches c from below, and the value f(c + ) is the value that the function f(x) tends towards as the value x approaches c from above, regardless of the actual value the function has at the point where x = c .

There are some functions for which these limits do not exist at all. For example the function

g(x) = \sin\left(\frac{1}{x}\right)

does not tend towards anything as x approaches c = 0. The limits in this case are not infinite, but rather undefined: there is no value that g(x) settles in on. Borrowing from complex analysis, this is sometimes called an essential singularity.

  • A point of continuity, which is not a singularity, is a value of c for which f(c ) = f(c) = f(c + ), as one usually expects. All the values must be finite.
  • A type I discontinuity occurs when both f(c ) and f(c + ) exist and are finite, but one of three conditions also apply: f(c^-) \neq f(c^+); f(c) does not exist for that value of x; or f(c) does not match the value that the two limits tend towards. Two subtypes occur:
    • A jump discontinuity occurs when f(c^-) \neq f(c^+), regardless of whether f(c) exists, and regardless of what value it might have if it does exist.
    • A removable discontinuity occurs when f(c ) = f(c + ), but either the value of f(c) does not match the limits, or the function does not exist at the point x = c .
  • A type II discontinuity occurs when either f(c ) or f(c + ) does not exist (possibly both). This has two subtypes, which are usually not considered separately:
    • An infinite discontinuity is the special case when either the left hand or right hand limit does not exist specifically because it is infinite, and the other limit is either also infinite or is some well defined finite number.
    • An essential singularity is a term borrowed from complex analysis (see below). This is the case when either one or the other limits f(c ) or f(c + ) does not exist, but not because it is an infinite discontinuity. Essential singularities approach no limit, not even if legal answers are extended to include \pm\infty.

In real analysis, a singularity or discontinuity is a property of a function alone. Any singularities that may exist in the derivative of a function are considered as belonging to the derivative, not to the original function.

Coordinate singularities

A coordinate singularity (or coördinate singularity) occurs when an apparent singularity or discontinuity occurs in one coordinate frame, which can be removed by choosing a different frame. An example is the apparent singularity at the 90 degree latitude in spherical coordinates. An object moving due north (for example, along the line 0 degrees longitude) on the surface of a sphere will suddenly experience an instantaneous change in longitude at the pole (in the case of the example, jumping from longitude 0 to longitude 180 degrees). This discontinuity, however, is only apparent; it is an artifact of the coordinate system chosen, which is singular at the poles. A different coordinate system would eliminate the apparent discontinuity, e.g. by replacing latitude/longitude with n-vector.

Complex analysis

In complex analysis there are four classes of singularities, described below. Suppose U is an open subset of the complex numbers C, and the point a is an element of U, and f is a complex differentiable function defined on some neighborhood around a, excluding a: U \ {a}.

  • Isolated singularities: Suppose the function f is not defined at a, although it does have values defined on U \ {a}.
    • The point a is a removable singularity of f if there exists a holomorphic function g defined on all of U such that f(z) = g(z) for all z in U \ {a}. The function g is a continuous replacement for the function f.
    • The point a is a pole or non-essential singularity of f if there exists a holomorphic function g defined on U and a natural number n such that f(z) = g(z) / (za)n for all z in U \ {a}. The derivative at a non-essential singularity may or may not exist. If g(a) is nonzero, then we say that a is a pole of order n.
    • The point a is an essential singularity of f if is neither a removable singularity nor a pole. The point a is an essential singularity if and only if the Laurent series has infinitely many powers of negative degree.
  • Branch points are generally the result of a multi-valued function, such as \sqrt{z} or log(z) being defined within a certain limited domain so that the function can be made single-valued within the domain. The cut is a line or curve excluded from the domain to introduce a technical separation between discontinuous values of the function. When the cut is genuinely required, the function will have distinctly different values on each side of the branch cut. The location and shape of most of the branch cut is usually a matter of choice, with perhaps only one point (like z = 0 for log(z)) which is fixed in place.

From the point of view of dynamics

A finite-time singularity occurs when a kinematic variable increases towards infinity at a finite time. An example would be the bouncing motion of an inelastic ball on a plane. If idealized motion is considered, in which the same fraction of kinetic energy is lost on each bounce, the frequency of bounces becomes infinite as the ball comes to rest in a finite time. Other examples of finite-time singularities include the Painlevé paradox, Heinz von Foerster's Doomsday's Equation, and the Euler's Disk toy.

Algebraic geometry and commutative algebra

In algebraic geometry and commutative algebra, a singularity is a prime ideal whose localization is not a regular local ring (alternately a point of a scheme whose stalk is not a regular local ring). For example, y2x3 = 0 defines an isolated singular point (at the cusp) x = y = 0. The ring in question is given by

\mathbb{C}[x,y] / (y^2 - x^3) \cong \mathbb{C}[t^2, t^3].

The maximal ideal of the localization at (t2,t3) is a height one local ring generated by two elements and thus not regular.

See also


Wikimedia Foundation. 2010.

Look at other dictionaries:

  • Singularity — may refer to any of a variety of concepts.Mathematics:* Mathematical singularity, a point at which a given mathematical object is not definedIn complex analysis:* Essential singularity, a singularity near which a function exhibits extreme… …   Wikipedia

  • Singularity theory — For other mathematical uses, see Mathematical singularity. For non mathematical uses, see Gravitational singularity. In mathematics, singularity theory is the study of the failure of manifold structure. A loop of string can serve as an example of …   Wikipedia

  • singularity — mid 14c., “singleness of aim or purpose,” from O.Fr. singularité (12c.) or directly from L.L. singularitas, from singularis (see SINGULAR (Cf. singular)). Meaning “fact of being different from others” is c.1500. Mathematical sense of… …   Etymology dictionary

  • singularity — /sing gyeuh lar i tee/, n., pl. singularities for 2 4. 1. the state, fact, or quality of being singular. 2. a singular, unusual, or unique quality; peculiarity. 3. Math. See singular point. 4. Astron. (in general relativity) the mathematical… …   Universalium

  • singularity — sin•gu•lar•i•ty [[t]ˌsɪŋ gyəˈlær ɪ ti[/t]] n. pl. ties 1) the state, fact, or quality of being singular 2) a singular, unusual, or unique quality or thing; peculiarity 3) math. a point at which a mathematical function of real or complex variables …   From formal English to slang

  • Mechanical singularity — In engineering, a mechanical singularity is a position or configuration of a mechanism or a machine where the subsequent behaviour cannot be predicted, or the forces or other physical quantities involved become infinite or nondeterministic. When… …   Wikipedia

  • Gravitational singularity — General relativity Introduction Mathematical formulation Resources Fundamental concepts …   Wikipedia

  • Technological singularity — The technological singularity is a theoretical future point of unprecedented technological progress, caused in part by the ability of machines to improve themselves using artificial intelligence. [Harvtxt|Singularity Institute for Artificial… …   Wikipedia

  • Naked singularity — In general relativity, a naked singularity is a gravitational singularity, without an event horizon. In a black hole, there is a region around the singularity, the event horizon, where the gravitational force of the singularity is strong enough… …   Wikipedia

  • Ring singularity — In general relativity the gravitational singularity at the center of a rotating black hole (a Kerr black hole ) is supposed to form a circle rather than a point. This is often referred to as a ring singularity.Description of a ring… …   Wikipedia


Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.