Cofinal completion vis-á-vis Cauchy continuity and total boundedness (Q2222107)

The authors study cofinally complete metric spaces. Recall that a sequence \((x_n)\) in a metric space \((X, d)\), \((x_n) \subseteq (X, d)\), is said to be cofinally Cauchy if, for every \(\varepsilon > 0\), there exists an infinite \(\mathbb{N}_{\varepsilon} \subseteq \mathbb{N}\) such that \(d(x_i, x_j) < \varepsilon\) whenever \(i\), \(j \in \mathbb{N}_{\varepsilon}\). If every cofinally Cauchy sequence has a cluster point, then, by definition, the space \((X, d)\) is cofinally complete. \textit{G. Beer} [Topology Appl. 155, No. 6, 503--514 (2008; Zbl 1169.54012)] characterized cofinally complete metric spaces by using the local compactness functional \(\nu \colon X \to [0, \infty)\), \[ \nu(x) = \sup \{\varepsilon >0 \colon \text{cl}(B(x, \varepsilon))\text{ is compact}\}. \] In order to study metric spaces with cofinally complete completion, the authors introduce, by analogy with \(\nu\), a functional \(t \colon X \to [0, \infty)\) as \[ t(x) = \sup \{\varepsilon >0 \colon B(x, \varepsilon) \text{ is totally bounded}\}, \] and denote by \(\operatorname{nlt}(X)\) the set of all points \(x \in X\) which have no totally bounded neighborhoods, \[ \operatorname{nlt}(X) = \{x \in X \colon t(x) = 0\}. \] Moreover, the authors say that a function \(f \colon X \to \mathbb{R}\) is \(t\)-bounded iff the set \(\{f(x) \colon x\in X,\ t(x) < r\}\) is bounded in \((X, d)\) for some \(r > 0\). The following characterization of metric spaces with cofinally complete completion is obtained. Theorem. Let \((X, d)\) be a metric space and let \((\widehat{X}, d)\) be the completion of \((X, d)\). Then the following statements are equivalent: (i) \((\widehat{X}, d)\) is cofinally complete. (ii) The set \(\operatorname{nlt}(X)\) is totally bounded and we have \(\inf_{n \in \mathbb{N}} t(x_n) > 0\) whenever \((x_n) \subseteq X\) has no Cauchy subsequences and \(t(x_n) > 0\) holds for every \(n \in \mathbb{N}\). (iii) Every preserving Cauchy sequences function \(f \colon X \to \mathbb{R}\) is \(t\)-bounded. The cofinal completeness of \((\widehat{X}, d)\) is also characterized by using some Lipschitz-type functions.