Kontinuitätssatz von Hartogs

In der Funktionentheorie wird als Kontinuitätssatz von Hartogs eine Aussage über die Fortsetzung holomorpher Funktionen in sogenannten Hartogsfiguren bezeichnet. Der Kontinuitätssatz stellt eine Verallgemeinerung des Lemmas von Hartogs dar, welches eine analoge Aussage über die Fortsetzung in Polyzylinder macht.

Hartogsfigur

Zur Formulierung des Kontinuitätssatzes muss zuerst der Begriff der Hartogsfigur eingeführt werden.

<math>P := \left\{ (z_1,\dots,z_n) \in \mathbb{C}^n \,:\, \left|z_j\right| < 1, \; j = 1,\dots,n \right\}</math> bezeichne den Einheits-Polyzylinder. <math>q_1,\dots,q_n \in (0,1)</math> seien positive reelle Zahlen zwischen <math>0</math> und <math>1</math>. Für <math>2 \leq k \leq n</math> sei <math>D_k := \left\{ (z_1,\dots,z_n) \in P \,:\, \left|z_1\right| \leq q_1 \mbox{ und } q_k \leq \left|z_k\right| < 1\right\}</math> sowie <math>H := \bigcap_{k=2}^n (P \setminus D_k)</math>. Das Paar <math>(P, H)</math> heißt euklidische Hartogsfigur.

Eine allgemeine Hartogsfigur ist das biholomorphe Bild einer euklidischen Hartogsfigur.

Kontinuitätssatz

Sei <math>\Omega \subseteq \mathbb{C}^n, \quad n > 1</math> eine offene Teilmenge und <math>(\tilde{P},\tilde{H})</math> eine allgemeine Hartogsfigur in <math>\mathbb{C}^n</math> mit <math>\tilde{H} \subseteq \Omega</math> sowie <math>f\colon \Omega \rightarrow \mathbb{C}</math> eine holomorphe Funktion. Falls <math>\tilde{P} \cap \Omega</math> zusammenhängend ist, lässt sich <math>f</math> auf eindeutige Weise nach <math>\Omega \cup \tilde{P}</math> fortsetzen.

Literatur

• Hans Grauert, Klaus Fritzsche: Einführung in die Funktionentheorie mehrerer Veränderlicher. Springer-Verlag, Berlin 1974, ISBN 3-540-06672-1 u. ISBN 0-387-06672-1