On certain versions of straightness

From MaRDI portal





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.











This page was built for publication: On certain versions of straightness

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2216597)