Lösung von Aufg. 9.3 (SoSe 11): Unterschied zwischen den Versionen

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
(Die Seite wurde neu angelegt: „Definieren Sie noch einmal die Begriffe Halbgerade <math>\ AQ^{+}</math> und <math>\ AQ^{-}</math>. In diesen neuen Definitionen dürfen Sie die Zwischenrelation …“)
 
Zeile 1: Zeile 1:
 
Definieren Sie noch einmal die Begriffe Halbgerade <math>\ AQ^{+}</math> und <math>\ AQ^{-}</math>. In diesen neuen Definitionen dürfen Sie die Zwischenrelation nicht explizit verwenden. Beweisen Sie dann, dass Ihre neuen Definitionen zur [http://wikis.zum.de/geowiki/index.php/Strecken_%28SoSe_11%29#Definition_II.5:_.28Halbgerade.2C_bzw._Strahl.29 | Definition II.5] äquivalent sind.
 
Definieren Sie noch einmal die Begriffe Halbgerade <math>\ AQ^{+}</math> und <math>\ AQ^{-}</math>. In diesen neuen Definitionen dürfen Sie die Zwischenrelation nicht explizit verwenden. Beweisen Sie dann, dass Ihre neuen Definitionen zur [http://wikis.zum.de/geowiki/index.php/Strecken_%28SoSe_11%29#Definition_II.5:_.28Halbgerade.2C_bzw._Strahl.29 | Definition II.5] äquivalent sind.
  
 +
Wie die neue Definition heißt, haben wir in der Übung bespochen. Aus Zeitgründen dann jedoch die Auflösung des Beweises der Äquivalenz auf einen anderen Termin verschoben (durchaus verständlich). Ich möchte mich hier mal versuchen und eine Beweismöglichkeit darstellen. Vllt. kann ja der eine und der ander und die eine und die andere seinen/ihren Senf dazugeben.
 +
<br />
 +
Defininition <math>\ AQ^{+}</math> nach II.5 (im folgenden als DefA für Definition alt): <math>\ AB^{+}: = \lbrace P \in AQ | \operatorname(Zw) (A, P, Q)\rbrace  \cup \lbrace P \in AQ | \operatorname(Zw) (A, Q, P)\rbrace \cup \lbrace  A, Q \rbrace </math>
 +
<br />
 +
Defininition <math>\ AQ^{+}</math> neu (im folgenden als DefN für Definition neu): <math>\ AQ := \{P \in AQ|\overline{QP} \in AQ \wedge A \not\in  \overline{QP} \} \cup \lbrace A\rbrace</math>
 +
<br />
 +
<br />
 +
Beweis über zwei Schritte: Schritt 1: "=>" Schritt 2: "<="
 +
<br />
 +
Es sei aufgrund der einfacheren Bearbeitung (man spart sich einen ganzen Beweisschritt) folgender Fall vorweggeschickt, der für bei Seiten gilt, wegen der Reflexivität der "="-Relation:
 +
<br />
 +
<br />
 +
Voraussetzung: <math>\ X \in M: \lbrace X \in AQ | \operatorname(Zw) (A, X, Q)\rbrace  \cup \lbrace X \in AQ | \operatorname(Zw) (A, Q, X)\rbrace \cup \lbrace  A, Q \rbrace </math>
 +
<br />
 +
Behauptung: <math>\ X \in \{P \in AQ|\overline{QP} \in AQ \wedge A \not\in  \overline{QP} \} \cup \lbrace A\rbrace </math>
 +
<br />
 +
<br />
 +
Fall 1: X = A => Da A in beiden Fällen als einzelne Menge vereinigt wird ist dieser Fall trivial.
 +
<br />
 +
Fall 2 <math>X \neq A</math> <br />
 +
<br />
 +
Beweis "=>"
 +
<br />
 +
<br />
 +
{| class="wikitable"
 +
|-
 +
| 1 || Es gilt: koll(A, Q, X) || Voraussetzung, Zwischenrelationdefinition
 +
|-
 +
| 2 || <math>\forall X \in  M : X \in AQ</math> || Axiom I.2, (1)
 +
|-
 +
| 3 || |AX| + |XQ| = |AQ| => <math>X \in \overline{AQ} \\{A, Q}</math> || Def. Zwischenrelation, Voraussetzung
 +
|-
 +
| 4 || |AQ| + |QX| = |AX| => <math>\exists AX</math>  || Def. Zwischenrelation, Voraussetzung
 +
|-
 +
| 5 || <math>\forall X: X \in QX \wedge X \in AQ</math> || (1), (2), (3), (4)
 +
|-
 +
| 6 || wg. X <math>\neq</math> A: <math>A \not\in QX</math> || (5)
 +
|-
 +
| 7 || <math>\ X \in \{P \in AQ|\overline{QP} \in AQ \wedge A \not\in  \overline{QP} \} \cup \lbrace A\rbrace </math> || (6)
 +
|}
 +
<br />
 +
Irgendwie schaut das noch wie ein riesengroßes gewurschtel aus und sicher bin ich mir keineswegs.
 +
<br />
 +
In Beweisschritt 2 schauts da allerdings etwas anders aus:
 +
<br />
 +
Beweis
  
 
[[Kategorie:Einführung_Geometrie]]
 
[[Kategorie:Einführung_Geometrie]]

Version vom 11. Juni 2011, 23:08 Uhr

Definieren Sie noch einmal die Begriffe Halbgerade \ AQ^{+} und \ AQ^{-}. In diesen neuen Definitionen dürfen Sie die Zwischenrelation nicht explizit verwenden. Beweisen Sie dann, dass Ihre neuen Definitionen zur | Definition II.5 äquivalent sind.

Wie die neue Definition heißt, haben wir in der Übung bespochen. Aus Zeitgründen dann jedoch die Auflösung des Beweises der Äquivalenz auf einen anderen Termin verschoben (durchaus verständlich). Ich möchte mich hier mal versuchen und eine Beweismöglichkeit darstellen. Vllt. kann ja der eine und der ander und die eine und die andere seinen/ihren Senf dazugeben.
Defininition \ AQ^{+} nach II.5 (im folgenden als DefA für Definition alt): \ AB^{+}: = \lbrace P \in AQ | \operatorname(Zw) (A, P, Q)\rbrace \cup \lbrace P \in AQ | \operatorname(Zw) (A, Q, P)\rbrace \cup \lbrace A, Q \rbrace
Defininition \ AQ^{+} neu (im folgenden als DefN für Definition neu): \ AQ := \{P \in AQ|\overline{QP} \in AQ \wedge A \not\in \overline{QP} \} \cup \lbrace A\rbrace

Beweis über zwei Schritte: Schritt 1: "=>" Schritt 2: "<="
Es sei aufgrund der einfacheren Bearbeitung (man spart sich einen ganzen Beweisschritt) folgender Fall vorweggeschickt, der für bei Seiten gilt, wegen der Reflexivität der "="-Relation:

Voraussetzung: \ X \in M: \lbrace X \in AQ | \operatorname(Zw) (A, X, Q)\rbrace \cup \lbrace X \in AQ | \operatorname(Zw) (A, Q, X)\rbrace \cup \lbrace A, Q \rbrace
Behauptung: \ X \in \{P \in AQ|\overline{QP} \in AQ \wedge A \not\in \overline{QP} \} \cup \lbrace A\rbrace

Fall 1: X = A => Da A in beiden Fällen als einzelne Menge vereinigt wird ist dieser Fall trivial.
Fall 2 X \neq A

Beweis "=>"

1 Es gilt: koll(A, Q, X) Voraussetzung, Zwischenrelationdefinition
2 \forall X \in M : X \in AQ Axiom I.2, (1)
3 AX| + |XQ| = |AQ| => Fehler beim Parsen(Syntaxfehler): X \in \overline{AQ} \\{A, Q} Def. Zwischenrelation, Voraussetzung
4 AQ| + |QX| = |AX| => \exists AX Def. Zwischenrelation, Voraussetzung
5 \forall X: X \in QX \wedge X \in AQ (1), (2), (3), (4)
6 wg. X \neq A: A \not\in QX (5)
7 \ X \in \{P \in AQ|\overline{QP} \in AQ \wedge A \not\in \overline{QP} \} \cup \lbrace A\rbrace (6)


Irgendwie schaut das noch wie ein riesengroßes gewurschtel aus und sicher bin ich mir keineswegs.
In Beweisschritt 2 schauts da allerdings etwas anders aus:
Beweis

Von „http://geometrie.zum.de/index.php?title=Lösung_von_Aufg._9.3_(SoSe_11)&oldid=7654“