Polynomkonvexität

Polynomkonvexität ist eine mathematische Eigenschaft von Mengen im $\C^n$, die in der Funktionentheorie mehrerer Veränderlicher betrachtet wird. Sie spielt eine Rolle bei der Approximation holomorpher Funktionen durch Polynome.

Definition

Für eine kompakte Teilmenge $K\subset\C^n$ heißt

$\hat{K}\,:=\,\{(z_1,\ldots,z_n)\in\C^n;\, |p(z_1,\ldots,z_n)| \le \|p\|_K \,\mbox{ für alle Polynome } p\}$

die polynomkonvexe Hülle von K. Dabei ist $\|\cdot\|_K$ die Supremumsnorm auf K.

Eine Teilmenge $S\subset \C^n$ nennt man polynomkonvex, wenn für jede kompakte Teilmenge $K\subset S$ auch $\hat{K}\subset S$ gilt.

Bemerkungen

Sind K und L kompakte Teilmengen des $\C^n$, so ist offenbar

• $K\subset\hat{K}$
• Aus $K\subset L$ folgt $\hat{K}\subset\hat{L}$
• $\hat{\hat{K}}=\hat{K}$.

Das rechtfertigt die Bezeichnung Hülle in Analogie zur konvexen Hülle. Diese Analogie kann man weiter treiben: Man beachte, dass die abgeschlossene konvexe Hülle einer kompakten Teilmenge $C\subset \R^n$ gleich der Menge aller Vektoren x ist, so dass $|f(x)| \le \|f\|_C$ für alle linearen Funktionale $f:\R^n\rightarrow \R$. In obiger Definition sind die linearen Funktionale durch Polynome ersetzt. Diese Analogie motiviert die Bezeichnungen polynomkonvexe Hülle und polynomkonvex.

Ferner zeigt diese Betrachtung, dass eine kompakte Menge $K\subset \C^n$ genau dann polynomkonvex ist, wenn $K=\hat{K}$. Insbesondere ist eine kompakte Menge $K\subset \C^n$ genau dann polynomkonvex, wenn es zu jedem $(z_1,\ldots,z_n)\in \C^n\setminus K$ ein Polynom p gibt mit

• $p(z_1,\ldots,z_n)=1$
• $|p(w_1,\ldots,w_n)|<1$ für alle $(w_1,\ldots,w_n) \in K$.

Beispiele

• Ist $K\subset \C^n$ polynomkonvex, so ist $\C^n\setminus K$ zusammenhängend. Im Fall n = 1 gilt hiervon die Umkehrung, im Falle n > 1 gilt ist die Umkehrung falsch.
• Polyzylinder sind polynomkonvex.
• Kompakte konvexe Mengen im $\C^n$ sind polynomkonvex.
• Die Vereinigung zweier disjunkter konvexer Mengen im $\C^n$ ist polynomkonvex; für drei Mengen gilt das im Allgemeinen nicht.
• $\{(z_1,z_2)\in \C^2; \,|z_1|=1=|z_2|\}$ ist nicht polynomkonvex.

Ein Satz von Oka

Polynomkonvexe Mengen spielen eine wichtige Rolle in der Approximation holomorpher Funktionen durch Polynome. Der eindimensionale Fall ist genau der Rungesche Approximationssatz.

Der Satz von Oka kann in folgenden Versionen wiedergegeben werden:

• Sei $K\subset \C^n$ eine kompakte, polynomkonvexe Menge. Dann kann jede in einer Umgebung von K definierte holomorphe Funktionen gleichmäßig auf K durch Polynome approximiert werden.
• Sei $D\subset \C^n$ ein polynomkonvexes Gebiet. Dann kann jede auf D definierte holomorphe Funktion kompakt-gleichmäßig durch Polynome approximiert werden.

Literatur

• Gunning-Rossi: Analytic functions of several complex variables. Prentice-Hall 1965
• Lars Hörmander: An Introduction to Complex Analysis in Several Variables, North-Holland Mathematical Library 1973