Continuous images of arcs: extensions of Cornette's theorem

DOI10.1016/J.TOPOL.2015.09.030MaRDI QIDQ890058zbMATH OpenOpenAlexFDO

Publication date 9 November 2015

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.topol.2015.09.030

cyclic element images of arcs locally connected null family

Continuous maps (54C05) Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces (54F05) Continua and generalizations (54F15) Topological spaces of dimension (leq 1); curves, dendrites (54F50)

Review text

A continuum is a compact connected Hausdorff space. A cyclic element in a locally connected continuum \(X\) is either (a) a connected subset \(M\) of \(X\) which is maximal with respect to the property that no point disconnects \(M\) or (b) a cutpoint of \(X\). A family \(G\) of sets in a continuum \(X\) is null if for each open cover \(W\) of \(X\) there are at most finitely many \(g \in G\) such that \(g\) is not contained in \(U\) for any \(U \in W\). It is well known that each cyclic element is a retract of \(X\); the family of cyclic elements of \(X\) is null and two distinct cyclic elements can intersect in at most one point. An arc is a continuum with a linear order such that its topology is given by the order topology. A continuum \(X\) is an IOC if it is the continuous image of an arc. Clearly, IOCs are locally connected continua and in the metric case, by the classical Hahn-Mazurkiewicz theorem, metric IOCs are the locally connected, metric continua. In 1960, \textit{S. Mardešić} [Proc. Am. Math. Soc. 11, 929--937 (1961; Zbl 0100.19003)] constructed a locally connected continuum which is not connected by arcs. \textit{J. L. Cornette} [Trans. Am. Math. Soc. 199, 253-267 (1974; Zbl 0291.54039)] proved that a locally connected continuum is an IOC if and only if each of its cyclic elements is an IOC. In the paper under review, the authors extend the result of Cornette by proving the following theorems. Theorem 2. Let \(X\) be a locally connected continuum and \(G\) be a null family which covers \(X\). Suppose that {\parindent=6mm \begin{itemize} \item[(i)] each \(g\) in \(G\) is an IOC (possibly degenerate), \item [(ii)] if \(h\), \(k\) are disjoint elements in \(G\), then there exists an element \(g\) of \(G\) and a closed subset \(A\) of \(g\) that separates \(h\) and \(k\) in \(X\), and \item [(iii)] for every \(g\), \(h\) in \(G\), \( g\smallsetminus h\) is contained in a component of \(X\smallsetminus h\). \end{itemize}} Then \(X\) is an IOC. Theorem 3. Let \(X\) be a locally connected continuum and \(G\) be a null family which covers \(X\). Suppose that {\parindent=6mm \begin{itemize} \item[(i)] each \(g\) in \(G\) is a continuous image of some compact ordered space with the order topology, \item [(ii)] if \(h\), \(k\) are disjoint elements in \(G\), then there exists an element \(g\) of \(G\) and a closed subset \(A\) of \(g\) that separates \(h\) and \(k\) in \(X\), and \item [(iii)] for every \(g\), \(h\) in \(G\), \(g\smallsetminus A\) is contained in a component of \(X\smallsetminus A\) for each closed subset \(A\) of \(h\). \end{itemize}} Then \(X\) is an IOC. The authors finish the paper with the following open problem. Question 1. Let \(X\) be a locally connected continuum and \(G\) a null cover of \(X\) satisfying (i) and (ii) in Theorem 2. Is \(X\) an IOC?

Recommendations

Cites work

Cited in

(7)

This page was built for publication: Continuous images of arcs: extensions of Cornette's theorem

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