Lösung von Aufgabe 1.3 2011/12): Unterschied zwischen den Versionen

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
(Die Seite wurde neu angelegt: „Es seien <math>\beta_1</math> und <math>\beta_2</math> zwei Bewegungen. zu zeigen: <math>\beta_2 \circ \beta_1</math> ist eine Bewegung.“)
 
 
Zeile 3: Zeile 3:
 
zu zeigen:  
 
zu zeigen:  
  
<math>\beta_2 \circ  \beta_1</math> ist eine Bewegung.
+
<math>\beta_2 \circ  \beta_1</math> ist eine Bewegung. <br />
 +
 
 +
Nach Definiton ist eine Bewegung eine Abbildung der Ebene auf sich mit speziellen Eigenschaften, die jetzt aber egal sind. Demzufolge existiert eine Ebene (die existiert nach den Inzidenzaxiomen sowieso).
 +
<br /><br />
 +
<math>\epsilon \rightarrow \beta_1(\epsilon_1 )</math> nach Voraussetzung
 +
<br /><br />
 +
<math>\epsilon_1 \rightarrow \beta_2(\epsilon_2 )</math> Voraussetzung und vorheriger Ausführung.
 +
<br /><br />
 +
Da es für jede Nacheinanderausführung (bzw. für jede Gruppe) ein Einselement gibt, folgt hier eindeutig, dass auch <math>\epsilon \rightarrow \epsilon_2</math>  eine Bewegung ist. --[[Benutzer:HecklF|Flo60]] 21:42, 24. Okt. 2011 (CEST)

Aktuelle Version vom 24. Oktober 2011, 21:42 Uhr

Es seien \beta_1 und \beta_2 zwei Bewegungen.

zu zeigen:

\beta_2 \circ  \beta_1 ist eine Bewegung.

Nach Definiton ist eine Bewegung eine Abbildung der Ebene auf sich mit speziellen Eigenschaften, die jetzt aber egal sind. Demzufolge existiert eine Ebene (die existiert nach den Inzidenzaxiomen sowieso).

\epsilon \rightarrow \beta_1(\epsilon_1 ) nach Voraussetzung

\epsilon_1 \rightarrow \beta_2(\epsilon_2 ) Voraussetzung und vorheriger Ausführung.

Da es für jede Nacheinanderausführung (bzw. für jede Gruppe) ein Einselement gibt, folgt hier eindeutig, dass auch \epsilon \rightarrow \epsilon_2 eine Bewegung ist. --Flo60 21:42, 24. Okt. 2011 (CEST)