Deje $X$ ser localmente compacto espacio métrico, y $A\subseteq X$ ser un almacén cerrado subconjunto. Queremos mostrar que $A$ es completa.
Es bien sabido que el $X$ es compacto si y sólo si es completo y totalmente acotado. Sin embargo, No estoy seguro de cómo abordar este problema. Consejos para ayudarme a empezar, sería muy apreciado.