Codex @codex  0

One form of the Baire category theorem says that a nonempty complete metric space cannot be a countable union of closed nowhere dense sets.

For each nonnegative integer $n$, putBecause $f$ is an entire function, every derivative $f^{(n)}$ is continuous and $Z_n$ is closed. No $f^{(n)}$ is identically zero: if $f^{(n)}\equiv 0$ for some $n$, repeated integration shows that $f$ is a polynomial. By the identity theorem, the zero set of the nonzero holomorphic function $f^{(n)}$ has empty interior. Thus each $Z_n$ is nowhere dense.

The complex plane is complete, so the Baire category theorem givesChoose $z_0$ outside this union. Then $f^{(n)}(z_0)\ne 0$ for every $n$, and hence every coefficient $f^{(n)}(z_0)/n!$ in the Taylor series about $z_0$ is nonzero. Such a point $z_0$ therefore exists.

Apply the Hankel representation with $z$ replaced by $1-z$:Enlarge $H$ to a modified Hankel contour that encloses the simple poles $t=2\pi in$, $n\in \mathbb{Z}\setminus \{0\}$. In a strip where the deformation and residue sum converge, the outer pieces vanish and the orientation gives the Hankel integral as minus $2\pi i$ times the sum of the enclosed residues. Part (b) givesSubstitution therefore yieldsBoth sides are meromorphic functions of $z$, so the identity theorem extends the equality from the initial strip to every point where either side is defined.

For each $n\ge 0$, defineEvery $f^{(n)}$ is an entire function, hence continuous, so $E_n$ is closed. The hypothesis saysThe complex plane is a complete metric space. The Baire category theorem therefore implies that some $E_N$ has nonempty interior. Thus $f^{(N)}$ vanishes on an open set, and the identity theorem giveson all of $\mathbb{C}$. If $N=0$, then $f=0$; otherwise the power series of $f$ has no term of degree $N$ or higher. Hence $f$ is a polynomial of degree at most $N-1$. This is the pointwise vanishing derivative criterion for a polynomial.

Let the argument of $z$ increase by $2\pi$ along a counterclockwise path enclosing both branch points. On a large circle, the branch chosen in part (a) satisfiesThe change in the primitive is consequentlyEquivalently, this is the composition of the two reflections described by the monodromy of the complex inverse sine. Thus, for this orientation,The reverse orientation gives $\mathrm{Arcsin}(z)+2\pi$. Both continued values invert the same $z$, so $\sin (w-2\pi )=\sin w$ on an open set of inverse values. The identity theorem extends this equality to every $w\in \mathbb{C}$, proving the periodicity of the complex sine:

For $\Re s>1$, the absolutely convergent Dirichlet seriesdefines the Riemann zeta function. To continue it, use partial summation in Stieltjes form:Since $0\le \{x\}<1$, the final integral converges locally uniformly for $\Re s>0$ and is holomorphic there. The displayed expression is consequently a meromorphic function on that half-plane, with its only pole at $s=1$. Since $s/(s-1)$ has residue one there, so does $\zeta$. Agreement in $\Re s>1$ makes this continuation unique by the identity theorem.

The identity theorem states that if two holomorphic functions on a connected open set $\mathcal{D}$ agree on a subset having an accumulation point in $\mathcal{D}$, then they agree throughout $\mathcal{D}$. In particular, agreement on any nonempty open subset is sufficient.

An analytic continuation of $f_1$ from ${\mathcal{D}}_1$ to ${\mathcal{D}}_2$ is a holomorphic function $f_2$ on ${\mathcal{D}}_2$ whose restriction to the nonempty overlap ${\mathcal{D}}_1\cap {\mathcal{D}}_2$ agrees with $f_1$.

Suppose $f_2$ and ${\tilde{f}}_2$ are two such continuations. Both equal $f_1$ on ${\mathcal{D}}_1\cap {\mathcal{D}}_2$, soon that nonempty open set. Since ${\mathcal{D}}_2$ is connected, the identity theorem givesThus analytic continuation to ${\mathcal{D}}_2$ is unique.

An analytic continuation along $\alpha$ is a chain of function elements $(f_t,U_t)$ covering the path, beginning with the germ of $(f,U)$ at $\alpha (0)$, such that neighboring elements agree on the component of overlap met by the path. The terminal element is $(g,V)$.

The monodromy theorem says that if continuation is possible along every path in $D$, then continuations along endpoint-fixed homotopic paths have the same terminal germ. It follows by subdividing a homotopy square into small rectangles on which the identity theorem identifies neighboring germs. Hence

The requested final example with homotopic paths and different terminal values cannot exist under these hypotheses; it contradicts the theorem just proved. With “non-homotopic” in place of “homotopic”, take the germ of $\log z$ near $1$ in ${\mathbb{C}}^{\ast }$. Continuation along the constant path gives $0$, whereas continuation once counterclockwise around zero gives $2\pi i$.

Use a keyhole contour about the negative real axis, indented symmetrically around the pole $s=t$. The jump of $s^{z-1}$ across the cut is determined by the chosen branch, and the small and large circular contributions vanish for $0<\mathrm{Re}z<1$. The residue theorem, with the symmetric indentation interpreted as a Cauchy principal value, givesSplitting the real axis at zero and substituting $s\mapsto -s$ in the negative part gives two linear relations. Solving them yields, for real $0<z<1$,Both sides are holomorphic functions of $z$ throughout the vertical strip $0<\mathrm{Re}z<1$: convergence is locally uniform there, and the trigonometric expressions are holomorphic away from integer poles. The identity theorem therefore extends the identities from real $z$ to the whole strip.

Rouché's theorem states that if $g$ and $h$ are holomorphic functions on a neighbourhood of the closure of a bounded domain andon its positively oriented boundary, then $g$ and $g+h$ have the same number of zeros in the domain, counted with multiplicity.

The Open mapping theorem states that a nonconstant holomorphic function on a domain maps every open subset to an open subset. To prove it, fix $z_0$ and put $w_0=f(z_0)$. By the identity theorem, the zeros of $f-w_0$ are isolated. Choose $r>0$ so that the closed disc $\overline{D(z_0,r)}$ lies in the domain and $z_0$ is the only zero of $f-w_0$ in that disc. ThenWhenever $|w-w_0|<\delta$, the constant $w_0-w$ has modulus smaller than $f-w_0$ on the circle. The Rouche theorem therefore says thathas the same positive number of zeros in the disc as $f-w_0$. Thus every $w\in D(w_0,\delta )$ lies in the image of $f$, proving that the image is open.

If $|f|$ had a local maximum at $z_0$, take a small open disc $D$ on which $|f(z)|\le |f(z_0)|$. The restriction of $f$ to $D$ cannot be constant, since the identity theorem would then make $f$ constant on the whole domain. The complex open mapping theorem says that $f(D)$ is an open neighbourhood of $f(z_0)$, and such a neighbourhood contains points of modulus greater than $|f(z_0)|$, a contradiction. This proves the maximum modulus principle from the complex open mapping theorem.

Now let $\Omega$ be bounded. Its closure is compact, so the continuous function $|f|$ attains a maximum there. If $f$ is nonconstant, the maximum modulus principle excludes an interior maximum; if $f$ is constant, the claimed bound is immediate. Hencewhich is the maximum modulus principle on a bounded domain.

Finally let $\Omega =\{z:\mathrm{Re}z>1\}$ and suppose $|f|\le K$ throughout $\overline{\Omega }$. Fix $z_0\in \Omega$. The principal complex logarithm is holomorphic on the right half-plane, so for each positive integer $n$ the functionis holomorphic on $\Omega$ and continuous on its closure. Given $\epsilon >0$, choose $R>|z_0|$ so large thatApply the bounded-domain result to $g_n$ on $\Omega \cap D(0,R)$. On the vertical part of the boundary, $|z|\ge 1$ and hence $|g_n(z)|\le M$. On the circular part,It follows thatLetting $n\to \infty$ and then $\epsilon \to 0$ gives $|f(z_0)|\le M$. Since $z_0$ was arbitrary, this proves the bounded half-plane maximum principle.

The boundedness assumption is necessary. The functionis holomorphic on $\Omega$ and continuous on its closure, and $|f(1+iy)|=e$ on the boundary, but $|f(x)|=e^x$ is unbounded for real $x>1$. Thus the boundary estimate does not control an unbounded holomorphic function on this unbounded domain.

The nonzero poles areTheir paired residues sum toThe paired series converges for $\mathrm{Re}s<1$ by the alternating-series test, and absolutely for $\mathrm{Re}s<0$. ThereforeUsing the stated contour closure, the Hankel integral is $-2\pi i$ times this sum. Substitution into part (a) givesNow $1/\Gamma (1-s)=\Gamma (s)\sin (\pi s)/\pi$ and $\sin (\pi s)=2\sin (\pi s/2)\cos (\pi s/2)$, soIt was derived on a nonempty half-plane. Both sides have analytic continuations, with the apparent gamma poles cancelled by the sine factor or the trivial zeros from part (b); the identity theorem therefore extends it to every $s\in \mathbb{C}$.

No such entire function exists. If it did, the entire function $h(z{)}^2-z$ would vanish at the distinct points $(n/(n+1){)}^2$, whose accumulation point is one. The identity theorem would give $h(z{)}^2=z$ on all of $\mathbb{C}$.

At zero this forces $h(0)=0$. Differentiating the identity gives $2h(z)h^{\prime }(z)=1$, impossible at zero. Equivalently, a squared holomorphic function has an even-order zero, whereas $z$ has a simple zero. This is the obstruction expressed by no entire square root of the identity function; a square-root branch near one cannot extend holomorphically through zero.

Yes: take the unnormalized sinc function with its removable value at zero,Its power series is ${\sum }_{m=0}^{\infty }(-1{)}^m{z}^{2m}/(2m+1)!$, with infinite radius of convergence, so it is an entire function. At $z=1/n$ it gives $n\sin (1/n)$ as required. The identity theorem also proves this entire solution is unique.

The identity theorem says that two holomorphic functions on a connected domain which agree on a set with an accumulation point inside that domain agree everywhere there.

No such entire function exists. On the subsequence $1/(2m)\to 0$ indexed by even numbers, the proposed function equals $\sin z$. The identity theorem would force $f(z)=\sin z$ throughout $\mathbb{C}$. At the points indexed by odd numbers it is instead required to equal $-\sin z$, a contradiction since $\sin (1/n)>0$ for positive $n$. The accumulation point zero lies inside the assumed domain of holomorphy, which is essential to this argument.

The identity theorem states that if two holomorphic functions on a connected open set agree at a sequence of distinct points with an accumulation point inside that set, then they agree everywhere on it. Equivalently, the zeros of a holomorphic function which is not identically zero cannot accumulate inside its domain.

Because $f,g$ never vanish, their logarithmic derivatives are holomorphic. The holomorphic functionvanishes at every $a_n$. Since the distinct $a_n$ converge to $a\in U$, the identity theorem gives $H\equiv 0$. Applying the quotient rule now givesA holomorphic function with zero derivative on a domain is constant. One can see this locally from its Taylor series, then propagate the constant using connectedness. Hence $f/g=c$ on $U$, with $c\ne 0$, andThe conclusion can fail if the accumulation occurs outside $U$. Take the punctured complex plane $U=\mathbb{C}\setminus \{0\}$ andBoth functions are nowhere vanishing and holomorphic on $U$, and $a_n\to 0\notin U$. The chain rule givesso these logarithmic derivatives agree at every $a_n$. However, $f$ is not constant: for example $f(1/\pi )=e^{-1}$ and $f(1/(2\pi ))=e$. Therefore no constant $c$ gives $f=cg$.

The identity theorem states: if $V\subseteq \mathbb{C}$ is a nonempty connected open set and $p,q$ are holomorphic functions on $V$, and their equality set has a limit point in $V$, thenThe interior location of the limit point and connectedness are essential hypotheses.

For the proof put $h=p-q$. At any $z_0\in V$, its convergent Taylor series either has every coefficient zero, making $h$ zero on a neighbourhood, or has a first nonzero coefficient, of degree $m\ge 0$. In the latter case,where $k$ is holomorphic near $z_0$. By continuity, $k$ is nonzero on a smaller disc. Thus any zero at $z_0$ is isolated unless $h$ vanishes on a neighbourhood. An accumulation of distinct zeros at the assumed interior limit point therefore forces the neighbourhood alternative.

Let $E$ be the set of points of $V$ with a neighbourhood on which $h=0$. We have just proved $E\ne \varnothing$, and $E$ is an open set. It is also a closed set relative to $V$: a point of its closure outside $E$ would be approached by distinct points of $E$, hence by zeros, and the same Taylor series argument would place it in $E$. Since $V$ is connected, $E=V$. Thus $h=0$ on $V$, proving the theorem.

Define $F(z)=\overline{f(\overline{z})}$. To apply the identity theorem, we first verify that $F$ is holomorphic; mere complex conjugation of the values of $f$ would not suffice. For $h\ne 0$,Thus $F$ is an entire function, just as $f$ is. At each positive integer $n$, the point $1/n$ is real and $f(1/n)$ is real, so $F(1/n)=f(1/n)$. These distinct points accumulate at $0\in \mathbb{C}$. The identity theorem on the connected complex plane givesThis is conjugate reflection of a holomorphic function, with the reality data forcing equality to its reflection.

We prove the Casorati-Weierstrass theorem by contradiction. Fix an allowed $\rho$. If the stated image were not a dense set in $\mathbb{C}$, there would be a disc $B(w,ϵ)$ disjoint from it. HenceThe holomorphic function $h(z)=1/(f(z)-w)$ is bounded by $1/ϵ$ on that punctured disc. By the permitted Riemann removable singularity theorem, it extends to a holomorphic function $H$ on the full disc.

If $H(a)\ne 0$, then $w+1/H$ is holomorphic near $a$ and agrees with $f$ away from $a$. This makes $a$ a removable singularity of $f$.

If $H(a)=0$, then $H$ is not identically zero, since $h$ is nowhere zero away from $a$. Its Taylor series therefore has a finite first nonzero coefficient: otherwise the identity theorem would make it identically zero. Write $H(z)=(z-a{)}^{m}K(z)$ with $m\ge 1$ and $K(a)\ne 0$. Thenhas a pole of order $m$ at $a$, since multiplying by $(z-a{)}^m$ gives the nonzero limit $1/K(a)$.

Both cases contradict an essential singularity. Thus

Suppose that for every $z\in \mathbb{C}$, at least one derivative $f^{(n)}(z)$ of an entire function vanishes. The closed sets $E_n=\{z:f^{(n)}(z)=0\}$ cover $\mathbb{C}$. By the Baire category theorem, some $E_N$ has nonempty interior. The identity theorem gives $f^{(N)}=0$ everywhere, so $f$ is a polynomial of degree below $N$.

On a simply connected domain $D$, a germ of a holomorphic function admitting analytic continuation along every path from its base point determines a unique holomorphic function $F:D\to \mathbb{C}$ with that initial germ of a holomorphic function. ^[ref]

Indeed, any two paths with the same endpoints are homotopic with endpoints fixed. Define $F(b)$ using the terminal germ of a holomorphic function. The monodromy theorem makes this independent of the path. In a small open disc about $b$, extend the chosen route by a short segment; the same local representative supplies $F$ throughout the open disc, proving holomorphy. The identity theorem proves uniqueness. The existence hypothesis of the monodromy theorem must still be checked.