normal family
Definition.
A set (sometimes called a family) of continuous functions for some (complete (http://planetmath.org/Complete))metric spaces and is called if each sequence of functions in contains a subsequence which converges uniformly on compact subsets of to acontinuous function from to .
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 with a region in the complex plane, with the complex plane itselfand 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 standardmetric for convergence we must use the spherical metric. That is if is the spherical metric, then want uniformly on compactsubsets to mean that goes to 0 uniformly on compactsubsets.
Note that this is a classical definition that, while very often used, is not really with modern naming. In more modern ,one would give a metricon the space of continuous (holomorphic) functions that corresponds toconvergence on compact subsets and then you’d say “precompact set of functions” in such a metric space instead of saying “ family of continuous (holomorphic) functions”. This added generality howevermakes it more cumbersome to use since one would need to define the metric mentioned above.
References
- 1 John B. Conway..Springer-Verlag, New York, New York, 1978.