Strecken, Pfeile und Pfeilklassen SoSe 2017: Unterschied zwischen den Versionen

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
(Die Gruppe der Pfeilklassen)
(Die Gruppe der Pfeilklassen)
Zeile 39: Zeile 39:
 
=Die Gruppe der Pfeilklassen=
 
=Die Gruppe der Pfeilklassen=
 
'''Satz:''': (Gruppe der Pfeilklassen)
 
'''Satz:''': (Gruppe der Pfeilklassen)
::Die Struktur <math>\left[\overrightarrow{\mathbb{P}}, \oplus\right]</math> ist eine Gruppe.<br />
+
::Die Struktur <math>\left[\overrightarrow{\mathbb{P}}, \oplus\right]</math> ist eine abelsche Gruppe.<br />
 
::D.h.:<br />
 
::D.h.:<br />
 
# Abgeschlossenheit: <math>\forall \overrightarrow{a}, \overrightarrow{b} \in \overrightarrow{\mathbb{P}}: \overrightarrow{a} \oplus \overrightarrow{b} \in \overrightarrow{\mathbb{P}}</math>
 
# Abgeschlossenheit: <math>\forall \overrightarrow{a}, \overrightarrow{b} \in \overrightarrow{\mathbb{P}}: \overrightarrow{a} \oplus \overrightarrow{b} \in \overrightarrow{\mathbb{P}}</math>
 
+
# Assoziativität: <math>\forall \overrightarrow{a}, \overrightarrow{b}, \overrightarrow{c} \in \overrightarrow{\mathbb{P}} :( \overrightarrow{a} \oplus \overrightarrow{b}) \oplus \overrightarrow{c} = \overrightarrow{a} \oplus ( \overrightarrow{b} \oplus \overrightarrow{c})</math>
 
+
# Neutrales Element: <math>\forall \overrightarrow{a} \in \overrightarrow{\mathbb{P}}: \overrightarrow{o} \oplus \overrightarrow{a} = \overrightarrow{a} \oplus \overrightarrow{o} = \overrightarrow{a}</math>
  
 
<!--- hier drunter nichts eintragen --->
 
<!--- hier drunter nichts eintragen --->

Version vom 4. Juni 2017, 12:40 Uhr

Inhaltsverzeichnis

Strecken

Definition

Definition: (Strecke \overline{AB})

Es seien A und B zwei beliebige Punkte. Unter der Strecke \overline{AB} versteht man die folgende Punktmenge: \overline{AB}:=\{P|\operatorname{Zw}(A,P,C)\}\cup\{A,B\}.

Bemerkung

Im Gegensatz zur Definition des Begriffs Strecke in der Einführung in die Geometrie lassen wir hier zu, dass die Punkte A und B identisch sind. Der Grund hierfür liegt in der Notwendigkeit der Existenz des Nullvektors im Vektorraum der Pfeilklassen.

gerichtete Strecken bzw Pfeile

Definition: (gerichtete Strecke \overrightarrow{AB})

Es sei \overline{AB} eine Strecke. Wir fassen die Endpunkte zu einem geordneten Paar zusammen (A,B) und nennen A Anfangspunkt und B Endpunkt. Die gerichtete Strecke \overrightarrow{AB} bzw.der Pfeil \overrightarrow{AB} ist eine Strecke mit einem Anfangs und einem Endpunkt.

Pfeilklassen

Definition: (Pfeilgleichheit)

Zwei Pfeile \overrightarrow{AB} und \overrightarrow{CD} stehen in der Relation pfeilgleich zueinander, wenn \overline{A,C,D,B} ein Parallelogramm ist. In Zeichen: \overrightarrow{AB}\upuparrows \overrightarrow{CD}

Satz: (Pfeilgleichheit ist ÄR)

Die Relation Pfeilgleichheit ist eine Äquivalenzrelation auf der Menge der Pfeile.

Beweis: Übungsaufgabe

Definition: (Pfeilklasse)

Eine Pfeilklasse ist eine Äquivalenzklasse nach der Relation pfeilgleich.
Die Menge alle Pfeilklassen bezeichnen wir mit \overrightarrow{\mathbb{P}}

Hinweis: Jede Pfeilklasse ist durch Angabe eines ihrer Repräsentanten eindeutig bestimmt. Ob wir mit \overrightarrow{AB} den Peil oder die gesamte Pfeilklasse meinen, ergibt sich jeweils aus dem Kontext. Vergleichen Sie mit dem Gebrauch von Brüchen zur Bezeichnung von Bruchzahlen. Bei der Verwendung von kleinen lateinischen Buchstaben zur Bezeichnung von Pfeilen und Pfeilklassen trennen wir: a meint einen bestimmten Pfeil und \overrightarrow{a} bezeichnet die Pfeilklasse, die durch a eindeutig bestimmt ist.

Addition von Pfeilklassen

Definition: (Addition von Pfeilklassen)

Es seien \overrightarrow{a} und \overrightarrow{b} zwei Pfeilklassen. Die Addition \overrightarrow{a}\oplus \overrightarrow{b}=\overrightarrow{c} ist wie folgt definiert: Es seien \overrightarrow{AB} \in \overrightarrow{a} und \overrightarrow{BC} \in \overrightarrow{b}.
\overrightarrow{c} ist die Pfeilklasse, die durch den Pfeil \overrightarrow{AC} eindeutig bestimmt ist.

Satz: (Wohldefiniertheit der Operation \oplus

Die Operation \oplus auf der Menge der Pfeilklassen ist repräsentantenunabhängig.

Beweis : ÜA

Die Pfeilklasse \overrightarrow{o}

Definition: (\overrightarrow{o})

\overrightarrow{o} ist die Pfeilklasse, in der alle Pfeile liegen, deren Anfangspunkt mit ihrem Endpunkt identisch sind.

Die Gruppe der Pfeilklassen

Satz:: (Gruppe der Pfeilklassen)

Die Struktur \left[\overrightarrow{\mathbb{P}}, \oplus\right] ist eine abelsche Gruppe.
D.h.:
  1. Abgeschlossenheit: \forall \overrightarrow{a}, \overrightarrow{b} \in \overrightarrow{\mathbb{P}}: \overrightarrow{a} \oplus \overrightarrow{b} \in \overrightarrow{\mathbb{P}}
  2. Assoziativität: \forall \overrightarrow{a}, \overrightarrow{b}, \overrightarrow{c} \in \overrightarrow{\mathbb{P}} :( \overrightarrow{a} \oplus \overrightarrow{b}) \oplus \overrightarrow{c} = \overrightarrow{a} \oplus ( \overrightarrow{b} \oplus \overrightarrow{c})
  3. Neutrales Element: \forall \overrightarrow{a} \in \overrightarrow{\mathbb{P}}: \overrightarrow{o} \oplus \overrightarrow{a} = \overrightarrow{a} \oplus \overrightarrow{o} = \overrightarrow{a}