Normal family

Last updated January 27, 2024

In mathematics, with special application to complex analysis, a normal family is a pre-compact subset of the space of continuous functions. Informally, this means that the functions in the family are not widely spread out, but rather stick together in a somewhat "clustered" manner. Note that a compact family of continuous functions is automatically a normal family. Sometimes, if each function in a normal family F satisfies a particular property (e.g. is holomorphic), then the property also holds for each limit point of the set F.

If Y is a metric space, then the compact-open topology is equivalent to the topology of compact convergence,^[1] and we obtain a definition which is closer to the classical one: A collection F of continuous functions is called a normal family if every sequence of functions in F contains a subsequence which converges uniformly on compact subsets of X to a continuous function from X to Y. That is, for every sequence of functions in F, there is a subsequence $f_{n}(x)$ and a continuous function $f(x)$ from X to Y such that the following holds for every compact subset K contained in X:

\lim _{n\rightarrow \infty }\sup _{x\in K}d_{Y}(f_{n}(x),f(x))=0

where $d_{Y}$ is the metric of Y.

Normal families of holomorphic functions

The concept arose in complex analysis, that is the study of holomorphic functions. In this case, X is an open subset of the complex plane, Y is the complex plane, and the metric on Y is given by $d_{Y}(y_{1},y_{2})=|y_{1}-y_{2}|$ . As a consequence of Cauchy's integral theorem, a sequence of holomorphic functions that converges uniformly on compact sets must converge to a holomorphic function. That is, each limit point of a normal family is holomorphic.

Normal families of holomorphic functions provide the quickest way of proving the Riemann mapping theorem.^[2]

More generally, if the spaces X and Y are Riemann surfaces, and Y is equipped with the metric coming from the uniformization theorem, then each limit point of a normal family of holomorphic functions $f:X\to Y$ is also holomorphic.

For example, if Y is the Riemann sphere, then the metric of uniformization is the spherical distance. In this case, a holomorphic function from X to Y is called a meromorphic function, and so each limit point of a normal family of meromorphic functions is a meromorphic function.

Criteria

In the classical context of holomorphic functions, there are several criteria that can be used to establish that a family is normal: Montel's theorem states that a family of locally bounded holomorphic functions is normal. The Montel-Caratheodory theorem states that the family of meromorphic functions that omit three distinct values in the extended complex plane is normal. For a family of holomorphic functions, this reduces to requiring two values omitted by viewing each function as a meromorphic function omitting the value infinity.

Marty's theorem ^[3] provides a criterion equivalent to normality in the context of meromorphic functions: A family $F$ of meromorphic functions from a domain $U\subset \mathbb {C}$ to the complex plane is a normal family if and only if for each compact subset K of U there exists a constant C so that for each $f\in F$ and each z in K we have

{\frac {2|f'(z)|}{1+|f(z)|^{2}}}\leq C.

Indeed, the expression on the left is the formula for the pull-back of the arclength element on the Riemann sphere to the complex plane via the inverse of stereographic projection.

History

Paul Montel first coined the term "normal family" in 1911.^[4]^[5] Because the concept of a normal family has continually been very important to complex analysis, Montel's terminology is still used to this day, even though from a modern perspective, the phrase pre-compact subset might be preferred by some mathematicians. Note that though the notion of compact open topology generalizes and clarifies the concept, in many applications the original definition is more practical.

Notes

↑ Munkres. Topology, Theorem 46.8.
↑
See for example
↑ Gamelin. Complex Analysis, Section 12.1.
↑ P. Montel, C. R. Acad. Sci. Paris 153 (1911), 996–998; Jahrbuch 42, page 426
↑ Remmert, Rienhard (1998). Classical Topics in Complex Function Theory. Translated by Leslie M. Kay. Springer. p. 154. ISBN 9780387982212 . Retrieved 2009-03-01.

Related Research Articles

Complex analysis, traditionally known as the theory of functions of a complex variable, is the branch of mathematical analysis that investigates functions of complex numbers. It is helpful in many branches of mathematics, including algebraic geometry, number theory, analytic combinatorics, and applied mathematics, as well as in physics, including the branches of hydrodynamics, thermodynamics, quantum mechanics, and twistor theory. By extension, use of complex analysis also has applications in engineering fields such as nuclear, aerospace, mechanical and electrical engineering.

In mathematics, a holomorphic function is a complex-valued function of one or more complex variables that is complex differentiable in a neighbourhood of each point in a domain in complex coordinate space $C n$ . The existence of a complex derivative in a neighbourhood is a very strong condition: it implies that a holomorphic function is infinitely differentiable and locally equal to its own Taylor series (analytic). Holomorphic functions are the central objects of study in complex analysis.

In complex analysis, the Riemann mapping theorem states that if $is a non-empty simply connected open subset of the complex number plane which is not all of, then there exists a biholomorphic mapping from onto the open unit disk$

In mathematics, the branch of real analysis studies the behavior of real numbers, sequences and series of real numbers, and real functions. Some particular properties of real-valued sequences and functions that real analysis studies include convergence, limits, continuity, smoothness, differentiability and integrability.

In the mathematical field of complex analysis, a meromorphic function on an open subset D of the complex plane is a function that is holomorphic on all of Dexcept for a set of isolated points, which are poles of the function. The term comes from the Greek meros, meaning "part".

In complex analysis, a pole is a certain type of singularity of a complex-valued function of a complex variable. It is the simplest type of non-removable singularity of such a function. Technically, a point $z 0$ is a pole of a function $f$ if it is a zero of the function $1/ f$ and $1/ f$ is holomorphic in some neighbourhood of $z 0$ .

In mathematics, particularly in complex analysis, a Riemann surface is a one-dimensional complex manifold.

In mathematics, complex geometry is the study of geometric structures and constructions arising out of, or described by, the complex numbers. In particular, complex geometry is concerned with the study of spaces such as complex manifolds and complex algebraic varieties, functions of several complex variables, and holomorphic constructions such as holomorphic vector bundles and coherent sheaves. Application of transcendental methods to algebraic geometry falls in this category, together with more geometric aspects of complex analysis.

In functional analysis and related areas of mathematics, Fréchet spaces, named after Maurice Fréchet, are special topological vector spaces. They are generalizations of Banach spaces. All Banach and Hilbert spaces are Fréchet spaces. Spaces of infinitely differentiable functions are typical examples of Fréchet spaces, many of which are typically not Banach spaces.

In complex analysis, a branch of mathematics, an isolated singularity is one that has no other singularities close to it. In other words, a complex number z₀ is an isolated singularity of a function f if there exists an open disk D centered at z₀ such that f is holomorphic on D \ {z₀}, that is, on the set obtained from D by taking z₀ out.

In mathematical analysis, a family of functions is equicontinuous if all the functions are continuous and they have equal variation over a given neighbourhood, in a precise sense described herein. In particular, the concept applies to countable families, and thus sequences of functions.

The Arzelà–Ascoli theorem is a fundamental result of mathematical analysis giving necessary and sufficient conditions to decide whether every sequence of a given family of real-valued continuous functions defined on a closed and bounded interval has a uniformly convergent subsequence. The main condition is the equicontinuity of the family of functions. The theorem is the basis of many proofs in mathematics, including that of the Peano existence theorem in the theory of ordinary differential equations, Montel's theorem in complex analysis, and the Peter–Weyl theorem in harmonic analysis and various results concerning compactness of integral operators.

In complex analysis, an area of mathematics, Montel's theorem refers to one of two theorems about families of holomorphic functions. These are named after French mathematician Paul Montel, and give conditions under which a family of holomorphic functions is normal.

In mathematics, the Teichmüller space $of a (real) topological surface is a space that parametrizes complex structures on up to the action of homeomorphisms that are isotopic to the identity homeomorphism. Teichmüller spaces are named after Oswald Teichmüller.$

Geometric function theory is the study of geometric properties of analytic functions. A fundamental result in the theory is the Riemann mapping theorem.

In mathematics, the uniform limit theorem states that the uniform limit of any sequence of continuous functions is continuous.

<span class="mw-page-title-main">Riemann sphere</span> Model of the extended complex plane plus a point at infinity

In mathematics, the Riemann sphere, named after Bernhard Riemann, is a model of the extended complex plane: the complex plane plus one point at infinity. This extended plane represents the extended complex numbers, that is, the complex numbers plus a value $for infinity. With the Riemann model, the point is near to very large numbers, just as the point is near to very small numbers.$

Ahlfors theory is a mathematical theory invented by Lars Ahlfors as a geometric counterpart of the Nevanlinna theory. Ahlfors was awarded one of the two very first Fields Medals for this theory in 1936.

Bloch's Principle is a philosophical principle in mathematics stated by André Bloch.

In mathematics, a planar Riemann surface is a Riemann surface sharing the topological properties of a connected open subset of the Riemann sphere. They are characterized by the topological property that the complement of every closed Jordan curve in the Riemann surface has two connected components. An equivalent characterization is the differential geometric property that every closed differential 1-form of compact support is exact. Every simply connected Riemann surface is planar. The class of planar Riemann surfaces was studied by Koebe who proved in 1910, as a generalization of the uniformization theorem, that every such surface is conformally equivalent to either the Riemann sphere or the complex plane with slits parallel to the real axis removed.

References

Ahlfors, Lars V. (1953), Complex analysis. An introduction to the theory of analytic functions of one complex variable, McGraw-Hill
Ahlfors, Lars V. (1966), Complex analysis. An introduction to the theory of analytic functions of one complex variable, International Series in Pure and Applied Mathematics (2nd ed.), McGraw-Hill
Ahlfors, Lars V. (1978), Complex analysis. An introduction to the theory of analytic functions of one complex variable, International Series in Pure and Applied Mathematics (3rd ed.), McGraw-Hill, ISBN 0070006571
Beardon, Alan F. (1979), Complex analysis.The argument principle in analysis and topology, John Wiley & Sons, ISBN 0471996718
Chuang, Chi Tai (1993), Normal families of meromorphic functions, World Scientific, ISBN 9810212577
Conway, John B. (1978). Functions of One Complex Variable I. Springer-Verlag. ISBN 0-387-90328-3.
Gamelin, Theodore W. (2001). Complex analysis. Springer-Verlag. ISBN 0-387-95093-1.
Marty, Frederic : Recherches sur la répartition des valeurs d’une function méromorphe. Ann. Fac. Sci. Univ. Toulouse, 1931, 28, N 3, p. 183–261.
Montel, Paul (1927), Leçons sur les familles normales de fonctions analytiques et leur applications (in French), Gauthier-Villars
Munkres, James R. (2000). Topology. Prentice Hall. ISBN 0-13-181629-2.
Schiff, J. L. (1993). Normal Families. Springer-Verlag. ISBN 0-387-97967-0.

This article incorporates material from normal family on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] Munkres. Topology, Theorem 46.8.

[2] See for example
Ahlfors 1953, Ahlfors 1966, Ahlfors 1978
Conway 1978
Beardon 1979

[mwhQ] Ahlfors 1953, Ahlfors 1966, Ahlfors 1978

[mwiQ] Conway 1978

[mwiw] Beardon 1979

[3] Gamelin. Complex Analysis, Section 12.1.

[4] P. Montel, C. R. Acad. Sci. Paris 153 (1911), 996–998; Jahrbuch 42, page 426

[5] Remmert, Rienhard (1998). Classical Topics in Complex Function Theory. Translated by Leslie M. Kay. Springer. p. 154. ISBN 9780387982212 . Retrieved 2009-03-01.

[1]

[2]

[3]

[4]

[5]