Schubspiegelung (2011/12)

Aus Geometrie-Wiki

Die Idee

Entsprechend der Bezeichnung Schubspiegelung würde man unter einer Schubspiegelung dir Nacheinanderausführung Einer Verschiebung mit einer Geradenspiegelung verstehen. Diese Idee ist auch exakt das, was man unter einer Scubspieglung versteht. Trotzdem sieht die folgende Definition wie eine Einschränkung dieser Vorstellung aus. Provided ID could not be validated.

Die Definition

Definition: (Schubspiegelung)

Es sei eine Verschiebung und eine Gerade, die senkrecht auf den Spiegelachsen und steht. Die NAF heißt Schubspiegelung mit der Schubspiegelachse .


Diskussion Schubspiegelung: Was ist denn dann damit?

Spiegelschiebung?

Entsprechend obiger Definition ist die NAF einer Geradenspiegelung und einer Verschiebung kommutativ,falls sie den Bedingungen der Definition Schubspiegelung genügen.

Satz SCH/1

Es sei eine Schubspieglung. Dann gilt

Beweis

Es sei .
Die Geraden haben damit die folgenden Eigenschaften.
Beweis der Kommutativität
Nr. Beweisschritt Begründung
(I) die gegebene Schubspiegelung als NAF dreier Geradenspiegelungen
(II) (I), Assoziativität der NAF von Abbildungen
(III) (II), 3.
(IV) (III), Assoziativität der NAF von Abbildungen
(V) (IV), 2.
(VI) (VI), Assoziativität der NAF von Abbildungen
(VII) (I), (VI)


Nach dem Beweis von Satz SCH/1 ist klar, dass die Einschränkung in der Definition Schubspiegelung sinnvoll ist, weil durch diese Einschränkung die Kommutativität der NAF von Geradenspiegelung und Verschiebung gewährleistet ist.

Im folgenden zeigen wir dass die Einschränkung in der Definition des Begriffs Schubspieglung letztlich nicht die Menge aller Schubspiegelungen einschränkt.

Satz SCH/2

Jede Nacheinanderausführung einer Verschiebung mit einer Geradenspiegelung ist eine Schubspiegelung entsprechend der Definition Schubspiegelung.

Beweis

Wir gehen aus von der NAF Fehler beim Parsen (Konvertierungsfehler. Der Server („cli“) hat berichtet: „[INVALID]“): {\displaystyle \blue \left( S_b \circ S_a \right)} mit und . Es gelte .
Fehler beim Erstellen des Vorschaubildes: Datei fehlt
Wegen der Assoziativität der NAF von Abbildungen dürfen wir neu klammern:
Fehler beim Parsen (Konvertierungsfehler. Der Server („cli“) hat berichtet: „[INVALID]“): {\displaystyle \red \left( S_g \circ S_b \right)}
Fehler beim Erstellen des Vorschaubildes: Datei fehlt
Fehler beim Parsen (Konvertierungsfehler. Der Server („cli“) hat berichtet: „[INVALID]“): {\displaystyle \red \left( S_g \circ S_b \right)} ist eine Drehung um mit einem Drehwinkel, der doppelt so groß ist wie der Winkel zwischen und .
Dieselbe Drehung erhält man, wenn und durch zwei Geraden und mit ersetzt und Fehler beim Parsen (Konvertierungsfehler. Der Server („cli“) hat berichtet: „[INVALID]“): {\displaystyle \red S_{g'} \circ S_{b'}} verwendet.
Wir wählen derart, dass gilt.
Fehler beim Erstellen des Vorschaubildes: Datei fehlt
Bisher haben wir damit die NAF
durch die NAF
(*) Fehler beim Parsen (Konvertierungsfehler. Der Server („cli“) hat berichtet: „[INVALID]“): {\displaystyle \red \left( S_{g'} \circ S_{b'} \right)}
ersetzt
Wegen der bereits mehrfach erwähnten Assoziativität dürfen wir in (*) neu klammern
Fehler beim Erstellen des Vorschaubildes: Datei fehlt
und erhalten (**) Fehler beim Parsen (Konvertierungsfehler. Der Server („cli“) hat berichtet: „[INVALID]“): {\displaystyle \red \left( S_{b'} \circ S_a \right)} .
Weil Fehler beim Parsen (Konvertierungsfehler. Der Server („cli“) hat berichtet: „[INVALID]“): {\displaystyle \red b' \perp a} gilt ist (**) identisch zu
(***) Fehler beim Parsen (Konvertierungsfehler. Der Server („cli“) hat berichtet: „[INVALID]“): {\displaystyle \red \left( S_{a} \circ S_{b'}\right)}
Die Drehung Fehler beim Parsen (Konvertierungsfehler. Der Server („cli“) hat berichtet: „[INVALID]“): {\displaystyle \red \left( S_{a} \circ S_{b'}\right)} kann wiederum durch andere geeignete Geradenspiegelungen Fehler beim Parsen (Konvertierungsfehler. Der Server („cli“) hat berichtet: „[INVALID]“): {\displaystyle \red \left( S_{a'} \circ S_{b''}\right)} ersetzt werden. Wie wählen Fehler beim Parsen (Konvertierungsfehler. Der Server („cli“) hat berichtet: „[INVALID]“): {\displaystyle \red a'} derart, dass gilt. Aus folgt dann unmittelbar
Fehler beim Erstellen des Vorschaubildes: Datei fehlt
Fehler beim Erstellen des Vorschaubildes: Datei fehlt
In (***) dürfen wir wiederum neu klammern und erhalten:
(****)
Wegen `ist (****) identisch zu
(*****)
Neu klammern in (*****) liefert
Fehler beim Parsen (Konvertierungsfehler. Der Server („cli“) hat berichtet: „[INVALID]“): {\displaystyle \blue \left( S_b \circ S_a \right)} Fehler beim Parsen (Konvertierungsfehler. Der Server („cli“) hat berichtet: „[INVALID]“): {\displaystyle \blue \left( S_{g'} \circ S_{b''}\right) }
Fehler beim Erstellen des Vorschaubildes: Datei fehlt
Fehler beim Parsen (Konvertierungsfehler. Der Server („cli“) hat berichtet: „[INVALID]“): {\displaystyle \blue \left( S_{g'} \circ S_{b''}\right) } erfüllt die Bedingungen der Definition Schubspiegelung.
q.e.d.