Cualquier subespacio cerrado de un espacio compacto es