Halbebenen oder das Axiom von Pasch (SoSe 11): Unterschied zwischen den Versionen

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
(Definition IV.3: Halbraum)
(Definition IV.3: Halbraum)
Zeile 77: Zeile 77:
 
::Ergänzen Sie selbst.
 
::Ergänzen Sie selbst.
  
:::::::<math>\ EQ^{+}:= \{P|\overline{PQ} \cap g=\lbrace \rbrace \wedge P\in R  \} \cup \{E \}</math>
+
:::::::<math>\ EQ^{+}:= \{P|\overline{PQ} \cap E=\lbrace \rbrace \wedge P\in R  \} \cup \{E \}</math>
  
  
:::::::<math>\ EQ^{-}:= \{P|\overline{PQ} \cap g\neq \lbrace \rbrace \wedge P\in R \} \cup \{E \} </math>--[[Benutzer:Gillian shaw|Gillian shaw]] 04:40, 26. Jul. 2011 (CEST)
+
:::::::<math>\ EQ^{-}:= \{P|\overline{PQ} \cap E\neq \lbrace \rbrace \wedge P\in R \} \cup \{E \} </math>--[[Benutzer:Gillian shaw|Gillian shaw]] 04:40, 26. Jul. 2011 (CEST)
  
 
muss es nicht heißen PQ geschnitten mit E? Muss man P Element R dazu schreiben, weil de Raum ist ja die Menge aller Punkte?!--[[Benutzer:Verteidigungswolf|Verteidigungswolf]] 07:39, 26. Jul. 2011 (CEST)
 
muss es nicht heißen PQ geschnitten mit E? Muss man P Element R dazu schreiben, weil de Raum ist ja die Menge aller Punkte?!--[[Benutzer:Verteidigungswolf|Verteidigungswolf]] 07:39, 26. Jul. 2011 (CEST)

Version vom 26. Juli 2011, 06:46 Uhr

Inhaltsverzeichnis

Halbebenen und das Axiom von Pasch

Halbebenen

Analogiebetrachtungen

Halbgeraden
Halbebenen

Die folgenden Lückentexte können Sie auch als Übungsblatt im pdf-Format herunterladen: Übungsblatt Halbgeraden/-ebenen‎

Wir konstatieren:

Eine Gerade wird durch einen Punkt in zwei Halbgeraden eingeteilt.
Eine Ebene wird durch eine Gerade in zwei Halbebenen eingeteilt.
Eine Gerade ist ein eindimensionales Objekt.
Eine Ebene ist ein zweidimensionales Objekt.
Im Fall dieser Geradenteilung ist der Trenner ein nulldimensionales geometrisches Objekt.
Im Fall dieser Ebenenteilung ist der Trenner ein eindimensionales geometrisches Objekt.
Wenn also n die Dimension des geometrischen Objekts ist, das geteilt wird, dann hat der Trenner die Dimension n-1 .

Geradenteilung:

Es seien \ g eine Gerade und \ T ein Punkt auf ihr. Ferner sei \ Q ein von \ T verschiedener Punkt der Geraden \ g. Die Menge \ g \setminus T wird durch durch den Trenner \ T in genau zwei Klassen eingeteilt:
  1. Die Menge aller Punkte von \ g \setminus T, die mit \ Q auf derselben Halbgeraden .
  2. Die Menge aller Punkte von \ g \setminus T, die mit \ Q nicht auf derselben Halbgeraden.

Ebenenteilung:

Es seien \ \epsilon eine Ebene und \ t eine Gerade, die vollständig in \ \epsilon liegt. Ferner sei \ Q ein nicht zu \ t gehörender Punkt der Ebene \ \epsilon. Die Menge \ \epsilon \setminus t wird durch durch den Trenner \ t in genau zwei Klassen eingeteilt:
  1. Die Menge aller Punkte von \ \epsilon \setminus t, die mit \ Q auf derselben Halbebene .
  2. Die Menge aller Punkte von \ \epsilon \setminus t, die mit \ Q nicht auf derselben Halbebene .--Katrin 09:04, 23. Jul. 2011 (CEST)

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. Halbebene 00.png
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. Halbebene 01.png

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 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 Teilmengen der Ebene \ \Epsilon ohne die Gerade \ g :
\ gQ^{+}:= \{P|\overline{PQ} \cap g=\lbrace \rbrace \wedge P\in E  \}


\ gQ^{-}:= \{P||\overline{PQ} \cap g\neq \lbrace \rbrace \wedge P\in E  \}

--Katrin 09:11, 23. Jul. 2011 (CEST)

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

Ergänzen Sie selbst.
\ EQ^{+}:= \{P|\overline{PQ} \cap E=\lbrace \rbrace \wedge P\in R  \} \cup \{E \}


\ EQ^{-}:= \{P|\overline{PQ} \cap E\neq \lbrace \rbrace \wedge P\in R \} \cup \{E \} --Gillian shaw 04:40, 26. Jul. 2011 (CEST)

muss es nicht heißen PQ geschnitten mit E? Muss man P Element R dazu schreiben, weil de Raum ist ja die Menge aller Punkte?!--Verteidigungswolf 07:39, 26. Jul. 2011 (CEST)

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.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 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.