## You are here

Homenormal family

## Primary tabs

# normal family

###### Definition.

A set (sometimes called a family) ${\mathcal{F}}$ of continuous functions $f\colon X\to Y$ for some (complete) metric spaces $X$ and $Y$ is called normal if each sequence of functions in ${\mathcal{F}}$ contains a subsequence which converges uniformly on compact subsets of $X$ to a continuous function from $X$ to $Y$.

This definition is often used in complex analysis for spaces of holomorphic functions. It turns out that a sequence of holomorphic functions that converges uniformly on compact sets converges to a holomorphic function. So you can replace $X$ with a region in the complex plane, $Y$ with the complex plane itself and every instance of “continuous” with “holomorphic” and you get a version of the definition most used in complex analysis.

Another space where this is often used is the space of meromorphic functions. This is similar to the holomorphic case, but instead of using the standard metric for convergence we must use the spherical metric. That is if $\sigma$ is the spherical metric, then want $f_{n}(z)\to f(z)$ uniformly on compact subsets to mean that $\sigma(f_{n}(z),f(z))$ goes to 0 uniformly on compact subsets.

Note that this is a classical definition that, while very often used, is not really consistent with modern naming. In more modern language, one would give a metric on the space of continuous (holomorphic) functions that corresponds to convergence on compact subsets and then you’d say “precompact set of functions” in such a metric space instead of saying “normal family of continuous (holomorphic) functions”. This added generality however makes it more cumbersome to use since one would need to define the metric mentioned above.

# References

- 1 John B. Conway. Functions of One Complex Variable I. Springer-Verlag, New York, New York, 1978.

## Mathematics Subject Classification

30A99*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff

## Recent Activity

new collection: On the Information-Theoretic Structure of Distributed Measurements by rspuzio

Apr 15

new question: Prove a formula is part of the Gentzen System by LadyAnne

Mar 30

new question: A problem about Euler's totient function by mbhatia

new problem: Problem: Show that phi(a^n-1), (where phi is the Euler totient function), is divisible by n for any natural number n and any natural number a >1. by mbhatia

new problem: MSC browser just displays "No articles found. Up to ." by jaimeglz

Mar 26

new correction: Misspelled name by DavidSteinsaltz

Mar 21

new correction: underline-typo by Filipe

Mar 19

new correction: cocycle pro cocyle by pahio

Mar 7

new image: plot W(t) = P(waiting time <= t) (2nd attempt) by robert_dodier

new image: expected waiting time by robert_dodier