Punktetrennende Menge

Eine punktetrennende Menge ist in der Mathematik eine Menge von Funktionen auf einem gegebenen Raum, sodass sich je zwei Punkte des Raumes anhand ihrer Funktionswerte bzgl. dieser Funktionen unterscheiden lassen. Der Begriff findet Anwendung in der allgemeinen Topologie und der Funktionalanalysis.

Definition

Sei $X$ eine Menge. Eine Menge $H$ von Funktionen mit Definitionsbereich $X$ heißt punktetrennend, wenn für je zwei Elemente $a,b\in X$ mit $a\ne b$ eine Funktion $f\in H$ existiert, sodass $f(a)\ne f(b)$.

Verwendung

Sei wiederum $X$ eine Menge und $H$ eine Menge von Funktionen auf $X$. Nun lässt sich die Auswertungsabbildung

$e:X\to \prod _{f\in H}\mathrm{codom}(f)$

durch $e(x{)}_f=f(x)$ definieren ($\mathrm{codom}(f)$ sei dabei die Zielmenge von $f$). Diese ist genau dann injektiv, wenn $H$ punktetrennend ist.

Ist $X$ ein topologischer Raum und $H$ die Menge aller $[0,1]$-wertigen stetigen Funktionen auf $X$, so ist der Abschluss des Bildes von $e$ die Stone-Čech-Kompaktifizierung von $X$. Ist $H$ punktetrennend (das heißt $X$ ist vollständiger Hausdorff-Raum), so liefert $e$ also eine Identifizierung der Menge $X$ mit einer Teilmenge der Stone-Čech-Kompaktifizierung.

Sei allgemeiner $H$ eine beliebige Menge von Funktionen auf $X$ in topologische Räume. Die Auswertungsabbildung ist genau dann eine Einbettung, wenn $X$ die Initialtopologie bezüglich $H$ trägt und $H$ punktetrennend ist. Diese Initialtopologie heißt auch schwache Topologie bezüglich $H$, insbesondere in der Funktionalanalysis, wenn $H$ eine Menge linearer Funktionale auf einem Vektorraum $X$ ist. Ist der Zielraum jeder Funktion in $H$ ein Hausdorffraum, so ist die schwache Topologie bezüglich $H$ genau dann hausdorffsch, wenn $H$ punktetrennend ist. Ist $H$ eine Menge von linearen Funktionalen auf einem Vektorraum, lassen sich die Punktetrennung und somit die Hausdorffeigenschaft der schwachen Topologie durch die Bedingung charakterisieren, dass

$\bigcap _{f\in H}\ker (f)=\{0\}$

gilt. Insbesondere folgt aus dem Satz von Hahn-Banach, dass die Menge aller stetigen linearen Funktionale auf einem lokalkonvexen Hausdorffraum punktetrennend und somit die schwache Topologie auf einem solchen Raum hausdorffsch ist.

Der Satz von Stone-Weierstraß liefert, dass eine Unteralgebra der Algebra der $C_0$-Funktionen auf einem lokalkompakten Hausdorffraum $X$ genau dann dicht in $C_0(X)$ liegt, wenn sie punktetrennend ist und keinen Punkt stets auf die $0$ abbildet.