12)

Aus Geometrie-Wiki
Version vom 14. Dezember 2011, 18:02 Uhr von Andreas (Diskussion | Beiträge)

(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Wechseln zu: Navigation, Suche

Beweisen Sie: Der Durchschnitt zweier konvexer Punktmengen ist konvex.

Eine Punktmenge ist konvex, wenn für alle Punkte A und B der Punktmenge gilt, dass alle Punkte von \overline {AB} Element der Punktmenge P sind.

Vor: Es sind X und Y zwei konvexe Punktmengen.

Beh: \ X \cap Y ist Konvex
1. Es seien A und B zwei Punkte aus der Schnittmenge von X und Y ( Vor.)

2. A, B \in X \wedge A, B \in Y und die Schnittmenge ist nicht leer ( Vor.)

3. \overline{AB}  \subset X und \overline{AB}  \subset Y  (aus 2, Vor., Def. konvexe Punktmenge)


4. \overline{AB}  \subset X \cap Y ( 3, Def. Schnittmenge)

5. X \cap Y ist eine konvexe Menge (4, Def. konvexe Menge ) --Costa rica 23:46, 5. Dez. 2011 (CET)


Woher weißt du dann, dass es zwischen den Punkten A und B auf der Strecke es nicht noch irgendeinen Punkt P gibt, der nicht in beiden Teilmengen ist?
Finde den Beweis Übrigens gut und nachvollziehbar, bin mir aber nicht sicher ob er ausreicht. --RicRic 17:15, 6. Dez. 2011 (CET)

Also, X und Y sind je zwei konvexe Punktmengen. Zwei beliebige Punkte A und B liegen in X und in Y. Nach Def. konvex liegt dann auch die gesamte strecke AB in X. Das gleiche gilt für Y. Folglich ist die Schnittmenge X Y auch konvex. (Def. konvexe Punktmenge)--Costa rica 00:37, 9. Dez. 2011 (CET)


Ich habe in dem Beweis die korekte Formelschreibweise eingefügt, damit dieser besser verständlich ist. Die Beschreibung von Costa rica hilf sonst auch weiter - danke!
So kann man diesen Satz direkt beweisen. Allerdings geht der Beweis bestimmt auch indirekt, in dem man die Idee von RicRic verfolgt und einen Punkt P annimmt, der auf \overline{AB} liegt und nicht in der Schnittmenge von X und Y enthalten ist.
Hier ist genug Platz, auch diesen Beweis zu führen - wer möchte sich versuchen?--Tutorin Anne 13:53, 14. Dez. 2011 (CET)