Reinhardt-Gebiet

In der Funktionentheorie mehrerer Veränderlicher bezeichnet ein Reinhardt-Gebiet (auch Reinhardt'sches Gebiet oder Reinhardt'scher Körper genannt, benannt nach Karl Reinhardt) ein Gebiet in ${ℂ}^n$, welches als Vereinigung komplexer $n$-Tori aufgefasst werden kann.

Definition

Sei $\mathrm{\Omega }\subseteq {ℂ}^n$ offen und zusammenhängend. $\mathrm{\Omega }$ heißt Reinhardt-Gebiet, falls für jedes $z=(z_1,z_2,\dots ,z_n)\in \mathrm{\Omega }$ und für alle ${\vartheta }_1,{\vartheta }_2,\dots ,{\vartheta }_n\in ℝ$ auch $(e^{i{\vartheta }_1}\cdot z_1,e^{i{\vartheta }_2}\cdot z_2,\dots ,e^{i{\vartheta }_n}\cdot z_n)\in \mathrm{\Omega }$ liegt.

Ein Reinhardt-Gebiet $\mathrm{\Omega }$ heißt vollkommen, wenn mit $z=(z_1,z_2,\dots ,z_n)\in \mathrm{\Omega }\cap {ℂ}^n\setminus \{0\}$ der Polyzylinder $\{w=(w_1,w_2,\dots ,w_n)\in {ℂ}^n:\left|w_j\right|<\left|z_j\right|\}$ eine Teilmenge von $\mathrm{\Omega }$ ist.

Graphische Darstellung

Ein Reinhardt-Gebiet $\mathrm{\Omega }\subseteq {ℂ}^n$ hat eine eindeutige Entsprechung in ${{ℝ}_0^{+}}^n$, wobei jeder Punkt in $z=(z_1,z_2,\dots ,z_n)\in \mathrm{\Omega }$ auf die Absolutbeträge seiner Koordinaten $(\left|z_1\right|,\left|z_2\right|,\dots ,\left|z_n\right|)$ abgebildet wird. Umgekehrt entspricht dann jeder Punkt in ${{ℝ}_0^{+}}^n$ einem komplexen $n$-Torus. Dadurch können auch Reinhardt-Gebiet in den höherdimensionalen Räumen ${ℂ}^2$ bzw. ${ℂ}^3$ noch graphisch im ${ℝ}^2$ bzw. ${ℝ}^3$ dargestellt werden.

Beispiele

• komplex $n$-dimensionaler Polyzylinder $\{z=(z_1,z_2,\dots ,z_n)\in {ℂ}^n:\left|z_j\right|<{\rho }_j(j=1,2,\dots n)\}$ mit Radien ${\rho }_1,{\rho }_2,\dots ,{\rho }_n>0$
• komplex $n$-dimensionaler Ball $\{z=(z_1,z_2,\dots ,z_n)\in {ℂ}^n:{|z_1-a_1|}^2+{|z_2-a_2|}^2+\dots +{|z_n-a_n|}^2={\rho }^2\}$ um $a=(a_1,a_2,\dots ,a_n)\in {ℂ}^n$ mit Radius $\rho >0$.

Bedeutung in der Funktionentheorie

Die Bedeutung der Reinhardt-Gebiete liegt darin, dass sie die richtigen Gebiete sind, um Potenz- bzw. Laurent-Reihen zu betrachten. Das Konvergenzgebiet einer Potenzreihe ist ein vollkommenes Reinhardt'sches Gebiet. Allerdings ist nicht jedes vollkommene Reinhardt'sche Gebiet auch Konvergenzgebiet einer Potenzreihe.

Reinhardt'sche Gebiete spielen auch eine Rolle bei der Fortsetzung holomorpher Funktionen. Grundlegend ist dabei der folgende Satz:

Sei $\mathrm{\Omega }\subseteq {ℂ}^n$ ein Reinhardt-Gebiet, und $f:\mathrm{\Omega }\to ℂ$ eine holomorphe Funktion. Dann existiert eine eindeutig bestimmte Laurent-Reihe $\sum _{\alpha \in {\mathbb{Z}}^n}{a}_{\alpha }\cdot z^{\alpha }$, welche auf kompakten Teilmengen von $\mathrm{\Omega }$ absolut und gleichmäßig gegen die Funktion $f$ konvergiert.

Gilt zudem, dass für jedes $j\in \{1,2,\dots ,n\}$ ein Punkt $z\in \mathrm{\Omega }$ existiert, dessen $j$-te Koordinate 0 ist, dann ist die Laurent-Reihe sogar eine Potenzreihe und die holomorphe Funktion kann auf dem Konvergenzgebiet dieser Reihe eindeutig fortgesetzt werden.

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