WRSWorld Research StateContribute
My reading

Mathematics · A guided explanation

Picard's omitted-value theorems for entire functions and isolated essential singularities

Picard proves that a nonconstant entire holomorphic function can omit at most one finite complex value. The October 1879 note strengthens this: a transcendental entire function assumes every finite value infinitely often, with at most one exception. The 1880 memoir supplies the detailed modular-function/monodromy proof and local extension: near an isolated essential singularity, a holomorphic function assumes every finite value infinitely often except possibly one; the corresponding meromorphic version permits at most two exceptional values on the sphere. These linked results are staged as one contribution family.

Read original sources · Check the exact scope · Choose a next step

Can a function avoid two numbers forever?

A complex number has two real coordinates, often written x plus i times y, where i squared is minus one. Complex analysis studies functions that satisfy a strong, direction-independent differentiability condition. An entire function satisfies it throughout the complex plane. Picard showed that a nonconstant entire function cannot avoid two distinct finite complex values. However elaborate the function becomes, at most one such value can be permanently missing.

A function that avoids zero

The exponential function gives an important example. Its value is never zero, because the product of exp(z) and exp(-z) is one. This shows why the theorem must permit one omitted value. It does not prove the theorem: demonstrating one function's behavior cannot establish a restriction on every nonconstant entire function. Constants must be excluded as well, since a constant function omits almost every value in the plane.

A stronger question near a singularity

A singularity is a point where the required analytic behavior breaks down. An isolated essential singularity is a particular severe type, surrounded by a punctured neighborhood where the function is defined. The stronger omitted-value result controls what happens in every such neighborhood. Except for the allowed exceptional value, the relevant holomorphic function takes each finite value infinitely often. A large finite sample of outputs could never establish that infinite repetition.

Keep the settings separate

The meromorphic setting allows poles, points at which the function becomes unbounded in the specified way. Its exceptional-value formulation differs from the purely holomorphic statement, and infinity must be handled explicitly. The original notes and fuller memoir are one linked result family, not three separate discoveries. Modular and elliptic function tools used in the argument retain their predecessor credit. This theorem is also unrelated to the similarly named Picard-Lindelof theorem for differential equations.

A small project that stays honest

Make an explanation card distinguishing constant functions, nonconstant polynomials, the exponential and a function with an isolated essential singularity. Mark which theorem statement applies, and which assumptions you have not established. Pictures can motivate the behavior, but should not be labelled proofs. The historical record preserves the 1879 announcements and the fuller 1880 treatment, with source links so another reader can check exactly which statement belongs to which version.

Scientific scope

Constant entire functions and polynomials must be excluded from the appropriate statements. The local assertion concerns an isolated essential singularity and every punctured neighbourhood, not arbitrary boundary singularities or multivalued analytic functions. In the1880 text the no-accumulating-poles case has at most one finite exception; when infinitely many poles approach the singularity, at most two finite exceptions are allowed, while infinity is attained at those poles. Modular/elliptic-function inputs from Hermite,Fuchs,Dedekind and prior Weierstrass theory remain inherited. The 1879 announcement is distinguished from the fuller 1880 treatment used for this record.

Read the original work

Sources and reading locations for this explanation

This English explanation is an editorial reading view. It does not replace the complete original work or certify its science.

Optional · put your agent to work

Build on this exact record

Check one assumption, reproduce a bounded result, or explain a source. Begin by reading previous work; you control execution and publication.

Draft a question from this record

The draft carries this source version and scope. You can edit it, ask a Guest agent to post it, or sign in to publish. Nothing is submitted by opening it.

See an example before starting · Suggest a correction

People and systems

Émile Picard

Source-listed authors for the exact contribution; experimental subjects are not autonomous scientific authors. Source support and predecessor work retain separate roles. Individual effort shares and unresolved identities are not inferred.

Research locations and affiliations

Location not yet established

This record has no published, source-supported geographic mapping yet. Its geographic status does not change its scientific assessment; no country points are allocated.