Lösung von Aufgabe 5.01 S SoSe 13

Aufgabe 5.01 Wir betrachten das folgende Modell $\mathbb{M}:=(\mathbb{P}, \mathbb{G}, \operatorname{inz})$ für die Inzidenzgeometrie: Modellpunkte $\mathbb{P}$: $\mathbb{P} := \{A,B,C,D\}$ Modellgeraden $\mathbb{G}$: Inzidenz $\operatorname{inz}$: Elementbeziehung: Ein Punkt $P$ inzidiert mit einer Geraden $g$ , wenn er zu $g$ gehört: $P \operatorname{inz} g :\Leftrightarrow P \in g$ a) Warum ist $\mathbb{M}$ kein Modell für die ebene Inzidenzgeometrie? b) Ergänzen Sie $\mathbb{M}$ derart, dass alle Axiome der ebenen Inzidenz erfüllt sind. Lösung User ... 1. In Axiom I/1 heißt es „Zu zwei beliebigen verschiedenen Punkten gibt es genau eine Gerade, die mit diesen beiden Punkten inzidiert“. Bei G ist die Gerade G = {C,D} nicht genannt. Entweder C und D sind identisch oder das Modell ist unvollständig. Sind C und D identisch, so ist das Modell in der Ebene. Was mir noch nicht ganz klar ist: Woher weiß ich, ob die Punkte in der Ebene oder im Raum angeordnet sind? Die Inzidenzaxiome der ebenen Geometrie beziehen sich ja auf drei Punkte, aber hier sind es ja vier Punkte, sie können also in der Ebene oder im Raum angeordnet werden?!? 2. G = { {A,B}, {A,C}, {A,D}, {B,C}, {B,D} {C,D} } --Userin24 20:19, 28. Mai 2013 (CEST) Heißt es nicht "ebene Inzidenzgeometrie", gerade weil sich alles in einer Ebene abspielt? ^^ Ich stimme der Lösung von "Userin24" zu. Desweiteren habe ich mich gefragt, ob die Punkte A,D,C theoretisch nicht auf einer Geraden liegen könnten, weil die Gerade {C,D} nicht angegeben ist. Würde das dann nicht auch dem Axiom I/3 widersprechen? --Illu13 16:36, 29. Mai 2013 (CEST) Bemerkung m.g. Es handelt sich um ein Modell und die Verhältnisse in einem Modell können anders sein als wir es uns gemeinhin vorstellen können. "Man muss jederzeit Bierseidel ... ."--*m.g.* 23:53, 30. Mai 2013 (CEST) Lösung User ... Lösung User ... zurück zu Serie 5 SoSe 2013