Almost arcwise connected continua without dense arc components

A continuum M is almost arcwise connected if each pair of nonempty open subsets of M can be joined by an arc in M. An almost arcwise connected plane continuum without a dense arc component can be defined by identifying pairs of endpoints of three copies of the Knaster indecomposable continuum that has two endpoints. In [7] K.R. Kellum gave this example and asked if every almost arcwise connected continuum without a dense arc component has uncountably many arc components. We answer Kellum's question by defining an almost arcwise connected plane continuum with only three arc components none of which are dense. A continuum M is almost Peano if for each finite collection $\text{C}$ of nonempty open subsets of M there is a Peano continuum in M that intersects each element of $\text{C}$. We define a hereditarily unicoherent almost Peano plane continuum that does not have a dense arc component. We prove that every almost arcwise connected planar λ-dendroid has exactly one dense arc component. It follows that every hereditarily unicoherent almost arcwise connected plane continuum without a dense arc component has uncountably many arc components. Using an example of J. Krasinkiewicz and P Minc [8], we define an almost Peano λ-dendroid that do not have a dense arc component. Using a theorem of J.B. Fugate and L. Mohler [3], we prove that every almost arcwise connected λ-dendroid without a dense arc component has uncountably many arc components. In Euclidean 3-space we define an almost Peano continuum with only countably many arc components no one of which is dense. It is not known if the plane contains a continuum with these properties.     

Various types of local connectedness in n-fold hyperspaces

Let X be a continuum. The n-fold hyperspace Cn(X), n<∞, is the space of all nonempty compact subsets of X with the Hausdorff metric. Four types of local connectivity at points of Cn(X) are investigated: connected im kleinen, locally connected, arcwise connected im kleinen and locally arcwise connected. Characterizations, as well as necessary or sufficient conditions, are obtained for Cn(X) to have one or another of the local connectivity properties at a given point. Several results involve the property of Kelley or C^*-smoothness. Some new results are obtained for C(X), the space of subcontinua of X. A class of continua X is given for which Cn(X) is connected im kleinen only at subcontinua of X and for which any two such subcontinua must intersect.     

Mapping properties of weakly arcwise open dendroids

A dendroid X is said to be weakly arcwise open if for each point p of X each arc component of X?{p} either is open or has empty interior. We study various mapping properties of these dendroids. The leading problem is what classes of mappings between dendroids preserve the property of being weakly arcwise open.     

Whitney preserving maps on finite graphs

For a Whitney preserving map f:X→G we show the following: (a) If X is arcwise connected and G is a graph which is not a simple closed curve, then f is a homeomorphism; (b) If X is locally connected and G is a simple closed curve, then X is homeomorphic to either the unit interval [0,1], or the unit circle S¹. As a consequence of these results, we characterize all Whitney preserving maps between finite graphs. We also show that every hereditarily weakly confluent Whitney preserving map between locally connected continua is a homeomorphism.     

Local connectedness and extension of uniformly continuous functions

A metric space X is straight if for each finite cover of X by closed sets, and for each real valued function f on X, if f is uniformly continuous on each set of the cover, then f is uniformly continuous on the whole of X. The straight spaces have been studied in [A. Berarducci, D. Dikranjan, J. Pelant, An additivity theorem for uniformly continuous functions, Topology and its Applications 146-147 (2005) 339-352], which contains characterization of the straight spaces within the class of the locally connected spaces (they are the uniformly locally connected ones) and the class of the totally disconnected spaces (they coincide with the totally disconnected Atsuji spaces). We show that the completion of a straight space is straight and we characterize the dense straight subspaces of a straight space. In order to clarify further the relation between straightness and the level of local connectedness of the space we introduce two more intermediate properties between straightness and uniform local connectedness and we give various examples to distinguish them. One of these properties coincides with straightness for complete spaces and provides in this way a useful characterization of complete straight spaces in terms of the behaviour of the quasi-components of the space.     

Open selections on smooth fans

Given a dendroid X, an open selection is an open map such that s(A)∈A for every A∈C(X). We show that a smooth fan X admits an open selection if and only if X is locally connected.     

Making holes in hyperspaces

Let X be a metric continuum and C(X) the hyperspace of all nonempty subcontinua of X. Let A∈C(X), A is said to make a hole in C(X), if C(X)−{A} is not unicoherent. In this paper we study the following problem.Problem: For which A∈C(X), A makes a hole in C(X).In this paper we present some partial solutions to this problem in the following cases: (1) A is a free arc; (2) A is a one-point set; (3) A is a free simple closed curve; (4) A=X.     

Blockers in hyperspaces

Given a metric continuum X, let X² and C(X) denote the hyperspaces of all nonempty closed subsets and subcontinua, respectively. For A,B∈X² we say that B does not block A if A∩B=∅ and the union of all subcontinua of X intersecting A and contained in X−B is dense in X. In this paper we study some sets of blockers for several kinds of continua. In particular, we determine their Borel classes and, for a large class of locally connected continua X, we recognize them as cap-sets.     

On the n-fold symmetric product suspensions of a continuum

In 1979 Sam B. Nadler, Jr. defined the hyperspace suspension of a continuum. We define the n-fold symmetric product suspensions of a continuum using n-fold symmetric products. We study some properties of this hyperspace: unicoherence, local connectedness, arcwise connectedness.     

Generalized Alexandroff-Urysohn squares and a characterization of the fixed point property

Given a Hausdorff continuum X, we introduce a topology on X×X that yields a Hausdorff continuum. We call the resulting space the Alexandroff-Urysohn square of X and prove that X has the fixed point property if and only if the Alexandroff-Urysohn square of X has the fixed point property.     

Nielsen classes of orientation reversing homeomorphisms and complementary domains of plane separating invariant continua

Let h be an orientation reversing planar homeomorphism and X be an invariant plane separating continuum. We show that there is a natural linear order on the invariant components of R²?X that resemble the one found in connected unions of circles invariant under the reflection r(x,y)=(−x,y). The main result relates to the Nielsen fixed point theory and work of Krystyna Kuperberg on fixed points of planar homeomorphisms in invariant continua.     

An asymmetric Ellis theorem

In 1957 Robert Ellis proved that a group with a locally compact Hausdorff topology T making all translations continuous also has jointly continuous multiplication and continuous inversion, and is thus a topological group. The theorem does not apply to locally compact asymmetric spaces such as the reals with addition and the topology of upper open rays. We first show a bitopological Ellis theorem, and then introduce a generalization of locally compact Hausdorff, called locally skew compact, and a topological dual, Tk, to obtain the following asymmetric Ellis theorem which applies to the example above:Whenever (X,⋅,T) is a group with a locally skew compact topology making all translations continuous, then multiplication is jointly continuous in both (X,⋅,T) and (X,⋅,Tk), and inversion is a homeomorphism between (X,T) and (X,Tk).This generalizes the classical Ellis theorem, because T=Tk when (X,T) is locally compact Hausdorff.     

Algorithms for finding connected separators between antipodal points

A set (or a collection of sets) contained in the Euclidean space Rm is symmetric if it is invariant under the antipodal map. Given a symmetric unicoherent polyhedron X (like an n-dimensional cube or a sphere) and an odd real function f defined on vertices of a certain symmetric triangulation of X, we algorithmically construct a connected symmetric separator of X by choosing a subcollection of the triangulation. Each element of the subcollection contains the vertices v and u such that f(v)f(u)?0.     

Almost arcwise connectivity in unicoherent continua

K.R. Kellum has proved that a continuum is an almost continuous image of the interval [0, 1] if and only if it is an almost Peano continuum. Hence, a continuum is an almost continuous image of [0, 1] if it has a dense arc component.Our principal result is that any almost arcwise connected, semi-hereditarily unicoherent, metric continuum with only countably many arc components has a dense arc component. An example is given to show that this is not true for unicoherent continua in general. It is also shown that any semi-hereditarily unicoherent continuum with only countably many arc components has at most one dense arc component, and if it has a dense arc component, then every other arc component is nowhere dense. This generalizes results of Fugate and Mohler for λ-dendroids.     

Cosheaves and connectedness in formal topology

The localic definitions of cosheaves, connectedness and local connectedness are transferred from impredicative topos theory to predicative formal topology. A formal topology is locally connected (has base of connected opens) iff it has a cosheaf π₀ together with certain additional structure and properties that constrain π₀ to be the connected components cosheaf. In the inductively generated case, complete spreads (in the sense of Bunge and Funk) corresponding to cosheaves are defined as formal topologies. Maps between the complete spreads are equivalent to homomorphisms between the cosheaves. A cosheaf is the connected components cosheaf for a locally connected formal topology iff its complete spread is a homeomorphism, and in this case it is a terminal cosheaf.A new, geometric proof is given of the topos-theoretic result that a cosheaf is a connected components cosheaf iff it is a “strongly terminal” point of the symmetric topos, in the sense that it is terminal amongst all the generalized points of the symmetric topos. It is conjectured that a study of sites as “formal toposes” would allow such geometric proofs to be incorporated into predicative mathematics.     

A study of cut points in connected topological spaces

We prove that every H(i) subset H of a connected space X such that there is no proper connected subset of X containing H, contains at least two non-cut points of X. This is used to prove that a connected space X is a COTS with endpoints if and only if X has at most two non-cut points and has an H(i) subset H such that there is no proper connected subset of X containing H. Also we obtain some other characterizations of COTS with endpoints and some characterizations of the closed unit interval.     

Products of straight spaces

A metric space X is straight if for each finite cover of X by closed sets, and for each real valued function f on X, if f is uniformly continuous on each set of the cover, then f is uniformly continuous on the whole of X. A locally connected space is straight iff it is uniformly locally connected (ULC). It is easily seen that ULC spaces are stable under finite products. On the other hand the product of two straight spaces is not necessarily straight. We prove that the product X×Y of two metric spaces is straight if and only if both X and Y are straight and one of the following conditions holds:

(a)

both X and Y are precompact;

(b)

both X and Y are locally connected;

(c)

one of the spaces is both precompact and locally connected.

In particular, when X satisfies (c), the product X×Z is straight for every straight space Z.Finally, we characterize when infinite products of metric spaces are ULC and we completely solve the problem of straightness of infinite products of ULC spaces.     

A strong characterization on the ΩEP-property

In this paper a result of A. Illanes and J.J. Charatonik obtained in [J.J. Charatonik, A. Illanes, Mappings on dendrites, Topology Appl. 144 (2004) 109-132, Corollary 5.14] is extended, by showing that a locally connected continuum X has the nonwandering-eventually-periodic property. (ΩEP-property) iff X is a dendrite that does not contain a homeomorphic copy of the null-comb. Also using “An engine breaking the ΩEP-property” constructed by P. Pyrih et al. in [P. Pyrih, J. Hladký, J. Novák, M. Sterzik, M. Tancer, An engine breaking the ΩEP-property, Topology Appl. 153 (2006) 3621-3626] the results obtained in [J.J. Charatonik, A. Illanes, Mappings on dendrites, Topology Appl. 144 (2004) 109-132; H. Méndez-Lango, On the ΩEP-property, Topology Appl. 154 (2007) 2561-2568] and [P. Pyrih, J. Hladký, J. Novák, M. Sterzik, M. Tancer, An engine breaking the ΩEP-property, Topology Appl. 153 (2006) 3621-3626] are extended, by proving that every nonlocally connected continuum X that contains a nondegenerate arc A and a point p∈A such that X is not connected in kleinen at p does not have the ΩEP-property. Answering Question 1 of [P. Pyrih, J. Hladký, J. Novák, M. Sterzik, M. Tancer, An engine breaking the ΩEP-property, Topology Appl. 153 (2006) 3621-3626]. Finally an uncountable family of non-locally connected continua containing arcs with the ΩEP-property is shown.     

Cut points in some connected topological spaces

We prove that a connected topological space with endpoints has exactly two non-cut points and every cut point is a strong cut point; it follows that such a space is a COTS and the only two non-cut points turn out to be endpoints (in each of the two orders) of the COTS. A non-indiscrete connected topological space with exactly two non-cut points and having only finitely many closed points is proved homeomorphic to a finite subspace of the Khalimsky line. Further, it is shown, without assuming any separation axiom, that in a connected and locally connected topological space X, for a, b in X, S[a,b] is compact whenever it is closed. Using this result we show that an H(i) connected and locally connected topological space with exactly two non-cut points is a compact COTS with end points.