Rationally presented metric spaces and complexity, the case of the space of uniformly continuous real functions on a compact interval

We define the notion of {\em rational presentation of a complete metric space} in order to study metric spaces from the algorithmic complexity point of view. In this setting, we study some presentations of the space $\text{czu}$ of uniformly continuous real functions over [0,1] with the usual norm: $\text{norme}{f}_{\mathrm{\infty }}=\mathbf{S}\mathbf{u}\mathbf{p}\{\text{abs}f(x);0\le x\le 1\}\mathrm{.}$ This allows us to have a comparison of a global kind between complexity notions attached to these presentations. In particular, we get a generalisation of Hoover’s results concerning the {\sl Weierstrass approximation theorem in polynomial time}. We get also a generalisation of previous results on analytic functions which are computable in polynomial time.