English

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

Numerical Analysis 2025-08-22 v2 Numerical Analysis

Abstract

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 \czu\czu of uniformly continuous real functions over [0,1] with the usual norm: \normef=Sup{\absf(x);  0x1}.\norme{f}_{\infty} = {\bf Sup} \{ \abs{f(x)} ; \;0 \leq x \leq 1\}. 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.

Keywords

Cite

@article{arxiv.2502.13768,
  title  = {Rationally presented metric spaces and complexity, the case of the space of uniformly continuous real functions on a compact interval},
  author = {Henri Lombardi and Salah Labhalla and E. Moutai},
  journal= {arXiv preprint arXiv:2502.13768},
  year   = {2025}
}

Comments

51 pages 5 figures There is also a french version Key words: Metric spaces, Real functions, Turing machine, Boolean circuit, Binary semilinear circuit, Arithmetic circuit, Algorithmic complexity, Weierstrass approximation theorem, Gevrey class, Chebyshev series