Über die Axiome des metrischen Raumes. (Q575581)

Verf. untersucht die Beziehungen zwischen den drei bekannten Axiomen des metrischen Raumes, indem er Räume betrachtet, in denen sich Entfernungen definieren lassen, die nur einem Teil dieser Axiome genügen. Ein topologischer Raum \(R\), der sich so metrisieren läßt, daß ein Punkt \(x\) dann und nur dann der abgeschlossenen Hülle einer Punktmenge \(M \subset R\) angehört, wenn die Entfernung \(\varrho (x, M) =0\) ist, heißt im weiteren Sinne metrisierbar. Ein solcher im weiteren Sinne metrisierbarer Raum heißt symmetrisch, wenn man ihn so metrisieren kann, daß \(\varrho (x, y) = \varrho (y, x)\) ist, und heißt \(\Delta\)-Raum, wenn man ihn so metrisieren kann, daß \(\varrho (x, y)\) dem Dreiecksaxiom genügt; er heißt im engeren Sinne metrisierbar, wenn man ihn so metrisieren kann, daß die Entfernungsfunktion \(\varrho (x, y)\) der Gesamtheit der beiden obigen Bedingungen genügt. Ein topologischer Raum ist dann und nur dann im weiteren Sinne metrisierbar, wenn er dem ersten Abzählbarkeitsaxiom genügt. Jeder kompakte symmetrische Raum ist ebenso wie auch jeder kompakte \(\Delta\)-Raum im engeren Sinne metrisierbar.