Länge (Mathematik)

Länge (Mathematik)

Die Länge ist in der Mathematik eine Eigenschaft, die Strecken, Wegen und Kurven zugeordnet werden kann. Die Länge einer Kurve wird auch als Bogenlänge oder Rektifikationslinie bezeichnet.

Längen von Strecken

Sind Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): A und B zwei Punkte in der (zweidimensionalen) Zeichenebene (Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \R^2 ) mit den jeweiligen Koordinaten A(a1|a2) und B(b1|b2) so ist die Länge der Strecke AB nach dem Satz des Pythagoras gleich

AB=(b1a1)2+(b2a2)2.

Im dreidimensionalen Anschauungsraum (Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \R^3 ) mit den jeweiligen Koordinaten Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): A(a_1|a_2|a_3) und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): B(b_1|b_2|b_3) gilt

AB=(b1a1)2+(b2a2)2+(b3a3)2.

Es gibt im Wesentlichen zwei Sichtweisen, wie man derartige Formeln verallgemeinern kann:

  • Man interpretiert die Länge der Strecke AB als die Länge des Vektors AB und definiert Längenmaße für Vektoren. Der entsprechende verallgemeinerte Längenbegriff für Vektoren heißt Norm.
  • Noch allgemeiner ist der Ansatz, statt Streckenlängen den Abstand der Endpunkte zu betrachten. Allgemeine Abstandsbegriffe heißen Metriken.

Längen von Wegen

Ein Weg ist eine stetige Abbildung γ:[a,b]X von einem Intervall in einen topologischen Raum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): X . Um Wegen eine Länge zuschreiben zu können, muss dieser Raum jedoch eine Zusatzstruktur aufweisen. Im einfachsten Fall ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): X die Ebene R2 oder der Anschauungsraum R3 mit dem üblichen Längenbegriff für Strecken; Verallgemeinerungen sind möglich für Riemannsche Mannigfaltigkeiten oder beliebige metrische Räume. Man bezeichnet dann die Länge des Weges γ als L(γ).

Wege in der Ebene und im Raum

Ein Weg in der Ebene bzw. im Raum ist durch zwei bzw. drei Koordinatenfunktionen gegeben:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): t\mapsto(x(t),y(t)) bzw. t(x(t),y(t),z(t)) für atb.

Für stückweise stetig differenzierbare Wege ist die Länge des Weges durch das Integral über die Länge des Ableitungsvektors gegeben:

L=abx˙(t)2+y˙(t)2dt bzw. abx˙(t)2+y˙(t)2+z˙(t)2dt.

Motivation

Der ebene Weg f(t)=(x(t),y(t)) wird zunächst durch kleine Geradenstücke Δs approximiert, welche in zwei Komponenten Δx und Δy parallel zu den Koordinatenachsen zerlegt werden. Nach dem Satz des Pythagoras gilt: (Δs)2=(Δx)2+(Δy)2. Die Gesamtlänge des Weges wird durch die Summe aller Geradenstücke approximiert:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): L = \sum \Delta s = \sum \sqrt{(\Delta x)^2 + (\Delta y)^2 } = \sum \sqrt{\left(\frac{\Delta x}{\Delta t}\right)^2 + \left(\frac{\Delta y}{\Delta t}\right)^2} \Delta t

Geht man von der Konvergenz des Sachverhaltes aus und gibt das Ergebnis ohne exakte Grenzwertberechnung an, so ist die Länge L die Summe aller infinitesimal kleinen Geradenstücke, also:L=ds=x˙2+y˙2dt.

Physikalisch kann der Integrand auch als Betrag der Momentangeschwindigkeit und die Integrationsvariable als die Zeit aufgefasst werden. Dies motiviert die Definition der Länge eines Weges wohl am besten.

Beispiele

  • Die Kreislinie mit Radius Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): r
t(rcost, rsint) für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): 0\leq t\leq2\pi
hat die Länge
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \int\limits_0^{2\pi}\sqrt{r^2\sin^2t+r^2\cos^2t}\ \mathrm dt=\int\limits_0^{2\pi}r\,\mathrm dt=2\pi r.
  • Ein Stück einer Schraubenlinie mit Radius r und Ganghöhe h
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): t\mapsto\left(r\cdot\cos t,\ r\cdot\sin t,\ \tfrac{h}{2\pi}\cdot t\right) \quad\mathrm{f\ddot ur}\; 0\leq t\leq2\pi
hat die Länge
02πr2sin2t+r2cos2t+(h2π)2 dt=02πr2+(h2π)2 dt=(2πr)2+h2

Spezialfälle

Länge eines Funktionsgraphen

Sei die Funktion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): f:x \rightarrow f(x) eine differenzierbare Funktion auf [a,b]R dann berechnet sich die Länge L zwischen den Punkten Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): A(a|f(a)) und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): B(b|f(b)) wie folgt:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): L (a,b)=\int\limits_{a}^{b} \sqrt{1+(f'(x))^2}\; \mathrm{d}x \qquad (*)
Parameterdarstellung

Ist die Kurve in Parameterdarstellung mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): x = x(t), y = y(t) gegeben und führen wir oben den Parameter t ein, so stellt sich der Ausdruck, mit den Werten Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \alpha, \beta von t, die zu x = a und y = b gehören, so dar:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): L (\alpha, \beta) = \int\limits_{\alpha}^{\beta} \sqrt{\dot{x}^2+ \dot{y}^2}\; \mathrm{d}t

(Für L schreibt man oft auch s, was dann ohne Integral als Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \mathrm{d} s zu sehen ist)

Beispiel: Der Umfang eines Kreises lässt sich mit Hilfe von () berechnen. Ein Kreis mit dem Radius Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): r erfüllt die Gleichung x2+y2=r2 bzw. f(x)=r2x2. Die Ableitung lautet: f(x)=xr2x2.

Wendet man die Formel () an, so folgt:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): L = 2 \int\limits_{-r}^{r} \sqrt{1+\frac{x^2}{r^2-x^2}}\, \mathrm{d}x = 2r \int\limits_{-r}^{r} \frac{\mathrm{d}x}{\sqrt{r^2-x^2}}\,=2r \arcsin(1) - 2r \arcsin(-1) = 2 \pi r

Polarkoordinaten

Ist ein ebener Weg in Polarkoordinatendarstellung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): r(\varphi) gegeben, also

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \varphi\mapsto(r(\varphi)\cos\varphi,r(\varphi)\sin\varphi) für φ0φφ1,

so erhält man aus der Produktregel

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \frac{\mathrm{d}x}{\mathrm{d}\varphi}=r^\prime(\varphi)\cos\varphi-r(\varphi)\sin\varphi und
dydφ=r(φ)sinφ+r(φ)cosφ, somit also
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \left(\frac{\mathrm{d}x}{\mathrm{d}\varphi}\right)^2+\left(\frac{\mathrm{d}y}{\mathrm{d}\varphi}\right)^2 = \left(r^\prime(\varphi)\right)^2+r^2(\varphi) .

Die Länge des Weges in Polarkoordinatendarstellung ist daher

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): L=\int\limits_{\varphi_0}^{\varphi_1}\sqrt{\left(r^\prime(\varphi)\right)^2+r^2(\varphi)}\,\mathrm{d}\varphi .

Wege in riemannschen Mannigfaltigkeiten

Ist allgemein γ:[a,b]M ein stückweise differenzierbarer Weg in einer riemannschen Mannigfaltigkeit, so kann man die Länge von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \gamma definieren als

L(γ)=abγ˙(t)dt.

Rektifizierbare Wege in beliebigen metrischen Räumen

Es sei (X,d) ein metrischer Raum und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \gamma\colon[0,1]\to X ein Weg in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): X . Dann heißt γ rektifizierbar, wenn das Supremum

L(γ)=sup{i=0k1d(γ(ti),γ(ti+1))|kN,0=t0<t1<<tk1<tk=1}

endlich ist. In diesem Falle nennt man Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): L(\gamma) die Länge des Weges Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \gamma .

Die Länge eines rektifizierbaren Weges ist also das Supremum der Längen aller Approximationen des Weges durch Streckenzüge. Für die oben betrachteten differenzierbaren Wege stimmen die beiden Definitionen der Länge überein.

Es gibt stetige Wege, die nicht rektifizierbar sind, beispielsweise die Koch-Kurve oder andere Fraktale, raumfüllende Kurven, sowie fast sicher die Pfade eines Wiener-Prozesses.

Das Wort rektifizieren oder Rektifikation bedeutet gerade machen, das heißt die Kurve (den Faden) an den Enden nehmen und auseinanderziehen, ausstrecken, sodass man eine Strecke erhält, deren Länge man direkt abmessen kann. Heutzutage taucht dieses Wort hauptsächlich noch im Begriff rektifizierbar auf.

Längen von Kurven

Definition der Länge einer Kurve

Die zu einem Weg γ:[a,b]X gehörende Bildmenge Γ=γ([a,b]) wird als Kurve (auch Spur des Weges γ) bezeichnet. Der Weg γ wird auch als Parameterdarstellung oder Parametrisierung der Kurve Γ bezeichnet. Zwei verschiedene Wege können dasselbe Bild haben, dieselbe Kurve kann also durch verschiedene Wege parametrisiert werden. Es ist naheliegend, die Länge einer Kurve als die Länge eines dazugehörigen Weges zu definieren; das setzt aber voraus, dass die Länge für jede Parametrisierung denselben Wert liefert. Anschaulich ist das klar, und es lässt sich tatsächlich für injektive Parametrisierungen zeigen. Insbesondere gilt:

Seien Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \gamma_1: [a_1,b_1]\to \R^n und γ2:[a2,b2]Rn zwei injektive Parametrisierungen derselben Kurve Γ, also γ1([a1,b1])=γ2([a2,b2])=Γ. Dann gilt: L(γ1)=L(γ2)=L(Γ).

Parametrisierung einer Kurve nach der Weglänge

Wie bereits gesagt, gibt es für eine Kurve verschiedene Parametrisierungen. Eine besondere Parametrisierung ist dabei die Parametrisierung nach der Weglänge (oder Bogenlänge).

Ist Γ eine rektifizierbare Kurve mit der Parametrisierung

γ:[a,b]Rnτγ(τ)

und Γt für t[a,b] die Teilkurve mit der Parametrisierung γ|[a,t], so bezeichnet man die Funktion

s:[a,b]RtL(Γt)

als Weglängenfunktion von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \Gamma . Diese Weglängenfunktion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): s(t) ist stetig und monoton wachsend, für γ injektiv sogar streng monoton wachsend und daher auch bijektiv. In diesem Fall existiert eine Umkehrfunktion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): t(s) . Die Funktion

γ^:[0,L(γ)]Rnsγ(t(s))

wird dabei als die Parametrisierung von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \gamma mit der Bogenlänge als Parameter bezeichnet.

Ist γ stetig differenzierbar und γ˙(τ)0 für alle τ[a,b], so besteht die Besonderheit der Parametrisierung nach der Bogenlänge darin, dass auch Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \hat{\gamma} stetig differenzierbar ist und für alle Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): s\in[0,L(\Gamma)]

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \left\|\frac{\mathrm{d}\hat{\gamma}(s)}{\mathrm{d}s}\right\|=1

gilt.

Siehe auch

Literatur

  • Wolfgang Ebeling, Institut für Algebraische Geometrie, Universität Hannover: Vorlesungsskript Analysis II. [1]