Eigentlicher metrischer Raum

(Weitergeleitet von Eigentlicher Raum)

Ein eigentlicher metrischer Raum (engl.: proper metric space) ist ein mathematischer Fachbegriff aus der Topologie und Geometrie. In solchen metrischen Räumen sind abgeschlossene und beschränkte Mengen kompakt. Nach dem Satz von Heine-Borel ist dies eine typische Eigenschaft reeller Vektorräume, aber auch andere metrische Räume können diese Eigenschaft haben.

Definition

Bearbeiten

Ein eigentlicher metrischer Raum ist ein metrischer Raum, in dem alle abgeschlossenen, beschränkten Teilmengen kompakt sind. Man spricht auch von einem metrischen Raum, in dem die Heine-Borel-Eigenschaft gilt.[1]

Eigenschaften

Bearbeiten

Einzelnachweise

Bearbeiten
  1. a b Gerald Teschl: Mathematical Methods in Quantum Mechanics. With Applications to Schrödinger Operators (= Graduate Studies in Mathematics. Nr. 157). 2. Auflage. American Mathematical Society, Rhode Island 2014, ISBN 978-1-4704-1704-8, S. 12.