Bewijs verzamlingenleer
Geplaatst: 24 jul 2014, 18:42
Kan iemand mij misschien de goede richting insturen?
Ik probeer te bewijzen dat als A een deelverzameling is van de Universele verzameling dat:
A∩A'=∅
Nu denk ik dat ik zo moet beginnen:
∀x∈A∩A' ⇒
{x|x∈A én x∈A'} ⇒
∄x∈µ|x∈A én x∈A' ⇒
x∉µ ⇒
x∈µ' ⇒
∅
Nu weet heb ik geen idee hoe ik dit de andere kant op moet bewijzen en/of dit wel een goede manier is om dit te bewijzen.
Alle hulp wordt uiteraard op prijs gesteld
Ik probeer te bewijzen dat als A een deelverzameling is van de Universele verzameling dat:
A∩A'=∅
Nu denk ik dat ik zo moet beginnen:
∀x∈A∩A' ⇒
{x|x∈A én x∈A'} ⇒
∄x∈µ|x∈A én x∈A' ⇒
x∉µ ⇒
x∈µ' ⇒
∅
Nu weet heb ik geen idee hoe ik dit de andere kant op moet bewijzen en/of dit wel een goede manier is om dit te bewijzen.
Alle hulp wordt uiteraard op prijs gesteld