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.     

Strongly countable dimensional compacta form the Hurewicz set

The hyperspaces of strongly countable dimensional compacta of positive dimension and of strongly countable dimensional continua of dimension greater than 1 in the Hilbert cube are homeomorphic to the Hurewicz set of all nonempty countable closed subsets of the unit interval [0,1]. These facts hold true, in particular, for covering dimension dim and cohomological dimension dimG, where G is any Abelian group.     

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.     

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.     

The terminal hyperspace of homogeneous continua

We investigate the structure of the collection of terminal subcontinua in homogeneous continua. The main result is a reduction of this structure to six specific types. Three of these types are of one-dimensional spaces, and examples representing these types are known. It is not known whether higher dimensional examples having non-trivial terminal subcontinua and representing the three remaining types exist.     

The transitivity of induced maps

For a metric continuum X, we consider the hyperspaces X² and C(X) of the closed and nonempty subsets of X and of subcontinua of X, respectively, both with the Hausdorff metric. For a given map we investigate the transitivity of the induced maps and . Among other results, we show that if X is a dendrite or a continuum of type λ and is a map, then C(f) is not transitive. However, if X is the Hilbert cube, then there exists a transitive map such that f² and C(f) are transitive.     

The topology of continua that are approximated by disjoint subcontinua

Suppose that is a collection of disjoint subcontinua of continuum X such that limi→∞dH(Yi,X)=0 where dH is the Hausdorff metric. Then the following are true:

(1)

X is non-Suslinean.

(2)

If each Yi is chainable and X is finitely cyclic, then X is indecomposable or the union of 2 indecomposable subcontinua.

(3)

If X is G-like, then X is indecomposable.

(4)

If all lie in the same ray and X is finitely cyclic, then X is indecomposable.

     

Filament sets and homogeneous continua

New tools are introduced for the study of homogeneous continua. The subcontinua of a given continuum are classified into three types: filament, non-filament, and ample, with ample being a subcategory of non-filament. The richness of the collection of ample subcontinua of a homogeneous continuum reflects where the space lies in the gradation from being locally connected at one extreme to indecomposable at another. Applications are given to the general theory of homogeneous continua and their hyperspaces.     

On continua with homotopically fixed boundary

The paper presents two subcontinua of Rn, one Peano-continuum, and one cellular continuum with trivial fundamental group. Both of them have the remarkable property that neither the entire spaces nor (roughly speaking) any part of them is homotopy equivalent to a lower-dimensional space. This extends work of the last three authors and of Karimov from the planar case to the higher-dimensional case, but it also contains in the cellular case the first example with all these properties in dimension two.     

On closedness assumptions in selection theorems

We begin by a short survey of various attempts in selection theory to avoid the closedness assumption for values of multivalued mappings. We collect special cases when Michael's Gδ-problem admits an affirmative solution and we prove some unified theorems of such type. We also show that in general this problem has a negative solution. In comparison with a recent result of Filippov, we work directly in the Hilbert cube rather than in the space of all probabilistic measures endowed with different topologies.     

Basic homogeneity in the class of zero-dimensional compact spaces

We show that under the continuum hypothesis there is a compact zero-dimensional space which admits a base of pairwise homeomorphic clopen subsets but it is not an h-homogeneous space (i.e. not all of its nonempty clopen subsets are homeomorphic), partially answering a question of M.V. Matveev. Under Jensen's ? principle, we can even make the space hereditarily separable and hence, by a result of Matveev, an S-space.     

Local selections and local dendrites

Let X be a Peano continuum, C(X) its space of subcontinua, and C(X, ε) the space of subcontinua of diameter less than ε. A selection on some subspace of C(X) is a continuous choice function; the selection σ is rigid if σ(A) ? B ? A implies σ(A) = σ(B). It is shown that X is a local dendrite (contains at most one simple closed curve) if and only if there exists ε > 0 such that C(X, ε) admits a selection (rigid selection). Further, C(X) admits a local selection at the subcontinuum A if and only if A has a neighborhood (relative to the space C(X)) which contains no cyclic local dendrite; moreover, that local selection may be chosen to be a constant.     

Arc-smoothness in hyperspaces

Let X be a metric continuum and 2^x (C(X)) denote the hyperspace of closed subsets (subcontinua) of X. The concept of arc-smoothness, which is a special type of contractibility, is investigated in 2^x and C(X). Results are obtained about hyperspaces of locally connected continua, about continua for which C(X) and the cone over X are homeomorphic, about Whitney levels in C(X), and about hyperspaces of hereditarily indecomposable continua. Some examples are given and several natural questions are raised.     

Category version of the Poincaré recurrence theorem

We prove a category version of the Poincaré recurrence theorem for a non-invertible map of a Baire space which is continuous, nearly feebly open and has no nonempty open wandering set.     

Fixed point property on symmetric products

For a metric continuum X, let Fn(X)={A⊂X:A is nonempty and has at most n points}. In this paper we show a continuum X such that F₂(X) has the fixed point property while X does not have it.     

A note on measures of nonconvexity

We define the Hausdorff measure of nonconvexity β(C) of a nonempty bounded subset C of a Banach space X as the Hausdorff distance of C to the family of all the nonempty convex bounded subsets of X. We compare the measure β with the Eisenfeld-Lakshmikantham measure of nonconvexity α and prove that the two measures are equivalent (β≤α≤2β), but in general they are different.     

Hereditary normality-type properties of hyperspaces

Let X be a Hausdorff topological space and exp(X) be the space of all (nonempty) closed subsets of a space X with the Vietoris topology. We consider hereditary normality-type properties of exp(X). In particular, we prove that if exp(X) is hereditarily D-normal, then X is a metrizable compact space.     

Vietoris topology on partial maps with compact domains

The space PK of partial maps with compact domains (identified with their graphs) forms a subspace of the hyperspace of nonempty compact subsets of a product space endowed with the Vietoris topology. Various completeness properties of PK, including ?ech-completeness, sieve completeness, strong Choquetness, and (hereditary) Baireness, are investigated. Some new results on the hyperspace K(X) of compact subsets of a Hausdorff X with the Vietoris topology are obtained; in particular, it is shown that there is a strongly Choquet X, with 1st category K(X).     

Cells in hyperspaces

Let C(X) denote the hyperspace of subcontinua of a continuum X. For A∈C(X), define the hyperspace . Let k∈N, k?2. We prove that A is contained in the core of a k-od if and only if C(A,X) contains a k-cell.     

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.