Schubspiegelung (2011/12): Unterschied zwischen den Versionen

Aktuelle Version vom 29. Juli 2014, 15:50 Uhr

Inhaltsverzeichnis

1 Die Idee
2 Die Definition

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.

EmbedVideo erhielt die unbrauchbare ID „xdF5pFokE_0&“ für „youtube“.

Die Definition

Definition: (Schubspiegelung)

Es sei $V=S_b \circ S_a$ eine Verschiebung und $g$ eine Gerade, die senkrecht auf den Spiegelachsen $a$ und $b$ steht. Die NAF $S_g \circ V$ heißt Schubspiegelung mit der Schubspiegelachse $g$ .

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 $S_g \circ V$ eine Schubspieglung. Dann gilt $S_g \circ V = V \circ S_g$

Beweis

Es sei $S_g \circ V = S_g \circ \left(S_b \circ S_a\right)$ .

Die Geraden $a,b, g$ haben damit die folgenden Eigenschaften.

$a \|| b$
$g \perp a$
$g \perp b$

Beweis der Kommutativität $S_g \circ \left( S_b \circ S_a \right) = \left( S_b \circ S_a \right) \circ S_g$
Nr.	Beweisschritt	Begründung
(I)	$SCH_g=S_g \circ \left( S_b \circ S_a \right)$	die gegebene Schubspiegelung als NAF dreier Geradenspiegelungen
(II)	$SCH_g = \left( S_g\circ S_b \right) \circ S_a$	(I), Assoziativität der NAF von Abbildungen
(III)	$SCH_g = \left(S_b \circ S_g \right) \circ S_a$	(II), 3.
(IV)	$SCH_g = S_b \circ \left( S_g \circ S_a \right)$	(III), Assoziativität der NAF von Abbildungen
(V)	$SCH_g = S_b \circ \left( S_a \circ S_g \right)$	(IV), 2.
(VI)	$SCH_g = \left(S_b \circ S_a \right) \circ S_g$	(VI), Assoziativität der NAF von Abbildungen
(VII)	$S_g \circ \left( S_b \circ S_a \right) = \left(S_b \circ S_a \right) \circ S_g$	(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 $S_g \circ$ Fehler beim Parsen(Unbekannte Funktion „\blue“): \blue \left( S_b \circ S_a \right)

mit  und . Es gelte .

Wegen der Assoziativität der NAF von Abbildungen dürfen wir neu klammern:

Fehler beim Parsen(Unbekannte Funktion „\red“): \red \left( S_g \circ S_b \right)

$\circ S_a$

Fehler beim Parsen(Unbekannte Funktion „\red“): \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 $b$ und $g$ durch zwei Geraden $b'$ und $g'$ mit $b' \cap b' = \{S_2\}, \angle (b,g) \tilde= \angle (b',c')$ ersetzt und Fehler beim Parsen(Unbekannte Funktion „\red“): \red S_{g'} \circ S_{b'}

verwendet.

Wir wählen $b'$ derart, dass $b' \perp a$ gilt.

Bisher haben wir damit die NAF

$S_g \circ \left( S_b \circ S_a \right)$

durch die NAF

(*) Fehler beim Parsen(Unbekannte Funktion „\red“): \red \left( S_{g'} \circ S_{b'} \right)

$\circ S_a$

ersetzt

Wegen der bereits mehrfach erwähnten Assoziativität dürfen wir in (*) neu klammern

und erhalten (**) $S_{g'} \circ$ Fehler beim Parsen(Unbekannte Funktion „\red“): \red \left( S_{b'} \circ S_a \right)

.

Weil Fehler beim Parsen(Unbekannte Funktion „\red“): \red b' \perp a

gilt ist (**) identisch zu

(***) $S_{g'} \circ$ Fehler beim Parsen(Unbekannte Funktion „\red“): \red \left( S_{a} \circ S_{b'}\right)

Die Drehung Fehler beim Parsen(Unbekannte Funktion „\red“): \red \left( S_{a} \circ S_{b'}\right)

kann wiederum durch andere geeignete Geradenspiegelungen Fehler beim Parsen(Unbekannte Funktion „\red“): \red \left( S_{a'} \circ S_{b''}\right)

ersetzt werden. Wie wählen Fehler beim Parsen(Unbekannte Funktion „\red“): \red a'

derart, dass  gilt. Aus  folgt dann unmittelbar

In (***) dürfen wir wiederum neu klammern und erhalten:

(****) $\left( S_{g'} \circ S_{a'} \right) \circ S_{b''}$

Wegen $g' \perp a$ `ist (****) identisch zu

(*****) $\left( S_{a'} \circ S_{g'} \right) \circ S_{b''}$

Neu klammern in (*****) liefert

$S_g \circ$ Fehler beim Parsen(Unbekannte Funktion „\blue“): \blue \left( S_b \circ S_a \right)

$\equiv$ $S_{a'} \circ$ Fehler beim Parsen(Unbekannte Funktion „\blue“): \blue \left( S_{g'} \circ S_{b''}\right)

$S_{a'} \circ$ Fehler beim Parsen(Unbekannte Funktion „\blue“): \blue \left( S_{g'} \circ S_{b''}\right)

erfüllt die Bedingungen der Definition Schubspiegelung.

q.e.d.

@@ Zeile 1: / Zeile 1: @@
 ==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 sie die Definition wie eine Einschränkung dieser Vorstellung aus.
+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.
+{{#ev:youtube|xdF5pFokE_0&}}
 ==Die Definition==
 ===Definition: (Schubspiegelung)===
-::Es sei <math>V=S_b \circ S_a</math> eine Geradenspiegelung und <math>g</math> eine Gerade, die senkrecht auf den Spiegelachsen <math>a</math> und <math>b</math> steht. Die NAF <math>S_g \circ V</math> heißt Schubspiegelung mit der Schubspiegelachse <math>g</math>.
+::Es sei <math>V=S_b \circ S_a</math> eine Verschiebung und <math>g</math> eine Gerade, die senkrecht auf den Spiegelachsen <math>a</math> und <math>b</math> steht. Die NAF <math>S_g \circ V</math> heißt Schubspiegelung mit der Schubspiegelachse <math>g</math>.<br />
+<br />
+[[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 <math>S_g \circ V</math> eine Schubspieglung. Dann gilt <math>S_g \circ V = V \circ S_g</math>
+::Es sei <math>S_g \circ V</math> eine Schubspieglung. Dann gilt <math>S_g \circ V = V \circ S_g</math>
 ==== Beweis ====
-:::Es sei <math>S_g \circ V = S_g \circ \left(S_b \circ S_a\right)</math>.
+::Es sei <math>S_g \circ V = S_g \circ \left(S_b \circ S_a\right)</math>.
-:::Die Geraden <math>a,b, g</math> haben damit die folgenden Eigenschaften.
+::Die Geraden <math>a,b, g</math> haben damit die folgenden Eigenschaften.
 # <math>a \|| b</math>
-# <math>a </math>
+# <math>g \perp a</math>
-# Element 3
+# <math>g \perp b</math>
+::
+{| class="wikitable "
+|+ Beweis der Kommutativität <math>S_g \circ \left( S_b \circ S_a \right) = \left( S_b \circ S_a \right) \circ S_g</math>
+! Nr.
+! Beweisschritt
+! Begründung
+|-
+| (I)
+| <math>SCH_g=S_g \circ \left( S_b \circ S_a \right)</math>
+| die gegebene Schubspiegelung als NAF dreier Geradenspiegelungen
+|-
+| (II)
+| <math>SCH_g = \left( S_g\circ S_b \right) \circ S_a</math>
+| (I), Assoziativität der NAF von Abbildungen
+|-
+| (III)
+| <math>SCH_g = \left(S_b \circ S_g \right) \circ S_a</math>
+| (II), 3.
+|-
+| (IV)
+| <math>SCH_g = S_b \circ \left( S_g \circ S_a \right)</math>
+| (III), Assoziativität der NAF von Abbildungen
+|-
+| (V)
+| <math>SCH_g = S_b \circ \left( S_a \circ S_g \right)</math>
+| (IV), 2.
+|-
+| (VI)
+| <math>SCH_g = \left(S_b \circ S_a \right) \circ S_g</math>
+| (VI), Assoziativität der NAF von Abbildungen
+|-
+| (VII)
+| <math>S_g \circ \left( S_b \circ S_a \right) = \left(S_b \circ S_a \right) \circ S_g</math>
+| (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 <math> S_g \circ </math><math>\blue \left( S_b \circ S_a \right)</math> mit <math>a \|| b</math> und <math> g \not{\perp} a, g \not{\perp} b</math>. Es gelte <math>g \cap a =S_1, g \cap b = S_2</math>.
+::[[Bild:Schub_00.jpg|400px]]
+::Wegen der Assoziativität der NAF von Abbildungen dürfen wir neu klammern:
+::<math>\red \left( S_g \circ S_b \right)</math><math>\circ S_a</math>
+::[[Bild:Schub_01.jpg|400px]]
+::<math>\red \left( S_g \circ S_b \right)</math> ist eine Drehung um <math>S_2</math> mit einem Drehwinkel, der doppelt so groß ist wie der Winkel zwischen <math>b</math> und <math>g</math>.
+::Dieselbe Drehung erhält man, wenn <math>b</math> und <math>g</math> durch zwei Geraden <math>b'</math> und <math>g'</math> mit <math>b' \cap b' = \{S_2\}, \angle (b,g) \tilde= \angle (b',c')</math> ersetzt und <math>\red S_{g'} \circ S_{b'}</math> verwendet.
+::Wir wählen <math>b'</math> derart, dass <math>b' \perp a</math> gilt.
+::[[Bild:Schub_02.jpg|400px]]
+::Bisher haben wir damit die NAF
+::<math>S_g \circ \left( S_b \circ S_a \right)</math>
+::durch die NAF
+::(*) <math>\red \left( S_{g'} \circ S_{b'} \right)</math><math>\circ S_a</math>
+::ersetzt
+::Wegen der bereits mehrfach erwähnten Assoziativität dürfen wir in (*) neu klammern
+::[[Bild:Schub_03.jpg|400px]]
+::und erhalten (**) <math>S_{g'} \circ</math><math>\red \left( S_{b'} \circ S_a \right)</math>.
+::Weil <math>\red b' \perp a</math> gilt ist (**) identisch zu
+::(***) <math>S_{g'} \circ</math><math>\red \left( S_{a} \circ S_{b'}\right)</math>
+::Die Drehung <math>\red \left( S_{a} \circ S_{b'}\right)</math> kann wiederum durch andere geeignete Geradenspiegelungen <math>\red \left( S_{a'} \circ S_{b''}\right)</math>ersetzt werden. Wie wählen <math>\red a'</math> derart, dass <math>a' \perp g'</math> gilt. Aus <math>b'' \perp a'</math> folgt dann unmittelbar <math>b'' \|| g'</math>
+::[[Bild:Schub_04.jpg|400px]]
+::[[Bild:Schub_05.jpg|400px]]
+::In (***) dürfen wir wiederum neu klammern und erhalten:
+::(****) <math>\left( S_{g'} \circ S_{a'} \right) \circ S_{b''}</math>
+::Wegen <math>g' \perp a</math>`ist (****) identisch zu
+::(*****) <math>\left( S_{a'} \circ S_{g'} \right) \circ S_{b''}</math>
+::Neu klammern in (*****) liefert
+::<math> S_g \circ </math><math>\blue \left( S_b \circ S_a \right)</math><math>\equiv</math><math>S_{a'} \circ </math><math>\blue \left( S_{g'} \circ S_{b''}\right) </math>
+::[[Bild:Schub_06.jpg|400px]]
+::<math>S_{a'} \circ </math><math>\blue \left( S_{g'} \circ S_{b''}\right) </math> erfüllt die Bedingungen der Definition ''Schubspiegelung''.
+::q.e.d.
 {{#ev:youtube|j4T7D4cMN2U}}
 [[Kategorie:Elementargeometrie]]

Schubspiegelung (2011/12): Unterschied zwischen den Versionen

Aktuelle Version vom 29. Juli 2014, 15:50 Uhr

Inhaltsverzeichnis

Die Idee

Die Definition

Definition: (Schubspiegelung)

Spiegelschiebung?

Satz SCH/1

Beweis

Satz SCH/2

Beweis

Navigationsmenü

Meine Werkzeuge

Namensräume

Varianten

Ansichten

Aktionen

Suche

Navigation

Werkzeuge