On dynamic programming: Compactness of the space of policies