Totalbeschränktheit

Eine Teilmenge ${\displaystyle A}$ eines metrischen Raumes ${\displaystyle \left(M,d\right)}$ heißt totalbeschränkt (oder auch präkompakt), wenn es zu jedem ${\displaystyle \varepsilon >0}$ eine endliche Menge von Punkten ${\displaystyle x_{1},\ldots ,x_{n}\in A}$ (ein ${\displaystyle \varepsilon }$-Netz) gibt, so dass

${\displaystyle A\subseteq \bigcup _{k=1}^{n}\{x\in M:d(x,x_{k})<\varepsilon \}}$

gilt. Das heißt, die Teilmenge ${\displaystyle A}$ wird für jedes ${\displaystyle \varepsilon >0}$ von endlich vielen ${\displaystyle \varepsilon }$-Kugeln überdeckt.

Es lässt sich zeigen, dass ein metrischer Raum genau dann totalbeschränkt ist, wenn jede Folge eine Teilfolge besitzt, die eine Cauchy-Folge ist.

Obwohl die beiden Begriffe unabhängig voneinander in verschiedenen Kontexten entwickelt wurden, gilt die Äquivalenz:

Eine Teilmenge eines vollständigen metrischen Raumes ist genau dann totalbeschränkt, wenn sie relativ kompakt ist.

Die Motivation zur eigenständigen Betrachtung der Totalbeschränktheit liegt in der folgenden Aussage:

Ein metrischer Raum ist genau dann kompakt, wenn er vollständig und totalbeschränkt ist.

Dies ist in gewisser Weise eine Verallgemeinerung des Satzes von Heine-Borel, der aussagt, dass eine Teilmenge des ${\displaystyle \mathbb {R} ^{n}}$ genau dann kompakt ist, wenn sie abgeschlossen und beschränkt ist.

Wie viele andere Begriffe aus der Theorie metrischer Räume lässt sich auch der Begriff totalbeschränkt bzw. präkompakt verallgemeinern auf die Klasse der uniformen Räume:

Eine Teilmenge ${\displaystyle A}$ eines uniformen Raumes ${\displaystyle \left(X,\Phi \right)}$ heißt präkompakt, wenn es zu jedem ${\displaystyle U\in \Phi }$ eine endliche Menge von Punkten ${\displaystyle x_{1},\ldots ,x_{n}}$ gibt, so dass

${\displaystyle A\subseteq \bigcup _{k=1}^{n}\{x\in X\colon (x,x_{k})\in U\}}$ gilt.

Äquivalent ist, dass jedes Netz ein Cauchy-Teilnetz besitzt.

Eine weitere Verallgemeinerung auf beliebige topologische Räume ist allerdings nicht möglich. Totalbeschränktheit bzw. Präkompaktheit ist keine topologische Eigenschaft, etwa ist das Intervall ${\displaystyle (0,1)}$ zwar homöomorph zu ${\displaystyle \mathbb {R} }$, als metrischer Raum aufgefasst jedoch im Gegensatz zu letzterem präkompakt.

• A. V. Arkhangel'skii: Totally-bounded space. In: Michiel Hazewinkel (Hrsg.): Encyclopedia of Mathematics. Springer-Verlag und EMS Press, Berlin 2002, ISBN 1-55608-010-7 (englisch, encyclopediaofmath.org).