The bornology of cofinally complete subsets (Q2428603)

A sequence \((x_{n})\) in a metric space \((X,d)\) is cofinally Cauchy if for every \(\varepsilon >0\) there exists \(n_{1}< n_{2} < \dots \) such that whenever \(\{j,k\}\subseteq \mathbb N\), we have \(d(x_{n_j}, x_{n_k})< \varepsilon\). A metric space \(X\) is called cofinally complete if every cofinally Cauchy sequence in \(X\) clusters. Write \(S_{d}(x, \delta)\) for open balls lying in \(X\) and having a center \(x\) and a radius \(\delta>0\). Define \(\nu (x):=\sup\{\delta>0: cl(S_{d}(x, \delta)) \;\text{is compact}\}\) if \(x\) has a compact neighborhood and \(\nu (x):=0\) otherwise. A nonempty subset \(A\) of \(X\) is called a cofinally complete subset if whenever \((a_n)\) is a sequence in \(A\) with \(\lim_{n\to\infty}\nu(a_n)=0,\) then \((a_n)\) has a cluster point in \(X.\) Let us denote by \(\mathfrak{B}^{cc}\) the bornology of cofinally complete subsets of \(X\). The following theorem is among the most fine results of the paper. Theorem. Let \(A\) be a nonempty subset of a metric space \((X,d)\). The following conditions are equivalent: (1) \(A\in \mathfrak{B}^{cc}.\) (2) Whenever \(\rho\) is a metric equivalent to \(d\) on \(X\), there exists \(\delta>0\) such that for all \(a\in A\), \(S_{d}(x, \delta)\) is \(\rho\)-bounded. Corollary. A metric space \((X,d)\) is cofinally complete if and only if for each equivalent metric \(\rho\) there exists \(\delta>0\) such that each open \(d\)-ball of radius \(\delta\) is a \(\rho\)-bounded set. Some other results of the paper describe an interesting analogy between the cofinally complete subsets and subsets on which each continuous function is strongly uniformly continuous.