Beschreibung
Definition
Sei ein kompakter, Metrischer Raum und eine stetige Abbildung. Bezeichne mit die Separationsmetrik.
Eine Untermenge (von isolierten Punkten) nennen wir -separiert, wenn für paarweise Punkte gilt:
Intuition
Man stelle sich ganz viele Punkte vor und wendet mal an. Fällt der Abstand von zwei Punkten niemals unter , so ist ein -separierter Raum.