Holomorph separabel


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 \mathcal O(X) bezeichne den Ring (bzw. die Garbe) der holomorphen Funktionen f: X \to \C. Die Mannigfaltigkeit X heißt holomorph separabel, wenn es für zwei beliebige Punkte x, y \in X mit x \neq y eine auf ganz X holomorphe Funktion f \in \mathcal O(X) gibt, so dass f(x) \neq f(y) gilt.

Man sagt: „Die holomorphen Funktionen trennen die Punkte.“

Beispiele

  • Kann man eine komplexe Mannigfaltigkeit oder einen komplexen Raum injektiv (und holomorph) nach \mathbb{C}^n abbilden, so ist der Raum holomorph separabel.
  • Folglich ist jedes Gebiet in \mathbb{C}^n holomorph separabel.
  • Jede steinsche Mannigfaltigkeit ist holomorph separabel. (Es gibt eine Definition steinscher Mannigfaltigkeiten, die „holomorph separabel“ als Bedingung nennt.)
  • 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.

Wikimedia Foundation.

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Komplexe Geometrie — Komplexe Mannigfaltigkeiten sind topologische Mannigfaltigkeiten, deren Kartenwechselhomöomorphismen sogar konform sind. Diese Objekte werden in der Differentialgeometrie und der Funktionentheorie untersucht. Ihre Definition ist analog zu der… …   Deutsch Wikipedia

  • Komplexe Struktur — Komplexe Mannigfaltigkeiten sind topologische Mannigfaltigkeiten, deren Kartenwechselhomöomorphismen sogar konform sind. Diese Objekte werden in der Differentialgeometrie und der Funktionentheorie untersucht. Ihre Definition ist analog zu der… …   Deutsch Wikipedia

  • Komplexe Mannigfaltigkeit — Komplexe Mannigfaltigkeiten sind topologische Mannigfaltigkeiten, deren Kartenwechselhomöomorphismen sogar konform sind. Diese Objekte werden in der Differentialgeometrie und der Funktionentheorie untersucht. Ihre Definition ist analog zu der… …   Deutsch Wikipedia

  • Steinsche Mannigfaltigkeit — Die Stein sche Mannigfaltigkeit ist ein Objekt aus der höherdimensionalen Funktionentheorie. Benannt wurde dieses nach dem Mathematiker Karl Stein. Eine Stein sche Mannigfaltigkeit ist eine spezielle komplexe Mannigfaltigkeit. Sie ist die… …   Deutsch Wikipedia

  • Riemannsche Fläche — Eine riemannsche Fläche ist im mathematischen Teilgebiet der Funktionentheorie (engl. complex analysis) eine eindimensionale komplexe Mannigfaltigkeit. Riemannsche Flächen sind die einfachsten geometrischen Objekte, die lokal die Struktur der… …   Deutsch Wikipedia

  • Auflösbar — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Euklidisch — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Fehlstand — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Integrabel — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Kollinear — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia