Marty’s theorem

Theorem (Marty).

A set ${\\mathcal{F}}$ of meromorphic functions is a normal familyon a domain $G\\subset{\\mathbb{C}}$ if and only if the sphericalderivatives are uniformly bounded (uniformly over ${\\mathcal{F}}$ )on each compact subset of $G$ .

Here normal convergence (convergence on compact subsets) is given using thespherical metric and not the standard metric of the complex plane. That is, if $\\sigma$ is the spherical metric then we will say $f_{n}\\to f$ normallyif $\\sigma(f_{n}(z),f(z))$ converges to 0 uniformly on compact subsets.

A related theorem can be stated.

Theorem.

If $f_{n}(z)\\to f(z)$ uniformly in the spherical metric on compact subsets of $G\\subset{\\mathbb{C}}$ then $f_{n}^{\\sharp}(z)\\to f^{\\sharp}(z)$ uniformlyon compact subsets of $G$ .

Here $f^{\\sharp}$ denotes the spherical derivative of $f$ .

References

1 Theodore B. Gamelin..Springer-Verlag, New York, New York, 2001.

单词	MartysTheorem
释义	Marty’s theorem Theorem (Marty). A set ${\\mathcal{F}}$ of meromorphic functions is a normal familyon a domain $G\\subset{\\mathbb{C}}$ if and only if the sphericalderivatives are uniformly bounded (uniformly over ${\\mathcal{F}}$ )on each compact subset of $G$ . Here normal convergence (convergence on compact subsets) is given using thespherical metric and not the standard metric of the complex plane. That is, if $\\sigma$ is the spherical metric then we will say $f_{n}\\to f$ normallyif $\\sigma(f_{n}(z),f(z))$ converges to 0 uniformly on compact subsets. A related theorem can be stated. Theorem. If $f_{n}(z)\\to f(z)$ uniformly in the spherical metric on compact subsets of $G\\subset{\\mathbb{C}}$ then $f_{n}^{\\sharp}(z)\\to f^{\\sharp}(z)$ uniformlyon compact subsets of $G$ . Here $f^{\\sharp}$ denotes the spherical derivative of $f$ . References 1 Theodore B. Gamelin..Springer-Verlag, New York, New York, 2001.
随便看	Identity types Identity types and identity systems idèle IfAAndBCommuteSoDoAAndB1 If A and B commute so do A and B^{-1} IfAinMnRAndAIsSupertriangularThenAn0 IfAIsConvexAndFLinearThenFAAndF1AAreConvex if A is convex and f linear then f⁢(A) and f^{-1}⁢(A) are convex IfAIsInfiniteAndBIsAFiniteSubsetOfAThenAsetminusBIsInfinite if A is infinite and B is a finite subset of A⁢ERROR(\tmspace)+.1667⁢e⁢m⁢ERROR(\tmspace)-.1667⁢e⁢m, then A∖B is infinite IfAnIsIrrationalThenaIsIrrational if a^n is irrational then a is irrational If A∈M_n⁢(R) and A is supertriangular then A^n=0 IfDxiXi112iThenXiIsACauchySequence if d⁢(x_i,x_{i+1})<1/2^i then x_i is a Cauchy sequence IfFcolonXtoYIsContinuousThenFcolonXtoFXIsContinuous If f⁢m⁢MERROR(onscript):X→Y is continuous then f⁢m⁢MERROR(onscript):X→f⁢(X) is continuous IFlogic IF-logic Ifmun1omeganThentaun2omegan Ifsumk1inftyAkConvergesThenAkto0 IfTheAlgebraOfFunctionsOnAManifoldIsAPoissonRingThenTheManifoldIsSymplectic if the algebra of functions on a manifold is a Poisson ring then the manifold is symplectic if μ⁢(n)=(-1)^{ω⁢(n)} then τ⁢(n)=2^{ω⁢(n)} if ∑@⁢ERROR(\slimits)⁢@⁢@⁢@_{k=1}^∞⁢a_k converges then a_k→0