Famille normale

La normalité de la famille se conserve par transformation conforme.

Une famille est dite normale en un point s'il existe un disque ayant ce point pour centre et tel que la famille soit normale dans ce disque.

« Si une famille est normale dans un domaine ouvert D, elle est normale en chacun des points du domaine. »

La réciproque est également vraie :

« Si une famille est normale en chaque point d'un domaine, elle est normale dans ce domaine. »

« Si les valeurs des fonctions d'une famille normale dans un domaine D sont bornées en un point fixe de ce domaine, les fonctions sont bornées dans leur ensemble dans chaque domaine complètement intérieur à D. »

On peut ainsi appliquer le théorème de Stieltjes ou le théorème de Vitali aux familles normales.

« Si une famille normale dans un domaine D borné est telle qu'il existe pour chaque fonction ${\displaystyle g_{n}}$ de la famille une solution dans D à l'équation ${\displaystyle g_{n}(z)=b}$ pour un b fixé et que la famille n'admet aucune fonction limite g égale à la constante a, le nombre des solutions de l'équation ${\displaystyle g_{n}(z)=a}$ contenues dans D est borné pour toutes les fonctions de la famille. »

Il faut entendre par solution contenue dans D un point intérieur à D.

On dit d'un point P qu'il est irrégulier pour une famille si la famille n'est pas normale en ce point. Ces points irréguliers sont également appelés « points de Julia ».

« Si une famille n'est pas normale dans un domaine D, il existe un point irrégulier intérieur au domaine. »

« Pour une famille de fonctions holomorphes bornées en chaque point, les points irréguliers forment un ensemble parfait non dense, continu et d'un seul tenant avec la frontière du domaine. »

• Soit une famille de fonctions f ne prenant pas les valeurs a et b, variables avec f mais telles que |a| <M, |b| <M et |a-b| > d, M et d étant des nombres fixés. Alors la famille est normale.
• La famille formée des primitives des fonctions d'une famille holomorphe bornée à l'intérieur de D est une famille normale dans D.
• La famille {f(z)+n}, où f(z) est une fonction analytique dans un domaine D quelconque, est normale dans D. La fonction limite est +∞.
• Soit f(z) une fonction entière non constante. La famille de fonctions entières définies par ${\displaystyle f_{n}(z)=f(2^{n}z)}$ n'est pas normale dans le cercle |z|<2.

Soit une suite infinie de fonctions harmoniques sur un domaine D et telles qu'en chaque point de D, on ait ${\displaystyle u_{1}\leq u_{2}\leq \ldots \leq u_{n}\leq \ldots }$, alors la suite converge uniformément vers une fonction harmonique ou vers l'infini. La suite forme une famille normale. Si la suite est bornée en un point P intérieur à D, elle converge donc uniformément vers une fonction harmonique à l'intérieur de D. C'est le théorème de Harnack.

« Une condition nécessaire est suffisante pour qu'une fonction holomorphe dans le domaine D soit le quotient de deux fonctions bornées est que la suite des fonctions harmoniques ${\displaystyle u_{n}}$, qui prennent les valeurs ${\displaystyle \log ^{+}|f(z)|}$ sur une suite de contours ${\displaystyle C_{n}}$ limitant des domaines emboités de limite D, soit bornée en un point de ce domaine. »

« Une fonction entière qui ne se réduit à une constante prend toutes les valeurs sauf un au plus. »

« Une fonction holomorphe ayant une singularité essentielle prend, sur tout voisinage de cette singularité, tout nombre complexe une infinité de fois comme valeur, sauf peut-être un. »

La notion de famille normale est utilisée dans la démonstration du théorème de l'application conforme de Riemann.

« Si F est une famille de fonctions holomorphes dans un domaine D uniformément bornée sur tout compact de D, alors elle est normale. »

« Soient D un domaine, a et b deux nombres complexes (b non nul) et k un entier positif non nul. Soit F une famille de fonctions méromorphes dans D telle que chacune des équations ${\displaystyle f_{n}(z)=a,f_{n}^{(k)}(z)=b}$ n'ait pas de solution dans D. Alors la famille est normale dans D. »

« Toute famille de fonctions f(z) holomorphes dans un domaine D où elles ne prennent pas la valeur a et où leurs dérivées d'ordres ν ne prennent pas la valeur non nulle b, est normale dans D. »