Hurwitz’s theorem

Define the ball at $z_{0}$ of radius $r$ as $B(z_{0},r)=\\{z\\in G:\\lvert z-z_{0}\\rvert<r\\}$ and $D(z_{0},r)=\\{z\\in G:\\lvert z-z_{0}\\rvert\\leq r\\}$ is the closed ball at $z_{0}$ of radius $r$ .

Theorem (Hurwitz).

Let $G\\subset{\\mathbb{C}}$ be a region and suppose the sequenceof holomorphic functions $\\{f_{n}\\}$ converges uniformly on compact subsetsof $G$ to a holomorphic function $f$ . If $f$ is not identically zero, $D(z_{0},r)\\subset G$ and $f(z)\ot=0$ for $z$ such that $\\lvert z-z_{0}\\rvert=r$ , then there exists an $N$ such that for all $n\\geq N$ $f$ and $f_{n}$ have the same number of zeros in $B(z_{0},r)$ .

What this theorem says is that if you have a sequence of holomorphic functions which converge uniformly on compact subsets (such a sequence always converges to a holomorphic function but that’s another theorem altogether), the function is not identically zero and furthermore the function is notzero on the boundary of some ball,then eventuallythe functions of the sequence have the same number of zeros inside this ball as does the function.

Do note the requirement for $f$ not being identically zero. For example the sequence $f_{n}(z):=\\frac{1}{n}$ converges uniformly on compact subsets to $f(z):=0$ , but $f_{n}$ have no zeros anywhere, while $f$ is identically zero.

Also in general this result holds for bounded convex subsets (http://planetmath.org/ConvexSet) but it is mostuseful to for balls.

An immediate consequence of this theorem is this useful corollary.

Corollary.

If $G$ is a region and a sequence of holomorphic functions $\\{f_{n}\\}$ convergesuniformly on compact subsets of $G$ to a holomorphic function $f$ , and furthermore if $f_{n}$ never vanishes (is not zero for any point in $G$ ), then $f$ is either identically zero or also never vanishes.

References

1 John B. Conway..Springer-Verlag, New York, New York, 1978.

单词	HurwitzsTheorem
释义	Hurwitz’s theorem Define the ball at $z_{0}$ of radius $r$ as $B(z_{0},r)=\\{z\\in G:\\lvert z-z_{0}\\rvert<r\\}$ and $D(z_{0},r)=\\{z\\in G:\\lvert z-z_{0}\\rvert\\leq r\\}$ is the closed ball at $z_{0}$ of radius $r$ . Theorem (Hurwitz). Let $G\\subset{\\mathbb{C}}$ be a region and suppose the sequenceof holomorphic functions $\\{f_{n}\\}$ converges uniformly on compact subsetsof $G$ to a holomorphic function $f$ . If $f$ is not identically zero, $D(z_{0},r)\\subset G$ and $f(z)\ot=0$ for $z$ such that $\\lvert z-z_{0}\\rvert=r$ , then there exists an $N$ such that for all $n\\geq N$ $f$ and $f_{n}$ have the same number of zeros in $B(z_{0},r)$ . What this theorem says is that if you have a sequence of holomorphic functions which converge uniformly on compact subsets (such a sequence always converges to a holomorphic function but that’s another theorem altogether), the function is not identically zero and furthermore the function is notzero on the boundary of some ball,then eventuallythe functions of the sequence have the same number of zeros inside this ball as does the function. Do note the requirement for $f$ not being identically zero. For example the sequence $f_{n}(z):=\\frac{1}{n}$ converges uniformly on compact subsets to $f(z):=0$ , but $f_{n}$ have no zeros anywhere, while $f$ is identically zero. Also in general this result holds for bounded convex subsets (http://planetmath.org/ConvexSet) but it is mostuseful to for balls. An immediate consequence of this theorem is this useful corollary. Corollary. If $G$ is a region and a sequence of holomorphic functions $\\{f_{n}\\}$ convergesuniformly on compact subsets of $G$ to a holomorphic function $f$ , and furthermore if $f_{n}$ never vanishes (is not zero for any point in $G$ ), then $f$ is either identically zero or also never vanishes. References 1 John B. Conway..Springer-Verlag, New York, New York, 1978.
随便看	Basel problem derivation BASIC BASIC BasicAlgebra basic algebra BasicCriterionForSelfadjointness basic criterion for self-adjointness BasicFactsAboutOrderedRings basic facts about ordered rings BasicPropertiesOfALimitAlongAFilter basic properties of a limit along a filter BasicPropertiesOfSeminorms basic properties of seminorms BasicResultsInTopologicalGroups basic results in topological groups BasicTensor basic tensor Basis basis BasisfreeDefinitionOfDeterminant basis-free definition of determinant BasisOfIdealInAlgebraicNumberField basis of ideal in algebraic number field Basistopology basis (topology)