Hartogs's theorem on separate holomorphicity: Difference between revisions

Revision as of 23:13, 29 January 2011

Revision as of 07:05, 6 April 2011

Line 1:

{{dablink|Note that the terminology is inconsistent and Hartogs' theorem may also mean [[Hartogs' lemma]] on removable singularities, the result on [[Hartogs number]] in axiomatic set theory, or [[Hartogs extension theorem]].}}

In [[mathematics]], '''HartogsHartog's theorem''' is a fundamental result of [[Friedrich Hartogs]] in the theory of [[several complex variables]]. It states that for complex-valued functions ''F'' on '''C'''^''n'', with ''n'' > 1, being an [[analytic function]] in each variable ''z''_''i'', 1 ≤ ''i'' ≤ ''n'', while the others are held constant, is enough to prove that ''F'' is a [[continuous function]].

A [[corollary]] of this is that ''F'' is then in fact an analytic function in the ''n''-variable sense (i.e. that locally it has a [[Taylor expansion]]). Therefore 'separate analyticity' and 'analyticity' are coincident notions, in the several complex variables theory.