Umlaufzahl (Mathematik)

Die Umlaufzahl (auch Windungszahl oder Index genannt) ist eine topologische Invariante, die eine entscheidende Rolle in der Funktionentheorie spielt.

Vorbetrachtung

Die Umlaufzahl einer Kurve <math>\gamma</math> in Bezug auf einen Punkt <math>z_0</math> stellt die Anzahl der Umrundungen entgegen der Uhrzeigerrichtung um <math>z_0</math> dar, wenn man dem Verlauf der Kurve folgt. Eine Umrundung in Uhrzeigerrichtung ergibt die negative Windungszahl −1.

Windungszahl
1	−1	0	1	2
Datei:Windungszahl=1 (Kreis gegen Uhrzeigersinn).svg	Windungszahl = −1	Windungszahl = 0	Windungszahl = 1	Windungszahl = 2

Definition

Ist <math>\gamma</math> eine geschlossene Kurve in <math>\mathbb C</math> und ist ferner <math>z_0</math> ein Punkt in <math>\mathbb C,</math> der nicht auf <math>\gamma</math> liegt, dann ist die Umlaufzahl von <math>\gamma</math> in Bezug auf <math>z_0</math> so definiert:

<math>\operatorname{ind}_\gamma(z_0) = n(\gamma,z_0) := \frac 1{2\pi\mathrm i} \int_\gamma \frac{\mathrm d\zeta}{\zeta - z_0}</math>

Die Umlaufzahl <math>\operatorname{ind}</math> (nach dem englischen index) wird in der Literatur oft auch mit <math>I</math> oder <math>\chi</math> bezeichnet. Die Umlaufzahl einer geschlossenen Kurve ist unabhängig vom Bezugspunkt immer eine ganze Zahl.

Berechnung

Datei:Windungszahl=2.png

Windungszahl = 2

Datei:Windungszahl=0.png

Windungszahl = 0

Intuitiv lässt sich die Windungszahl mittels

<math>\operatorname{ind}_\gamma (z_0)=</math> (Anzahl der Umläufe von <math>\gamma</math> um <math>z_0</math> entgegen dem Uhrzeigersinn) − (Anzahl der Umläufe von <math>\gamma</math> um <math>z_0</math> im Uhrzeigersinn)

berechnen. Die Berechnung über die Definition ist oft nicht ohne Weiteres möglich. Als Beispiel wählen wir den Einheitskreis

<math>\gamma\colon[0,2\pi]\to\mathbb C, \, t\mapsto e^{\mathrm it}</math>

als Kurve. Nach der intuitiven Regel ist <math>\operatorname{ind}_\gamma(z)=1</math> für alle Punkte <math>z\in\mathbb E</math> in seinem Inneren <math>\mathbb E</math> und <math>\operatorname{ind}_\gamma(z)=0</math> für alle Punkte <math>z\in\mathbb C\setminus\bar{\mathbb E}</math> außerhalb der abgeschlossenen Kreisscheibe <math>\bar{\mathbb E}</math>. Letzteres folgt sofort aus dem Integralsatz von Cauchy und der Definition. Sei nun

<math>f\colon\mathbb E\to\mathbb C, \, z\mapsto \operatorname{ind}_\gamma(z).</math>

Es gilt

<math>\operatorname{ind}_\gamma(0) = f(0) = \frac 1{2\pi\mathrm i}\int_\gamma\frac{\mathrm d\zeta}\zeta = \frac 1{2\pi\mathrm i}\int\limits_0^{2\pi}\frac{\mathrm ie^{\mathrm it}}{e^{\mathrm it}}\mathrm dt = 1.</math>

Durch Vertauschen von Differentiation und Integration ergibt sich

<math>f'(z)=\frac 1{2\pi\mathrm i} \int_\gamma \frac{\mathrm d\zeta}{\left(\zeta - z\right)^2}</math>,

und weil <math>\zeta\mapsto -\frac 1{\zeta-z}</math> eine Stammfunktion des Integranden ist, ist <math>f'\equiv 0.</math> Weil <math>\mathbb E</math> zusammenhängend ist, ist also <math>f(z)=\operatorname{ind}_\gamma(z)=1</math> für alle <math>z\in\mathbb E.</math>

Anwendung in der Funktionentheorie

Die Umlaufzahl wird vor allem bei der Berechnung von Kurvenintegralen in der komplexen Zahlenebene verwendet. Sei

<math>f\colon\mathbb C\setminus\left\{a_1, \dotsc, a_n\right\}\to\mathbb C</math>

eine meromorphe Funktion mit Singularitäten <math>a_1, \dotsc, a_n,</math> dann kann man nach dem Residuensatz das Integral von <math>f</math> über eine (durch keine der Singularitäten verlaufende) Kurve <math>\gamma</math> durch

<math>\int_\gamma f=2\pi \mathrm i \sum_{k=1}^n \operatorname{ind}_\gamma(a_k)\operatorname{Res}_{a_k}f</math>

berechnen.

Algorithmus

Datei:Windingnumber.png

Windungszahl der Flächen eines nichttrivialen Polygons: Die Windungszahl für die Fläche, in der sich der Punkt befindet, ist −1, d. h., dieser liegt innerhalb des Polygons (der grauen Fläche). Jede Fläche hat eine feste Windungszahl.

In der algorithmischen Geometrie wird die Umlaufzahl verwendet, um zu bestimmen, ob ein Punkt außerhalb oder innerhalb eines nichteinfachen Polygons (eines Polygons, dessen Kanten sich überschneiden) liegt. Für einfache Polygone vereinfacht sich der Algorithmus zur Even-Odd-Regel.

Für Polygone (geschlossene Kantenzüge) verwendet man zur Berechnung der Umlaufzahl folgenden Algorithmus:

Suche eine Halbgerade (beginnend beim zu untersuchenden Punkt nach außen), die keine Eckpunkte des Polygons enthält.
Setze <math>w=0.</math>
Für alle Schnittpunkte der Halbgerade mit dem Polygonzug:
- Schneidet die Halbgerade eine Polygonkante, die „von rechts nach links“ orientiert ist (wenn der Punkt auf der linken Seite der Kante liegt), erhöhe <math>w</math> um 1.
- Schneidet die Halbgerade eine Polygonkante, die „von links nach rechts“ orientiert ist (wenn der Punkt auf der rechten Seite der Kante liegt), verkleinere <math>w</math> um 1.
<math>w</math> ist nun die Umlaufzahl des Punktes.

Ist die Umlaufzahl 0, so liegt der Punkt außerhalb des Polygons, sonst innerhalb.

In nebenstehendem Beispiel ist die Halbgerade, mit der gestartet wird, der senkrechte Pfeil. Er schneidet drei Kanten des Polygons. Bezüglich der roten Kante liegt der Punkt rechts <math>\left(w=-1\right).</math> Bezüglich der nächsten Kante liegt der Punkt auch rechts <math>\left(w=-2\right)</math> und bzgl. der letzten Kante liegt der Punkt links <math>\left(w=-1\right).</math> Der Punkt liegt innerhalb des Polygons. Die Polygonfläche ist grau hinterlegt.

Ein analoger Algorithmus ergibt auch für nicht geradlinig verlaufende (geschlossene) Kurven die Umlaufzahl um einen Punkt, allerdings ist da das Überprüfen der Schnittpunkte nicht so einfach zu implementieren.

Verallgemeinerung für n-dimensionale Mannigfaltigkeiten

Eine Verallgemeinerung für <math>n</math>-dimensionale Mannigfaltigkeiten stammt von Nikolai Nikolajewitsch Bogoljubow: Unter Benutzung des allgemeinen Stokes’schen Satzes für <math>z_0=0</math> kann man

<math>\mathrm{ind}_{\gamma}(0) =\frac {1}{n\mathrm{Vol(B)}} \oint_{\gamma }\frac{\vec x\cdot\mathrm d\vec S}{\|x\|^{n}}</math>

schreiben. <math>B</math> ist die Einheitskugel im <math>\mathbb R^n,</math> <math>\gamma</math> ist die betrachtete <math>(n-1)</math>-dimensionale geschlossene Mannigfaltigkeit, auf der integriert werden soll.

Siehe auch

Literatur

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

{{#ifeq: s | p | | {{#if: 1115667890 | |

}} }}Vorlage:Hinweisbaustein{{#ifeq: s | p | | {{#if: 1115667890 | |

}} }}{{#ifeq:||{{#if: | [[Kategorie:Wikipedia:GND fehlt {{#invoke:Str|left|{{{GNDCheck}}}|7}}]] }}{{#if: | {{#if: | | }} }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#ifeq: s | p | {{#if: 1115667890 | | {{#if: {{#statements:P227}} | | }} }} }}{{#ifeq: s | p | {{#if: 1115667890 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P227}} | | }} }} }} }}{{#ifeq: s | p | {{#if: | | {{#if: {{#statements:P244}} | | }} }} }}{{#ifeq: s | p | {{#if: | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P244}} | | }} }} }} }}{{#ifeq: s | p | {{#if: | | {{#if: {{#statements:P214}} | | }} }} }}{{#ifeq: s | p | {{#if: | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P214}} | | }} }} }} }}Vorlage:Wikidata-Registrierung