In diesem Artikel der Khan Academy diskutieren sie, wie Krümmung definiert werden kann als:
In der Post schreiben sie,
„Wir wollen jedoch nicht, dass Unterschiede in der Geschwindigkeit, mit der wir uns entlang der Kurve bewegen, den Wert der Krümmung beeinflussen, da es sich um eine Aussage über die Geometrie der Kurve selbst handelt und nicht um die zeitabhängige Flugbahn eines Partikels Aus diesem Grund erfordert die Krümmung anstelle des Parameters t die Differenzierung von T(t) nach der Bogenlänge S(t).
Ich denke, dies ist keine ausreichende Erklärung, und es sind weitere Erklärungen erforderlich, um die Formel zu verdeutlichen. Als Grund wird nur angegeben, dass "die Krümmung eher mit der Bogenlänge (geometrische Größe) als mit Geschwindigkeit oder Zeit zusammenhängen sollte".
Das hilft nicht wirklich, weil das andere Größen ausschließt, von denen wir abgeleitet haben könnten. Wie würden wir das begründen, wenn wir von Krümmung der intuitiven Idee der Krümmung (wie viel Sie drehen müssen) als obige Gleichung sprechen?
Und selbst nach all diesem einen Problem bleibt für mich immer noch, wir definieren den Einheits-Tangentenvektor mithilfe von Parametrisierungen, sodass der Tangentenvektor an sich von einer Eigenschaft außerhalb der Kurve abhängig ist. Technisch gesehen besteht die Krümmung also nicht vollständig aus Eigenschaften, die der Kurve innewohnen.
Referenz:
Es steht Ihnen frei, eine Formel für die Krümmung in jedem gewünschten Koordinatensystem und in Bezug auf jeden Parameter entlang der gewünschten Kurve abzuleiten. Zum Beispiel haben Sie wahrscheinlich auch eine Formel gesehen, die in Begriffen ausgedrückt wird -Koordinatenparametrierung , für die Krümmung des Graphen einer Funktion :
Vielleicht wäre stattdessen eine bessere Frage
Warum ist die Parametrisierung der Bogenlänge die primäre, die verwendet wird, um die Formel für die Krümmung auszudrücken?
Ich denke, die Antwort darauf ist einfach, dass die Parametrisierung der Bogenlänge aus geometrischer Sicht so natürlich ist: Sie kann nur mit der euklidischen Geometrie und einem einschränkenden Argument abgeleitet werden, wie Sie in einem echten Analysekurs lernen. Es könnte also das Erste sein, was ein Geometer über die Krümmung wissen möchte: Wie schreibt man eine Formel für die Krümmung auf, ausgedrückt in Form des Bogenlängenparameters?
Aber lassen Sie mich zwei noch bessere Fragen vorschlagen:
Gibt es eine von der Parametrisierung unabhängige Definition der Krümmung? Und kann man diese Definition verwenden, um eine Formel in Bezug auf die Bogenlängenparametrierung (oder in Bezug auf eine andere Parametrisierung) abzuleiten?
Es gibt tatsächlich eine nette Definition, die unabhängig von Parametern ist und drei Schritte hat:
Wenn man dies weiß, kann man die Parametrisierungsformel der Bogenlänge für die Krümmung und jede andere gewünschte Formel, wie die Formel für, beweisen -Koordinatenparametrisierung zuvor gegeben.
Wir möchten, dass jede Definition der Krümmung intuitiv sinnvoll ist, wenn sie auf gerade Linien und Kreise angewendet wird, also sollte die Krümmung einer geraden Linie 0 sein und die Krümmung eines Kreises mit Radius sollte sein . Eine Möglichkeit, die Krümmung zu definieren, wäre dann, den "Tangentenkreis" (falls vorhanden) an jedem Punkt zu finden, dann wäre die Krümmung der Kehrwert des Radius dieses "Tangentenkreises". Es stellt sich heraus, dass die zur Ableitung des Tangentenkreises erforderlichen Gleichungen vereinfacht werden, wenn der Tangentenvektor an jedem Punkt der Kurve eine Länge hat , was nur der Fall ist, wenn die Kurve über die Bogenlänge parametrisiert ist.
Lassen Sie uns einige Aspekte des Beitrags ansprechen und klären. Zunächst steht geschrieben:
"Ich denke, das ist keine ausreichende Erklärung, und es bedarf weiterer Erklärungen, um die Formel zu verdeutlichen."
Hoffentlich die geometrische Bedeutung der Formel ist klar: ist die infinitesimale Änderungsrate des Tangentenvektors pro Bogenlängeneinheit. Ich denke, das fängt die intuitive Vorstellung von "Krümmung" als "Richtungsänderung" ziemlich gut ein.
Aber die Frage des OP scheint eher in die Richtung zu gehen: „Warum ist das so? so grundlegend, wenn wir es anders hätten definieren können?" Das OP schreibt:
„Das hilft nicht wirklich, weil das andere Größen ausschließt, von denen wir abgeleitet haben könnten.“
Die Antwort darauf ist, dass es im Wesentlichen keine anderen Größen gibt, in Bezug auf die wir hätten differenzieren können. Mit anderen Worten, Kurven können hinsichtlich der Bogenlänge immer umparametriert werden , und daher kann jede auf der Kurve definierte Funktion (oder Variable) als Bogenlänge ausgedrückt werden.
(Nebenbei und wie andere bereits erwähnt haben, gibt es andere (äquivalente) Definitionen der Krümmung da draußen, wie die Definition über oskulierende Kreise.)
Darüber hinaus hat das OP ein weiteres Anliegen und schreibt:
„[Ein] Problem bleibt für mich immer noch, wir definieren den Einheits-Tangentenvektor mithilfe von Parametrisierungen, sodass der Tangentenvektor an sich von einer Eigenschaft außerhalb der Kurve abhängig ist … Technisch gesehen besteht die Krümmung also nicht vollständig aus Eigenschaften, die der Kurve innewohnen. "
Hier ist es erwähnenswert, dass eine geometrische Größe, die "intrinsisch" oder "extrinsisch" ist, eine völlig andere Frage ist, als ob diese Größe parametrisierungsabhängig ist. Mit anderen Worten, es gibt zwei verschiedene Dinge, die mit „außerhalb der Kurve“ gemeint sein könnten. Man könnte meinen:
Die verständlichste Erklärung fand ich auf Seite 98 von Tristan Needhams Buch Visual Differential Geometry:
Wenn eine Perle mit Einheitsmasse mit Einheitsgeschwindigkeit entlang eines Drahts in Form einer ebenen Kurve geschleudert wird, ist die Krümmung κ dieser Kurve die senkrecht zur Kurve gerichtete Kraft F, die von dem Draht auf die Perle ausgeübt wird.
Und wow! Jetzt macht alles Sinn! Als praktisches Beispiel schaue zurück auf die zentripetale Gleichungsformel für den Kreis
Wenn wir abfahren Zu , anstatt herauszufinden, wie schnell der "Richtungsvektor" oder sich im Vergleich zu vorher ändern wird, was wir wollen, findet heraus, wie schnell sich der Richtungsvektor im Vergleich zu dem ständig zunehmenden ändern wird Wert, was wir für eine lokale Richtungsänderung nicht wollen. Zum Beispiel in einer schnell abfallenden Steigung in einer Funktion , wenn wir die Änderung von vornehmen Zu , die Piste geht schneller vorbei, weil die ist grundsätzlich . Da nehmen wir jedoch , finden wir "wie schnell sich die Richtung im Laufe der Zeit ändert" statt "wie schnell sich die Richtung ändert, wenn wir den Bogen verlängern". In unserer schnell abnehmenden Funktion überspannt die Zeit zu viel des Bogens. Wenn wir haben , das muss man sich merken Teil selbst ist der Bogenlängenbetrag größer als .
Randall
Versuchen Sie es mit der Freiheit
Randall
Versuchen Sie es mit der Freiheit
Randall
Nein
$||$
in geändert$\bigg\|$
.Gerber Swett
Versuchen Sie es mit der Freiheit
Kajelad