Stelling verzamelingen

Moderators: dirkwb, Xilvo

Forumregels
(Middelbare) school-achtige vragen naar het forum "Huiswerk en Practica" a.u.b.
Zie eerst de Huiswerkbijsluiter
Reageer
Gebruikersavatar
Berichten: 997

Stelling verzamelingen

Hoe toon ik dit aan?
\(A \cup B = A\cup C \ \ \& \ \ A\cap B = A \cap C \ \ \Rightarrow \ \ B=C \)
Ik ben al een beetje aan het prutsen geweest met definities uitschrijven maar loop altijd meteen vast

Berichten: 3

Re: Stelling verzamelingen

Het zou te doen moeten zijn door de definities uit te schrijven. Misschien is
\(B = C\)
het makkelijkst te bewijzen door te laten zien dat
\(B \subseteq C\)
en
\(C \subseteq B\)
.

Voorbeeld bewijs
\(B \subseteq C\)
:

Stel
\(x \in B\)
. Dan
\(x \in A \cup B\)
en volgens de aanname ook
\(x \in A \cup C\)
. Dit betekent dat
\(x \in A\)
of dat
\(x \in C\)
. Als
\(x \in C\)
dan ben je klaar. Als
\(x \in A\)
dan
\(x \in A \cap B\)
. Volgens de aanname geldt dan ook dat
\(x\in A \cap C\)
, en dus
\(x\in C\)
. Hiermee heb je laten zien dat
\(B \subseteq C\)
.

Het bewijs voor
\(C \subseteq B\)
gaat op soortgelijke wijze.

Re: Stelling verzamelingen

Hint:
\(B = ((A\cup B) \cap A^c) \cup (A \cap B)\)

Gebruikersavatar
Berichten: 997

Re: Stelling verzamelingen

Het zou te doen moeten zijn door de definities uit te schrijven. Misschien is
\(B = C\)
zo lukt het inderdaad feilloos, bedankt, ik had er intuitief al eens aan gedacht met naar het vendiagramma te kijken maar niet geprobeerd omdat het me vergezocht leek

Reageer