Formalmente, si "X" es un espacio topológico entonces es localmente compacto cuando todo punto geométrico admite una base local de vecindades o entornos compactos, es decir, si cada entorno de un punto "x" de "X" contiene un conjunto compacto que sea un entorno de "x".