On the class of metrics defining a metrisable space. (Q2597330)

Es seien \(E\) ein metrisierbarer Raum, \(M_b\), \(M_v\), \(M_B\), \(M_V\) bzw. die Klasse aller zulässigen Metriken, für welche \(E\) bzw. beschränkt, vollständig, total beschränkt, total vollständig ist. Verf. stellt in systematischer Weise alle Sätze auf, die aus der Existenz oder Nicht-Existenz einer oder mehrerer der genannten Eigenschaften auf eine topologische Eigenschaft (Kompaktheit, Separabilität, u. a.) schließen lassen. Musterbeispiel eines solchen Satzes ist die bekannte Tatsache, daß \(E\) dann und nur dann kompakt ist, wenn es in jeder zulässigen Metrik vollständig ist. Die Systematik wird erreicht durch Bezugnahme auf eine Zerlegung der Menge \(M\) aller zulässigen Metriken von \(E\) in sieben disjunkte Teile, die durch gewisse Mengenverknüpfungen von \(M_b\), \(M_v\), \(M_B\), \(M_V\) dargestellt werden.