Higher-dimensional Bruckner-Garg type theorem

In this paper, we investigate several properties of maps from a compactum X to an n-dimensional (combinatorial) manifold Mn. We introduce the notions of stable point and locally extreme point of map, and we prove a higher-dimensional Bruckner-Garg type theorem for the fiber structure of a generic map in the space C(X,Mn) of maps from a compactum X with dimX?n to an n-dimensional manifold Mn (n?1). As applications, we also study the spaces of Bing maps, Lelek maps, k-dimensional maps and Krasinkiewicz maps in C(X,Mn).     

Parametric bing and Krasinkiewicz maps

It is shown that if is a perfect map between metrizable spaces and Y is a C-space, then the function space C(X,I) with the source limitation topology contains a dense Gδ-subset of maps g such that every restriction map gy=g|f⁻¹(y), y∈Y, satisfies the following condition: all fibers of gy are hereditarily indecomposable and any continuum in f⁻¹(y) either contains a component of a fiber of gy or is contained in a fiber of gy.     

A pair of spaces of upper semi-continuous maps and continuous maps

For a Tychonoff space X, we use ↓USC(X) and ↓C(X) to denote the families of the regions below all upper semi-continuous maps and of the regions below all continuous maps from X to I=[0,1], respectively. In this paper, we consider the spaces ↓USC(X) and ↓C(X) topologized as subspaces of the hyperspace Cld(X×I) consisting of all non-empty closed sets in X×I endowed with the Vietoris topology. We shall prove that ↓USC(X) is homeomorphic (≈) to the Hilbert cube Q=ω[−1,1] if and only if X is an infinite compact metric space. And we shall prove that (↓USC(X),↓C(X))≈(Q,c₀), where , if and only if ↓C(X)≈c₀ if and only if X is a compact metric space and the set of isolated points is not dense in X.     

Applications of almost one-to-one maps

A continuous map of topological spaces X,Y is said to be almost 1-to-1 if the set of the points x∈X such that f⁻¹(f(x))={x} is dense in X; it is said to be light if pointwise preimages are 0-dimensional. In a previous paper we showed that sometimes almost one-to-one light maps of compact and σ-compact spaces must be homeomorphisms or embeddings. In this paper we introduce a similar notion of an almost d-to-1 map and extend the above results to them and other related maps. In a forthcoming paper we use these results and show that if f is a minimal self-mapping of a 2-manifold then point preimages under f are tree-like continua and either M is a union of 2-tori, or M is a union of Klein bottles permuted by f.     

Finite-to-one maps into Euclidean manifolds and spaces with disjoint disks properties

It is shown that every Euclidean manifold M has the following property for any m?1: If f:X→Y is a perfect surjection between finite-dimensional metric spaces, then the mapping space C(X,M) with the source limitation topology contains a dense Gδ-subset of maps g such that dimBm(g)?mdimf+dimY−(m−1)dimM. Here, Bm(g)={(y,z)∈Y×M||f−1(y)∩g−1(z)|?m}. The existence of residual sets of finite-to-one maps into product of manifolds and spaces having disjoint disks properties is also obtained.     

Extraordinary dimension of maps

We consider the extraordinary dimension dimL introduced recently by Shchepin [E.V. Shchepin, Arithmetic of dimension theory, Russian Math. Surveys 53 (5) (1998) 975-1069]. If L is a CW-complex and X a metrizable space, then dimLX is the smallest number n such that ΣnL is an absolute extensor for X, where ΣnL is the nth suspension of L. We also write dimLf?n, where is a given map, provided dimLf⁻¹(y)?n for every y∈Y. The following result is established: Supposeis a perfect surjection between metrizable spaces, Y a C-space and L a countable CW-complex. Then conditions (1)-(3) below are equivalent:

(1)

dimLf?n;

(2)

There exists a dense andGδsubsetGofC(X,In)with the source limitation topology such thatdimL(f×g)=0for everyg∈G;

(3)

There exists a mapis such thatdimL(f×g)=0;If, in addition, X is compact, then each of the above three conditions is equivalent to the following one;

(4)

There exists anFσsetA⊂Xsuch thatdimLA?n−1and the restriction mapf|(X?A)is of dimensiondimf|(X?A)?0.

     

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.     

Spaces of maps into topological group with the Whitney topology

Let X be a locally compact Polish space and G a non-discrete Polish ANR group. By C(X,G), we denote the topological group of all continuous maps endowed with the Whitney (graph) topology and by Cc(X,G) the subgroup consisting of all maps with compact support. It is known that if X is compact and non-discrete then the space C(X,G) is an l₂-manifold. In this article we show that if X is non-compact and not end-discrete then Cc(X,G) is an (R^∞×l₂)-manifold, and moreover the pair (C(X,G),Cc(X,G)) is locally homeomorphic to the pair of the box and the small box powers of l₂.     

Some upper bounds for density of function spaces

Let Cα(X,Y) be the set of all continuous functions from X to Y endowed with the set-open topology where α is a hereditarily closed, compact network on X which is closed under finite unions. We proved that the density of the space Cα(X,Y) is at most iw(X)⋅d(Y) where iw(X) denotes the i-weight of the Tychonoff space X, and d(Y) denotes the density of the space Y when Y is an equiconnected space with equiconnecting function Ψ, and Y has a base consists of Ψ-convex subsets of Y. We also prove that the equiconnectedness of the space Y cannot be replaced with pathwise connectedness of Y. In fact, it is shown that for each infinite cardinal κ, there is a pathwise connected space Y such that π-weight of Y is κ, but Souslin number of the space Ck([0,1],Y) is κ².     

Certain finite dimensional maps and their application to hyperspaces

In [8] Y. Sternfeld and this author gave a positive answer to the following longstanding open problem: Is the hyperspace (=the space of all subcontinua endowed with the Hausdorff metric) of a 2-dimensional continuum infinite dimensional? This result was improved in [9] where it was shown that for every positive integer numbern a 2-dimensional continuum contains a 1-dimensional subcontiuum with hyperspace of dimension ≥n. And it was asked there: Does a 2-dimensional continuum contain a 1-dimensional subcontinuum with infinite dimensional hyperspace? In this note we answer this question in the positive. Our proof applies maps with the following properties. A real valued mapf on a compactumX is called a Bing map if every continuum that is contained in a fiber off is hereditarily indecomposable.f is called ann-dimensional Lelek map if the union of all non-trivial continua which are contained in the fibers off isn-dimensional. It is shown that for dimX=n+1 the maps which are both Bing andn-dimensional Lelek maps form a denseG _σ-subset of the function spaceC(X, I)     

Spaces of lower semicontinuous set-valued maps I

We introduce a lower semicontinuous analog, L ^?(X), of the well-studied space of upper semicontinuous set-valued maps with nonempty compact interval images. Because the elements of L ^?(X) contain continuous selections, the space C(X) of real-valued continuous functions on X can be used to establish properties of L ^?(X), such as the two interrelated main theorems. The first of these theorems, the Extension Theorem, is proved in this Part I. The Extension Theorem says that for binormal spaces X and Y, every bimonotone homeomorphism between C(X) and C(Y) can be extended to an ordered homeomorphism between L ^?(X) and L ^?(Y). The second main theorem, the Factorization Theorem, is proved in Part II. The Factorization Theorem says that for binormal spaces X and Y, every ordered homeomorphism between L ^?(X) and L ^?(Y) can be characterized by a unique factorization.     

On one-point metrizable extensions of locally compact metrizable spaces

For a non-compact metrizable space X, let E(X) be the set of all one-point metrizable extensions of X, and when X is locally compact, let EK(X) denote the set of all locally compact elements of E(X) and be the order-anti-isomorphism (onto its image) defined in [M. Henriksen, L. Janos, R.G. Woods, Properties of one-point completions of a non-compact metrizable space, Comment. Math. Univ. Carolin. 46 (2005) 105-123; in short HJW]. By definition λ(Y)=_?n<ωclβX(Un∩X)\X, where Y=X∪{p}∈E(X) and {Un}_n<ω is an open base at p in Y. We characterize the elements of the image of λ as exactly those non-empty zero-sets of βX which miss X, and the elements of the image of EK(X) under λ, as those which are moreover clopen in βX\X. This answers a question of [HJW]. We then study the relation between E(X) and EK(X) and their order structures, and introduce a subset ES(X) of E(X). We conclude with some theorems on the cardinality of the sets E(X) and EK(X), and some open questions.     

On dimensionally exotic maps

We call a value y = f(x) of a map f: X → Y dimensionally regular if dimX ≤ dim(Y × f ^?1(y)). It was shown in [6] that if a map f: X → Y between compact metric spaces does not have dimensionally regular values, then X is a Boltyanskii compactum, i.e., a compactum satisfying the equality dim(X × X) = 2dim X ? 1. In this paper we prove that every Boltyanskii compactum X of dimension dim X ≥ 6 admits a map f: X → Y without dimensionally regular values. We show that the converse does not hold by constructing a 4-dimensional Boltyanskii compactum for which every map has a dimensionally regular value.     

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.     

On order structure of the set of one-point Tychonoff extensions of a locally compact space

If a Tychonoff space X is dense in a Tychonoff space Y, then Y is called a Tychonoff extension of X. Two Tychonoff extensions Y₁ and Y₂ of X are said to be equivalent, if there exists a homeomorphism which keeps X pointwise fixed. This defines an equivalence relation on the class of all Tychonoff extensions of X. We identify those extensions of X which belong to the same equivalence classes. For two Tychonoff extensions Y₁ and Y₂ of X, we write Y₂?Y₁, if there exists a continuous function which keeps X pointwise fixed. This is a partial order on the set of all (equivalence classes of) Tychonoff extensions of X. If a Tychonoff extension Y of X is such that Y\X is a singleton, then Y is called a one-point extension of X. Let T(X) denote the set of all one-point extensions of X. Our purpose is to study the order structure of the partially ordered set (T(X),?). For a locally compact space X, we define an order-anti-isomorphism from T(X) onto the set of all nonempty closed subsets of βX\X. We consider various sets of one-point extensions, including the set of all one-point locally compact extensions of X, the set of all one-point Lindelöf extensions of X, the set of all one-point pseudocompact extensions of X, and the set of all one-point ?ech-complete extensions of X, among others. We study how these sets of one-point extensions are related, and investigate the relation between their order structure, and the topology of subspaces of βX\X. We find some lower bounds for cardinalities of some of these sets of one-point extensions, and in a concluding section, we show how some of our results may be applied to obtain relations between the order structure of certain subfamilies of ideals of C^∗(X), partially ordered with inclusion, and the topology of subspaces of βX\X. We leave some problems open.     

A non-separable Christensen's theorem and set tri-quotient maps

For every space X let K(X) be the set of all compact subsets of X. Christensen [J.P.R. Christensen, Necessary and sufficient conditions for measurability of certain sets of closed subsets, Math. Ann. 200 (1973) 189-193] proved that if X,Y are separable metrizable spaces and F:K(X)→K(Y) is a monotone map such that any L∈K(Y) is covered by F(K) for some K∈K(X), then Y is complete provided X is complete. It is well known [J. Baars, J. de Groot, J. Pelant, Function spaces of completely metrizable space, Trans. Amer. Math. Soc. 340 (1993) 871-879] that this result is not true for non-separable spaces. In this paper we discuss some additional properties of F which guarantee the validity of Christensen's result for more general spaces.     

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.     

A note on realizing homomorphisms of category algebras

The complete Boolean homomorphisms from the category algebra $\text{C}$(X) of a complete matrix space X to the category algebra $\text{C}$(Y) of a Baire topological space Y are characterized as those σ-homomorphisms which are induced by continuous maps from dense G₈-subsets of Y into X. This result is used to deduce a series of related results in topology and measure theory (some of which are well-known). Finally a similar result for the complete Boolean homomorphisms from the category algebra $\text{C}$(X) of a compact Hausdorff space X tothe category algebra $\text{C}$(Y) of a Baire topological space Y is proved.     

On the existence of continuous (approximate) roots of algebraic equations

The present paper considers the existence of continuous roots of algebraic equations with coefficients being continuous functions defined on compact Hausdorff spaces. For a compact Hausdorff space X, C(X) denotes the Banach algebra of all continuous complex-valued functions on X with the sup norm ∥⋅_∥∞. The algebra C(X) is said to be algebraically closed if each monic algebraic equation with C(X) coefficients has a root in C(X). First we study a topological characterization of a first-countable compact (connected) Hausdorff space X such that C(X) is algebraically closed. The result has been obtained by Countryman Jr, Hatori-Miura and Miura-Niijima and we provide a simple proof for metrizable spaces.Also we consider continuous approximate roots of the equation zn−f=0 with respect to z, where f∈C(X), and provide a topological characterization of compact Hausdorff space X with dimX?1 such that the above equation has an approximate root in C(X) for each f∈C(X), in terms of the first ?ech cohomology of X.