WisFaq!

\require{AMSmath} geprint op donderdag 28 maart 2024

Re: Verzameling relaties bewijzen

Bedankt voor uw reactie.

Excuus eigenlijk, ik had mijn vraag niet helemaal goed geformuleerd. Ik bedoelde eigenlijk ik snap wel wat met de relaties wordt bedoeld maar deze specifieke relaties wiskundig correct bewijzen vind ik lastig. Bijvoorbeeld de distributieve wetten en DeMorgan-wetten bewijzen vind ik wel te doen. Maar deze 4 vind ik wel iets lastiger (ongeacht dat ik de relaties zelf wel snap).

Zou u mij misschien op weg kunnen helpen bij deze relatie:
- Prove that P(Ac) ⊆ (P(A))c ∪ {∅}.

Een vriend van mij had me al uitgelegd gegeven bij de eerste en de laatste relatie dus die snap ik nu wel beter (maar alsnog bedankt voor uw vorige reactie)

(misschien hoort deze vraag bij de categorie verzamelingen overigens)

Alex van der Steen
6-9-2019

Antwoord

In de geest van het vorige antwoord toch maar:
Stel $X\in\mathcal{P}(A^c)$.
Dat betekent dat $X\subseteq A^c$.
Er zijn twee gevallen: $X=\emptyset$ of $X\neq\emptyset$.
Als $X=\emptyset$ dan $X\in\{\emptyset\}$.
Als $X\neq\emptyset$ dan geldt dat $X$ géén deelverzameling van $A$ is, want er is een $x\in X$ en voor die $x$ geldt $x\in X\setminus A$.
Dus $X\notin\mathcal{P}(A)$, ofwel $X\in\mathcal{P}(A)^c$.
Samengevat: als $X\in\mathcal{P}(A^c)$ dan $X\in\{\emptyset\}\cup\mathcal{P}(A)^c$.

kphart
6-9-2019


© 2001-2024 WisFaq
WisFaq - de digitale vraagbaak voor het wiskunde onderwijs - http://www.wisfaq.nl

#88416 - Bewijzen - Student universiteit