Global analytic function: Difference between revisions

Revision as of 20:44, 3 May 2008

Latest revision as of 12:42, 5 August 2025

(13 intermediate revisions by 9 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 duebe tofound in {{harvtxt|Ahlfors|1979}}. 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'').

A '''complete''' global analytic function is a global analytic function '''f''' which contains every analytic continuation of each of its elements.

===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-00700065770-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}}

{{math-stub}}

[[Category:Complex analysis]]

[[Category:Types of functions]]