Singularity (mathematics): Difference between revisions

Content deleted Content added

Inline

Revision as of 17:56, 27 January 2008

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 isn't differentiable there. Similarly, the graph defined by y² = 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 y² = x² in the (x, y) coordinate system has a singularity (singular point) at (0, 0) because it does not admit a tangent there.

Complex analysis

In complex analysis, there are four kinds of singularity, to be described below. Suppose U is an open subset of the complex numbers C, a is an element of U, and f is a holomorphic function 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}. In other words, when we define a specific finite value for the function at the singular point the function becomes continuous at that point.

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) / (z − a)ⁿ for all z in U − {a}. The derivative at a non-essential singularity may or may not exist.

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.

These three types of singularities are isolated points. The fourth type is a branch point. In short, the branch points are generally the result of a multi-valued function, such as ${\sqrt {z}}$ being defined within a certain interval so that it behaves like a single-valued function. The function may have different values on each side of the branch cut so every point along the branch cut has no derivative.

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 Euler's disk, the Painlevé paradox, and Heinz von Foerster's Doomsday's Equation.

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 scheme with a stalk that is not a regular local ring). For example, $y^{2}-x^{3}=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 $(t^{2},t^{3})$ is a height one local ring generated by two elements and thus not regular.

Singular matrices

In linear algebra a square matrix is said to be singular when it is not invertible, that is when its determinant is zero.

Singular value decomposition

Singular value decomposition (SVD) is a method of factorizing matrices. A non-negative real number σ is a singular value for M if and only if there exist normalized vectors u in K^m and v in Kⁿ such that

Mv=\sigma u\,{\mbox{ and }}M^{*}u=\sigma v.\,\!

The vectors u and v are called left-singular and right-singular vectors for σ, respectively. The factorisation is

M=U\Sigma V^{*}\,\!

where diagonal entries of Σ are equal to the singular values of M. The columns of U and V are left- resp. right-singular vectors for the corresponding singular values. It is widely used in statistics where it is used as a technique for solving linear least squares problems and is related to principal components analysis.

@@ Line 19: / Line 19: @@
 * 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 [[iff | if and only if]] the [[Laurent series]] has infinitely many powers of negative degree.
-These three types of singularities are [[isolated singularity|isolated points]]. The fourth  type is a ''[[branch points|branch point]]''. In short, the branch points are generally the result of a [[multi-valued function]], such as <math>\sqrt{z}</math> being defined within a certain interval so that it behaves like a single-valued function. The function may have different vales on each side of the branch cut so every point along the branch cut has no derivative.
+These three types of singularities are [[isolated singularity|isolated points]]. The fourth  type is a ''[[branch points|branch point]]''. In short, the branch points are generally the result of a [[multi-valued function]], such as <math>\sqrt{z}</math> being defined within a certain interval so that it behaves like a single-valued function. The function may have different values on each side of the branch cut so every point along the branch cut has no derivative.
 ==From the point of view of dynamics==