Mengenausschöpfung/Subgraphen der Indikatorfunktionen/Aufgabe

Es sei ${}M$ eine Menge und es sei ${}T_{n}\uparrow M$ eine Ausschöpfung von ${}M$ mit Teilmengen ${}T_{n}\subseteq M$, ${}n\in \mathbb {N}$. Zu jedem ${}n\in \mathbb {N}$ sei ${}A_{n}\subseteq M\times \mathbb {R}$ der Subgraph zur Indikatorfunktion ${}e_{T_{n}}$. Zeige, dass die ${}A_{n}$, ${}n\in \mathbb {N}$,

eine Ausschöpfung von ${}M\times [0,1]$ bilden.

Zur Lösung, Alternative Lösung erstellen