Kurve (Mathematik)

In der Mathematik ist eine Kurve (von lateinisch curvus „gebogen, gekrümmt“) ein eindimensionales Objekt.^[1] Im Gegensatz etwa zu einer Geraden muss eine Kurve grundsätzlich keinen geraden, sondern kann vielmehr jeden beliebigen Verlauf annehmen.^[2]

Eindimensional bedeutet dabei informell, dass man sich auf der Kurve nur in eine Richtung (bzw. in die Gegenrichtung) bewegen kann. Ob die Kurve in der zweidimensionalen Ebene liegt (ebene Kurve), in einem höherdimensionalen Raum (siehe Raumkurve), oder gar in einer Mannigfaltigkeit (beispielsweise in einer Lorentzschen Mannigfaltigkeit) ist in diesem begrifflichen Zusammenhang unerheblich.

Je nach Teilgebiet der Mathematik gibt es unterschiedliche Präzisierungen dieser Beschreibung.

Parameterdarstellungen

Eine Kurve kann als das Bild (Wertebereich) eines Weges definiert werden.^[3] Ein Weg ist (abweichend von der Umgangssprache) eine stetige Abbildung von einem Intervall in den betrachteten Raum, also z. B. in die euklidische Ebene $\mathbb {R} ^{2}$ . Ein Weg, dessen Bild eine gegebene Kurve ist, heißt auch Parameterdarstellung dieser Kurve. Wege werden deshalb manchmal auch als parametrisierte Kurven bezeichnet.^[4]

Beispiele:

Die Abbildung

{[0,2\pi ]}\to \mathbb {R} ^{2},\quad t\mapsto (\cos t,\sin t)

beschreibt den Einheitskreis in der Ebene.

Die Abbildung

\mathbb {R} \to \mathbb {R} ^{2},\quad t\mapsto {\big (}t^{2}-1,t(t^{2}-1){\big )}

beschreibt eine Kurve mit einem einfachen Doppelpunkt bei

(0,0)

, entsprechend den Parameterwerten

t=1

und

t=-1

.

Gelegentlich, insbesondere bei historischen Bezeichnungen, wird zwischen Weg und Kurve nicht unterschieden. So ist die interessante Struktur bei der Hilbert-Kurve der Weg; das Bild dieses Weges ist das Einheitsquadrat, besitzt also keinerlei fraktale Struktur mehr.

Parametertransformation

Eine Parametertransformation $\phi$ ist eine umkehrbar stetige Abbildung (Homöomorphismus), der zwei Wege (d. h. parametrisierte Kurven) $c,c'$ ineinander überführt gemäß $c'=c\circ \phi$ .^[4]

Für zwei Parameterdarstellungen $c\colon I\to C,c'\colon J\to C$ derselben Kurve $C$ ist ein Parameterwechsel daher durch eine Parametertransformation $\phi \colon J\to I$ gegeben, so dass $c'=c\circ \phi \;$ – und damit umgekehrt auch $c=c'\circ$ $\phi ^{-1}$ .

Statt Kurven mit den Bildern von Wegen zu identifizieren, könnte man sie auch (im Sinn der Kategorientheorie) äquivalent auch als die Äquivalenzklassen von Wegen mit gleichem Bild beschreiben, die durch Parametertransformationen (Homöomorphismen) ineinander übergeführt werden können. Diese Gleichwertigkeit macht man sich zunutze, um spezielle Klassen von Kurven zu definieren.

Gerichtete Kurven

Durch die Parameterdarstellung erhält die Kurve einen „Richtungssinn“ in der Richtung des wachsenden Parameters.^[5]^[6]

Eine „gerichtete“ (oder „orientierte“) Kurve ist eine Äquivalenzklasse von Wegen (parametrisierten Kurven), die sich durch streng (strikt) monotone steigende Parametertransformationen ineinander überführen lassen.^[4]

In Anpassung des Sprachgebrauchs an den vorliegenden Verwendungszweck wird allgemein definiert:

Die „Spur“ einer (parametrisierten, gerichteten oder allgemeinen) Kurve ist die eindeutige Menge der Bildpunkte (einer beliebigen Parameterdarstellung derselben).^[4]^{[A 1]}

Glatte Kurven

In diesem Fall verlangt man zusätzlich $k$ -fache stetige Differenzierbarkeit ( $k=1,2,\ldots ,\infty$ ) für den Weg bzw. die Parameterdarstellungen einer (gerichteten) Kurve. Die entsprechenden Kurvenklassen werden mit $C^{k}$ bezeichnet.^[4]

Gleichungsdarstellungen

Eine Kurve kann auch durch eine oder mehrere Gleichungen in den Koordinaten beschrieben werden. Beispiele dafür sind wieder die Bilder der beiden durch die obigen Parameterdarstellungen gegebenen Kurven:

Die Gleichung

x^{2}+y^{2}=1

beschreibt den Einheitskreis in der Ebene.

Die Gleichung

y^{2}=x^{2}(x+1)

beschreibt die oben in Parameterdarstellung angegebene Kurve mit Doppelpunkt.

Ist die Gleichung wie hier durch ein Polynom gegeben, nennt man die Kurve algebraisch.

Funktionsgraphen

Funktionsgraphen sind ein Spezialfall beider oben angegebenen Formen: Der Graph einer Funktion

f\colon D\to \mathbb {R} ,\quad x\mapsto f(x)

kann entweder als Parameterdarstellung

D\to \mathbb {R} ^{2},\quad t\mapsto (t,f(t))

oder als Gleichung

\Gamma _{f}=\{(x,y)\in \mathbb {R} ^{2}\mid y=f(x)\}

angegeben werden.

Wird in der Schulmathematik von Kurvendiskussion gesprochen, so meint man üblicherweise nur diesen Spezialfall.

Differenzierbare Kurven, Krümmung

Sei $[a,b]\subset \mathbb {R}$ ein Intervall und $c\colon [a,b]\to \mathbb {R} ^{n}$ eine reguläre Kurve, d. h. $|c'(x)|\neq 0$ für alle $x\in (a,b)$ . Die Länge der Kurve ist

l=\int _{a}^{b}|c'(t)|\,dt

Die Funktion

x\mapsto \int _{a}^{x}|c'(t)|\,dt

ist ein Diffeomorphismus $[a,b]\to [0,l]$ , und die Verkettung von $c$ mit dem inversen Diffeomorphismus liefert eine neue Kurve ${\tilde {c}}\colon [0,l]\to \mathbb {R} ^{n}$ mit $|{\tilde {c}}'(x)|=1$ für alle $x\in (0,l)$ . Man sagt: ${\tilde {c}}$ ist nach der Bogenlänge parametrisiert.

Sei $[a,b]\subset \mathbb {R}$ ein Intervall und $c\colon [a,b]\to \mathbb {R} ^{n}$ eine nach der Bogenlänge parametrisierte Kurve. Die Krümmung von $c$ an der Stelle $s$ ist definiert als $\kappa (s)=|c''(s)|$ . Für ebene Kurven kann man die Krümmung noch mit einem Vorzeichen versehen: Ist $J$ die Drehung um 90°, dann ist $\kappa (s)$ festgelegt durch $c''(s)=\kappa (s)\cdot Jc'(s)$ . Positive Krümmung entspricht Linkskurven, negative Rechtskurven.

Geschlossene Kurven

Eine ebene Kurve $c\colon [0,1]\to \mathbb {R} ^{2}$ heißt geschlossen, wenn $c(0)=c(1)$ , und einfach geschlossen, wenn zusätzlich $c$ auf $[0,1)$ injektiv ist. Der Jordansche Kurvensatz besagt, dass eine einfach geschlossene Kurve die Ebene in einen beschränkten und einen unbeschränkten Teil zerlegt. Ist $c$ eine geschlossene Kurve mit $c(t)\neq (0,0)$ für alle $t\in [0,1]$ , kann man der Kurve eine Umlaufzahl zuordnen, die angibt, wie oft die Kurve um den Nullpunkt herumläuft.

Glatten geschlossenen Kurven kann man eine weitere Zahl zuordnen, die Tangentenumlaufzahl, die für eine nach der Bogenläge parametrisierte Kurve $c\colon [0,l]\to \mathbb {R} ^{2}$ durch

{\frac {1}{2\pi }}\int _{0}^{l}\kappa (t)\,dt

gegeben ist. Der Umlaufsatz von Heinz Hopf besagt, dass eine einfache geschlossene Kurve Tangentenumlaufzahl $1$ oder $-1$ hat.

Sei allgemein $X$ ein topologischer Raum. Statt von geschlossenen Wegen $c\colon [0,1]\to X$ mit $c(0)=c(1)$ spricht man auch von Schleifen mit Basispunkt $c(0)$ . Weil der Quotientenraum $[0,1]/\{0,1\}$ homöomorph zum Einheitskreis $S^{1}$ ist, identifiziert man Schleifen mit stetigen Abbildungen $S^{1}\to X$ . Zwei Schleifen $c_{1},c_{2}$ mit Basispunkt $x$ heißen homotop, wenn man sie unter Beibehaltung des Basispunkts stetig ineinander deformieren kann, d. h. wenn es eine stetige Abbildung $H\colon [0,1]^{2}\to X$ mit $H(s,0)=c_{1}(s)$ , $H(s,1)=c_{2}(s)$ für alle $s$ und $H(0,t)=H(1,t)=x$ für alle $t$ gilt. Die Äquivalenzklassen homotoper Schleifen bilden eine Gruppe, die Fundamentalgruppe von $X$ . Ist $X=\mathbb {R} ^{2}-\{0\}$ , dann ist die Fundamentalgruppe über die Windungszahl isomorph zu $\mathbb {Z}$ .

Raumkurven

Sei $[a,b]\subset \mathbb {R}$ ein Intervall und $c\colon [a,b]\to \mathbb {R} ^{3}$ eine nach der Bogenlänge parametrisierte Kurve. Die folgenden Bezeichnungen sind Standard:

{\begin{aligned}t(s)&=c'(s)\\n(s)&={\frac {t'(s)}{|t'(s)|}}\\b(s)&=t(s)\times n(s)\end{aligned}}

(definiert, wann immer $t'(s)\neq 0$ ). $t(s)$ ist der Tangentialvektor, $n(s)$ der Normalenvektor und $b(s)$ der Binormalenvektor, das Tripel $(t,n,b)$ heißt begleitendes Dreibein. Die Krümmung ist $\kappa (s)=|t'(s)|=|c''(s)|$ , die Windung $\tau (s)$ definiert durch $b'(s)=-\tau (s)n(s)$ . Es gelten die frenetschen Formeln:

{\begin{matrix}t'&=&&\kappa n\\n'&=&-\kappa t&+&\tau b\\b'&=&&-\tau n\end{matrix}}

Der Hauptsatz der lokalen Kurventheorie besagt, dass man eine Kurve aus Krümmung und Windung rekonstruieren kann: Sind glatte Funktionen $\kappa ,\tau \colon [0,l]\to \mathbb {R}$ mit $\kappa (s)>0$ für alle $s\in [0,l]$ (der Wert 0 ist für $\kappa$ also nicht erlaubt), so gibt es bis auf Bewegungen genau eine entsprechende Kurve.

Die von je zwei der drei Vektoren $t$ , $n$ oder $b$ aufgespannten Ebenen durch den Kurvenpunkt tragen besondere Namen:^[7]

Die Oskulationsebene oder Schmiegebene wird von $t$ und $n$ aufgespannt.
Die Normalebene wird von $n$ und $b$ aufgespannt.
Die rektifizierende Ebene oder Streckebene wird von $t$ und $b$ aufgespannt.

Kurven als eigenständige Objekte

Kurven ohne umgebenden Raum sind in der Differentialgeometrie relativ uninteressant, weil jede eindimensionale Mannigfaltigkeit diffeomorph zur reellen Geraden $\mathbb {R}$ oder zur Einheitskreislinie $S^{1}$ ist. Auch Eigenschaften wie die Krümmung einer Kurve sind intrinsisch nicht feststellbar.

In der algebraischen Geometrie und damit zusammenhängend in der komplexen Analysis versteht man unter „Kurven“ in der Regel eindimensionale komplexe Mannigfaltigkeiten, oft auch als Riemannsche Flächen bezeichnet. Diese Kurven sind eigenständige Studienobjekte, das prominenteste Beispiel sind die elliptischen Kurven. Siehe Kurve (algebraische Geometrie)

Historisches

Das erste Buch der Elemente (Στοιχεῖα) von Euklid begann mit der Definition „Ein Punkt (σημεῖον, signum) ist, was keine Teile hat. Eine Kurve (γραμμή, Linie) ist eine Länge ohne Breite.“^[8]

Diese Definition lässt sich heute nicht mehr aufrechterhalten, denn es gibt zum Beispiel Peano-Kurven, d. h. stetige surjektive Abbildungen $f\colon \mathbb {R} \to \mathbb {R} ^{2}$ , die die gesamte Ebene ausfüllen.^[9] Andererseits folgt aus dem Lemma von Sard, dass jede differenzierbare Kurve den Flächeninhalt null, also tatsächlich wie von Euklid gefordert „keine Breite“ hat.

Literatur

Ethan D. Bloch: A First Course in Geometric Topology and Differential Geometry. Birkhäuser, Boston 1997.
Wilhelm Klingenberg: A Course in Differential Geometry. Springer, New York 1978.

Anmerkungen

↑ Für Wege als parametrisierte Kurven ist das die Bildmenge, bei gerichteten Kurven wird die Orientierung „vergessen“, für Kurven im allgemeinen Sinn liefert die Spur die Kurve selbst (da es nichts zu „vergessen“ gibt).

Weblinks

Commons: Kurven – Sammlung von Bildern, Videos und Audiodateien

Wiktionary: Kurve – Bedeutungserklärungen, Wortherkunft, Synonyme, Übersetzungen

Einzelnachweise

↑ Douglas Harper: curve. In: Online-Herkunftswörterbuch Etymonline. Douglas Harper, abgerufen am 9. Juni 2023.
↑ Hannelore Dittmar-Ilgen: Gerade Kurve - eine Erklärung von der Physikexpertin. In: Website HELPSTER.de. gutefrage.net GmbH, abgerufen am 9. Juni 2023.
↑ Guido Walz: Kurve. In: Lexikon der Mathematik Band 3 Inp bis Mon (Umfassendes Nachschlagewerk mit ca. 17.000 Stichworteinträgen). Guido Walz, abgerufen am 9. Juni 2023.
↑ ^a ^b ^c ^d ^e Sebastian Goette: Elementare Differentialgeometrie. Vorlesungsskript, Albert-Ludwigs-Universität Freiburg, 2009.
↑ H. Neunzert, W.G. Eschmann, A. Blickensdörfer-Ehlers, K. Schelkes: Analysis 2: Mit einer Einführung in die Vektor- und Matrizenrechnung. Ein Lehr- und Arbeitsbuch. 2. Auflage. Springer, 2013, ISBN 978-3-642-97840-1, 23.5 (eingeschränkte Vorschau in der Google-Buchsuche).
↑ H. Wörle, H.-J. Rumpf, J. Erven: Taschenbuch der Mathematik. 12. Auflage. Walter de Gruyter, 1994, ISBN 978-3-486-78544-9 (eingeschränkte Vorschau in der Google-Buchsuche).
↑ W. Kühnel: Differentialgeometrie. Vieweg-Verlag, 1999, ISBN 978-3-8348-0411-2, Absatz 2.9.
↑ Ulrich Felgner: Kapitel 4 Die Euklid’sche Axiomatik. In: Philosophie der Mathematik in der Antike und in der Neuzeit. Ulrich Felgner, S. 45–61, abgerufen am 9. Juni 2023.
↑ H. Herrlich, M. Husek, G. Preuss: Hausdorffs Studien über Kurven, Bögen und Peano-Kontinua. In: Felix Hausdorff - Gesammelte Werke Band III : Mengenlehre (1927,1935) Deskripte Mengenlehre und Topologie / Band 3. Mengenlehre (1927, 1935), deskriptive Mengenlehre und Topologie. Ulrich Felgner, Felix Hausdorff, Horst Herrlich, Mirek Husek, Vladimir Kanovei, Peter Koepke, Gerhard Preuß, Walter Purkert, Erhard Scholz, S. 798–839, abgerufen am 9. Juni 2023.

[7] Für Wege als parametrisierte Kurven ist das die Bildmenge, bei gerichteten Kurven wird die Orientierung „vergessen“, für Kurven im allgemeinen Sinn liefert die Spur die Kurve selbst (da es nichts zu „vergessen“ gibt).

[1] Douglas Harper: curve. In: Online-Herkunftswörterbuch Etymonline. Douglas Harper, abgerufen am 9. Juni 2023.

[2] Hannelore Dittmar-Ilgen: Gerade Kurve - eine Erklärung von der Physikexpertin. In: Website HELPSTER.de. gutefrage.net GmbH, abgerufen am 9. Juni 2023.

[3] Guido Walz: Kurve. In: Lexikon der Mathematik Band 3 Inp bis Mon (Umfassendes Nachschlagewerk mit ca. 17.000 Stichworteinträgen). Guido Walz, abgerufen am 9. Juni 2023.

[Goette2009-4] Sebastian Goette: Elementare Differentialgeometrie. Vorlesungsskript, Albert-Ludwigs-Universität Freiburg, 2009.

[Neunzert2013-5] H. Neunzert, W.G. Eschmann, A. Blickensdörfer-Ehlers, K. Schelkes: Analysis 2: Mit einer Einführung in die Vektor- und Matrizenrechnung. Ein Lehr- und Arbeitsbuch. 2. Auflage. Springer, 2013, ISBN 978-3-642-97840-1, 23.5 (eingeschränkte Vorschau in der Google-Buchsuche).

[Wörle1994-6] H. Wörle, H.-J. Rumpf, J. Erven: Taschenbuch der Mathematik. 12. Auflage. Walter de Gruyter, 1994, ISBN 978-3-486-78544-9 (eingeschränkte Vorschau in der Google-Buchsuche).

[8] W. Kühnel: Differentialgeometrie. Vieweg-Verlag, 1999, ISBN 978-3-8348-0411-2, Absatz 2.9.

[9] Ulrich Felgner: Kapitel 4 Die Euklid’sche Axiomatik. In: Philosophie der Mathematik in der Antike und in der Neuzeit. Ulrich Felgner, S. 45–61, abgerufen am 9. Juni 2023.

[10] H. Herrlich, M. Husek, G. Preuss: Hausdorffs Studien über Kurven, Bögen und Peano-Kontinua. In: Felix Hausdorff - Gesammelte Werke Band III : Mengenlehre (1927,1935) Deskripte Mengenlehre und Topologie / Band 3. Mengenlehre (1927, 1935), deskriptive Mengenlehre und Topologie. Ulrich Felgner, Felix Hausdorff, Horst Herrlich, Mirek Husek, Vladimir Kanovei, Peter Koepke, Gerhard Preuß, Walter Purkert, Erhard Scholz, S. 798–839, abgerufen am 9. Juni 2023.

[1]

[2]

[3]

[4]

[5]

[6]

[A 1]

[7]

[8]

[9]

Fahrer / Team für die Suche eingeben: