A type of isolated singularity of a complex function at which the function diverges like a finite-order reciprocal power of the local coordinate; locally the function behaves as (z−z0)^{-m} times a holomorphic nonzero factor for some positive integer m.

Principle

Poles represent controlled, algebraic divergences: the order m quantifies how rapidly the magnitude grows near the singularity and allows computation of principal parts and residues for contour integrals.

Demonstration

The function g(z) = 1/(z−a)^2 has a pole of order 2 at z=a; near a it equals (z−a)^{-2} and its Laurent expansion has a finite principal part with terms up to (z−a)^{-2}.

Misapplication

Treating an essential singularity as a pole or assuming every divergence is a pole leads to false residue calculations and incorrect local classification; essential singularities have infinitely many negative-power terms and qualitatively different behavior.

Consequence

Recognizing poles and their orders enables residue computation, classification of meromorphic functions, and understanding of analytic continuation and mapping behavior near singularities.

Reversal

The opposite singularity type is removable (no divergence) or essential (wild nonpolynomial divergence); poles sit between removable and essential in the classical classification of isolated singularities.

Boundary

Applies to isolated singularities in complex analysis; excludes non-isolated singularities and divergences in noncomplex settings unless analogous Laurent-type expansions exist. The pole notion presumes local holomorphic factorization.

Semantic Tension

Tension appears between pole as purely local Laurent behavior and global concepts like order of zero of the reciprocal function; also between simple physical language 'infinite value' and the precise algebraic notion of finite-order divergence.

Synthesis

A pole is an isolated singularity where a function blows up in a controlled algebraic way: characterized by a finite Laurent principal part (z−z0)^{-m}, it is central to residue theory and meromorphic classification.