On certain versions of straightness (Q2216597): Difference between revisions

All spaces in the sequel are metric and \(C(X)\) denotes the set of all continuous real-valued functions on \(X\). \textit{A. Berarducci} et al. [Topology Appl. 146--147, 339--352 (2005; Zbl 1078.54014)] introduced and studied the notion of straight spaces: A space \(X\) is \textit{straight} if whenever \(X\) is the union of two closed sets, then \(f\in C(X)\) is uniformly continuous iff its restriction to each of the closed sets is uniformly continuous. In this paper, the authors consider notions of continuity which are strictly weaker than the notion of uniform continuity, and introduce three versions of straightness, namely pre-straightness, pre\((\ast)\)-straightness and \(W\)-straightness: A space \(X\) is \textit{pre-straight} if whenever \(X\) is the union of closed sets, then \(f\in C(X)\) is Cauchy regular iff its restriction to each of the closed sets is Cauchy regular, where a mapping \(f:X\to Y\) is Cauchy regular if for any Cauchy sequence \(\{x_n\}\) in \(X\), \(\{f(x_n)\}\) is Cauchy in \(Y\). A space \(X\) is \textit{pre\((\ast)\)-straight} if whenever \(X\) is the union of closed sets, then a real-valued Cauchy regular function \(f\) is uniformly continuous iff its restriction to each of the closed sets is uniformly continuous. Recall that a sequence \(\{x_n\}\) in a metric space \((X, d)\) is \textit{quasi-Cauchy} if given \(\varepsilon>0\), there is a natural number \(n_0\) such that \(d(x_{n+1},x_n)<\varepsilon\) for all \(n\geq n_0\). A space \(X\) is \textit{\(W\)-straight} if whenever \(X\) is the union of closed sets, then \(f\in C(X)\) is ward continuous iff its restriction to each closed sets is ward continuous, where a mapping \(f: X\to Y\) is \textit{ward continuous} if it preserves quasi-Cauchy sequences. The authors investigate some properties of these spaces and the relationship between these notions. For instance, they obtain the following: A space \(X\) is straight if and only if \(X\) is pre-straight and pre\((\ast)\)-straight. A space \(X\) is pre\((\ast)\)-straight if and only if its completion \(\widehat{X}\) is straight.