Konzentrationstopologie

In der Mathematik ist die Konzentrationstopologie eine Topologie auf der Menge aller metrischen Maßräume.

Definition

Für einen metrischen Maßraum $(X,d_X,{\mu }_X)$ bezeichne ${\mathrm{Lip}}_1(X)$ die Menge aller Lipschitz-stetigen Funktionen mit Lipschitz-Konstante $1$ auf $X$. Sei ${\mu }_{Leb}$ das Lebesgue-Maß auf $[0,1]$, als Parameter für $X$ bezeichnet man eine Borel-messbare Abbildung $\varphi :[0,1]\to X$ falls für das Bildmaß ${\varphi }_{*}{\mu }_{Leb}={\mu }_X$ gilt. Für einen Parameter $\varphi$ definiert man den Raum der $1$-Lipschitz-Verknüpfungen

${\varphi }^{*}{\mathrm{Lip}}_1(X)=\{f\circ \varphi :f\in {\mathrm{Lip}}_1(X)\}$.

Sei $d_H$ der Hausdorf-Abstand bezüglich der Ky-Fan-Metrik $d_{KF}$ definiert durch

$d_{KF}(f,g):=\inf \{ϵ\ge 0:{\mu }_{Leb}\left(\{t\in [0,1]:d_X(f(t),g(t))>ϵ\}\right)\le ϵ\}$.

Der beobachtbare Abstand zwischen metrischen Maßräumen $X$ und $Y$ wird definiert durch

$d_{conc}(X,Y):=\underset{\varphi ,\psi }{\inf }{d}_H({\varphi }^{*}{\mathrm{Lip}}_1(X),{\psi }^{*}{\mathrm{Lip}}_1(Y))$,

wobei $\varphi :[0,1]\to X$ und $\psi :[0,1]\to Y$ alle Parameter von $X$ bzw. $Y$ durchlaufen.

Die Konzentrationstopologie ist die durch den beobachtbaren Abstand definierte Topologie auf der Menge aller metrischen Maßräume.

Konzentration metrischer Maßräume

Man sagt, dass sich eine Folge von metrischen Maßräumen $X_n$ auf einen metrischen Maßraum $X$ konzentriert, wenn $X_n$ in der Konzentrationstopologie gegen $X$ konvergiert.

Eine Folge metrischer Maßräume konzentriert sich genau dann auf einen einpunktigen Raum, wenn sie eine Lévy-Familie ist.

Literatur

• M. Gromov: Metric structures for Riemannian and non-Riemannian spaces. Transl. from the French by Sean Michael Bates. With appendices by M. Katz, P. Pansu, and S. Semmes. Edited by J. LaFontaine and P. Pansu. Modern Birkhäuser Classics. Basel: Birkhäuser (2007) ISBN 978-0-8176-4582-3/pbk