Global analytic function: Difference between revisions

Revision as of 16:34, 8 October 2020

Latest revision as of 12:42, 5 August 2025

(6 intermediate revisions by 2 users not shown)

Line 1:

In the [[mathematics|mathematical]] field of [[complex analysis]], a '''global analytic function''' (or '''complete analytic function''') is a generalization of the notion of an [[analytic function]] which allows for functions to have multiple [[branch cut|branches]]. Global analytic functions arise naturally in considering the possible [[analytic continuation]]s of an analytic function, since analytic continuations may have a non-trivial [[monodromy]]. They are one foundation for the theory of [[Riemann surface]]s.

The definition of a global analytic function goes back to [[Karl Weierstrass]].

==Definition==

The following definition ismay be found in {{harvtxt|Ahlfors|1979}}, but also found in Weyl or perhaps Weierstrass. An analytic function in an [[open set]] ''U'' is called a function element. Two function elements (''f''₁, ''U''₁) and (''f''₂, ''U''₂) are said to be [[analytic continuation]]s of one another if ''U''₁ ∩ ''U''₂ ≠ ∅ and ''f''₁ = ''f''₂ on this intersection. A chain of analytic continuations is a finite sequence of function elements (''f''₁, ''U''₁), …, (''f''_''n'',''U''_''n'') such that each consecutive pair are analytic continuations of one another; i.e., (''f''_''i''+1, ''U''_''i''+1) is an analytic continuation of (''f''_''i'', ''U''_''i'') for ''i'' = 1, 2, …, ''n'' − 1.

A global analytic function is a family '''f''' of function elements such that, for any (''f'',''U'') and (''g'',''V'') belonging to '''f''', there is a chain of analytic continuations in '''f''' beginning at (''f'',''U'') and finishing at (''g'',''V'').

Line 9 ⟶ 11:

===Sheaf-theoretic definition===

Using ideas from [[sheaf theory]], the definition can be streamlined. In these terms, a complete global analytic function is a [[Connected_space#Path_connectedness|path -connected]] sheaf of germs of analytic functions which is ''maximal'' in the sense that it is not contained (as an [[etale space]]) within any other path connected sheaf of germs of analytic functions.

==References==

* {{citation|first=Lars|last=Ahlfors|authorlink=Lars Ahlfors|title=Complex analysis|publisher=McGraw Hill|edition=3rd|year=1979|isbn=978-0-07-000657-7}}

* {{cite book |last=Markushevich |first=A. I. |title=Theory of Functions of a Complex Variable, Volume 3 |year=1977 |publisher=Chelsea Publishing Company}}

* {{SpringerEOM|title=Complete analytic function|author=E. D. Solomentsev}}

[[Category:Complex analysis]]