Fact-checked by Grok 2 weeks ago

Monodromy theorem

The Monodromy theorem is a key result in complex analysis stating that if a complex function f is analytic in a disk contained within a simply connected domain D, and f can be analytically continued along every polygonal path in D, then f extends to a single-valued analytic function on the entirety of D.^[1] This theorem ensures that analytic continuation in such domains is path-independent, meaning that continuations along homotopic paths—those deformable into one another while fixing endpoints—yield the same resulting function element.^[2] Specifically, for a function element (f, D) that admits unrestricted analytic continuation in a region G containing D, the theorem implies that for any points a \in D and b \in G, and any two fixed-endpoint homotopic paths \gamma_0 and \gamma_1 from a to b in G, the analytic continuations along these paths agree at b.^[2] In broader terms, the theorem addresses the monodromy phenomenon, where analytic continuation around closed loops may lead to multi-valued functions in non-simply connected domains, but in simply connected ones, it guarantees single-valuedness provided continuation is possible along all relevant paths.^[3] It relies on prerequisites such as the existence of analytic continuations along smooth paths and the homotopy of those paths within the domain, preventing issues like branch points that arise in examples such as the square root or logarithm functions.^[3] The result has significant implications for understanding global properties of analytic functions, including their representation in simply connected regions and the absence of monodromy obstructions.^[1]

Background Concepts

Analytic Functions in Complex Domains

In complex analysis, an analytic function, also known as a holomorphic function, is a complex-valued function f: D \to \mathbb{C} defined on an open set D \subset \mathbb{C} that is complex differentiable at every point in D, meaning the limit \lim_{h \to 0} \frac{f(z + h) - f(z)}{h} exists for each z \in D.^[4] Equivalently, if f(z) = u(x, y) + i v(x, y) where z = x + i y and u, v: \mathbb{R}^2 \to \mathbb{R}, then f satisfies the Cauchy-Riemann equations \frac{\partial u}{\partial x} = \frac{\partial v}{\partial y} and \frac{\partial u}{\partial y} = -\frac{\partial v}{\partial x} at every point in D, provided the partial derivatives exist and are continuous./02%3A_Analytic_Functions/2.06%3A_Cauchy-Riemann_Equations) A third equivalent characterization is that f admits a convergent power series expansion \sum_{n=0}^{\infty} a_n (z - z_0)^n in some neighborhood of each z_0 \in D.^[5] Analytic functions possess several fundamental properties that distinguish them from merely differentiable real functions. They are infinitely differentiable in the complex sense, and in fact, all higher derivatives exist and are themselves analytic on D.^[6] The maximum modulus principle states that if f is analytic and non-constant in a bounded domain D, then |f(z)| attains its maximum value on the boundary of D rather than in the interior.^[7] Additionally, the identity theorem asserts that if two analytic functions on a connected open set agree on a subset with a limit point, they coincide everywhere on that set, implying uniqueness under such conditions.^[8] Representative examples illustrate these concepts. Polynomials, such as f(z) = z^2 + 3z + 1, are entire functions, meaning they are analytic on the entire complex plane \mathbb{C}.^[9] The exponential function e^z = \sum_{n=0}^{\infty} \frac{z^n}{n!} and the trigonometric functions \sin z = \frac{e^{iz} - e^{-iz}}{2i}, \cos z = \frac{e^{iz} + e^{-iz}}{2} are also entire.^[10] In contrast, the principal branch of the complex logarithm, \operatorname{Log} z = \ln |z| + i \arg z with \arg z \in (-\pi, \pi), is analytic on \mathbb{C} excluding the non-positive real axis, where a branch cut is introduced to ensure single-valuedness.^[11] The domain of an analytic function is typically a domain in the complex plane, defined as a non-empty open connected subset of \mathbb{C}.^[12] Common examples include open disks \{z : |z - z_0| < r\}, annuli \{z : r < |z - z_0| < R\}, and punctured planes \mathbb{C} \setminus \{0\}, each providing a setting where local power series representations hold.^[13]

Simply Connected Domains

In complex analysis, a domain, or open connected set, in the complex plane is defined as simply connected if every closed curve within the domain can be continuously deformed to a point while remaining entirely inside the domain.^[6] This topological property ensures that the domain has no "holes" that prevent such deformations.^[14] Equivalently, a domain \Omega \subset \mathbb{C} is simply connected if its fundamental group \pi_1(\Omega) is trivial, meaning every closed path is homotopic to a constant path.^[14] Another characterization views the domain from the perspective of the Riemann sphere \hat{\mathbb{C}} = \mathbb{C} \cup \{\infty\}, where \Omega is simply connected if and only if its complement \hat{\mathbb{C}} \setminus \Omega is connected; thus, simply connected domains in the plane do not surround the point at infinity.^[6]^[14] Classic examples of simply connected domains include the entire complex plane \mathbb{C}, open disks such as \{z : |z - a| < r\} for center a \in \mathbb{C} and radius r > 0, and half-planes like \{z : \operatorname{Re}(z) > 0\}.^[6] In contrast, multiply connected domains, such as an annulus \{z : r < |z| < R\} with $0 < r < R or a punctured disk \{z : 0 < |z| < R\}, feature holes that obstruct the contraction of certain closed curves around them.^[15] A key theorem in this context states that in a simply connected domain \Omega, every closed curve is homologous to zero, meaning it bounds a region entirely contained within \Omega.^[14] This property directly implies Cauchy's integral theorem: if f is analytic in \Omega, then for any closed curve \gamma in \Omega,

\int_\gamma f(z) \, dz = 0.

^[6]^[14]

Analytic Continuation

Basic Principles

Analytic continuation refers to the process of extending the domain of an analytic function f, initially defined on an open set U \subset \mathbb{C}, to a larger open set V \supset U such that the extended function g: V \to \mathbb{C} satisfies g(z) = f(z) for all z \in U and g remains analytic on V. This extension preserves the local analytic properties of f, allowing the function to be redefined beyond its original region of convergence or definition while maintaining holomorphicity.^[16]^[17] The mechanism of analytic continuation is inherently local, relying on the power series representation of analytic functions. Given an analytic function on U, one can expand it in a Taylor series around any point a \in U \cap V, yielding a power series that converges to the function in a disk of radius equal to the distance to the nearest singularity or boundary point. The radius of convergence of this series determines the maximal disk within V to which the continuation is valid at that point, enabling step-by-step extension across overlapping disks to cover the larger domain.^[16]^[17] Uniqueness of analytic continuation follows from the identity theorem, which states that if two analytic functions on a connected open set agree on a subset with an accumulation point, they coincide everywhere on that set. Thus, any two analytic continuations of f to the same larger connected domain V that agree with f on a connected open subset of U \cap V must be identical throughout V. This ensures that the extended function is well-defined independently of the method of continuation.^[17] A representative example is the extension of the geometric series \sum_{n=0}^\infty z^n, which defines the analytic function f(z) = \frac{1}{1-z} on the unit disk |z| < 1. This can be continued to the Riemann surface or, more simply, to \mathbb{C} \setminus \{1\} using the closed-form rational expression \frac{1}{1-z}, which agrees with the series on the disk and is analytic everywhere except at the pole z=1. Such continuations highlight how alternative representations, like rational functions, facilitate global extensions beyond local series expansions.^[16]^[17]

Continuation Along Paths

Analytic continuation along a path formalizes the extension of an analytic function f defined in a neighborhood of an initial point z_0 in an open domain \Omega \subset \mathbb{C} by following a continuous path \gamma: [0,1] \to \Omega with \gamma(0) = z_0. The continuation proceeds as a sequence of local power series expansions centered successively at points \gamma(t) along the path, leveraging the fact that analytic functions are uniquely determined by their values on any set with a limit point.^[6] Central to this process is the notion of the germ of an analytic function at a point z \in \Omega, denoted _z, which consists of the equivalence class of all analytic functions on \Omega that agree with f in some neighborhood of z. Two functions f_1 and f_2 analytic at z belong to the same germ if there exists a disk D(z, r) such that f_1 \equiv f_2 on D(z, r); this local equivalence captures the intrinsic analytic structure at z independent of the specific domain of definition.^[6] The continuation begins with the initial germ _{\gamma(0)} and proceeds incrementally: for each t \in [0,1], the germ _{\gamma(t)} is extended analytically to a small open disk D_t centered at \gamma(t) with radius chosen small enough to lie within \Omega and to overlap sufficiently with the previous disk D_{t-\delta} for some \delta > 0. This overlap allows the power series expansion in D_{t-\delta} to converge in the intersection, uniquely determining the extension to D_t via the identity theorem for analytic functions, thereby chaining the local representations continuously along \gamma. The resulting function remains analytic in a neighborhood of each path segment and is independent of the specific overlapping choices, as long as the disks cover the path adequately.^[18] The maximal continuation along \gamma is defined on the largest subinterval [0, t_{\max}] (with t_{\max} \leq 1) over which such disk extensions are possible without the path encountering a singularity of f or exiting \Omega. At t = t_{\max}, continuation halts because any further extension would require passing through a point where f cannot be analytically defined, such as an isolated singularity or a natural boundary of \Omega. This maximal extent is unique and determined solely by the geometry of \Omega and the singularities of f.^[6] Locally, the continued function admits a power series representation centered at each \gamma(t):

f(\gamma(t) + h) = \sum_{n=0}^{\infty} a_n(t) h^n, \quad |h| < r(t),

where the radius r(t) > 0 ensures convergence in a disk around \gamma(t), and the coefficients a_n(t) are continuous functions of t along [0, t_{\max}], reflecting the smooth variation of the analytic structure as the path progresses. These coefficients can be expressed via Cauchy's integral formula applied to the overlapping regions, guaranteeing the continuity.^[18] This path-guided approach extends the basic principles of analytic continuation to directed extensions within potentially irregular domains.

The Monodromy Theorem

Statement and Setup

The Monodromy theorem addresses the path independence of analytic continuation for holomorphic functions in complex domains. Consider an open connected domain \Omega \subset \mathbb{C} and a point z_0 \in \Omega. Suppose f is holomorphic in some neighborhood of z_0, and assume that f admits analytic continuation along every path in \Omega starting at z_0, without encountering singularities along such paths. The theorem asserts that if \gamma_1 and \gamma_2 are two paths in \Omega from z_0 to some point z_1 \in \Omega that are homotopic in \Omega with fixed endpoints, then the analytic continuations of f along \gamma_1 and along \gamma_2 yield the same germ of a holomorphic function at z_1.^[19]^[20]^[2] A special case arises for closed paths \gamma_1, \gamma_2: [0,1] \to \Omega based at z_0 (i.e., \gamma_1(0) = \gamma_1(1) = z_0 and similarly for \gamma_2), which are homotopic in \Omega. Two such closed paths are homotopic in \Omega if there exists a continuous homotopy H: [0,1] \times [0,1] \to \Omega such that H(s,0) = H(s,1) = z_0 for all s \in [0,1], H(0,t) = \gamma_1(t) for all t \in [0,1], and H(1,t) = \gamma_2(t) for all t \in [0,1]. This homotopy represents a continuous deformation of \gamma_1 into \gamma_2 within \Omega, fixing the base point z_0. In this case, the theorem implies that the analytic continuations along these paths yield the same germ at z_0. In the simply connected case, where every closed path in \Omega is homotopic to the constant path at z_0, the theorem implies that analytic continuation yields a single-valued holomorphic function on all of \Omega. More generally, the result extends to paths in the universal cover of \Omega, ensuring consistency under homotopy classes.^[19]^[2] The term "monodromy" derives from the Greek words \mu\acute{o}νος (monos, meaning "single" or "alone") and \delta\rhoόμος (dromos, meaning "path" or "course"), evoking the idea of a function returning to its original value after traversing a closed path without change. This concept was introduced by Bernhard Riemann in his 1857 paper on the theory of algebraic functions, where he explored the behavior of multivalued functions under analytic continuation around branch points.

Proof Outline

The proof of the Monodromy theorem proceeds by demonstrating that analytic continuations of a given function germ along homotopic paths in a domain yield the same terminal germ, leveraging the continuity of the continuation process under path deformation. The key idea is to use a homotopy between two paths to show that the resulting continuations vary continuously and must therefore coincide, given the topological properties of the domain and the space of germs.^[21] Consider two paths \gamma_0, \gamma_1: [0,1] \to \Omega in the domain \Omega \subset \mathbb{C}, sharing the same initial point z_0 \in \Omega and terminal point z_1 \in \Omega, and suppose they are homotopic via a continuous map H: [0,1] \times [0,1] \to \Omega such that H(0,t) = \gamma_0(t), H(1,t) = \gamma_1(t), H(s,0) = z_0, and H(s,1) = z_1 for all s,t \in [0,1]. For each fixed s \in [0,1], the path \gamma_s(t) = H(s,t) connects z_0 to z_1, and analytic continuation of an initial germ (f, D) at z_0 (with D \subset \Omega an open disk containing z_0) along \gamma_s produces a terminal germ \Phi(s) at z_1. This defines a map \Phi: [0,1] \to \mathcal{G}_{z_1}, where \mathcal{G}_{z_1} denotes the space of germs of analytic functions at z_1.^[6]^[2] The map \Phi is continuous because small changes in s induce small perturbations in the path \gamma_s, and the resulting continuations agree on overlaps due to the uniqueness of analytic continuation; moreover, the power series expansions of the continued functions converge uniformly on compact subsets of \Omega along the homotopy, ensuring that the terminal germs vary continuously in the topology of uniform convergence on compact sets. Since [0,1] is connected and \mathcal{G}_{z_1} is Hausdorff (as distinct analytic germs differ on some disk and cannot be continuously deformed into each other), the continuous image \Phi([0,1]) is connected and thus a single point, implying \Phi(s) is constant for all s. Therefore, the terminal germs along \gamma_0 and \gamma_1 coincide.^[21]^[6] In the special case of closed paths (loops based at z_0), the simply connected nature of \Omega ensures all loops are homotopic to the constant path at z_0, so continuation along any loop is equivalent to the trivial continuation along the constant path, yielding the original germ and confirming path independence for the global analytic function on \Omega. An alternative perspective interprets the theorem via covering spaces, where the universal cover of \Omega parameterizes unambiguous continuations, and the monodromy action trivializes in simply connected domains due to the trivial fundamental group.^[2]^[22]

Monodromy Action

The monodromy action arises in the study of analytic continuation along paths in a domain \Omega \subset \mathbb{C}, where a fixed germ _{z_0} of an analytic function at a base point z_0 \in \Omega is continued along a closed path \gamma in \Omega starting and ending at z_0. The monodromy map \mu_\gamma associated to such a path is defined by \mu_\gamma(_{z_0}) = the germ at z_0 obtained by analytically continuing _{z_0} along \gamma. This map captures the potential change in the function germ after traversal, reflecting the topological structure of \Omega.^[6] For closed paths based at z_0, the collection of all such monodromy maps \{\mu_\gamma \mid \gamma is a closed loop at z_0\} generates the monodromy group G, which is a subgroup of the automorphism group \mathrm{Aut}(\mathcal{G}_{z_0}) of the germs of analytic functions at z_0. In cases involving finite-sheeted covering spaces, such as multi-valued functions with finitely many branches, G often acts as a permutation group on the set of branches. This group structure encodes the obstructions to single-valued continuation in non-simply connected domains.^[23] A representative example is the complex logarithm function \log z, defined initially in a slit plane with a principal branch at z_0 = 1. Analytic continuation along a closed path \gamma encircling the origin once (with winding number 1) results in the continued germ [\log z + 2\pi i]_{z_0}, effectively shifting the branch by e^{2\pi i} = 1 in the exponential sense but adding $2\pi i to the logarithm value. Iterating this action generates the infinite cyclic group \mathbb{Z}, illustrating the monodromy group's role in describing infinite-sheeted coverings.^[6] The monodromy group G is intimately related to the fundamental group \pi_1(\Omega, z_0) via a group homomorphism \rho: \pi_1(\Omega, z_0) \to \mathrm{Aut}(\mathcal{G}_{z_0}), where the image of \rho is precisely G. This representation associates homotopy classes of loops to automorphisms of the germ space. For generic analytic functions f, this representation is faithful, meaning \rho is injective, so G \cong \pi_1(\Omega, z_0).^[23]

Consequences and Applications

Uniqueness in Simply Connected Domains

In a simply connected domain \Omega \subset \mathbb{C}, the monodromy theorem implies a fundamental corollary regarding the uniqueness of analytic continuation. Specifically, if a function element (f, D) with D \subset \Omega admits analytic continuation along every path in \Omega starting from a point in D, then there exists a unique analytic function F: \Omega \to \mathbb{C} such that F(z) = f(z) for all z \in D. This extension is single-valued and global across \Omega, free from the path-dependent variations that can arise in multiply connected domains.^[24]^[2] The proof follows directly from the topological properties of simply connected domains combined with the monodromy theorem. In such a domain, any two paths \gamma_0 and \gamma_1 connecting a point a \in D to an arbitrary point b \in \Omega are homotopic relative to their endpoints. By the monodromy theorem, analytic continuations of f along these homotopic paths yield identical function elements at b. Thus, the continuation defines a consistent value F(b) for every b \in \Omega. The identity theorem for analytic functions then ensures that this F is the unique analytic extension agreeing with f on D.^[24]^[2] A classic example is the exponential function \exp(z), initially defined by its power series \sum_{n=0}^\infty \frac{z^n}{n!} in a disk around 0. This function admits analytic continuation along every path in the entire complex plane \mathbb{C}, which is simply connected, resulting in a unique entire function that matches the original series everywhere. In contrast, while singularities—such as essential singularities or branch points—may restrict continuation to subdomains of \Omega, the absence of non-trivial homotopy classes in simply connected regions eliminates monodromy obstructions, ensuring the continuation remains unambiguous within \Omega.^[24]

Multivalued Functions and Branch Points

Multivalued functions emerge in complex analysis when the monodromy group associated with analytic continuation is non-trivial, meaning that continuing a holomorphic germ along a closed path in a non-simply connected domain results in a different germ upon return to the starting point. This phenomenon prevents the function from being single-valued on the punctured plane, as the value depends on the path taken. Classic examples include the complex logarithm \log z and the square root \sqrt{z}, where encircling the origin alters the function value by multiples of $2\pi i or a sign change, respectively.^[25]^[26] Branch points are the singular loci responsible for this path-dependence, defined as points where analytic continuation around a small closed loop enclosing the point fails to return the original germ. For instance, z=0 serves as a branch point for \sqrt{z}, where looping once multiplies the value by -1, reflecting the two possible square roots. Branch points are classified into algebraic types, which involve a finite number of sheets (e.g., order p for z^{q/p}, with p sheets meeting at the point), and logarithmic types, which produce infinitely many sheets due to additive changes like $2\pi i n for integer n, as in \log z at z=0.^[25]^[27]^[26] A representative example is the inverse sine function \arcsin z = -i \log\left(z + i\sqrt{1 - z^2}\right), which possesses branch points at z = \pm 1. These points arise from the square root term, creating a two-sheeted structure where monodromy around a loop enclosing both branch points swaps the sheets, interchanging the two branches of the function. The principal branch is typically defined with cuts from -1 to -\infty and from $1 to \infty along the real axis, ensuring analyticity in the cut plane.^[28]^[26] To overcome the multivaluedness induced by non-trivial monodromy, one constructs the universal cover or a Riemann surface for the function, which provides a simply connected domain where the function extends as a single-valued holomorphic map. For \sqrt{z}, the Riemann surface is a two-sheeted branched cover of the complex plane, with sheets glued along a branch cut connecting the branch points at $0 and \infty, allowing global single-valuedness. Similarly, for \log z, an infinite-sheeted helical surface resolves the logarithmic branching, enabling consistent analytic continuation across all sheets.^[29]^[25]

References

[1]
Monodromy Theorem -- from Wolfram MathWorld
If a complex function f is analytic in a disk contained in a simply connected domain D and f can be analytically continued along every polygonal arc in D,Missing: definition | Show results with:definition
[2]
[PDF] IX.3. Monodromy Theorem.
Apr 9, 2017 · The Monodromy Theorem gives conditions under which the analytic continuations are path independent.
[3]
monodromy theorem - PlanetMath
Mar 22, 2013 · monodromy theorem. Let C(t) C ⁢ ( t ) be a one-parameter family of smooth paths in the complex plane with common endpoints z ...
[4]
Analytic Function -- from Wolfram MathWorld
A complex function is said to be analytic on a region R if it is complex differentiable at every point in R. The terms holomorphic function, ...
[5]
https://artofproblemsolving.com/wiki/index.php/Holomorphic_function
[6]
[PDF] Ahlfors, Complex Analysis
Complex Analysis has successfully maintained its place as the standard elementary text on functions of one complex variable. There is, never-.
[7]
[PDF] national university of singapore
Theorem 2.2.4. (Maximum modulus principle). If f is analytic and not constant on the domain D, then |f(z)| has no maximum value in D. Proof: We prove the ...
[8]
[PDF] Chapter 3: The maximum modulus principle
Dec 3, 2003 · Theorem 3.1 (Identity theorem for analytic functions) Let G ⊂ C be open and connected. (and nonempty). Let f : G → C be analytic. Then the ...
[9]
Entire Function -- from Wolfram MathWorld
polynomial a_nz^n+a_(n-1)z^(n-1)+...+a_0 is entire. Examples of specific entire functions ... exponential function, e^z=exp(z). Fresnel integrals, C(z) , S(z).
[10]
Statement of Liouville's Theorem
An entire or integral function is a complex analytic function that is analytic throughout the whole complex plane. For example, exponential function, sin z, cos ...
[11]
The Logarithmic Function - Complex Analysis
The branch cut for the principal branch ( ) consists of the origin and the ray. The origin is evidently a branch point for branches of the multiple-valued ...
[12]
Topology of the Complex Plane
A nonempty open set that is connected is called a domain. In this context, any neighbourhood is a domain. A domain together with some, none, or all of its ...
[13]
[PDF] regions in the complex plane 31 - FSU Math
A nonempty open set that is connected is called a domain. Note that any neighborhood is a domain. A domain together with some. none, or all of its boundary ...<|control11|><|separator|>
[14]
[PDF] Complex Analysis Notes
A region Ω is simply-connected if π1(Ω) = 0, or equivalently, if any continuous map S1 → Ω extends to B2 → Ω, or equivalently, if complement of Ω in bC is ...
[15]
[PDF] Chapter 2 Complex Analysis
Hence for example, a disk is simply connected, while a punctured disk is not: any circle around the puncture contains the puncture in its interior, but this ...
[16]
Analytic Continuation -- from Wolfram MathWorld
Analytic continuation (sometimes called simply "continuation") provides a way of extending the domain over which a complex function is defined.Missing: "complex
[17]
[PDF] A First Course in Complex Analysis - matthias beck
A First Course in Complex Analysis was written for a one-semester undergrad- uate course developed at Binghamton University (SUNY) and San Francisco.
[18]
[PDF] Theory of Complex Functions
This book, 'Theory of Complex Functions' by Reinhold Remmert, translated by Robert B. Burckel, is part of the 'Graduate Texts in Mathematics' series.
[19]
Functions of One Complex Variable I | SpringerLink
This book is intended as a textbook for a first course in the theory of functions of one complex variable for students who are mathematically mature enough.
[20]
[PDF] ANALYTIC CONTINUATION - UCI Mathematics
This book includes applying Riemann's extension of Abel's Theorems. Riemann's Existence Theorem is the start of this extension. Riemann's Existence Theorem ...
[21]
[PDF] Complex Analysis I, Christopher Bishop 2024 - Stony Brook University
D. Page 21. The monodromy theorem can be used to give another proof that a harmonic function u on a simply-connected region Ω is the real part of an analytic ...
[22]
[PDF] arXiv:1507.00711v1 [math.AG] 2 Jul 2015
Jul 2, 2015 · According to Ullrich, the full statement of the Monodromy theorem for simple connected domains is contained in the 'Mitschrift' of Killing ( ...
[23]
[PDF] Forster, Lectures on Riemann Surfaces, Sp
Monodromy of differential equations. In general the equation dF = M · F has global solutions only on the universal cover eX, and we get a monodromy ...
[24]
[PDF] Complex Analysis & Riemann Surfaces Course - Wilhelm Schlag
Preface v. Chapter 1. From i to z: the basics of complex analysis. 1. 1. The field of complex numbers. 1. 2. Differentiability and conformality.
[25]
[PDF] Branch Points and Branch Cuts (18.04, MIT). - MIT Mathematics
Oct 11, 1999 · Thus the origin is a branch point of log(z). Definition 1.1 The point z0 is called a branch point | for the complex (multiple) valued function.
[26]
[PDF] Complex Variables Introduction and Applications
May 3, 2012 · aspects of multivalued functions. Multivalued functions have branch points. We recall that their characteristic property is the following ...
[27]
Algebraic Branch Point -- from Wolfram MathWorld
An algebraic branch point is a singular boundary point of one sheet of a multivalued function about which a finite number p of distinct sheets hang together.<|separator|>
[28]
DLMF: §4.23 Inverse Trigonometric Functions ‣ Trigonometric Functions ‣ Chapter 4 Elementary Functions
### Summary of Inverse Trigonometric Functions from §4.23 (DLMF)
[29]
[PDF] Riemann Surfaces
Jun 17, 2018 · deal with multivalued functions. The analytic continuation of a ... phic maps 1.7, the set A of branch points of f is closed and discrete.