§ 25. Нормальное семейство функций N.
Рассмотрим функции голоморфные в круге и являющиеся отношением двух ограниченных
функций, которые мы всегда принимаем не превосходящими по модулю единицы. Сумма и произведение двух функций этого семейства принадлежат тому же семейству.
Среди этих функций рассмотрим семейство функций, для которых справедливо неравенство:
каково бы ни было и какова бы ни была функция семейства. Это семейство есть нормальное семейство. В самом деле, пусть
— бесконечная последовательность функций семейства; можно выделить подпоследовательность такую, что последовательности сходятся равномерно к голоморфным пределам С другой стороны, если взять для каждой функции функцию
то видно, что
Итак, и, так как ни одна не обращается в нуль, функция не обращается в нуль в области Следовательно, последовательность сходится равномерно к голоморфной функции
Итак, рассматриваемое семейство есть нормальное семейство.