2. De Morgansche Regel - Beweis

Neue Frage »

28.09.2005, 20:58	Veit	Auf diesen Beitrag antworten »
2. De Morgansche Regel - Beweis Hallo, könnte sich mal jemand meinen Beweis anschauen und mir sagen ob das so stimmt? $\begin{eqnarray} x \in \bigcup M' \Rightarrow (x \in U \text{ und } x \in M') \Rightarrow (x \in U \text{ und } x \notin M) \Rightarrow x \notin \bigcap M \Rightarrow x \in (\bigcap M)' \end{eqnarray}$ Mit: $\begin{eqnarray} M \in S \end{eqnarray}$ sind Teilmengen einer festen Menge $\begin{eqnarray} U \end{eqnarray}$ Den Beweis für die andere Richtung tippe ich jetzt mal nicht ab - ist ja ne Menge Arbeit. Danke! Gruß, Veit
28.09.2005, 22:07	irre.flexiv	Auf diesen Beitrag antworten »
Wie definierst du $\begin{eqnarray} \bigcup M' \end{eqnarray}$ ? Ich kenne es so: $\begin{eqnarray} \bigcup M' = \bigcup_{x \in M'} x \end{eqnarray}$ In diesem Fall wäre deine Implikationskette auf jeden Fall falsch.
28.09.2005, 22:59	Veit	Auf diesen Beitrag antworten »
In der Aufgabe steht die zweite Regel so: $\begin{eqnarray} \bigcup_{M \in S} M' = (\bigcap_{M \in S} M)' \end{eqnarray}$ , wobei S ein nichtleeres System von Mengen M sei.
28.09.2005, 23:44	irre.flexiv	Auf diesen Beitrag antworten »
Ok, dann ist das soweit erstmal richtig bis auf eine kleine Unsauberkeit. $\begin{eqnarray} x \in \bigcup_{M \in S} M' \Rightarrow \exists M \in S : x \in M' \Rightarrow x \notin M \Rightarrow x \notin \bigcap_{M \in S} M \Rightarrow x \in (\bigcap_{M \in S} M)' \end{eqnarray}$
29.09.2005, 13:17	Veit	Auf diesen Beitrag antworten »
Ok, vielen Dank! Das umgedrehte E heißt dann wohl soviel wie "Für alle $\begin{eqnarray} M \in S \end{eqnarray}$ ", oder? Schreibt man das per Hand auch als umgedrehtes Druckbuchstaben-E? Habe das bisher noch nie gesehen ...
29.09.2005, 13:34	Tobias	Auf diesen Beitrag antworten »
Aber dann fehlt auch noch die andere Inklusionsrichtig, oder? Das umgedrehte "E" heißt "es existiert ein" oder "es gibt". Das auf dem Kopf stehende "A" steht für "für alle" oder "zu jedem". Manche schreiben auch ein großes "V" für "es gibt" und ein großes "^" für "für alle". Das bleibt jedem selbst überlassen. Die sicherste Methode ist einfach ein Satz zu formulieren.
Anzeige

29.09.2005, 16:08	irre.flexiv	Auf diesen Beitrag antworten »
$\begin{eqnarray} \exists \end{eqnarray}$ ist gerade nicht "für alle". Man weiss ja nicht ob für alle $\begin{eqnarray} M \in S \end{eqnarray}$ auch $\begin{eqnarray} x \in M' \end{eqnarray}$ ist. Sicher ist aber das wenn $\begin{eqnarray} x \in \bigcup_{M \in S} M' \end{eqnarray}$ ist das es "mindestens ein" $\begin{eqnarray} M \end{eqnarray}$ geben muss so dass $\begin{eqnarray} x \in M' \end{eqnarray}$ . Und das sagt $\begin{eqnarray} \exists \end{eqnarray}$ aus.
29.09.2005, 16:35	Veit	Auf diesen Beitrag antworten »
Ja, stimmt. Würde da dann aber z.B. stehen: $\begin{eqnarray} x \notin \bigcup_{M \in S} M \end{eqnarray}$ kann man für alle $\begin{eqnarray} M \end{eqnarray}$ schließen, daß $\begin{eqnarray} x \notin M \end{eqnarray}$ . So kommt es nämlich in meinem Beweis für die erste Regel vor. Die andere Inklusionsrichtung würde also lauten: $\begin{eqnarray} x \in (\bigcap_{M \in S} M)' \Rightarrow x \notin \bigcap_{M \in S} M \Rightarrow \exists M \in S: x \notin M \Rightarrow x \in M' \Rightarrow x \in \bigcup_{M \in S} M' \end{eqnarray}$
29.09.2005, 16:46	irre.flexiv	Auf diesen Beitrag antworten »
Beides richtig.

Neue Frage »

Antworten »

2. De Morgansche Regel - Beweis

Verwandte Themen