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. In der algebraischen Topologie selbst hat sich anstatt des Begriffs 1-Zyklus der Begriff 1-Zykel beziehungsweise p-Zykel durchgesetzt. Außerdem ist zu beachten, dass der Plural von der Zyklus die Zyklen, der Plural von der Zykel jedoch die Zykel heißt.

Definitionen

Kette

Unter einer Kette auf $X:=\mathbb {C}$ beziehungsweise auf einer riemannschen Fläche 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 , die auf natürliche Weise eine abelsche Gruppe bilden, wird mit C_1(X) notiert.

Integration über eine Eins-Kette

Sei $\omega$ eine geschlossene komplexe (1,0)-Differentialform, dann ist das Integral über die Kette $\Gamma$ durch

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

definiert. Ist die komplexe Ebene $\mathbb {C}$ so ist das Kalkül der Differentialformen nicht notwendig. In diesem Fall gilt nämlich $\omega = f(z) \mathrm{d} z$ , wobei $f\colon D\subset \mathbb {C} \to \mathbb {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 $\gamma_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 $\Gamma$ 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 $\Gamma$ ein Zyklus in genau dann, wenn die Spur $\operatorname{Spur}\,\Gamma \subseteq D$ in liegt.

Die Umlaufzahl 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$ vollständig in liegt. Dies ist genau dann der Fall, wenn die Windungszahl für alle Punkte aus $\mathbb{C} \setminus D$ verschwindet.

Zwei Zyklen $\Gamma_1$ , $\Gamma_2$ heißen homolog in $D\subseteq {\mathbb {C}}$ genau dann, wenn ihre formale Differenz $\Gamma_1-\Gamma_2$ nullhomolog in 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 verstanden werden. Der Cauchysche Integralsatz, die Cauchysche Integralformel und der Residuensatz können für Zyklen bewiesen werden.

Der Satz von Stokes kann auch für Ketten erklärt werden. Sei $\Gamma$ eine Kette auf bei der alle Kurven $\gamma_i$ glatt sind und sei $f \colon 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 $\mathrm {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 $\Gamma$ sogar ein Zyklus, dessen Kurven glatt sind, dann vereinfacht sich der Satz von Stokes zu

$\int_\Gamma \mathrm{d} f(z) \mathrm{d} z = 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. Im 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.

Literatur

Wolfgang Fischer, Ingo Lieb: Funktionentheorie. 8. Auflage. Vieweg, Braunschweig 2003, ISBN 3-528-77247-6.

Basierend auf einem Artikel in:

Wikipedia.de