Espacio pseudométrico

En Matemáticas, y más específicamente en Topología y Análisis funcional, espacio pseudométrico es un concepto que generaliza el de espacio métrico, sustituyendo el concepto de distancia por el de pseudodistancia o pseudométrica, de tal forma que la pseudodistancia entre dos puntos distintos puede ser cero.Una pseudodistancia o, más generalmente, una familia de pseudodistancias determina en un conjunto una estructura uniforme. El espacio topológico resultante se denomina espacio de calibración o espacio gauge.Reciprocamente, toda estructura uniforme puede ser inducida por una familia de pseudodistancias. En particular, una sola pseudodistancia es suficiente para determinar la estructura si y solo si existe un sistema fundamental de entourages numerable.