Kurs:Funktionentheorie/Zyklus

Einführung

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

Kette

Unter einer Kette auf einer Menge $G\subset ℂ$ versteht man eine endliche ganzzahlige Linearkombination von Wegen ${\gamma }_1,\dots {\gamma }_k$

$\mathrm{\Gamma }:=\sum _{i=1}^k{n}_i{\gamma }_i{n}_i\in \mathbb{Z}$ mit ${\displaystyle }$.

${\gamma }_1,\dots {\gamma }_k$ sind allgemein stetige Kurven in $G$

Integration über eine Kette

Sei $f:G\to ℂ$ integrabel und $\mathrm{\Gamma }$ eine Kette von stückweise stetig differenzierbaren Wegen (Integrationwegen) ${\gamma }_1,\dots {\gamma }_k$ in $G\subset ℂ$, dann ist das Integral über die Kette $\mathrm{\Gamma }$ durch

$\underset{\mathrm{\Gamma }}{\int }f(z)dz:=\sum _{i=1}^k{n}_i\underset{{\gamma }_i}{\int }f(z)dz$

definiert.

Definition: Zyklus

Version 1: Ein Zyklus ist eine Kette $\mathrm{\Gamma }:=\sum _{i=1}^k{n}_i{\gamma }_i$, bei der jeder Punkt $a\in ℂ$ 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 $\mathrm{\Gamma }:=\sum _{i=1}^k{n}_i{\gamma }_i$ von geschlossenen Wegen ${\gamma }_1,\dots {\gamma }_k$.

Zusammenhange Version 1 - Version 2

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

$\underset{\mathrm{\Gamma }}{\int }f(z)dz=\underset{\hat{\mathrm{\Gamma }}}{\int }f(z)dz$

Spur eines Weges

Die Spur ist eines Weges $\gamma :[a,b]\to 𝔾$ ist definiert als

$\mathrm{Spur}({\gamma }_i):=\mathrm{Bild}(\gamma ):=\{\gamma (t)|t\in [a,b]\}$

Spur eines Zyklus/Kette

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

$\mathrm{Spur}(\mathrm{\Gamma }):=\bigcup _{i=1}^N\mathrm{Bild}({\gamma }_i)$.

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

Umlaufzahl

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

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

Innere umrundete Punkte eines Zyklus

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

$\mathrm{Int}(\mathrm{\Gamma }):=\{z\in ℂ\setminus \mathrm{Spur}\mathrm{\Gamma }:n(\mathrm{\Gamma },z)\ne 0\}$

Äußere Punkte eines Zyklus

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

$\mathrm{Ext}(\mathrm{\Gamma }):=\{z\in ℂ\setminus \mathrm{Spur}\mathrm{\Gamma }:n(\mathrm{\Gamma },z)=0\}$

Nullhomologer Zyklus

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

Homologe Zyklen

Zwei Zyklen ${\mathrm{\Gamma }}_1$, ${\mathrm{\Gamma }}_2$ heißen homolog in $G\subseteq ℂ$ genau dann, wenn ihre formale Differenz ${\mathrm{\Gamma }}_1-{\mathrm{\Gamma }}_2$ nullhomolog in $G$ 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.

Bezug zur Homologietheorie

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.

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.

1-Kette des singulären Komplexes

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 :C_1(X)\to \mathrm{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

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

• Globaler Cauchy-Integralsatz
• Satz von Stokes
• glatte Funktion

Quellen

• Vorlage:Literatur
• 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

Seiteninformation

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

• 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

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

• Zyklus (Funktionentheorie) https://de.wikipedia.org/wiki/Zyklus%20(Funktionentheorie)
• Datum: 23.4.2020 - Versionsgeschichte Wikipedia
• Wikipedia2Wikiversity-Konverter: https://niebert.github.com/Wikipedia2Wikiversity