Let a be a
complex number, and assume that f(z) is not defined at a but is
analytic in some region U of the complex plane, and that every
open neighbourhood of a has non-empty intersection with . • If both \lim_{z \to a}f(z) and \lim_{z \to a} {1}/{f(z)} exist, then a is a
removable singularity of both f and {{tmath| {1}/{f} }}. • If \lim_{z \to a}f(z) exists but \lim_{z \to a} {1}/{f(z)} does not exist ({{tmath|1= \lim_{z\to a} \left\vert {1}/{f(z)} \right\vert = \infty }}), then a is a
zero of f and a
pole of {{tmath| {1}/{f} }}. • If \lim_{z \to a}f(z) does not exist (in fact {{tmath| \lim_{z\to a} \vert f(z) \vert = \infty }}) but \lim_{z \to a} {1}/{f(z)} exists, then a is a
pole of f and a
zero of {{tmath| {1}/{f} }}. • If neither \lim_{z \to a} f(z) nor \lim_{z \to a} {1}/{f(z)} exists, then a is an
essential singularity of both f and {{tmath| {1}/{f} }}. Another way to characterize an essential singularity is that the
Laurent series of f at the point a has infinitely many negative degree terms (i.e., the
principal part of the Laurent series is an infinite sum). A related definition is that if there is a point a for which f(z)(z-a)^n is not differentiable for any integer , then a is an essential singularity of . On a
Riemann sphere with a
point at infinity, , the function {f(z)} has an essential singularity at that point if and only if the {f(1/z)} has an essential singularity at : i.e. neither \lim_{z \to 0}{f(1/z)} nor \lim_{z \to 0} {1}/{f(1/z)} exists. The
Riemann zeta function on the Riemann sphere has only one essential singularity, which is at . Indeed, every
meromorphic function aside that is not a
rational function has a unique essential singularity at . The behavior of
holomorphic functions near their essential singularities is described by the
Casorati–Weierstrass theorem and by the considerably stronger
Picard's great theorem. The latter says that in every neighborhood of an essential singularity , the function f takes on
every complex value, except possibly one, infinitely many times. (The exception is necessary; for example, the function \exp(1/z) never takes on the value .) == References ==