The set of bounded continuous nowhere locally uniformly continuous functions is not Borel

Abstract

It is known that for $X$ a nowhere locally compact metric space, the set of bounded continuous, nowhere locally uniformly continuous real-valued functions on $X$ contains a dense $G_{\delta }$ set in the space $C_b(X)$ of all bounded continuous real-valued functions on $X$ in the supremum norm. Furthermore, when $X$ is separable, the set of bounded continuous, nowhere locally uniformly continuous real-valued functions on $X$ is itself a $G_{\delta }$ set. We show that in contrast, when $X$ is nonseparable, this set of functions is not even a Borel set.

Revised to avoid use of the continuum hypothesis