Kurs:Funktionentheorie/Zyklus

Einführung[Bearbeiten]

Kette und Zyklus sind mathematische Objekte, die 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.

Definitionen[Bearbeiten]

Kette[Bearbeiten]

Unter einer Kette auf einer Menge $G\subset \mathbb {C}$ versteht man eine endliche ganzzahlige Linearkombination von Wegen $\gamma _{1},\ldots \gamma _{k}$

\Gamma :=\sum _{i=1}^{k}n_{i}\gamma _{i}\quad n_{i}\in \mathbb {Z}

mit

.

$\gamma _{1},\ldots \gamma _{k}$ sind allgemein stetige Kurven in $G$

Integration über eine Kette[Bearbeiten]

Sei $f:G\to \mathbb {C}$ integrabel und $\Gamma$ eine Kette von stückweise stetig differenzierbaren Wegen (Integrationwegen) $\gamma _{1},\ldots \gamma _{k}$ in $G\subset \mathbb {C}$ , dann ist das Integral über die Kette $\Gamma$ durch

\int _{\Gamma }f(z)\,dz:=\sum _{i=1}^{k}n_{i}\int _{\gamma _{i}}f(z)\,dz

definiert.

Definition: Zyklus[Bearbeiten]

Version 1: Ein Zyklus ist eine Kette $\Gamma :=\sum _{i=1}^{k}n_{i}\gamma _{i}$ , 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.

Version 2: Ein Zyklus ist eine Kette $\Gamma :=\sum _{i=1}^{k}n_{i}\gamma _{i}$ von geschlossenen Wegen $\gamma _{1},\ldots \gamma _{k}$ .

Zusammenhange Version 1 - Version 2[Bearbeiten]

Version 2 ist für die Funktionentheorie eine wesentliche Eigenschaft. Mit den Eigenschaften von Version 1 lässt sich jeder Zyklus $\Gamma :=\sum _{i=1}^{k}n_{i}\gamma _{i}$ in eine Kette ${\hat {\Gamma }}:=\sum _{i=1}^{m}{\hat {n}}_{i}{\hat {\gamma }}_{i}$ aus geschlossenen Wegen ${\hat {\gamma }}_{1},\ldots {\hat {\gamma }}_{m}$ . Besteht die stückweise stetig differenzierbaren Wegen $\gamma _{1},\ldots \gamma _{k}$ so sind auch die geschlossenen Wegen ${\hat {\gamma }}_{1},\ldots {\hat {\gamma }}_{m}$ stetig differenzierbar und es gilt für alle holomorphen Funktionen $f:G\to \mathbb {C}$

\int _{\Gamma }f(z)\,dz=\int _{\hat {\Gamma }}f(z)\,dz

Spur eines Weges[Bearbeiten]

Die Spur ist eines Weges $\gamma :[a,b]\to \mathbb {G}$ ist definiert als

\operatorname {Spur} (\gamma _{i}):=\operatorname {Bild} (\gamma ):=\{\gamma (t)\,|\,t\in [a,b]\}

Spur eines Zyklus/Kette[Bearbeiten]

Die Spur eine Kette $\Gamma$ ist die Vereinigung der Bilder der einzelnen Kurven, d.h.

\operatorname {Spur} (\Gamma ):=\bigcup _{i=1}^{N}\operatorname {Bild} (\gamma _{i})

.

Ist $\operatorname {Spur} (\Gamma )\subset \mathbb {C}$ eine Teilmenge von $G\subset \mathbb {C}$ , dann heißt $\Gamma$ ein Zyklus in $G$ genau dann, wenn die Spur $\operatorname {Spur} \,\Gamma \subseteq G$ in $G$ liegt.

Umlaufzahl[Bearbeiten]

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

n(\Gamma ,z):={\frac {1}{2\pi \mathrm {i} }}\int _{\Gamma }{\frac {\mathrm {d} \zeta }{\zeta -z}}\in \mathbb {Z}

.

Innere umrundete Punkte eines Zyklus[Bearbeiten]

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 :n(\Gamma ,z)\neq 0\}

Äußere Punkte eines Zyklus[Bearbeiten]

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 :n(\Gamma ,z)=0\}

Nullhomologer Zyklus[Bearbeiten]

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

Homologe Zyklen[Bearbeiten]

Zwei Zyklen $\Gamma _{1}$ , $\Gamma _{2}$ heißen homolog in $G\subseteq \mathbb {C}$ genau dann, wenn ihre formale Differenz $\Gamma _{1}-\Gamma _{2}$ nullhomolog in $G$ ist.

Integralsätze[Bearbeiten]

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.

Bezug zur Homologietheorie[Bearbeiten]

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, der Plural von der Zykel jedoch die Zykel heißt.

Einordnung in die Homologietheorie[Bearbeiten]

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.

1-Kette des singulären Komplexes[Bearbeiten]

Eine Kette, wie sie hier 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.

Algebraischen Topologie[Bearbeiten]

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.

Siehe auch[Bearbeiten]

Quellen[Bearbeiten]

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 3-540-90617-7, Kapitel 20

Einzelnachweise[Bearbeiten]

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

Seiteninformation[Bearbeiten]

Dieser Wiki2Reveal Foliensatz wurde für den Lerneinheit Kurs:Funktionentheorie' erstellt der Link für die Wiki2Reveal-Folien wurde mit dem Wiki2Reveal-Linkgenerator erstellt.

Wiki2Reveal[Bearbeiten]

Die Seite wurde als Dokumententyp PanDocElectron-SLIDE erstellt.
Link zur Quelle in Wikiversity: https://de.wikiversity.org/wiki/Cauchy-Riemann-Differentialgleichungen
siehe auch weitere Informationen zu Wiki2Reveal und unter Wiki2Reveal-Linkgenerator.

Wikipedia2Wikiversity[Bearbeiten]

Diese Seite wurde auf Basis der folgenden Wikipedia-Quelle erstellt:

[1] Otto Forster: Riemannsche Flächen, Springer 1977, englisch Lectures on Riemann surfaces, Graduate Texts in Mathematics, Springer-Verlag, 1991, ISBN 3-540-90617-7, Kapitel 20

[2] Wolfgang Lück: Algebraische Topologie : Homologie und Mannigfaltigkeiten. Vieweg, 2005.

[1]

[2]