un conjunto H de elementos de de un espacio vectorial normado X se llama "localmente compacto" si la intersección de H con cualquiera bola cerrada en X es compacta.