Version vom 23. Juni 2010, 21:54 Uhr

Inhaltsverzeichnis

1 Halbebenen und das Axiom von Pasch
2 Konvexe Punktmengen

Halbebenen und das Axiom von Pasch

Halbebenen

Analogiebetrachtungen

Halbgeraden	Halbebenen

Objekt $\ G$ , das in Klassen eingeteilt wird
$\ G$ ist eine Gerade	$\ G$ ist eine Ebene
Dimension von $\ G$
eindimensional	zweidimensional
Objekt $\ T$ , das $\ G$ in Klassen einteilt
Anfangspunkt $\ A$	Trägergerade $\ g$
Dimension von $\ T$
eindimensional	zweidimensional
Referenzpunkt $\ Q$ teilt $\ G \setminus_{\{ Q \}}$ in genau zwei Klassen
Klasse 1: Menge aller Punkte $\ P\mathrm{\in }G$ , die mit $\ Q$ bezüglich $\ T$ „auf derselben Seite liegen“
$\ AQ^{+} = \{P\| A \not \in overline{PQ} \} \cup \{ A\}$	$\ gQ^{+} = \{P\| g\cap\overline {PQ} =\{\}\}$
Klasse 2: Menge aller Punkte $P\mathrm{\in }G$ , die bezüglich $\ T$ nicht auf der Seite von $\ Q$ liegen.
$\ AQ^{-} = \{P\| Zw(P,A,Q)\}\cup \{A\}$	$\ gQ^{-} = \{P\| g\cap\overline {PQ} =\{S\} \}$

BITTE NOCHMAL ÜBERPRÜFEN --TimoRR 11:31, 22. Jun. 2010 (UTC)

Bemerkungen zu den Analogieüberlegungen --m.g. 19:18, 17. Jun. 2010 (UTC)

Wird in beiden Fällen wirklich eine Gerade in Klassen eingeteilt? Erhalten wir eine Halbebene dadurch, dass wir eine Gerade in Klassen einteilen? CHECK
Dimension: Gemeint ist, welche Dimension das Objekt hat, welches in Klassen bzw. Teilmengen eingeteilt wird. Ein räumliches Objekt, wie etwa ein Würfel hat die Dimension drei, ein Quadrat liegt vollständig in einer Ebene und ist deshalb ein zweidimensionales Objekt. Eine Strecke liegt auf einer Geraden und ist deshalb ein eindimensionales geometrisches Objekt. Wir haben es bei unseren beiden Begriffen Halbgerade und Halbebene einmal mit einem 1D- und einmal mit einem 2D-Begriff zu tun. Den Begriff der Dimension verwenden wir hier intuitiv, ohne ihn definiert zu haben. CHECK
Halbgerade: Eine Gerade wird in zwei Halbgeraden eingeteilt. Was für ein Objekt bewirkt diese Einteilung? Eine Halbgerade oder nicht doch eher ein Punkt, der Anfangspunkt der beiden Halbgeraden? Eine Ebene läßt ich auf unendlich viele Arten in genau zwei Halbenen zerlegen. Was für ein Objekt ist verantwortlich dafür, dass wir eine Einteilung in zwei spezielle Halbebenen bekommen? Was ist das Analogon zum Anfangspunkt zweier entgegengesetzter Strahlen bezüglich der Einteilung einer Ebene in zwei Halbebene, deren Vereinigungsmenge wieder die Ausgangebene ergibt? CHECK
Die Definitionen zu den beiden Halbgeraden $\ AQ^+$ und $\ AQ^-$ sind korrekt. Die Analogie zum problem der Halbebenen wird aber besser verdeutlich, wenn man diese Definitionen anders formuliert und sich dabei explizit auf die Strecke $\overline{BQ}$ bezieht. Die Idee, Halbgeraden über die Strecke $\overline{PQ}$ zu definieren lag der Übungsaufgabe 7.4 Lösung_von_Aufgabe_7.4 zugrunde. Die Definition habe ich zu Beginn meiner Vorlesung vom 11.06. erläutert.
Meinen sie wirklich BQ oder PQ, wenn PQ, dann CHECK
Die Definition der Halbebenen ist prinzipiell richtig. Nach stillschweigender Konvention kennzeichnen wir jedoch Punkte durch große lateinische Buchstaben. Also nicht $\ gQ^{-}:= \{P| \exists s \,\{s\}=g\cap\overline {PQ} \}$ sondern $\ gQ^{-}:= \{P| \exists S \,\{S\}=g\cap\overline {PQ} \}$ CHECK

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 es 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 IV.1: (offene Halbebene)

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

$\ gQ^{+}:= \{P| \neg\exists S \,\{S\}=g\cap\overline {PQ} \}$

$\ gQ^{-}:= \{P| \exists S \,\{S\}=g\cap\overline {PQ} \}$

Ich bin mir nicht sicher ob ich hiermit richtig liege, aber ist bei gQ- nach dieser Definition nicht auch die Punktmenge der Geraden g mit dabei, denn wenn P auf g liegen würde, gäbe es auch eine Schnittpunkt S, mit S=P oder? gQ- wäre also die Definition einer geschlossenen Halbebene..

--Principella 20:31, 21. Jun. 2010 (UTC)

Hhm - Gute Frage =) Ich denke, wir haben schon von vornherein per Definition ausgeschlossen, dass P ein Element von g ist, sondern in einer Ebene entweder mit Q oder in der anderen von Q liegt... Vlt sollten wir in der Definition IV.1 das ergänzen, dass Q UND P in der Ebene E liegen, aber nicht zur Geraden g gehören!?? Erst bei der (geschlossenen) Halbebene wird die Menge aller Punkte von g mit gQ+ oder gQ- vereint. Bei der offenen Halbebene gibt es dann keine Vereinigung, sondern nur den einen Schnittpunkt mit g, um zu zeigen, dass es eine andere Ebene ist, nämlich gQ- (also g ohne den Punkt Q)... --TimoRR 21:11, 21. Jun. 2010 (UTC)

m.g.*, können Sie uns Helfen und das klären ;-)

Ich glaub "P nicht Element g" muss einfach mit in die Definition rein, hab aber keine Ahnung wie das geht... --Principella 21:22, 21. Jun. 2010 (UTC)

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 IV.2: (Halbebene)

$\ gQ^{+}:= \{P| \neg\exists S\,\{S\}=g\cap\overline {PQ} \} \cup \{g\}$

$\ gQ^{-}:= \{P| \exists S\,\{S\}=g\cap\overline {PQ} \}$

--Principella 20:30, 21. Jun. 2010 (UTC)

HI, schau mal, ich hab das abgeändert, aber kann man das so stehen lassen!? also einfach nur g in der Lösungsmenge!? Oder muss das irgendwie mit {P Element von g} oder wie wäre das formal korrekt?--TimoRR 22:04, 21. Jun. 2010 (UTC)

Das müsste so OK sein, die Halbebene gQ+ ist ja die Vereingung genau dieser zwei Punktmengen... Danke :)

Die Repräsentantenunabhängigkeit des Referenzpunktes zweier Halbebenen

Repräsentantenunabhängigkeit?

Satz IV.1

Wenn $\ Q_2$ ein Punkt der Halbebene $\ {gQ_1}^{+}$ ist, dann gilt $\ {gQ_1}^{+} \equiv \ {gQ_2}^{+}$ und $\ {gQ_1}^{-} \equiv \ {gQ_2}^{-}$ .

Beweis des Satzes IV.1

Neuer Versuch (siehe Diskussionsseite)

Voraussetzung: $Q_2 \in {gQ_1}^{+}$
Behauptung: ${gQ_1}^{+} \equiv {gQ_2}^{+}$ und ${gQ_1}^{-} \equiv {gQ_2}^{-}$
Fallunterscheidung:
Fall I $\ Q_1, Q_2$ und $\ P$ sind nicht kollinear.
Fall II $\ Q_1, Q_2$ und $\ P$ sind kollinear.

	Fall I $\ Q_1, Q_2$ und $\ P$ sind nicht kollinear.
Schritt	Aussage	Begründung
(1)	${gQ_1}^{+} = \{P\| \neg\exists S\,\{S\}=g\cap\overline {PQ_1} \} \cup \{g\}$ Die Strecke $\overline {PQ_1}$ schneidet nicht die Trägergerade g.	Definition von Halbebene
(2)	$Q_2 \in {gQ_1}^{+}$ $Q_2$ liegt in der Halbebene ${gQ_1}^{+}$	Voraussetzung
(3)	$P,Q_1,Q_2 \in {gQ_1}^{+}$	Schritt (1) und (2)
(4)	Da $\overline {PQ_1}$ (Def. der Halbebene ${gQ_1}^{+}$ ) und $\overline {Q_1Q_2}$ (nach Voraussetzung) keinen Schnittpunkt mit $g$ haben, kann auch $\overline {PQ_2}$ als dritte Seite des Dreiecks $\overline {PQ_1Q_2}$ keinen Schnittpunkt mit g haben (da sonst Widerspruch mit Axiom von Pasch). Die Strecke $\overline {PQ_2}$ schneidet nicht die Trägergerade g.	Schritt (3) und Satz von Pasch
(5)	${gQ_2}^{+} = \{P\| \neg\exists S\,\{S\}=g\cap\overline {PQ_2} \} \cup \{g\}$	Schritt (4)
(6)	Es gilt: ${gQ_2}^{+} = \{P\| \neg\exists S\,\{S\}=g\cap\overline {PQ_2} \} \cup \{g\}$ und ${gQ_1}^{+} = \{P\| \neg\exists S\,\{S\}=g\cap\overline {PQ_2} \} \cup \{g\}$ \|\| Voraussetzung und Schritt (5)
(7)	${gQ_1}^{+} \equiv {gQ_2}^{+}$	Der Definitionsbereich der beiden Halbebene ist identisch - Schritt (6)
(8)	${gQ_1}^{-} \equiv {gQ_2}^{-}$	Die Mengen ${gQ_1}^{+}$ und ${gQ_1}^{-}$ sind disjunkt, gleiches gilt für die Mengen ${gQ_2}^{+}$ und ${gQ_2}^{-}$ Schritt (7) - Durch Umformung: Ebene $\Epsilon = {gQ_1}^{+} \cup {gQ_1}^{-} \cup g$ Ebene $\Epsilon = {gQ_2}^{+} \cup {gQ_1}^{-} \cup g$ Da Ebene $\Epsilon = {gQ_2}^{+} \cup {gQ_2}^{-} \cup g$ gilt somit auch ${gQ_1}^{-} \equiv {gQ_2}^{-}$

	Fall II $\ Q_1, Q_2$ und $\ P$ sind kollinear, liegen auf der Geraden $\ h$ .
Schritt	Aussage	Begründung
(1)	${gQ_1}^{+} = \{P\| \neg\exists S\,\{S\}=g\cap\overline {PQ_1} \} \cup \{g\}$ Die Strecke $\overline {PQ_1}$ schneidet nicht die Trägergerade g.	Definition von Halbebene
(2)	$Q_2 \in {gQ_1}^{+}$ $Q_2$ liegt in der Halbebene ${gQ_1}^{+}$ , dadurch gilt: die Strecke $\overline {Q_1Q_2}$ schneidet nicht die Trägergerade g.	Voraussetzung und Definition von Halbebene
(3)	Wenn $\operatorname{koll} \left( Q_1, Q_2, P \right)$ und $\ Q_1, Q_2, P$ paarweise verschieden sind, dann gilt $\operatorname{Zw} \left( Q_1, Q_2, P \right)$ oder $\operatorname{Zw} \left( Q_1, P, Q_2 \right)$ oder $\operatorname{Zw} \left( Q_2, Q_1, P \right)$ .\|\| Aus Voraussetzung kollinear und Satz II.3
(4)	Wenn $\operatorname{Zw} \left( Q_1, Q_2, P \right)$ , dann ist $\overline {PQ_2} \subset \overline {PQ_1}$ und dadurch gilt $\overline {PQ_2} \in {gQ_1}^{+}$	Zwischenrelation, Voraussetzung
(5)	Wenn $\operatorname{Zw} \left( Q_1, P, Q_2 \right)$ , dann ist $\overline {PQ_2} \subset \overline {Q_1Q_2}$ und dadurch gilt $\overline {PQ_2} \in {gQ_1}^{+}$	Zwischenrelation, Voraussetzung
(6)	Wenn $\operatorname{Zw} \left( Q_2, Q_1, P \right)$ , dann gehören alle Punkte der Strecke $\overline {PQ_2}$ entweder zur Strecke $\overline {Q_1Q_2}$ oder zur Strecke $\overline {PQ_1}$ , für die gilt $\overline {Q_1Q_2} \in {gQ_1}^{+}$ oder $\overline {PQ_1} \in {gQ_1}^{+}$ Dadurch gilt $\overline {PQ_2} \in {gQ_1}^{+}$	Zwischenrelation, Aussagenlogik
(7)	Trivial, bzw. analog zu Fall I

Stimmt das so? Nochmal geändert... --Heinzvaneugen 15:10, 23. Jun. 2010 (UTC)

Analog dazu: Übungsaufgabe 8.1. Dort wird allerdings etwas anders vorgegangen, nämlich dass $R \notin {gQ}^{+}$ . Die Analogie der Lösungen ergibt sich daraus, dass die Mengen disjunkt sind.

Das Axiom von Pasch

Was Axiomatik ist und wie man Axiome zu formulieren hat, das ist erst gegen Ende des 19. Jh. von Pasch gezeigt worden; von ihm lernten es die italienischen Geometer und lernte es Hilbert.
Hans Freudenthal, Mathematik als pädagogische Aufgabe, Stuttgart 1973, S. 14)

Axiom III.2: Das Axiom 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}$ .

Konvexe Punktmengen

Definition IV.3: (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 IV.2

Halbebenen sind konvexe Punktmengen

Beweis von Satz IV.2

trivial (Der Leser überzeuge sich davon)

Satz IV.3

Der Durchschnitt zweier konvexer Punktmengen ist konvex.

Beweis von Satz IV.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.

...

@@ Zeile 39: / Zeile 39: @@
 |-
 |  eindimensional
-|  eindimensional
+|  zweidimensional
 |-
@@ Zeile 50: / Zeile 50: @@
 |-
-| <math>\ AQ^{+} = \{P| Zw(A,P,Q)\lor Zw(A,Q,P)\}\cup \{A,Q\}</math>
+| <math>\ AQ^{+} = \{P| A \not \in overline{PQ} \} \cup \{ A\}</math>
 | <math>\ gQ^{+} = \{P| g\cap\overline {PQ} =\{\}\}</math>

Halbebenen oder das Axiom von Pasch: Unterschied zwischen den Versionen

Version vom 23. Juni 2010, 21:54 Uhr

Inhaltsverzeichnis

Halbebenen und das Axiom von Pasch

Halbebenen

Analogiebetrachtungen

Bemerkungen zu den Analogieüberlegungen --m.g. 19:18, 17. Jun. 2010 (UTC)

Definition des Begriffs der Halbebene

Alles hat zwei Seiten oder grundlegende Ideen der Beschaffenheit von Ebenen

Offene Halbebenen

Definition IV.1: (offene Halbebene)

Halbebenen

Definition IV.2: (Halbebene)

Die Repräsentantenunabhängigkeit des Referenzpunktes zweier Halbebenen

Repräsentantenunabhängigkeit?

Satz IV.1

Beweis des Satzes IV.1

Neuer Versuch (siehe Diskussionsseite)

Das Axiom von Pasch

Axiom III.2: Das Axiom von Pasch

Konvexe Punktmengen

Definition IV.3: (konvexe Punktmenge)

Satz IV.2

Beweis von Satz IV.2

Satz IV.3

Beweis von Satz IV.3

Navigationsmenü

Meine Werkzeuge

Namensräume

Varianten

Ansichten

Aktionen

Suche

Navigation

Werkzeuge

Halbebenen oder das Axiom von Pasch: Unterschied zwischen den Versionen

Version vom 23. Juni 2010, 21:54 Uhr

Inhaltsverzeichnis

Halbebenen und das Axiom von Pasch

Halbebenen

Analogiebetrachtungen

Bemerkungen zu den Analogieüberlegungen --*m.g.* 19:18, 17. Jun. 2010 (UTC)

Definition des Begriffs der Halbebene

Alles hat zwei Seiten oder grundlegende Ideen der Beschaffenheit von Ebenen

Offene Halbebenen

Definition IV.1: (offene Halbebene)

Halbebenen

Definition IV.2: (Halbebene)

Die Repräsentantenunabhängigkeit des Referenzpunktes zweier Halbebenen

Repräsentantenunabhängigkeit?

Satz IV.1

Beweis des Satzes IV.1

Neuer Versuch (siehe Diskussionsseite)

Das Axiom von Pasch

Axiom III.2: Das Axiom von Pasch

Konvexe Punktmengen

Definition IV.3: (konvexe Punktmenge)

Satz IV.2

Beweis von Satz IV.2

Satz IV.3

Beweis von Satz IV.3

Navigationsmenü

Suche

Bemerkungen zu den Analogieüberlegungen --m.g. 19:18, 17. Jun. 2010 (UTC)