- Holomorph separabel
-
Im Bereich der Funktionentheorie, einem Teilgebiet der Mathematik, interessiert man sich für die Vielfältigkeit holomorpher Funktionen auf komplexe Mannigfaltigkeiten. Ein Konzept ist das der holomorphen Separabilität oder holomorphen Trennbarkeit. Ist eine komplexe Mannigfaltigkeit holomorph separabel, so ist sichergestellt, dass auf dieser Mannigfaltigkeit außer den konstanten Funktionen weitere holomorphe Funktionen existieren. Auf der Sphäre, welche das Standardbeispiel einer Mannigfaltigkeit ist, sind nur die konstanten Funktionen holomorph; die Sphäre ist also nicht holomorph separabel.
Formale Definition
Es sei X eine n-dimensionale komplexe Mannigfaltigkeit und
bezeichne den Ring (bzw. die Garbe) der holomorphen Funktionen
. Die Mannigfaltigkeit X heißt holomorph separabel, wenn es für zwei beliebige Punkte
mit
eine auf ganz X holomorphe Funktion
gibt, so dass
gilt.
Man sagt: „Die holomorphen Funktionen trennen die Punkte.“
Beispiele
- Kann man eine komplexe Mannigfaltigkeit oder einen komplexen Raum injektiv (und holomorph) nach
abbilden, so ist der Raum holomorph separabel.
-
- Folglich ist jedes Gebiet in
holomorph separabel.
- Jede steinsche Mannigfaltigkeit ist holomorph separabel. (Es gibt eine Definition steinscher Mannigfaltigkeiten, die „holomorph separabel“ als Bedingung nennt.)
- Folglich ist jedes Gebiet in
- Die Sphäre und der Torus, beziehungsweise allgemeiner die Jacobi-Varietät, sind nicht holomorph separabel.
- Es gilt sogar, dass Räume, die nicht-diskrete, kompakte, komplexe Unterräume oder Untermannigfaltigkeiten besitzen, nicht holomorph separabel sind.
Literatur
- Klaus Fritzsche, Hans Grauert: From Holomorphic Functions to Complex Manifolds. Springer-Verlag, ISBN 0-387-95395-7.
- Kann man eine komplexe Mannigfaltigkeit oder einen komplexen Raum injektiv (und holomorph) nach
Wikimedia Foundation.