Lifting paths on quotient spaces

Let X be a compactum and G an upper semi-continuous decomposition of X such that each element of G is the continuous image of an ordered compactum. If the quotient space X/G is the continuous image of an ordered compactum, under what conditions is X also the continuous image of an ordered compactum? Examples around the (non-metric) Hahn-Mazurkiewicz Theorem show that one must place severe conditions on G if one wishes to obtain positive results. We prove that the compactum X is the image of an ordered compactum when each g∈G has 0-dimensional boundary. We also consider the case when G has only countably many non-degenerate elements. These results extend earlier work of the first named author in a number of ways.     

Normal covers of various products

Throughout this paper, we consider the following two problems: (A) When does a rectangular normal cover of a product X×Y (or an infinite product _∏λ∈ΛXλ) have a σ-locally finite rectangular cozero refinement? (B) What kind of a refinement makes a rectangular open cover of a product X×Y (or an infinite product _∏λ∈ΛXλ) be normal? We shall discuss these problems on various products listed below.     

On universal spaces and absorbing sets related to a transfinite extension of covering dimension

R. Pol has shown that for every countable ordinal number α there exists a universal space for separable metrizable spaces X with trindX?α. W. Olszewski has shown that for every countable limit ordinal number λ there is no universal space for separable metrizable space with trIndX?λ. T. Radul and M. Zarichnyi have proved that for every countable limit ordinal number there is no universal space for separable metrizable spaces with dimWX?α where dimW is a transfinite extension of covering dimension introduced by P. Borst. We prove the same result for another transfinite extension dimC of the covering dimension.As an application, we show that there is no absorbing sets (in the sense of Bestvina and Mogilski) for the classes of spaces X with dimCX?α belonging to some absolute Borel class.     

Ordinals and set-valued zero-selections for hyperspaces

A continuous zero-selection f for the Vietoris hyperspace F(X) of the nonempty closed subsets of a space X is a Vietoris continuous map f:F(X)→X which assigns to every nonempty closed subset an isolated point of it. It is well known that a compact space X has a continuous zero-selection if and only if it is an ordinal space, or, equivalently, if X can be mapped onto an ordinal space by a continuous one-to-one surjection. In this paper, we prove that a compact space X has an upper semi-continuous set-valued zero-selection for its Vietoris hyperspace F(X) if and only if X can be mapped onto an ordinal space by a continuous finite-to-one surjection.     

Lelek maps and n-dimensional maps from compacta to polyhedra

For a natural number m?0, a map from a compactum X to a metric space Y is an m-dimensional Lelek map if the union of all non-trivial continua contained in the fibers of f is of dimension ?m. In [M. Levin, Certain finite-dimensional maps and their application to hyperspaces, Israel J. Math. 105 (1998) 257-262], Levin proved that in the space C(X,I) of all maps of an n-dimensional compactum X to the unit interval I=[0,1], almost all maps are (n−1)-dimensional Lelek maps. Moreover, he showed that in the space C(X,Ik) of all maps of an n-dimensional compactum X to the k-dimensional cube Ik (k?1), almost all maps are (n−k)-dimensional Lelek maps. In this paper, we generalize Levin's result. For any (separable) metric space Y, we define the piecewise embedding dimension ped(Y) of Y and we prove that in the space C(X,Y) of all maps of an n-dimensional compactum X to a complete metric ANR Y, almost all maps are (n−k)-dimensional Lelek maps, where k=ped(Y). As a corollary, we prove that in the space C(X,Y) of all maps of an n-dimensional compactum X to a Peano curve Y, almost all maps are (n−1)-dimensional Lelek maps and in the space C(X,M) of all maps of an n-dimensional compactum X to a k-dimensional Menger manifold M, almost all maps are (n−k)-dimensional Lelek maps. It is known that k-dimensional Lelek maps are k-dimensional maps for k?0.     

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).     

Topological-algebraic properties of function spaces with set-open topologies

For a Tychonoff space X, we denote by Cλ(X) the space of all real-valued continuous functions on X with set-open topology. In this paper, we study the topological-algebraic properties of Cλ(X). Our main results state that (1) Cλ(X) is a topological vector space (a topological group) iff λ is a family of C-compact sets and Cλ(X)=Cλ^′(X), where λ^′ consists of all C-compact subsets of every set of λ. In particular, if Cλ(X) is a topological group, then the set-open topology coincides with the topology of uniform convergence on a family λ; (2) a topological group Cλ(X) is ω-narrow iff λ is a family of metrizable compact subsets of X.     

Covering compacta by discrete subspaces

For any space X, denote by dis(X) the smallest (infinite) cardinal κ such that κ many discrete subspaces are needed to cover X. It is easy to see that if X is any crowded (i.e. dense-in-itself) compactum then dis(X)?m, where m denotes the additivity of the meager ideal on the reals. It is a natural, and apparently quite difficult, question whether in this inequality m could be replaced by c. Here we show that this can be done if X is also hereditarily normal.Moreover, we prove the following mapping theorem that involves the cardinal function dis(X). If is a continuous surjection of a countably compact T₂ space X onto a perfect T₃ space Y then .     

Rectangular products with ordinal factors

Let A and B be subspaces of an ordinal. It is proved that the product A×B is countably paracompact if and only if it is rectangular. Before this main result, we discuss several covering properties of products with one ordinal factor. In particular, for every paracompact space X, it is proved that the product X×A is paracompact if so is A.     

Amalgams, connectifications, and homogeneous compacta

We construct a path-connected homogeneous compactum with cellularity c that is not homeomorphic to any product of dyadic compacta and first countable compacta. We also prove some closure properties for classes of spaces defined by various connectifiability conditions. One application is that every infinite product of infinite topological sums of Ti spaces has a Ti pathwise connectification, where i∈{1,2,3,3.5}.     

Internal fundamental sequences and approximative retracts

We introduce the notion of internal fundamental sequence and prove that any shape morphism from an arbitrary compactum X to an internally movable compactum Y is induced by an internal fundamental sequence. We use this special kind of fundamental sequences to give characterizations and some properties of AANR_C-sets and AANR_N-sets. The paper ends with a section devoted to internal FANR's.     

Scattered compactifications and the orderability of scattered spaces

A space is defined to be suborderable if it is embeddable in a (totally) orderable space. The length of a scattered space X is the least ordinal a such that X(_a), the ath derived set of X, is empty. It is shown that a suborderable scattered space of countable length is hereditarily paracompact, orderable, and admits an orderable scattered compactification.     

More about complements of quasi-uniformities

We continue our investigations on the lattice (q(X),⊆) of quasi-uniformities on a set X. Improving on earlier results, we show that the Pervin quasi-uniformity (resp. the well-monotone quasi-uniformity) of an infinite topological T₁-space X does not have a complement in (q(X),⊆). We also establish that a hereditarily precompact quasi-uniformity inducing the discrete topology on an infinite set X does not have a complement in (q(X),⊆).     

An approximation theorem in shape theory

In this paper it is shown that if X is a compactum in the interior of a PL manifold M and if U is a neighborhood of X in M, then there is a compactum X′ in U such that X and X′ have the same relative shape in U and the embedding dimension of X′ equals the fundamental dimension of X. Whenever the dimension of M is not equal to three, the relative shape equivalence from X′ to X can be realized by an infinite isotopy of M.     

Separation properties in algebraic categories of topological spaces

Full subcategories C ? Top of the category of topological spaces, which are algebraic over Set in the sense of Herrlich [2], have pleasant separation properties, mostly subject to additional closedness assumptions. For instance, every C-object is a T₁-space, if the two-element discrete space belongs to C. Moreover, if C is closed under the formation of finite powers in Top and even varietal [2], then every C-object is Hausdorff. Hence, the T₂-axiom turns out to be (nearly) superfluous in Herrlich's and Strecker's characterization of the category of compact Hausdorff spaces [1], although it is essential for the proof.If we think of C-objects X as universal algebras (with possibly infinite operations), then the subalgebras of X form the closed sets of a compact topology on X, provided that the ordinal spaces [0, β] belong to C. This generalizes a result in [3]. The subalgebra topology is used to prove criterions for the Hausdorffness of every space in C, if C is only algebraic.     

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.     

Covering compacta by discrete and other separated sets

We show that if a space X is the union of not more than κ-many discrete subspaces, where κ is an infinite cardinal, then the same holds for any perfect image of X. It follows that a compact Hausdorff space with no isolated points can never be covered by fewer than continuum many discrete subspaces; this answers a question of I. Juhász and J. van Mill. We also consider coverings by right-separated and left-separated subspaces.     

Dendrites with a countable closure of the set of end points

We investigate the problem of existence of universal elements in some families of dendrites with a countable closure of the set of end points. In particular, we prove that for each integer κ?3 and for each ordinal α?1 there exists a universal element in the family of all dendrites X such that ord(X)?κ and the α-derivative of the set clXE(X) contains at most one point.     

On iterates of fully closed absolutes

In this article we give a sufficient condition for a space X to have the fully closed absolute faX with the property fa(faX)=faX. An example of a compact space X such that the canonical mapping fa(α+1)X→fa(α)X (where α is a given ordinal) is not a homeomorphism is constructed. Also we give an example of a compact space X such that the canonical mapping faX→X is not a homeomorphism but for which there exists a homeomorphism faX→X.