Afstandsfunctie

Ten slotte kan men gebruikmaken van de norm om een metriek (of afstandsfunctie) op te definiëren door : Deze afstandsfunctie wordt de euclidische metriek genoemd.

Compacte metrische ruimten Als de topologische structuur van X afkomstig is van een afstandsfunctie ( metriek ), dan is compactheid gelijkwaardig met de volgende eigenschap: iedere rij in X heeft een convergente deelrij.