Fibrant extensions of free G-spaces

We show that any equivariant fibrant extension of a compact free G-space is also free. This result allows us to prove that the orbit space of any equivariant fibrant compact space E is also fibrant, provided that E has only one orbit type.     

Quotients of Bing spaces

A Bing space is a compact Hausdorff space whose every component is a hereditarily indecomposable continuum. We investigate spaces which are quotients of a Bing space by means of a map which is injective on components. We show that the class of such spaces does not include every compact space, but does properly include the class of compact metric spaces.     

Dimension zero at all scales

We consider the notion of dimension in four categories: the category of (unbounded) separable metric spaces and (metrically proper) Lipschitz maps, and the category of (unbounded) separable metric spaces and (metrically proper) uniform maps. A unified treatment is given to the large scale dimension and the small scale dimension. We show that in all categories a space has dimension zero if and only if it is equivalent to an ultrametric space. Also, 0-dimensional spaces are characterized by means of retractions to subspaces. There is a universal zero-dimensional space in all categories. In the Lipschitz Category spaces of dimension zero are characterized by means of extensions of maps to the unit 0-sphere. Any countable group of asymptotic dimension zero is coarsely equivalent to a direct sum of cyclic groups. We construct uncountably many examples of coarsely inequivalent ultrametric spaces.     

Uniform universal covers of uniform spaces

We develop a generalized covering space theory for a class of uniform spaces called coverable spaces. Coverable spaces include all geodesic metric spaces, connected and locally pathwise connected compact topological spaces, in particular Peano continua, as well as more pathological spaces like the topologist's sine curve. The uniform universal cover of a coverable space is a kind of generalized cover with universal and lifting properties in the category of uniform spaces and uniformly continuous mappings. Associated with the uniform universal cover is a functorial uniform space invariant called the deck group, which is related to the classical fundamental group by a natural homomorphism. We obtain some specific results for one-dimensional spaces.     

Generalized uniform covering maps relative to subgroups

In “Rips complexes and covers in the uniform category” (Brodskiy et al., preprint [4]) the authors define, following James (1990) [5], covering maps of uniform spaces and introduce the concept of generalized uniform covering maps. Conditions for the existence of universal uniform covering maps and generalized uniform covering maps are given. This paper extends these results by investigating the existence of these covering maps relative to subgroups of the uniform fundamental group and the fundamental group of the base space.     

Remainders of arcwise connected compactifications of the plane

A. Lelek asked which continua are remainders of locally connected compactifications of the plane. In this paper we study a similar problem with local connectedness replaced by arcwise connectedness. (Each locally connected continuum is arcwise connected.) We give the following characterization: a continuum X is pointed 1-movable if and only if there is an arcwise connected compactification of the plane with X as the remainder.     

When separability of the space of ultra-extremal functions is preserved

Abstract

The ultrametrically injective hull T_X of an ultrametric space (X, d) is investigated by viewing it as the space of ultra-extremal functions over X. It turns out that the ultra-extremal functions are also ultra-Ka?etov functions, satisfying two inequalities derived from the strong triangle inequality. We shall compare the ultra-extremal functions with some classes of functions defined with the help of one of the two inequalities from the definition of ultra-Kat?tov functions. We shall consider the question of when separability of the space of ultra-extremal functions is preserved.     

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.     

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.     

Permutable pairs of quasi-uniformities

We continue investigating the lattice (q(X),⊆) of quasi-uniformities on a set X. In particular in this article we start investigating permutable pairs of quasi-uniformities. Among other things, we show that the Pervin quasi-uniformity of a topological space X permutes with its conjugate if and only if X is normal and extremally disconnected.     

Linearization of proper group actions

We prove that if G is a locally compact group acting properly (in the sense of R. Palais) on a space X that is metrizable by a G-invariant metric, then X can be embedded equivariantly into a normed linear G-space E endowed with a linear isometric G-action which is proper on the complement E?{0}. If, in addition, G is a Lie group then E?{0} is a G-equivariant absolute extensor. One can make this equivariant embedding even closed, but in this case the non-proper part of the linearizing G-space E may be an entire subspace instead of {0}.     

ALMOST 2-FULLY NORMAL,PAIRWISE PARACOMPACT AND COMPLETE DEVELOPABLE BISPACES

Abstract

Dedicated to Professor Sergio Salbany on the occasion of his 60th birthday.

We introduce and study the notion of an almost 2-fully normal bispace. In particular, we prove that a bispace is quasi-pseudometrizable if and only if it is almost 2-fully normal and pairwise developable. We obtain conditions under which an almost 2-fully normal bispace is subquasi-metrizable and show that the fine quasi-uniformity of any subquasi-metrizable topological space is bicomplete. We prove that every pairwise paracompact bispace (in the sense of Romaguera and Marin, 1988) is almost 2-fully normal and that the finest quasi-uniformity of any 2-Hausdorff pairwise paracompact bispace is bicomplete. We also characterize pairwise paracompactness in terms of a property of σ-Lebesgue type of the finest quasi-uniformity. Finally, we use Salbany's compactification of pairwise Tychonoff bispaces to characterize those bispaces that admit a bicomplete pair development and deduce that an interesting example of R. Fox of a non-quasi-metrizable pairwise stratifiable pairwise developable bispace admits a bicomplete pair development.     

Fixed point theorems for partially outward mappings

We generalize some classical theorems related to dimension. We extend Brouwer's fixed point theorem to a class of mappings whose images are not necessarily a subset of the domain. These results also generalize theorems of B.R. Halpern and G.M. Bergman. As applications, we prove some theorems for maps that pull absolute retracts outward into attached sphere collars. We note relationships to the relative Nielsen theory and show that certain of our applications can also be obtained using results of H. Schirmer.     

An equivalent condition for a uniform space to be coverable

We prove that an equivalent condition for a uniform space to be coverable is that the images of the natural projections in the fundamental inverse system are uniformly open in a certain sense. As corollaries we (1) obtain a concrete way to find covering entourage, (2) correct an error in [V. Berestovskii, C. Plaut, Uniform universal covers of uniform spaces, Topology Appl. 154 (2007) 1748-1777], and (3) show that coverability is equivalent to chain connectedness and uniform joinability in the sense of [N. Brodskiy, J. Dydak, B. Labuz, A. Mitra, Rips complexes and universal covers in the uniform category, preprint arXiv:0706.3937.     

On pairwise Lindelöf bitopological spaces

In this paper, we shall continue the study of bitopological separation axioms begun by Kelly and obtained some results. Furthermore, we introduce two concepts of pairwise Lindelöf bitopological spaces and the properties for them are established. We also show that a pairwise Lindelöf space is not hereditary property.     

Brush spaces and the fixed point property

We introduce the notions of a brush space and a weak brush space. Each of these spaces has a compact connected core with attached connected fibers and may be either compact or non-compact. Many spaces, both in the Hausdorff non-metrizable setting and in the metric setting, have realizations as (weak) brush spaces. We show that these spaces have the fixed point property if and only if subspaces with core and finitely many fibers have the fixed point property. This result generalizes the fixed point result for generalized Alexandroff/Urysohn Squares in Hagopian and Marsh (2010) [4]. We also look at some familiar examples, with and without the fixed point property, from Bing (1969) [1], Connell (1959) [3], Knill (1967) [7] and note the brush space structures related to these examples.     

Fréchet-Urysohn for finite sets, II

We continue our study [G. Gruenhage, P.J. Szeptycki, Fréchet Urysohn for finite sets, Topology Appl. 151 (2005) 238-259] of several variants of the property of the title. We answer a question from that paper by showing that a space defined in a natural way from a certain Hausdorff gap is a Fréchet α₂ space which is not Fréchet-Urysohn for 2-point sets (FU₂), and answer a question of Hrušák by showing that under MAω₁, no such “gap space” is FU₂. We also introduce versions of the properties which are defined in terms of “selection principles”, give examples when possible showing that the properties are distinct, and discuss relationships of these properties to convergence in product spaces, to the αi-spaces of A.V. Arhangel'skii, and to topological games.     

UNIFORM VIETORIS-BEGLE THEOREMS

Abstract

In this paper we generalize the well-known Vietoris-Begle theorem to uniform spaces. We formulate two uniform versions: one for the ?ech cohomology based on all finite uniform coverings and one for the ?ech cohomology based on all uniform coverings.     

Approximate extension property of mappings

The extension problem is to determine the extendability of a mapping defined on a closed subset of a space into a nice space such as a CW complex over the whole space. In this paper, we consider the extension problem when the codomains are general spaces. We take a shape theoretic approach to generalize the extension theory so that the codomains are allowed to be general spaces. We extend the notion of extension type which has been defined for the class of CW complexes and introduce the notion of approximate extension type which is defined for general spaces. We define approximate extension dimension analogously to extension dimension, replacing the class of CW complexes by the class of finitistic separable metrizable spaces. For every metrizable space X, we show the existence of approximate extension dimension of X.