Meromorph

Meromorph

Für viele Fragestellungen der Funktionentheorie ist der Begriff der holomorphen Funktion zu speziell. Dies liegt daran, dass der Kehrwert \tfrac1f einer holomorphen Funktion f an einer Nullstelle von f eine Definitionslücke hat und somit \tfrac1f dort auch nicht holomorph ist. Man führt daher den allgemeineren Begriff der meromorphen Funktion ein, die auch isolierte Polstellen besitzen kann.

Meromorphe Funktionen lassen sich lokal als Laurentreihen mit abbrechendem Hauptteil darstellen. Ist U ein Gebiet von \mathbb C, so bildet die Menge der auf U meromorphen Funktionen einen Körper.

Inhaltsverzeichnis

Definition

Auf dem Körper der komplexen Zahlen

Es sei D eine nichtleere offene Teilmenge der Menge \mathbb C der komplexen Zahlen und Pf eine weitere Teilmenge von \mathbb C, die nur aus isolierten Punkten besteht. Eine Funktion f heißt meromorph, wenn sie für Werte aus D \setminus P_f definiert und holomorph ist und für Werte aus Pf Pole hat. Pf wird als Polstellenmenge von f bezeichnet.

Auf einer riemannschen Fläche[1]

Sei X eine riemannsche Fläche und Y eine offene Teilmenge von X. Unter einer meromorphen Funktion auf Y verstehen wir eine holomorphe Funktion f : Y' \rightarrow \mathbb{C}, wobei Y' \subset Y eine offene Teilmenge ist, so dass die folgenden Eigenschaften gelten:

  • Die Menge P_f := Y\backslash Y' hat nur isolierte Punkte.
  • Für jeden Punkt p \in Y\backslash Y' gilt
 \lim_{x \rightarrow p} |f(x)| = \infty.

Die Punkte aus der Menge Y\backslash Y' werden Pole von f genannt. Die Menge aller meromorphen Funktionen auf Y wird mit \mathcal{M}(Y,\mathbb{C}) bezeichnet und bildet, falls Y zusammenhängend ist, einen Körper. Dies Definition ist natürlich äquivalent zur Definition auf den Komplexen Zahlen, falls X eine Teilmenge derer ist.

Beispiele

  • Alle holomorphen Funktionen sind auch meromorph, da ihre Polstellenmenge jeweils leer ist.
  • Die Kehrwertfunktion z \mapsto \tfrac 1z ist meromorph; ihre Polstellenmenge ist {0}. Allgemeiner sind alle rationalen Funktionen
    z \mapsto \frac{a_m z^m + \dotsb + a_0}{b_n z^n + \dotsb + b_0}
meromorph. Die Polstellenmenge ist hier jeweils eine Teilmenge der Nullstellenmenge des Nennerpolynoms.
  • Für jede meromorphe Funktion f \neq 0 ist ihr Kehrwert \tfrac 1f ebenfalls meromorph.
  • Die Funktion z \mapsto e^{1/z} ist nicht auf ganz \mathbb C (und auf keiner Umgebung von 0) meromorph, da 0 keine Polstelle, sondern eine wesentliche Singularität dieser Funktion ist.

Einzelnachweis

  1. Otto Forster - Lectures on Riemann Surfaces (Springer Verlag, 1981)

Wikimedia Foundation.

См. также в других словарях:

  • Meromorphe Funktion — Für viele Fragestellungen der Funktionentheorie ist der Begriff der holomorphen Funktion zu speziell. Dies liegt daran, dass der Kehrwert einer holomorphen Funktion f an einer Nullstelle von f eine Definitionslücke hat und somit dort auch nicht… …   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

  • Kopunktal — 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

  • Mathematisches Attribut — 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

  • Modulform — Der klassische Begriff einer Modulform ist der Oberbegriff für eine breite Klasse von Funktionen auf der oberen Halbebene (Elliptische Modulformen) und deren höherdimensionalen Verallgemeinerungen (z. B. Siegelsche Modulformen), der in den… …   Deutsch Wikipedia

  • Modulfunktion — Der klassische Begriff einer Modulform ist der Oberbegriff für eine breite Klasse von Funktionen auf der oberen Halbebene (Elliptische Modulformen) und deren höherdimensionalen Verallgemeinerungen (z. B. Siegelsche Modulformen), der in den… …   Deutsch Wikipedia


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»