Halbebenen und der Satz von Pasch

Halbebenen und der Satz von Pasch

Halbebenen

Analogiebetrachtungen

Halbgeraden	Halbebenen

Definition des Begriffs der Halbebene

Alles hat zwei Seiten oder grundlegende Ideen der Beschaffenheit von Ebenen

Zu unsere Vorstellung von der Eigenschaften einer beliebigen Ebene $\epsilon$ gehört u.a., dass jede Gerade $\ g$, die zu unserer jeweiligen Ebene $\epsilon$ gehört, diese in zwei Hälften bzw. zwei Seiten einteilt. Zur Kennzeichnung der beiden Seiten von $\epsilon$ bezüglich der Geraden $\ g$ verwenden wir einen Punkt $\ Q \in \epsilon$, welcher nicht zu $\ g$ gehören sollte.
Zu der einen Hälfte von $\ \epsilon$ bezüglich $\ g$ gehören alle die Punkte aus $\epsilon \setminus g$, die mit $\ Q$ auf derselben Seite von $\ g$ liegen. Alle anderen Punkte aus $\epsilon \setminus g$ gehören zur anderen Seite von $\ \epsilon$ bezüglich $\ g$.

Offene Halbebenen

Die beiden Seiten, in die die Menge der Punkte einer Ebene $\ \epsilon$, die nicht auf einer Geraden $\ g$ dieser Ebene liegen, durch diese Gerade $\ g$ eingeteilt wird, heißen offene Halbebenen von $\ \epsilon$ bezüglich der Trägergeraden $\ g$. Der nicht zu $\ g$ gehörende Referenzpunkt $\ Q \in \epsilon$ bietet uns eine Möglichkeit zur Bezeichnung der beiden offenen Halbebenen. Die offene Halbebene, zu der alle Punkte gehören, die bezüglich $\ g$ mit $\ Q$ auf derselben Seite liegen, wird mit $\ gQ^{+}$ bezeichnet, die andere offene Halbebene von $\ \epsilon$ bezüglich $\ g$ und $\ Q$ mit $\ gQ^{-}$.

Obige Ausführungen können als informelle Definition des Begriffs offene Halbebene dienen. Hinsichtlich wirklicher mathematischer Exaktheit der Festlegung, was denn eine offene Halbene sein möge, bedarf es einer genauereren Erklärung, was denn darunter zu verstehen wäre, dass zwei Punkte $\ P$ und $\ Q$ einer Ebene $\ \epsilon$ auf ein und derselben bzw. auf zwei verschiedenen Seiten dieser Ebene bezüglich einer Geraden $\ g$ liegen.

Definition II.1: (offene Halbebene)

Es sei $\ \varepsilon$ eine Ebene in der die Gerade $\ g$ liegen möge. Ferner sei $\ Q$ ein Punkt der Ebene $\ \varepsilon$, der nicht zur Geraden $\ g$ gehört.
Unter den offenen Halbebenen $\ gQ^{+}$ und $\ gQ^{-}$ bezüglich der Trägergeraden $\ g$ versteht man die folgenden Teilmengen der Ebene $\ \varepsilon$ ohne die Gerade $\ g$ :

$\ gQ^{+}:= \left\{ {P|\overline{PQ} \cap g=\phi } \right\}$

$\ gQ^{-}:= \left\{ {P|\overline{PQ} \cap g\neq\phi } \right\}$

Halbebenen

Vereinigt man die Menge der Punkte einer offenen Halbeben mit der Menge der Punkte der Trägergerade so erhält man eine Halbebene.

Definition II.2: (Halbebene)

Es sei $\ g$ eine Gerade der Ebene $\ \epsilon$. $\ gQ^+$ und $\ gQ^-$ seien die beiden offenen Halbebenen von $\ \epsilon$ bezüglich $\ g$. Unter den (geschlossenen) Halbebenen von $\ \epsilon$ bezüglich $\ g$ versteht die beiden Punktmengen, die durch die Vereinigung jeder dieser beiden offenen Halbebene von $\ \epsilon$ bezüglich der Geraden $\ g$ mit jeweils dieser Geraden $\ g$ entstehen.

Bemerkung: Für die formale Beschreibung von offenen und geschlossenen Halbebenen wird jeweils dieselbe Bezsichnung verwendet: offene Halbebene: $\ g Q^+$, (geschlossene) Halbebene: $\ g Q^+$. Der weitere Gebrauch der Sprache kennzeichnet, ob es sich um eine offene oder um die geschlossene Halbene handeln soll. Aus Gründen der Vereinfachung sei vereinbart, dass $\ g Q^+$ bzw. $\ g Q^-$ immer die geschlossene Halbebene meint. Soll die offene Halbebene gemeint sein, so ist dieses durch den Zusatz "offen" zu kennzeichnen.

Definition II.3: Halbraum

Gegeben sei eine Ebene E und ein Raum R, der E enthält. Die Punkte des Raumes, die nicht in E liegen, bilden zwei Mengen derart, dass gilt:

Offener Halbraum $\ EQ^{+} :=\left\{ {P|\overline{PQ} \cap E=\phi } \right\}$

Offener Halbraum $\ EQ^{-} :=\left\{ {P|\overline{PQ} \cap E=\left\{ {S} \right\} } \right\}$

Der Satz von Pasch

Satz II.1: Der Satz von Pasch

Gegeben sei ein Dreieck $\overline{ABC}$. Ferner sei $\ g$ eine Gerade, die durch keinen der drei Eckpunkte $\ A, B, C$ geht. Wenn $\ g$ eine der drei Seiten des Dreiecks $\overline{ABC}$ schneidet, dann schneidet $\ g$ genau eine weitere Seite des Dreiecks $\overline{ABC}$.

Beweis des Satz von Pasch

Wir verzichten an dieser Stelle auf den Beweis.

Konvexe Punktmengen

Definition II.4: (konvexe Punktmenge)

Eine Menge $\ M$ von Punkten heißt konvex, wenn mit je zwei Punkten $\ A$ und $\ B$ dieser Menge die gesamte Strecke $\overline{AB}$ zu $\ M$ gehört.

Satz II.2

Halbebenen sind konvexe Punktmengen

Beweis von Satz II.2

trivial (Der Leser überzeuge sich davon)

Satz II.3

Der Durchschnitt zweier konvexer Punktmengen ist konvex.

Beweis von Satz II.3

Es seien $\ M_1$ und $\ M_2$ zwei konvexe Mengen.

zu zeigen: Der Durchschnitt der beiden Mengen $\ M_1$ und $\ M_2$ ist auch konvex.