Bewegung (Mathematik)
In der Geometrie ist eine Bewegung eine Abbildung des euklidischen Raums auf sich selbst. Es handelt sich um eine bijektive, abstandserhaltende und winkeltreue affine Abbildung. Damit ist eine Bewegung ein isometrischer Isomorphismus auf dem euklidischen Raum. Es lassen sich sogar alle Isometrien des euklidischen Raums als Bewegung auffassen.
Da das Bild einer geometrischen Figur unter einer solchen Abbildung stets kongruent zur Ausgangsfigur ist, nennt man eine Bewegung auch eine Kongruenzabbildung, dieser Begriff ist aber nur im Fall einer Bewegung des zweidimensionalen euklidischen Punktraums gebräuchlich.
Allgemeiner werden auch in der absoluten Geometrie gewisse Bijektionen des Punktraums durch Axiome der Bewegung als Bewegungen gekennzeichnet. Sie definieren dann in nichteuklidischen Geometrien den Begriff der Kongruenz: Zwei Figuren sind kongruent, wenn sie durch eine Bewegung bijektiv aufeinander abgebildet werden.
Definition
[Bearbeiten | Quelltext bearbeiten]Eine Abbildung des -dimensionalen euklidischen Raums in sich heißt Bewegung, falls sie den Abstand zweier Punkte invariant lässt, das heißt, falls für je zwei Punkte und in
gilt. Hierbei bezeichnet den euklidischen Abstand der Punkte und , also die Länge der Strecke bzw. des Vektors .[1]
Von einer eigentlichen Bewegung spricht man, falls die Isometrie zusätzlich noch die Orientierung erhält. Andernfalls heißt die Bewegung uneigentlich.
Eigenschaften
[Bearbeiten | Quelltext bearbeiten]- Eine Bewegung ist eine affine und bijektive Abbildung, also eine Affinität.
- Eine Bewegung ist außerdem eine winkeltreue Abbildung.
- Eine Bewegung ist ein isometrischer Isomorphismus des euklidischen Raums. Auch die Umkehrung gilt, jeder isometrische Isomorphismus des euklidischen Raums ist eine Bewegung.[2]
Beschreibung mit Hilfe von linearen Abbildungen
[Bearbeiten | Quelltext bearbeiten]Man kann den -dimensionalen euklidischen Raum als affinen Punktraum über einem euklidischen Vektorraum auffassen. Bewegungen kann man dann mit Hilfsmitteln der linearen Algebra beschreiben.
Ist eine Bewegung, so existiert eine orthogonale Abbildung (lineare Isometrie) , so dass für alle Punkte und gilt:
Wählt man einen Ursprung , so gilt also für die Ortsvektoren eines Punktes und seines Bildpunktes
Man erhält den Ortsvektor des Bildpunktes also durch die Komposition der orthogonalen Abbildung
und der Translation
Beschreibung in Koordinaten
[Bearbeiten | Quelltext bearbeiten]Führt man im -dimensionalen euklidischen Raum ein affines Koordinatensystem mit dem Ursprung ein und verwendet die zugehörige Basis des Vektorraums , so lässt sich jede affine Abbildung durch eine -Matrix
und einen Translationsvektor
beschreiben:
Hierbei sind
- und
die Koordinatenvektoren der Ortsvektoren und .
Bei Wahl eines kartesischen Koordinatensystems gilt: ist genau dann eine Bewegung, wenn die Matrix orthogonal ist. Gilt außerdem , so handelt es sich um eine eigentliche Bewegung.
Eine Bewegung kann auch mit der Translation als erster und der orthogonalen Abbildung als zweiter Aktion formuliert werden, denn es ist
mit
Die Bewegungsgruppe
[Bearbeiten | Quelltext bearbeiten]Die Hintereinanderausführung zweier Bewegungen ergibt wieder eine Bewegung. Die Bewegungen bilden also eine Gruppe, die Bewegungsgruppe oder euklidische Gruppe, die mit oder bezeichnet wird. Die Hintereinanderausführung zweier eigentlicher Bewegungen ist wieder eine eigentliche Bewegung. Diese bilden also eine Untergruppe von , die mit bzw. bezeichnet wird. Beide Gruppen lassen sich als das semidirekte Produkt bzw. der zugehörigen Matrizengruppen bzw. mit der Gruppe der Translationen auffassen. Dies besagt konkret, dass für die Hintereinanderausführung zweier Bewegungen und gilt:
Beide Gruppen sind Lie-Gruppen der Dimension
Bewegungen in der euklidischen Ebene
[Bearbeiten | Quelltext bearbeiten]Eigentliche Bewegungen der Ebene sind
- eine Parallelverschiebung
- eine Drehung um einen Punkt der Ebene
- eine Punktspiegelung als Sonderfall einer Drehung um 180°
Uneigentliche Bewegungen sind
- eine Achsenspiegelung
- eine Gleitspiegelung bestehend aus einer Achsenspiegelung gefolgt von einer Translation längs der Achse.
Die Bewegungsgruppe ISO(2) der Ebene lässt sich durch Achsenspiegelungen erzeugen.
Bewegungen im euklidischen Raum
[Bearbeiten | Quelltext bearbeiten]Eigentliche Bewegungen im Raum sind
- Parallelverschiebung (Translation)
- Drehung um eine beliebige Achse im Raum
- Spiegelung an einer Geraden als Sonderfall einer Drehung um 180°
- Schraubung – die mit einer Drehung verkettete Translation längs der Drehachse
Uneigentliche Bewegungen sind
- Ebenenspiegelung
- Gleitspiegelung – die mit einer Ebenenspiegelung verkettete Translation in eine Richtung parallel zu der Spiegelebene
- Drehspiegelung – die mit einer Ebenenspiegelung verkettete Drehung um eine zu dieser Ebene orthogonale Achse
- Punktspiegelung
Drehungen sowie Drehspiegelungen verfügen stets über Fixpunkte. Legt man den Koordinatenursprung in einen solchen, so wird der translatorische Anteil Null. Wie im Artikel zu orthogonalen Gruppen ausgeführt, besitzt eine Drehung im Raum stets eine Achse und einen Drehwinkel und ist durch diese Daten eindeutig festgelegt. Ähnliches gilt auch für Drehspiegelungen.
In manchen Situationen kann auf den translatorischen Teil jedoch nicht verzichtet werden, beispielsweise bei der Beschreibung zweier Drehungen mit sich gegenseitig nicht schneidenden Achsen.
Die Bewegungsgruppe ISO(3) des Raumes lässt sich durch Ebenenspiegelungen erzeugen.
Die Bewegung eines starren Körpers im Raum oder auch eine Kamerafahrt lassen sich als eine stetige Folge von Bewegungen, also als eine Abbildung von einem reellen Zeitintervall in die Gruppe der eigentlichen Bewegungen des Raumes auffassen.
Siehe auch
[Bearbeiten | Quelltext bearbeiten]Literatur
[Bearbeiten | Quelltext bearbeiten]- Gerd Fischer: Analytische Geometrie. Vieweg, 1978. ISBN 3-528-17235-5
- Max Köcher, Aloys Krieg: Ebene Geometrie. 3. Aufl., Springer, Berlin 2007. ISBN 978-3540493273 (S. 102ff behandelt die Bewegungen der Ebene)
Einzelnachweise
[Bearbeiten | Quelltext bearbeiten]- ↑ Bewegungsgruppe. In: Guido Walz (Hrsg.): Lexikon der Mathematik. 1. Auflage. Spektrum Akademischer Verlag, Mannheim/Heidelberg 2000, ISBN 3-8274-0439-8.
- ↑ Herbert Amann, Joachim Escher: Analysis III. 1. Auflage. Birkhäuser-Verlag, Basel/Boston/Berlin 2001, ISBN 3-7643-6613-3, S. 30.