Image of a precompact under the action of uniformly continuous function is a precompact

308 Views Asked by At

Suppose we have two metric spaces $(X, \rho_x)$ and $(Y, \rho_y)$ and a uniformly continuous function $f\colon X \to Y$. The problem is to prove that image $f(A)$ of every precompact $A \subset X$ (i.e. a subspace whose closure in some larger space is compact) is also a precomact.