Zyklus (Funktionentheorie)

Kette und Zyklus sind mathematische Objekte, die insbesondere in der Funktionentheorie betrachtet werden, aber auch als Spezialfälle in der algebraischen Topologie auftreten. Die Kette ist eine Verallgemeinerung einer Kurve und der Zyklus ist eine Verallgemeinerung einer geschlossenen Kurve. Sie werden in Funktionentheorie vor allem im Bereich der Integration verwendet.

Um anzudeuten, dass Kette und Zyklus Spezialfälle aus der Homologietheorie der algebraischen Topologie sind, spricht man auch von der 1-Kette und dem 1-Zyklus^[1]. In der algebraischen Topologie selbst hat sich anstatt des Begriffs 1-Zyklus der Begriff 1-Zykel beziehungsweise p-Zykel durchgesetzt.^[2] Außerdem ist zu beachten, dass der Plural von der Zyklus die Zyklen lautet jedoch der Plural von der Zykel lautet die Zykel.

Definitionen

Kette

Unter einer Kette auf $X := \C$ beziehungsweise auf einer riemannschen Fläche X versteht man eine formale endliche ganzzahlige Linearkombination

$\Gamma := \sum_{i=1}^k n_i\gamma_i \quad n_i \in \Z$

von stetigen Kurven $\gamma_i \colon [0,1] \to X$. Die Menge aller Ketten auf X, die auf natürliche Weise eine abelsche Gruppe bilden, wird mit C₁(X) notiert.

Integration über eine Eins-Kette

Sei ω eine geschlossene komplexe (1,0)-Differentialform, dann ist das Integral über die Kette Γ durch

$\int_\Gamma \omega := \sum_{i = 1}^k n_i \int_{\gamma_i} \omega$

definiert. Ist X die komplexe Ebene $\C$ so ist das Kalkül der Differentialformen nicht notwendig. In diesem Fall gilt nämlich ω = f(z)dz, wobei $f \colon D \subset \C \to \C$ eine differenzierbare Funktion ist. Die Definition vereinfacht sich dann zu

$\int_\Gamma f(z) \mathrm{d} z := \sum_{i=1}^k n_i \int_{\gamma_i}f(z) \mathrm{d} z$.

Zyklus

Ein Zyklus ist eine Kette bei der jeder Punkt $a\in\mathbb{C}$ unter Berücksichtigung der Vielfachheit n_i genauso oft als Anfangs- wie als Endpunkt der Kurven γ_i auftritt.

Diese Definition kann man mit Hilfe der Divisorengruppe $\operatorname{Div}(X)$ umformulieren. Sei

$\partial \colon C_1(X) \to \operatorname{Div}(X)$

eine Abbildung. Für eine Kurve $c \colon [0,1] \to X$ setzt man $\partial c = 0$, falls c(0) = c(1). Andernfalls ist $\partial c$ der Divisor, der den Wert +1 in c(1), den Wert -1 in c(0) und sonst den Wert 0 annimmt. Für eine Kette Γ ist $\partial$ durch $\textstyle \partial \Gamma := \sum_{i = 1}^n n_i \partial \gamma_i$ definiert. Der Kern

$Z_1(X) := \operatorname{Kern}(\partial)$

der Abbildung $\partial$ ist die Gruppe der Zyklen.

Windungszahl

Die Spur ist die Vereinigung der Bilder der einzelnen Kurven, d.h.

$\operatorname{Spur}\,\Gamma:=\bigcup_{i=1}^N\operatorname{im}\,\gamma_i$.

Ist $D\subseteq\mathbb{C}$ eine Teilmenge, dann heißt Γ ein Zyklus in D genau dann, wenn die Spur $\operatorname{Spur}\,\Gamma \subseteq D$ in D liegt.

Die Windungszahl wird analog zu der einer geschlossenen Kurve definiert, nur unter Verwendung des oben definierten Integrals, d.h. für $z \not\in \operatorname{Spur}\,\Gamma$ schreibt man

$\operatorname{ind}_{\Gamma}(z):=\frac{1}{2\pi\mathrm{i}}\int_\Gamma\frac{\mathrm{d}\zeta}{\zeta-z}\in\mathbb{Z}$.

Das Innere (Interior) eines Zyklus sind genau diejenigen Punkte, für die die Windungszahl nicht verschwindet:

$\operatorname{Int}\,\Gamma:=\{z\in\mathbb{C}\setminus\operatorname{Spur}\,\Gamma : \operatorname{ind}_{\Gamma}(z)\neq 0\}$

Analog dazu ist das Äußere (Exterior) genau die Menge der Punkte, für die die Windungszahl verschwindet:

$\operatorname{Ext}\,\Gamma:=\{z\in\mathbb{C}\setminus\operatorname{Spur}\,\Gamma : \operatorname{ind}_{\Gamma}(z)=0\}$

Ein Zyklus heißt nullhomolog in $D\subseteq\mathbb{C}$ genau dann, wenn das Innere $\operatorname{Int}\,\Gamma\subseteq D$ vollständig in D liegt. Dies ist genau dann der Fall, wenn die Windungszahl für alle Punkte aus $\mathbb{C} \setminus D$ verschwindet.

Zwei Zyklen Γ₁, Γ₂ heißen homolog in $D\subseteq\mathbb{C}$ genau dann, wenn ihre formale Differenz Γ₁ − Γ₂ nullhomolog in D ist.

Integralsätze

Die Ketten und Zyklen sind in der Funktionentheorie deshalb wichtig, weil man wie schon angesprochen mit ihnen das Kurvenintegral verallgemeinern kann. Insbesondere kann das Integral über einen Zyklus als Verallgemeinerung des geschlossenen Kurvenintegrals verstehen. Der Cauchysche Integralsatz, die Cauchysche Integralformel und der Residuensatz können für Zyklen bewiesen werden.

Der Satz von Stokes kann sogar für Ketten erklärt werden. Sei Γ eine Kette auf X bei der alle Kurven γ_i glatt sind und sei $f : X \to \R$ eine glatte Funktion. Dann lautet die Aussage des Satzes von Stokes

$\int_\Gamma \mathrm{d} f(z) \mathrm{d} z = \int_{\partial \Gamma} f(z) \mathrm{d} z$,

wobei $\partial$ der Operator aus dem Abschnitt Eins-Zyklus und d die Ableitung ist. Das zweite Integral muss außerdem als

$\int_{\partial \Gamma} f(z) \mathrm{d} z = \sum_{i=1}^n n_i f(z)|^{z\,= \gamma_i(1)}_{\gamma_i(0)} = \sum_{i=1}^n n_i \left(f(\gamma_i(1)) - f(\gamma_i(0)\right)$

verstanden werden. Ist Γ sogar ein Zyklus, dessen Kurven glatt sind, dann vereinfacht sich der Satz von Stokes zu

∫	df(z)dz = 0
Γ

, da dann die Summe $\textstyle \sum_{i=1}^n n_i \left(f(\gamma_i(1)) - f(\gamma_i(0)\right)$ null ist.

Einordnung in die Homologietheorie

Bei den Begriffen der Kette und des Zyklus handelt es sich um Spezialfälle von Objekten der Topologie. In der algebraischen Topologie betrachtet man Komplexe von p-Ketten und bildet daraus Homologiegruppen. Diese Gruppen sind Invarianten in der Topologie. Eine sehr wichtige Homologietheorie ist die der singulären Homologiegruppen.

Eine Kette, wie sie hier im Artikel definiert wurde, ist eine 1-Kette des singulären Komplexes, der ein bestimmter Kettenkomplex ist. Der im Abschnitt zum Zyklus definierte Operator $\partial \colon C_1(X) \to \operatorname{Div}(X)$ ist der erste Randoperator des singulären Komplexes und die Gruppe der Divisoren ist daher identisch mit der Gruppe der 0-Ketten. Die Gruppe der Zyklen definiert als der Kern des Randoperators $\partial$ ist ein 1-Zykel im Sinn des singulären Komplexes.

Neben dem Kern des Randoperators betrachte man in der algebraischen Topologie auch das Bild dieses Operators und konstruiert aus diesen beiden Mengen eine entsprechende Homologiegruppe. In Fall des singulären Komplexes erhält man die singuläre Homologie. In diesem Kontext haben auch die zuvor definierten Begriffe homologe Kette und nullhomologe Kette eine abstraktere Bedeutung.

Quellen

• Wolfgang Fischer, Ingo Lieb: Funktionentheorie. 8. Auflage. Vieweg, Braunschweig 2003, ISBN 3-528-77247-6.
• Otto Forster: Riemannsche Flächen, Springer 1977, englisch Lectures on Riemann surfaces, Graduate Texts in Mathematics, Springer-Verlag, 1991, ISBN 3540906177, Kapitel 20

Einzelnachweise

1. ↑ * Otto Forster: Riemannsche Flächen, Springer 1977, englisch Lectures on Riemann surfaces, Graduate Texts in Mathematics, Springer-Verlag, 1991, ISBN 3540906177, Kapitel 20
2. ↑ Wolfgang Lück: Algebraische Topologie : Homologie und Mannigfaltigkeiten. Vieweg, 2005.