Normal family

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. 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.

More formally, let X and Y be topological spaces. The set of continuous functions has a natural topology called the compact-open topology. A normal family is a pre-compact subset with respect to this topology.

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 of that 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 and a continuous function from X to Y such that the following holds for every compact subset K contained in X:

where is the distance metric associated with the metric space Y.

Normal families of holomorphic functions

The concept arose in complex analysis, that is the study 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 . 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.

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 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 set is a normal family: Montel's theorem states that a set of locally bounded holomorphic functions is normal. The Montel-Caratheodory theorem states that the collection of meromorphic functions that omit the values zero and one, is normal.

Marty's Theorem[2] provides a criterion that is equivalent to the definition in the context of meromorphic functions: A set F of meromorphic functions from a domain 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 and each z in K we have

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.

Normal families of quasiconformal mappings

History

Paul Montel coined the term "normal family" in 1912.[3] 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.


gollark: Without the ID thing, though.
gollark: I mean, my networking thing is effectively a port of rednet, and thus really inefficient and bad, which is probably why it uses so much power?
gollark: Probably, but then I would have had to hook everything to skynet/SPUDNET or something.
gollark: Yes, I'm aware.
gollark: I also had a server rack with a bunch of devices with linked cards (and wireless ones) relaying packets to remote locations, and under heavy load *that* apparently sometimes just crashes despite being connected to a several-kRF/t power supply.

See also

Notes

  1. Munkres. Topology, , Theorem 46.8.
  2. Gamelin. Complex Analysis, Section 12.1.
  3. Reinhold Remmert, Leslie Kay (1998). Classical Topics in Complex Function Theory. Springer. p. 154. Retrieved 2009-03-01.

References

  • John B. Conway (1978). Functions of One Complex Variable I. Springer-Verlag. ISBN 0-387-90328-3.
  • Theodore W. Gamelin (2001). Complex analysis. Springer-Verlag. ISBN 0-387-95093-1.
  • James R. Munkres (2000). Topology. Prentice Hall. ISBN 0-13-181629-2.
  • J. L. Schiff (1993). Normal Families. Springer-Verlag. ISBN 0-387-97967-0.
  • 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.

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

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.