metriek

In de wiskunde is binnen het begrip metrische ruimte een metriek de functie die de afstand tussen elk tweetal elementen van een verzameling definieert. Een verzameling met een metriek wordt een metrische ruimte genoemd. Een metriek legt een topologie op aan een verzameling, maar niet alle topologieën kunnen een metriek produceren. Wanneer een topologische ruimte een topologie heeft die als een metriek kan worden beschreven, zegt men dat deze topologische ruimte metriseerbaar is.