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.     

Cartesian-closed coreflective subcategories of uniform spaces generated by classes of metric spaces

The main result, in Theorem 3, is that in the category Unif of Hausdorff uniform spaces and uniformly continuous maps, the coreflective hulls of the following classes are cartesian-closed: all metric spaces having no infinite uniform partition, all connected metric spaces, all bounded metric spaces, and all injective metric spaces.Furthermore, Theorems 1 and 4 imply that if $\text{C}$ is any coreflective, cartesian-closed subcategory of Unif in which enough function space structures are finer than the uniformity of uniform convergence (as in the above examples), then either (1) $\text{C}$ is a subclass of the locally fine spaces, or (2) $\text{C}$ contains all injective metric spaces and $\text{C}$ is a subclass of the coreflective hull of all uniform spaces having no infinite uniform partition.     

Local connectedness in merotopic spaces

Abstract

In this paper uniformly locally uniformly connected merotopic spaces are studied. It turns out that their structural behaviour is essentially similar to that one of locally connected topological spaces. The introduced concept is also investigated for spaces of functions between filter-merotopic spaces (e.g. topological spaces, proximity spaces, convergence spaces) and the relationship to other concepts of local connectedness is clarified. In particular, the category of uniformly locally uniformly connected filter-merotopic spaces is Cartesian closed.     

Asymmetry and bicompletion of approach spaces

We develop a bicompletion theory for the category Ap₀ of T₀ approach spaces in the sense of Lowen [R. Lowen, Approach Spaces: The Missing Link in the Topology-Uniformity-Metric Triad, Oxford University Press, Oxford, 1997], which extends the completion theory obtained in [R. Lowen, K. Robeys., Completions of products of metric spaces, Quart. J. Math. Oxford 43 (1991) 319-338] for the subcategory of Hausdorff uniform approach spaces. Moreover, we prove it to be firmly epireflective (in the sense of [G.C.L. Brümmer, E. Giuli, A categorical concept of completion of objects, Comment. Math. Univ. Carolin. 33 (1992) 131-147]) with respect to a certain morphism class of dense embeddings.     

Straight nearness spaces

Straight spaces are spaces for which a continuous map defined on the space which is uniformly continuous on each set of a finite closed cover is then uniformly continuous on the whole space. Previously, straight spaces have been studied in the setting of metric spaces. In this paper, we present a study of straight spaces in the more general setting of nearness spaces. In a subcategory of nearness spaces somewhat more general than uniform spaces, we relate straightness to uniform local connectedness. We investigate category theoretic situations involving straight spaces. We prove that straightness is preserved by final sinks, in particular by sums and by quotients, and also by completions.     

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.     

Cartesian closed hull of the category of uniform spaces

A concrete category $\text{K}$ is a CCT (cartesian closed topological) extension of the category Unif of uniform spaces if 1. $\text{K}$ is cartesian closed, 2. Unif is a full, finitely productive subcategory of $\text{K}$ and the forgetful functor of $\text{K}$ extends that of Unif and 3. $\text{K}$ has initial structures. We describe the smallest CCT extension of Unif which is called the CCT hull by H. Herrlich and L.D. Nel. The objects of the CCT hull are bornological uniform spaces, i.e. uniform spaces endowed with a collection of “bounded” sets related naturally to the uniformity; the morphisms are the uniformly continuous maps which preserve the bounded sets.     

Function spaces and one point extensions for the construct of metered spaces

The construct M of metered spaces and contractions is known to be a superconstruct in which all metrically generated constructs can be fully embedded. We show that M has one point extensions and that quotients in M are productive. We construct a Cartesian closed topological extension of M and characterize the canonical function spaces with underlying sets Hom(X,Y) for metered spaces X and Y. Finally we obtain an internal characterization of the objects in the Cartesian closed topological hull of M.     

Filter spaces

The category FIL of filter spaces and cauchy maps is a topological universe. This paper establishes the foundation for a completion theory forT ₂ filter spaces.     

The uniqueness of endpoints for set-valued dynamical systems of contractions of Meir–Keeler type in uniform spaces

In this paper, the concept of the set-valued dynamical systems of contractions of Meir–Keeler type in uniform spaces is introduced and conditions guaranteeing the existence and uniqueness of endpoints of these contractions and the convergence to these endpoints of all generalized sequences of iterations of these contractions are established. The definition and the result presented here are new for set-valued dynamical systems in uniform, locally convex and metric spaces and even for single-valued maps. Examples show a fundamental difference between our result and the well-known ones.     

Endpoints of set-valued dynamical systems of asymptotic contractions of Meir–Keeler type and strict contractions in uniform spaces

In this paper, we introduce the concepts of the set-valued dynamical systems of asymptotic contractions of Meir–Keeler type and set-valued dynamical systems of strict contractions in uniform spaces and we present a method which is useful for establishing conditions guaranteeing the existence and uniqueness of endpoints of these contractions and the convergence to these endpoints of all generalized sequences of iterations of these contractions. The result, concerning the investigations of problems of the set-valued asymptotic fixed point theory, include some well-known results of Meir and Keeler, Kirk and Suzuki concerning the asymptotic fixed point theory of single-valued maps in metric spaces. The result, concerning set-valued strict contractions (in which the contractive coefficient is not constant), is different from the result of Yuan concerning the existence of endpoints of Tarafdar–Vyborny generalized contractions (in which the contractive coefficient is constant) in bounded metric spaces and provides some examples of Tarafdar–Yuan topological contractions in compact uniform spaces. Definitions and results presented here are new for set-valued dynamical systems in uniform, locally convex and metric spaces and even for single-valued maps. Examples show a fundamental difference between our results and the well-known ones.     

Selection properties of uniform and related structures

In this paper we present some results on selection properties in asymmetric generalized metric and uniform spaces. We demonstrate differences between selection properties of these spaces and selection properties of metric and uniform spaces.     

Products of symmetric spaces, and k-networks

As is well known, every product of symmetric spaces need not be symmetric. For symmetric spaces X and Y, in terms of their balls, we give characterizations for the product X×Y to be symmetric under X and Y having certain k-networks, or Y being semi-metric.     

Quasi-asymptotic contractions,set-valued dynamic systems,uniqueness of endpoints and generalized pseudodistances in uniform spaces

For set-valued dynamic systems in uniform spaces we introduce the concept of quasi-asymptotic contractions with respect to some generalized pseudodistances, describe a method which we use to establish general conditions guaranteeing the existence and uniqueness of endpoints (stationary points) of these contractions and exhibit conditions such that for each starting point each generalized sequence of iterations (in particular, each dynamic process) converges and the limit is an endpoint. The definition, result, ideas and techniques are new for set-valued dynamic systems in uniform, locally convex and metric spaces and even for single-valued maps.     

The structure of non-completely regular spaces

F.B. Jones has proved that for many different topological properties P if there exists a non-normal space with property P then there exists a non-completely regular space Y with property P. In this paper we study the topological structure of the space Y and we characterize the topological spaces with a similar structure to that possessed by Y.     

Characterizing metric spaces whose hyperspaces are absolute neighborhood retracts

We characterize metric spaces X whose hyperspaces X² (or Bd(X)) of non-empty closed (bounded) subsets, endowed with the Hausdorff metric, are absolute [neighborhood] retracts.     

On the completion monad via the Yoneda embedding in quasi-uniform spaces

Making use of the presentation of quasi-uniform spaces as generalised enriched categories, and employing in particular the calculus of modules, we define the Yoneda embedding, prove a (weak) Yoneda Lemma, and apply them to describe the Cauchy completion monad for quasi-uniform spaces.     

Norm continuity of weakly continuous mappings into Banach spaces

Let T be the class of Banach spaces E for which every weakly continuous mapping from an α-favorable space to E is norm continuous at the points of a dense subset. We show that:

•

T contains all weakly Lindelöf Banach spaces;

•

l^∞∉T, which brings clarity to a concern expressed by Haydon ([R. Haydon, Baire trees, bad norms and the Namioka property, Mathematika 42 (1995) 30-42], pp. 30-31) about the need of additional set-theoretical assumptions for this conclusion. Also, (l^∞/c₀)∉T.

•

T is stable under weak homeomorphisms;

•

E∈T iff every quasi-continuous mapping from a complete metric space to (E,weak) is densely norm continuous;

•

E∈T iff every quasi-continuous mapping from a complete metric space to (E,weak) is weakly continuous at some point.

     

Pointwise bornological spaces

With each metric space (X,d) we can associate a bornological space (X,Bd) where Bd is the set of all subsets of X with finite diameter. Equivalently, Bd is the set of all subsets of X that are contained in a ball with finite radius. If the metric d can attain the value infinite, then the set of all subsets with finite diameter is no longer a bornology. Moreover, if d is no longer symmetric, then the set of subsets with finite diameter does not coincide with the set of subsets that are contained in a ball with finite radius. In this text we will introduce two structures that capture the concept of boundedness in both symmetric and non-symmetric extended metric spaces.