Als Dilatation bezeichnet man in der Geometrie eine Kollineation einer affinen Ebene oder eines affinen Raumes, mit der Eigenschaft, dass

  • jede Gerade auf eine zu ihr parallele Gerade abgebildet wird.[1][2]
Zur Definition einer Dilatation:

Dilatationen sind spezielle Affinitäten. Genauer gilt:[3]

affine Versionen des Satzes von Desargues.
Oben: großer Satz,
unten: kleiner Satz

In der synthetischen Geometrie nennt man zentrische Streckungen auch Homothetien.[4] Sie haben dort einen direkten Bezug zur affinen Form des großen Satzes von Desargues (siehe Bild). Parallelverschiebungen nennt man auch Translationen. Sie haben Bezug zur affinen Form des kleinen Satzes von Desargues. Die Hintereinanderausführung zweier Translationen ist immer auch eine Translation. Die analoge Aussage gilt für Homothetien nicht. Zum Beispiel ist die Hintereinanderausführung zweier Punktspiegelungen eine Translation und keine Homothetie. Alle Dilatationen bilden eine Gruppe und alle Translationen eine Untergruppe davon. Bettet man die zugrunde liegende Ebene/Raum in eine projektive Ebene/Raum ein, so wird aus einer Dilatation eine Zentralkollineation mit der Fern-Gerade/-Hyperebene als Achse. Genauer: aus einer Translation bzw. Homothetie wird dann eine Elation bzw. Homologie, je nachdem, ob das Zentrum auf der Achse liegt oder nicht.[5]

In einem euklidischen Raum lässt sich

  • eine Streckung am Nullpunkt durch
  • eine Translation durch

beschreiben. Während Translationen Streckenlängen invariant lassen, verlängert oder verkürzt eine zentrische Streckung Strecken um denselben Faktor. In der oberen Figur des zweiten Bildes wird das blaue Dreieck durch eine zentrische Streckung an dem Punkt auf das grüne Dreieck abgebildet. In der unteren Figur geht das blaue Dreieck durch eine Translation in das (kongruente) grüne Dreieck über. Dilatationen gehören zu den Ähnlichkeitsabbildungen.

Man beachte: Achsenaffinitäten sind keine Dilatationen.

Definitionen Bearbeiten

Die Definition der linearen Algebra ist für desarguesche affine Ebenen äquivalent zur Definition der synthetischen Geometrie, für nichtdesarguesche Ebenen ist nur die synthetische Definition sinnvoll und insofern eine Verallgemeinerung. Es gibt auch für höherdimensionale affine Geometrien rein geometrische Definitionen, die aber dann äquivalent zur Definition der linearen Algebra sind.

Lineare Algebra Bearbeiten

Sei   ein Körper oder Schiefkörper,   ein Vektorraum bzw. Linksvektorraum über  , dessen Dimension über   mindestens 2 ist,   ein affiner Raum über  , dessen Verbindungsvektoren   bilden. Dann heißt eine Affinität   Dilatation, wenn ein Skalar   existiert, so dass für zwei Punkte   stets   gilt. Der durch die Dilatation eindeutig bestimmte Skalar   heißt Streckfaktor von  . Für   ist   eine Translation.

Synthetische Geometrie Bearbeiten

Sei   eine affine Ebene. Eine Kollineation, also eine geradentreue Bijektion   heißt Dilatation, wenn eine der folgenden äquivalenten Bedingungen erfüllt ist:

  1. Jede Gerade   der Ebene ist zu ihrer Bildgeraden   parallel.[6]
  2. Die Fortsetzung von   im projektiven Abschluss von   ist eine projektive Perspektivität, bei der die Ferngerade eine Fixpunktgerade ist.[7]

Dilatationsgruppen Bearbeiten

Zu einer mindestens zweidimensionalen affinen Geometrie heißt

  • die Gruppe der Dilatationen auf   Dilatationsgruppe   von  ,
  • die Gruppe der Dilatationen mit einem festen Fixpunkt   (verallgemeinerte) Streckungsgruppe   mit Zentrum  ,
  • die Gruppe der Dilatationen ohne Fixpunkt zusammen mit der Identität Translationsgruppe  .

Eigenschaften Bearbeiten

Allgemein Bearbeiten

  • Jede Dilatation ist eine Affinität.
  • Eine Affinität oder Kollineation auf einer mindestens zweidimensionalen affinen Geometrie ist genau dann eine Dilatation, wenn jede Gerade parallel zu ihrer Bildgeraden ist.
  • Hat eine Dilatation mehr als einen Fixpunkt, dann ist sie die identische Abbildung.
  • Eine Dilatation ist durch die Angabe der Bildpunkte für zwei verschiedene Punkte des Raumes eindeutig bestimmt.
  • Bei einer nichtidentischen Dilatation mit einem Fixpunkt   sind genau die Geraden durch   Fixgeraden.
  • Bei einer nichtidentischen Translation   sind genau die Parallelen zu der Verbindungsgeraden   Fixgeraden, wobei   ein beliebiger Punkt ist.
  • In einer affinen Geometrie, die das affine Fano-Axiom erfüllt, ist jede Punktspiegelung eine Dilatation.

Struktur der Dilatationsgruppen Bearbeiten

  • Die Translationsgruppe ist ein Normalteiler der Dilatationsgruppe  .
  • Falls zu zwei Punkten   eine Translation   existiert, die   auf   abbildet  , dann sind die verallgemeinerten Streckungsgruppen   in der Dilatationsgruppe konjugierte Untergruppen – es gilt dann   – und also isomorph zueinander.

Desarguessche Räume Bearbeiten

  • In einem  -dimensionalen affinen Raum ( ) über einem Schiefkörper   gilt:[6]
  1. Eine Dilatation   ist genau dann eine Translation, wenn der ihr zugeordnete Streckungsfaktor   ist, ansonsten hat sie einen Fixpunkt   und es gilt  .
  2. Die Translationsgruppe ist ein kommutativer Normalteiler der Dilatationsgruppe und als Gruppe isomorph zum  -Linksvektorraum der Verbindungsvektoren  .
  3. Die Streckungsgruppen zu beliebigen Zentren sind zueinander und zur multiplikativen Gruppe des Schiefkörpers isomorph  . Dabei wird bei dem Isomorphismus zur multiplikativen Gruppe des Schiefkörpers jeder Streckung ihr Streckfaktor zugeordnet.
  4. Die Dilatationsgruppe ist das innere semidirekte Produkt der Translationsgruppe mit einer beliebigen Streckungsgruppe:  .
  5. Insbesondere lässt sich jede Dilatation   eindeutig als Verkettung einer Streckung um den fest gewählten Ursprung   mit einer anschließenden Translation darstellen.
  6. Die Dilatationsgruppe ist isomorph zu einem äußeren semidirekten Produkt:  . Die Operation   von   auf   ist dabei durch die Linksmultiplikation mit den Streckfaktoren gegeben.
  7. Ist   ein endlicher Körper mit   Elementen, dann enthält die Dilatationsgruppe   Elemente.

Affine Translationsebenen Bearbeiten

  • In einer affinen Translationsebene, deren Koordinatenbereich der Linksquasikörper   und deren Schiefkörper der spurtreuen Endomorphismen der Translationsgruppe   ist, gilt:[6]
  1. Zu jeder Dilatation   existiert eine Konstante  , so dass für beliebige Punkte   stets   gilt. Diese Konstante wird wie im desarguesschen Fall als Streckfaktor der Dilatation bezeichnet. Eine Dilatation   ist genau dann eine Translation, wenn ihr Streckfaktor   ist, ansonsten hat sie einen Fixpunkt   und es gilt  .
  2. Die Translationsgruppe ist ein kommutativer Normalteiler der Dilatationsgruppe und als Gruppe isomorph zum  -Linksvektorraum der Verschiebungen  .
  3. Die Streckungsgruppen zu beliebigen Zentren sind zueinander und zur multiplikativen Gruppe von   isomorph  . Dabei wird bei dem Isomorphismus zur multiplikativen Gruppe   jeder Streckung ihr Streckfaktor zugeordnet.
  4. Die Dilatationsgruppe ist das innere semidirekte Produkt der Translationsgruppe mit einer beliebigen Streckungsgruppe:  .
  5. Insbesondere lässt sich jede Dilatation   eindeutig als Verkettung einer Streckung um den fest gewählten Ursprung   mit einer anschließenden Translation darstellen.
  6. Die Dilatationsgruppe ist isomorph zu einem äußeren semidirekten Produkt:  . Die Operation   von   auf   ist dabei durch die Linksmultiplikation mit den Streckfaktoren gegeben.
  7. Ist der Quasikörper   endlich und demnach ein  -dimensionaler Vektorraum über seinem Kern, einem endlichen Körper mit   Elementen, dann enthält die Dilatationsgruppe   Elemente.

Längen, Winkel, Volumina Bearbeiten

Ebenen Bearbeiten

  • Ist in einer affinen Inzidenzebene   eine Orthogonalitätsrelation zwischen den Geraden gegeben, dann bleibt die Orthogonalität bei einer Dilatation   erhalten: Sind   Geraden der Ebene, dann gilt  . Dies bleibt auch dann richtig, wenn die Orthogonalität isotrope Geraden ( ) zulässt.
  • In einer präeuklidischen Ebene gilt:
  1. Das Bild eines rechtwinkligen Koordinatensystems   ist wieder ein rechtwinkliges Koordinatensystem  . Die Orthogonalitätskonstanten bezüglich   und   sind gleich.
  2. Ist   eine präeuklidische Ebene mit Quadraten und   ein kartesisches Koordinatensystem, dann ist auch   kartesisch.
  3. Jede Dilatation ist kreistreu: Das Bild eines Kreises ist ein Kreis.
  4. Das Bild einer Längenklasse ist eine Längenklasse: Sind die Pfeile   und   gleich lang, dann gilt das auch für ihre Bildpfeile   und   unter einer Dilatation  .
  5. Ist der Streckfaktor einer Dilatation 1 oder −1, dann bildet diese Dilatation sogar jede Längenklasse auf sich selbst ab. Mit anderen Worten: Genau die Translationen und die Punktspiegelungen sind längentreue Dilatationen.
  1. Das (orientierte) Winkelmaß ist invariant unter jeder Dilatation.
  2. Für das Verhältnis der Länge einer Strecke zur Länge der Bildstrecke gilt:  , dabei sind   verschiedene Punkte der Ebene,   der Streckfaktor der Dilatation  . Insbesondere sind genau die Translationen und Punktspiegelungen längentreue Dilatationen, und bei jeder Dilatation bleiben die Verhältnisse von zwei beliebigen Streckenlängen erhalten.
  3. Ist die Ebene orientiert, so ist jede Dilatation orientierungserhaltend.

Beachte, dass für Ebenen über nicht archimedisch geordneten Körpern die Streckfaktoren   auch „unendliche“ Zahlen sein können.

Räume mit Skalarprodukt Bearbeiten

In einem mindestens zweidimensionalen affinen Raum   über einem Teilkörper   der reellen Zahlen  , in dessen  -Vektorraum der Verbindungsvektoren   ein Skalarprodukt   erklärt ist, gilt:

  1. Das Skalarprodukt von Verbindungsvektoren ändert sich für eine Dilatation   immer um den gleichen Faktor, es gilt genauer:   mit dem Streckfaktor   von  .
  2. Ist   ein starrer[8] Teilkörper der reellen Zahlen, dann gilt sogar eine Art Umkehrung: Ist   eine Abbildung, die die Eigenschaft   für beliebige Punkte   und jedes Skalarprodukt auf   mit derselben Konstanten   erfüllt, dann ist   eine Dilatation von   mit dem Streckfaktor   oder  .
  3. Das mit Hilfe des Skalarprodukts definierte (nicht orientierte) Winkelmaß ist invariant unter jeder Dilatation.
  4. Die mit Hilfe des Skalarproduktes definierte (Quadrat-)Norm jedes Verbindungsvektors vervielfacht sich um den Betrag des Streckfaktors einer Dilatation:  .
  5. Insbesondere sind genau die Translationen und Punktspiegelungen längentreue Dilatationen und bei jeder Dilatation bleiben die Verhältnisse von zwei beliebigen Streckenlängen erhalten.
     
    Zur Winkelorientierung:   bilden ein Dreieck,   ist das Zentrum der Drehung um das Winkelmaß  , bei der der Strahl   durch das zu messende Winkelfeld auf   gedreht wird.
  6. Ist auf dem Raum ein mit der Norm verträgliches,[9] translationsinvariantes,  -additives Volumenmaß   gegeben, dann gilt für messbare Teilmengen  .
  7. Das Bild eines rechtwinkligen Koordinatensystems unter einer Dilatation ist wieder ein rechtwinkliges Koordinatensystem.
  8. In einem orientierten affinen Raum der Dimension   über einem angeordneten Teilkörper der reellen Zahlen gilt:
  • Eine Dilatation ist genau dann orientierungstreu, wenn ihr Streckfaktor positiv oder die Dimension   des Raumes eine gerade Zahl ist, sonst kehrt sie die Orientierung um.
  • Der Betrag des orientierten Winkelmaß   eines gerichteten Winkels   bleibt bei jeder Dilatation erhalten. Vergleiche die Abbildungen rechts und in der Einleitung! Berücksichtigt man das Vorzeichen des Winkels, dann gilt genauer   wobei   die Vorzeichenfunktion ist.
  • Ist auf dem Raum ein mit der Norm verträgliches,[9] orientiertes, translationsinvariantes,  -additives Volumenmaß   gegeben, dann gilt für messbare, orientierte Teilmengen  .

Bildkonstruktion, Eindeutigkeit und Existenz Bearbeiten

 
Beim Hauptfall sind vier verschiedene, komplanare Punkte   vorgegeben oder aus den Vorgaben konstruierbar, die ein nichtentartetes Trapez, aber kein Parallelogramm bilden. Das Trapez darf auch „überschlagen“ sein. Die nicht parallelen Trapezseiten schneiden einander im Zentrum   der Dilatation.

Im Folgenden ist   stets eine mindestens zweidimensionale affine Geometrie. Die Abbildungen zu den Konstruktionen in diesem Abschnitt können auch räumlich verstanden werden: Die (bis zu vier) Vorgabepunkte liegen stets in einer gemeinsamen Ebene der Geometrie, in der auch das Zentrum liegt, sofern es existiert. Zu Vorgaben, die nicht in einer gemeinsamen Ebene liegen, existiert keine Dilatation. Soll nun zu einem weiteren Punkt   der Bildpunkt konstruiert werden, so liegen wieder alle an der Konstruktion beteiligten Punkte in einer Ebene, die allerdings nicht die durch die Vorgabepunkte bestimmte sein muss. Insgesamt spielen sich alle hier beschriebenen „Konstruktionen“ in einem höchstens dreidimensionalen affinen Teilraum der Geometrie   ab.

Ein Fixpunkt vorgegeben Bearbeiten

Ist ein Punkt-Bildpunktpaar   und ein Fixpunkt   gegeben, dann existiert nur dann eine Dilatation   mit  , wenn

  1. die Punkte   kollinear und verschieden sind oder
  2.   ist oder
  3.   ist.

Im 2. Fall existiert genau eine Dilatation mit der geforderten Eigenschaft: Die Identität des Raumes. Im 3. Fall existiert mindestens die Identität, die die geforderte Eigenschaft hat, im Allgemeinen gibt es weitere zentrale Dilatationen mit der geforderten Eigenschaft, im 1. Fall existiert höchstens eine Dilatation mit der geforderten Eigenschaft. Ist   eine desarguesche Geometrie, so existiert eine solche Dilatation, ist   eine affine Translationsebene, dann existiert sie genau dann, wenn   kommensurabel sind. Die Konstruktion kann so erfolgen, wie weiter unten beim „Hauptfall“ beschrieben. Vergleiche auch die Abbildung rechts.

Zwei Punkt-Bildpunktpaare vorgegeben Bearbeiten

Sind   vier verschiedene Punkte der Geometrie, dann existiert nur in folgenden Fällen eine Dilatation   mit  

  1. Die vier Punkte bilden ein Parallelogramm   oder
  2. sie bilden ein – eventuell auch überschlagenes – nicht entartetes Trapez   mit  , aber   (Hauptfall) oder
  3. sie sind kollinear.
Kollineare Vorgaben
 
Bei kollinearen Vorgaben konstruiert man zunächst 2 Hilfspunkte  , die nicht auf der gleichen Geraden wie die Vorgabepunkte   liegen.

Der 3. Fall kann durch folgende Konstruktion auf einen der anderen Fälle zurückgeführt werden:

  • Wähle einen beliebigen Punkt   außerhalb von  .
  • Zeichne die Verbindungsgeraden des Dreiecks  .
  • Die Parallele zu   durch   schneidet die Parallele zu   durch   in einem Punkt  .[10]

Damit hat man nun ein Trapez   und damit entweder den 1. oder den 2. Fall der obigen Fallunterscheidung (mit   an der Stelle von  ). Eine Dilatation   erfüllt die ursprünglichen Vorgaben unabhängig von der Wahl des Hilfspunktes   genau dann, wenn sie   erfüllt.

Die Vorgaben bilden ein nichtentartetes Parallelogramm
 
Wenn die Vorgabepunkte ein nichtentartetes Parallelogramm bilden, dann muss die Dilatation (im Falle ihrer Existenz) eine Translation sein. Zur Konstruktion weiterer Bilder genügt eines der Punkt-Bildpunktpaare, in der hier gezeigten Konstruktion wurde   verwendet.

Im 1. Fall muss die Dilatation eine nichtidentische Translation, also fixpunktfrei sein, vergleiche die Abbildung rechts. Zu einem beliebigen Punkt   (sonst verwende  ) kann der Bildpunkt so konstruiert werden: Die Parallele zu   durch   schneidet die Parallele zu   durch   in  

Der Konstruktionstext zeigt, dass die Dilatation im Falle ihrer Existenz durch die Vorgaben eindeutig bestimmt ist. Sie existiert für den 1. Fall stets, wenn  

  • eine affine Translationsebene, desarguessche Ebene oder
  • eine mindestens dreidimensionale affine Geometrie ist.

Es existieren auch affine Ebenen, die in keiner Richtung beliebige Parallelverschiebungen zulassen: die affinen Ausschnitte von projektiven Ebenen der Lenz-Klasse I.

Die Vorgaben bilden ein Trapez, das kein Parallelogramm ist

Im 2. Fall ist die Dilatation im Falle ihrer Existenz zentral. Vergleiche die Abbildung zum „Hauptfall“ oben in diesem Abschnitt.

  • Das Zentrum   der Dilatation ist der Schnittpunkt der Geraden   mit  .

Für einen beliebigen Punkt   (sonst verwende  ) konstruiert man den Bildpunkt so:

  • Die Parallele zu   durch   schneidet die Fixgerade   in  

Aus dem Konstruktionstext folgt, dass höchstens eine Dilatation die Vorgaben erfüllen kann. Für Vorgaben, die dem Hauptfall entsprechen, existiert stets eine Dilatation, falls  

  • eine desarguessche Ebene ist,
  • eine mindestens dreidimensionale affine Geometrie ist oder
  • eine affine Translationsebene ist und das Trapez mit dem durch es bestimmten Zentrum   die Voraussetzungen des 1. Strahlensatzes für Translationsebenen erfüllt.

Literatur Bearbeiten

Dilatation, wie in diesem Artikel definiert Bearbeiten

  • Wendelin Degen und Lothar Profke: Grundlagen der affinen und euklidischen Geometrie. In: Mathematik für das Lehramt an Gymnasien. 1. Auflage. Teubner, Stuttgart 1976, ISBN 3-519-02751-8 (Inhaltsverzeichnis [abgerufen am 14. Januar 2012]).
  • Helmut Karzel, Kay Sörensen, Dirk Windelberg: Einführung in die Geometrie. In: Studia mathematica; Uni-Taschenbücher. Taschenbuch 1. Vandenhoeck und Ruprecht, Göttingen 1973, ISBN 3-525-03406-7 (Inhaltsverzeichnis [abgerufen am 14. Januar 2012]).
  • Max Koecher, Aloys Krieg: Ebene Geometrie. 3., neu bearb. und erw. Auflage. Springer, Berlin / Heidelberg / New York 2007, ISBN 978-3-540-49327-3 (Inhaltsverzeichnis [abgerufen am 14. Januar 2012]).

Dilatation mit anderer Bedeutung Bearbeiten

Weblinks Bearbeiten

Einzelnachweise und Anmerkungen Bearbeiten

  1. Stefan E. Schmidt: Grundlegungen zu einer allgemeinen affinen Geometrie. Springer-Verlag, 2013, ISBN 3-0348-9233-0, S. 20.
  2. Gerd Fischer: Analytische Geometrie. Springer-Verlag, 2013, ISBN 3-322-96417-5, S. 31.
  3. Max Koecher, Aloys Krieg: Ebene Geometrie. Springer-Verlag, 2007, ISBN 3-540-49328-X, S. 18
  4. Wilhelm Klingenberg: Lineare Algebra und Geometrie. Springer-Verlag, 2013, ISBN 3-642-77646-9, S. 208
  5. P. Dembowski: Finite Geometries. Springer-Verlag, 1968, ISBN 3-642-62012-4, S. 30.
  6. a b c Degen (1976)
  7. Koecher und Krieg §2
  8. Ein Körper heißt hier starr, wenn er außer der Identität keine Körperautomorphismen zulässt. Starre Teilkörper von   sind z. B.   selbst,   und die archimedisch geordneten euklidischen Körper.
  9. a b „Mit der Norm verträglich“ heißt ein (orientiertes) Volumenmaß, wenn das (orientierte) Volumen des Einheitsquaders 1 beträgt.
  10. Vergleiche hierzu das 5. Axiom für affine Geometrien.