Dating/Personen und Eigenschaften/Allrelation/Aufgabe

Auf der Dating-Plattform „Catch your match“ ist eine Menge ${}M$ von Personen registriert. Es gibt ferner eine Menge ${}E$ von Eigenschaften, über die die Personen verfügen oder nicht (was man dem Profil entnehmen kann). Zu einer Teilmenge an Eigenschaften ${}W\subseteq E$ (Wunscheigenschaften) definieren wir

${}W^{\perp }={\left\{m\in M\mid m{\text{ besitzt alle Eigenschaften aus }}W\right\}}\,$

und zu einer Teilmenge ${}S\subseteq M$ definieren wir

${}S^{\perp }={\left\{e\in E\mid {\text{ jeder Mensch aus }}S{\text{ besitzt die Eigenschaft }}e\right\}}\,.$

1. Beschreibe zu einer Eigenschaft ${}e\in E$ die Menge ${}\{e\}^{\perp }$ mit einem Satz.
2. Beschreibe zu einer Person ${}m\in M$ die Menge ${}\{m\}^{\perp }$ mit einem Satz.
3. Warum ist vermutlich ${}E^{\perp }=\emptyset$?
4. Zeige: Zu Teilmengen ${}W_{1}\subseteq W_{2}$ (in ${}E$) ist

   ${}{\left(W_{1}\right)}^{\perp }\supseteq {\left(W_{2}\right)}^{\perp }\,.$

5. Zeige: Für eine beliebige Teilmenge ${}W\subseteq E$ ist

   ${}W\subseteq {\left(W^{\perp }\right)}^{\perp }\,.$

6. Zeige: Für eine Vereinigung

   ${}W=W_{1}\cup W_{2}\subseteq E\,$

   ist

   ${}{\left(W_{1}\cup W_{2}\right)}^{\perp }={\left(W_{1}\right)}^{\perp }\cap {\left(W_{2}\right)}^{\perp }\,.$

7. Gilt für einen Durchschnitt

   ${}W=W_{1}\cap W_{2}\subseteq E\,.$

   die Beziehung

   ${}{\left(W_{1}\cap W_{2}\right)}^{\perp }={\left(W_{1}\right)}^{\perp }\cup {\left(W_{2}\right)}^{\perp }\,?$

8. Gilt für eine beliebige Teilmenge ${}W\subseteq E$ die Beziehung

   ${}W^{\perp }={\left({\left(W^{\perp }\right)}^{\perp }\right)}^{\perp }\,?$

Zur Lösung, Alternative Lösung erstellen