Stelling verzamelingen
Forumregels
(Middelbare) school-achtige vragen naar het forum "Huiswerk en Practica" a.u.b.
Zie eerst de Huiswerkbijsluiter
(Middelbare) school-achtige vragen naar het forum "Huiswerk en Practica" a.u.b.
Zie eerst de Huiswerkbijsluiter
- 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
Voorbeeld bewijs
Stel
Het bewijs voor
\(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.- Berichten: 997
Re: Stelling verzamelingen
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 leekHet zou te doen moeten zijn door de definities uit te schrijven. Misschien is\(B = C\)