Laurent-Reihe

Die Laurent-Reihe (nach Pierre Alphonse Laurent) ist eine unendliche Reihe ähnlich einer Potenzreihe, aber zusätzlich mit negativen Exponenten. Allgemein hat eine Laurent-Reihe in ${\textstyle x}$ mit Entwicklungspunkt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\textstyle c} diese Gestalt:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f(x) = \sum_{n=-\infty}^\infty a_n (x-c)^n}

Dabei sind die Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\textstyle a_n} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\textstyle c} meist komplexe Zahlen, es gibt aber auch andere Möglichkeiten, die im Abschnitt Formale Laurent-Reihe weiter unten beschrieben sind. Für komplexe Laurent-Reihen benutzt man meist die Variable ${\textstyle z}$ anstatt ${\textstyle x}$.

Summanden, deren Koeffizient ${\textstyle a_{n}=0}$ ist, werden meist nicht mitgeschrieben, daher muss nicht jede Laurent-Reihe in beide Richtungen ins Unendliche reichen. Dies geschieht genauso, wie es bei Potenzreihen üblich ist, und ähnelt der Darstellung abbrechender Dezimalbrüche, bei denen formal unendlich viele Nullen hinter der letzten Ziffer stehen.

Die Reihe der Terme mit negativen Exponenten nennt man den Hauptteil der Laurent-Reihe, die Reihe der Terme mit nichtnegativen Exponenten nennt man den Nebenteil oder den regulären Teil.

Eine Laurent-Reihe mit verschwindendem Hauptteil ist eine Potenzreihe; hat sie außerdem nur endlich viele Terme, dann ist sie ein Polynom. Hat eine Laurent-Reihe insgesamt nur endlich viele Terme (mit negativem oder positivem Exponent), dann nennt man sie ein Laurent-Polynom.

Die Laurent-Reihe wurde 1843 von dem französischen Mathematiker Pierre Alphonse Laurent vorgestellt. Aufzeichnungen im Nachlass des deutschen Mathematikers Karl Weierstraß deuten jedoch darauf hin, dass dieser sie bereits 1841 entdeckt hatte.

Laurent-Zerlegung

Das Prinzip der Entwicklung einer holomorphen Funktion in eine Laurent-Reihe basiert auf der Laurent-Zerlegung. Dazu betrachte man ein Kreisringgebiet Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle {\mathcal {R}}=\{z\in \mathbb {C} \;|\;r<|z|<R\}} . Nun definiere man zwei holomorphe Funktionen $g$ und $h$:

$g\colon U_{R}(0)\rightarrow \mathbb {C}$

$h\colon U_{\frac {1}{r}}(0)\rightarrow \mathbb {C}$.

Das heißt, die Funktionen $g$ und $h$ sind auf einer Kreisscheibe von Radius $R$ bzw. $1/r$ um den Mittelpunkt holomorph. Da das Argument der Funktion $h$ innerhalb des so definierten Kreisgebietes liegen muss, erkennt man schnell, dass die Funktion $h(1/z)$ für Werte $|z|>r$ definiert ist. Damit ist auch die Summe der beiden Funktionen

Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle f(z)=g(z)+h\left({\frac {1}{z}}\right)}

auf dem Kreisring ${\mathcal {R}}$ analytisch. Es lässt sich zeigen, dass sich jede auf einem Ringgebiet holomorphe Funktion auf diese Weise zerlegen lässt. Setzt man dazu noch $h(0)=0$ voraus, so ist die Zerlegung eindeutig.

Entwickelt man diese Funktion nun in Form von Potenzreihen, so ergibt sich folgende Darstellung:

$f(z)=g(z)+h\left({\frac {1}{z}}\right)=\sum _{n=0}^{\infty }a_{n}z^{n}+\sum _{n=1}^{\infty }b_{n}z^{-n}=\sum _{n=-\infty }^{\infty }a_{n}z^{n}$.

Dabei wurde Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle b_{n}\equiv a_{-n}} definiert. Außerdem folgt $b_{0}=0$ aus der Bedingung $h(0)=0$. Erweitert man diese Überlegungen nun auf die Entwicklung um einen Punkt $c$, und nicht so wie eben um den Ursprung, so ergibt sich die eingangs angeführte Definition der Laurent-Reihe für eine holomorphe Funktion $f$ um den Entwicklungspunkt $c$:

$f(z)=\sum _{n=-\infty }^{\infty }a_{n}(z-c)^{n}$

Beispiel

Im Folgenden bezeichnet ${\textstyle \mathbb {K} }$ wahlweise die reellen oder komplexen Zahlen.

$f\colon \mathbb {K} \to \mathbb {K} \colon x\mapsto {\begin{cases}\exp \left(-{\frac {1}{x^{2}}}\right),&x\neq 0\\0,&{\text{sonst}}\end{cases}}$.

Die Funktion ist unendlich oft reell differenzierbar, sie ist jedoch an der Stelle $x=0$ nicht komplex differenzierbar und hat dort sogar eine wesentliche Singularität.

Indem man nun ${\textstyle -{\frac {1}{x^{2}}}}$ in die Potenzreihenentwicklung der Exponentialfunktion einsetzt, erhält man die Laurent-Reihe von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\textstyle f} mit Entwicklungspunkt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\textstyle 0} :

Annäherung an die Laurentreihe Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} am Punkt 0
für unterschiedliche Anzahlen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n} von Potenzreihengliedern.

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \begin{align}f(x) &= \sum_{j=0}^\infty (-1)^j\frac{x^{-2j}}{j!} \\ &= 1 + \sum_{j=1}^\infty (-1)^j\frac{x^{-2j}}{j!} \\ &= 1 + \sum^{j=-1}_{-\infty} (-1)^j\frac{x^{2j}}{(-j)!} \\ &= \sum^{j=0}_{-\infty} (-1)^j\frac{x^{2j}}{(-j)!}~. \end{align}}

Sie konvergiert für jede komplexe Zahl Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\textstyle x \neq 0} .

Das Bild rechts zeigt, wie sich die Partialsummenfolge

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f_n(x) = \sum_{j=0}^n (-1)^j\frac{x^{-2j}}{j!}}

an die Funktion annähert.

Konvergenz von Laurent-Reihen

Laurent-Reihen sind wichtige Hilfsmittel der Funktionentheorie, vor allem zur Untersuchung von Funktionen mit isolierten Singularitäten.

Laurent-Reihen beschreiben komplexe Funktionen, die auf einem Kreisring holomorph sind, so wie Potenzreihen Funktionen beschreiben, die auf einer Kreisscheibe holomorph sind.

Sei

$\sum _{n=-\infty }^{\infty }a_{n}(z-c)^{n}$

eine Laurent-Reihe in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle z} mit komplexen Koeffizienten Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a_n} und Entwicklungspunkt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle c} . Dann gibt es zwei eindeutig bestimmte Zahlen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle r} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle R} , so dass Folgendes gilt:

• Die Laurent-Reihe konvergiert auf dem offenen Kreisring Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A := \{ z : r < \vert z - c \vert < R \}} normal, also insbesondere absolut und lokal gleichmäßig. Damit meint man, dass Haupt- und Nebenteil normal konvergieren. Lokal gleichmäßige Konvergenz impliziert gleichmäßige Konvergenz auf jeder kompakten Teilmenge von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A} , also insbesondere auf den Bildern von Kurven in $A$. Die Laurent-Reihe definiert auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A} eine holomorphe Funktion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} .
• Außerhalb des Kreisrings divergiert die Laurent-Reihe. Das heißt, dass für jeden Punkt im Äußeren von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A} , Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \{ z : r > \vert z - c \vert\vee\vert z - c \vert > R\}} , die Reihe der Terme mit positiven oder die Terme mit negativen Exponenten divergiert.
• Auf dem Rand des Kreisrings kann man keine allgemeinen Aussagen machen, außer dass es mindestens einen Punkt auf der äußeren Begrenzung und mindestens einen Punkt auf der inneren Begrenzung gibt, in die Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} nicht holomorph fortgesetzt werden kann.

Es ist möglich, dass Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle r = 0} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle R = \infty} ist, es kann aber auch sein, dass $r=R$ ist. Die beiden Radien können wie folgt mit der Formel von Cauchy-Hadamard berechnet werden:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle r = \limsup_{n\to\infty} \vert a_{-n} \vert ^{1/n}}

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle R = \frac{1}{\limsup_{n\to\infty} \vert a_n \vert ^{1/n}}}

Man setzt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \frac{1}{0}=\infty} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \frac{1}{\infty}=0} in der zweiten Formel.

Umgekehrt kann man mit einem Kreisring Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A := \{ z : r < \vert z - c \vert < R \}} und einer auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A} holomorphen Funktion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} beginnen. Dann existiert immer eine eindeutig bestimmte Laurent-Reihe mit Entwicklungspunkt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle c} , die (mindestens) auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A} konvergiert und dort mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} übereinstimmt. Für die Koeffizienten gilt

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a_n=\frac{1}{2\pi\mathrm{i}}\oint_{\partial U_\varrho(c)}\frac{f(\zeta)}{\left(\zeta-c\right)^{n+1}}\mathrm{d}\zeta}

für alle Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n\in\mathbb{Z}} und ein Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varrho\in(r,R)} . Wegen des Integralsatzes von Cauchy kommt es auf die Auswahl von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varrho} nicht an.

Der Fall Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle r = 0} , also der einer holomorphen Funktion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} auf einer gelochten Kreisscheibe um Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle c} , ist besonders wichtig. Der Koeffizient Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a_{-1}} der Laurentreihenentwicklung von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} heißt Residuum von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} in der isolierten Singularität Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle c} , er spielt eine große Rolle im Residuensatz.

Formale Laurent-Reihe

→ Hauptartikel: Formale Potenzreihe

Formale Laurent-Reihen sind Laurent-Reihen in einer Unbestimmten Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} , für deren Konvergenzverhalten an einem Entwicklungspunkt (wie dem Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle c} in der Einleitung) man sich (zumindest zunächst) nicht interessiert. Die Koeffizienten Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a_k} können dann aus einem beliebigen kommutativen Ring Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle R} mit Einselement stammen. Üblicherweise werden formale Laurent-Reihen mit nur endlich vielen negativen Exponenten betrachtet, also mit einem so genannten endlichen Hauptteil.

Damit entsprechen die formalen Laurent-Reihen unendlichen Folgen aus Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle R^\Z} , bei denen nur endlich viele Koeffizienten mit negativem Index von Null verschieden sind. Die Unbestimmte Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} entspricht der Folge

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X = \left(c_k \right)_{k\in\Z} } mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle c_1 = 1 } und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle c_k = 0 } für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle k \in \Z \! \setminus \! \{1\} } ,

also

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X = (\dotsc,\,0,\,0,}	Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 0,}	Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 1,\,0,\,0,\dotsc)}
	Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \uparrow}	Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \uparrow}
Index	0	1

Zwei formale Laurent-Reihen sind per Definition genau dann gleich, wenn sie in allen Koeffizienten übereinstimmen. Zwei Laurent-Reihen werden addiert, indem die Koeffizienten mit gleichem Index (also komponentenweise) addiert werden, und, weil sie nur endlich viele Terme mit negativem Exponenten haben, können sie durch Faltung ihrer Koeffizientenfolgen multipliziert werden, so wie es mit Potenzreihen gemacht wird. Mit diesen Verknüpfungen wird die Menge aller Laurent-Reihen zu einem kommutativen Ring, der mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle R (( X ))} bezeichnet wird.

Ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K} ein Körper, dann bilden die formalen Potenzreihen in der Unbestimmten Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} über Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K} einen Integritätsring, der mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K [[ X ]]} bezeichnet wird. Sein Quotientenkörper ist isomorph zum Körper Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K (( X ))} der Laurent-Reihen über Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K} .

Literatur

• Eberhard Freitag & Rolf Busam: Funktionentheorie 1, Springer-Verlag, Berlin, ISBN 3-540-67641-4