Lösung Aufgabe 5.01 SoSe 2017: Unterschied zwischen den Versionen
Aus Geometrie-Wiki
*m.g.* (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „<div style="margin:0; margin-right:4px; border:1px solid #27408B; padding: 1em 1em 1em 1em; background-color:#FFFF99; align:left;"> {|width=90%| style="backgro…“) |
(→Lösung 1) |
||
(Eine dazwischenliegende Version von einem Benutzer wird nicht angezeigt) | |||
Zeile 2: | Zeile 2: | ||
{|width=90%| style="background-color:#FFFF99; padding:1em" | {|width=90%| style="background-color:#FFFF99; padding:1em" | ||
| valign="top" | | | valign="top" | | ||
+ | ==Aufgabe 5.01 SoSe 2017 == | ||
+ | Wir betrachten das folgende Modell <math>\mathbb{M}:=(\mathbb{P}, \mathbb{G}, \operatorname{inz})</math> für die Inzidenzgeometrie:<br /> | ||
+ | Modellpunkte <math>\mathbb{P}</math>:<br /> | ||
+ | <math>\mathbb{P} := \{A,B,C,D\}</math><br /> | ||
+ | Modellgeraden <math>\mathbb{G}</math>:<br /> | ||
+ | <math>\mathbb{G} = \{\{A,B\}, \{A,C\}, \{A,D\}, \{B,C\}, \{B,D\}\}</math><br /> | ||
+ | Inzidenz <math>\operatorname{inz}</math>:<br /> Elementbeziehung: Ein Punkt <math>P</math> inzidiert mit einer Geraden <math>g</math> , wenn er zu <math>g</math> gehört: <math>P \operatorname{inz} g :\Leftrightarrow P \in g</math> | ||
+ | # Warum ist <math>\mathbb{M}</math> kein Modell für die ebene Inzidenzgeometrie? | ||
+ | # Ergänzen Sie <math>\mathbb{M}</math> derart, dass alle Axiome der ebenen Inzidenz erfüllt sind. | ||
=Lösung 1= | =Lösung 1= | ||
+ | Das Modell M erfüllt 2 Axiome nicht und muss somit um diese zwei erweitert werden | ||
+ | |||
+ | |||
+ | 1. Axiom 1.3 Es gibt wenigstens 3 verschiedene Punkte, da ohne diese Ergänzung A,B,C,D identisch sein könnten und somit keine Gerade bilden. <br> | ||
+ | P:(A,B,C,D, (logisches und) A,B,C,(D) sind paarweise verschieden) | ||
+ | |||
+ | 2. Axiom 1.2(kollinear) weiterhin muss in P erwähnt werden das mindestens 3 punkte nicht auf einer gemeinsamen Geraden liegen. <br> | ||
+ | P:(A,B,C,D, (logisches und) A,B,C,D sind paarweise verschieden ( logisches und) nkoll(A,B,C)) | ||
=Lösung 2= | =Lösung 2= |
Aktuelle Version vom 31. Mai 2017, 17:36 Uhr
Aufgabe 5.01 SoSe 2017Wir betrachten das folgende Modell für die Inzidenzgeometrie:
Lösung 1Das Modell M erfüllt 2 Axiome nicht und muss somit um diese zwei erweitert werden
P:(A,B,C,D, (logisches und) A,B,C,(D) sind paarweise verschieden) 2. Axiom 1.2(kollinear) weiterhin muss in P erwähnt werden das mindestens 3 punkte nicht auf einer gemeinsamen Geraden liegen. P:(A,B,C,D, (logisches und) A,B,C,D sind paarweise verschieden ( logisches und) nkoll(A,B,C)) Lösung 2Lösung 3 |