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

EXPONENTIAL LAW AND θ-CONTINUOUS FUNCTIONS

Abstract

The category θ-Top of topological spaces and θ-continuous functions is not Cartesian closed; but it is known that under certain local property assumptions, the exponential law in θ-Top is fulfilled. We define a functor from θ-Top to the category of H-θ-topological spaces and prove that in this category the exponential law holds without any local property assumptions. We also provide a functor from θ-Top to Katětov's category of filter-merotopic spaces, which is Cartesian closed.     

THE FORGETFUL FUNCTOR Cont → Prox IS TOPOLOGICAL

Abstract

It is shown that the forgetful functor from the category of contiguity spaces to the category of generalized proximity spaces is topological, and that the right adjoint right inverse of this functor extends the inverse of the forgetful functor from the category of totally bounded uniform spaces to the category of proximity spaces.     

LOCAL COMPACTNESS IN SEMI-UNIFORM CONVERGENCE SPACES

Abstract

Local compactness is studied in the highly convenient setting of semi-uniform convergence spaces which form a common generalization of (symmetric) limit spaces (and thus of symmetric topological spaces) as well as of uniform limit spaces (and thus of uniform spaces). It turns out that it leads to a cartesian closed topological category and, in contrast to the situation for topological spaces, the local compact spaces are exactly the compactly generated spaces. Furthermore, a one-point Hausdorff compactification for noncompact locally compact Hausdorff convergence spaces is considered.¹     

Local connectedness and extension of uniformly continuous functions

A metric space X is straight if for each finite cover of X by closed sets, and for each real valued function f on X, if f is uniformly continuous on each set of the cover, then f is uniformly continuous on the whole of X. The straight spaces have been studied in [A. Berarducci, D. Dikranjan, J. Pelant, An additivity theorem for uniformly continuous functions, Topology and its Applications 146-147 (2005) 339-352], which contains characterization of the straight spaces within the class of the locally connected spaces (they are the uniformly locally connected ones) and the class of the totally disconnected spaces (they coincide with the totally disconnected Atsuji spaces). We show that the completion of a straight space is straight and we characterize the dense straight subspaces of a straight space. In order to clarify further the relation between straightness and the level of local connectedness of the space we introduce two more intermediate properties between straightness and uniform local connectedness and we give various examples to distinguish them. One of these properties coincides with straightness for complete spaces and provides in this way a useful characterization of complete straight spaces in terms of the behaviour of the quasi-components of the space.     

PRODUCTS IN TOPOLOGY

Abstract

Examples are provided which demonstrate that in many cases topological products do not behave as they should. A new product for topological spaces is defined in a natural way by means of interior covers. In general this is no longer a topological space but can be interpreted as categorical product in a category larger than Top. For compact spaces the new product coincides with the old. There is a converse: For symmetric topological spaces X the following conditions are equivalent: (1) X is compact; (2) for each cardinal k the old and the new product X^k coincide; (3) for each compact Hausdorff space Y the old and the new product X x Y coincide. The new product preserves paracompactness, zero-dimensionality (in the covering sense), the Lindelöf property, and regular-closedness. With respect to the new product, a space is N-complete iff it is zerodimensional and R-complete.     

Cut points in some connected topological spaces

We prove that a connected topological space with endpoints has exactly two non-cut points and every cut point is a strong cut point; it follows that such a space is a COTS and the only two non-cut points turn out to be endpoints (in each of the two orders) of the COTS. A non-indiscrete connected topological space with exactly two non-cut points and having only finitely many closed points is proved homeomorphic to a finite subspace of the Khalimsky line. Further, it is shown, without assuming any separation axiom, that in a connected and locally connected topological space X, for a, b in X, S[a,b] is compact whenever it is closed. Using this result we show that an H(i) connected and locally connected topological space with exactly two non-cut points is a compact COTS with end points.     

HAUSDORFF NEARNESS SPACES

Abstract

A categorical characterization of the category Haus of Hausdorft topological spaces within the category Top of topological spaces is given. A notion of a Hausdorff nearness space is then introduced and it is proved that the resulting subcategory Haus Near of the category Near of nearness spaces fulfills exactly the same characterization as derived for Haus in Top. Properties of Haus Near and relations to other important sub-categories of Near are studied.     

Some notes on connectedness in nearness frames

Abstract

We study the uniform connection properties of uniform local connectedness, a weaker variant of the latter, and a certain property S in the context of nearness frames. We show that the uniformly locally connected nearness frames form a reflective subcategory of the category of nearness frames whose underlying frame is locally connected. Amongst other results we show that these uniform connection properties are conserved and reflected by perfect nearness extensions which are uniformly regular.     

SYNTOPOFORMIC SPACES (SYNTOPOGENOUS LIMIT SPACES)

Abstract

Császár generalized the uniform spaces, the proximity spaces and the topological spaces to syntopogenous spaces. Cook and Fischer generalized the uniform spaces to uniform limit spaces. Finally Marny generalized the proximity spaces to proximal limit spaces. Analogously we generalize the syntopogenous spaces to syntopoformic spaces (syntopogenous limit spaces). These spaces include all the above mentioned in a suitable sense. We extend some of the well-known results of compactness and completeness to syntopoformic spaces.     

Coordinate rings of topological Klingenberg planes I: The affine perspective

Although the coordinate ternary field of a topological affine plane is topological, the converse does not hold. However, an affine plane is topological precisely when its coordinate biternary fields are topological. We extend this result to topological biternary rings and their topological affine Klingenberg planes. Then we examine the locally compact situation. Finally, following the ideas of Knarr and Weigand, we show that in certain circumstances, the continuity of the ternary operators is sufficient to ensure that the biternary ring is topological. This facilitates the construction of locally compact, locally connected affine Klingenberg planes.Dedicated to Professor Dr. Helmut Salzmann on his 65th birthday     

NORMAL NEARNESS SPACES

A concept of normality for nearness spaces is introduced which agrees with the usual normality in the case of topological spaces, is hereditary, and is preserved under the taking of the nearness completion. It is proved that the nearness product of a regular contigual space and a normal nearness space is always normal. The locally fine nearness spaces are studied, particularly in relation to normality conditions.     

On countable connected locally connected almost regular Urysohn spaces

We construct connected, locally connected, almost regular, countable, Urysohn spaces. This answers a problem of G.X. Ritter. We show that there are 2^c such non-homeomorphic spaces. We also show that there are 2^c non-homeomorphic spaces which are further rigid. We discuss the group of homeomorphisms of such spaces.The following question was raised by G.X. Ritter: Does there exist a countable connected locally connected Urysohn space which is almost regular? We answer this question in the affirmative and in fact, show that not only are there as many as 2^c such spaces but that there are just as many rigid spaces with the same properties. Furthermore we show that every countable Urysohn space is a subspace of such a space. We also prove that every countable group is isomorphic to the group of autohomeomorphisms of some connected locally connected almost regular Urysohn space. Examples are given of groups of order c which can be represented in this manner.     

On the homotopy groups of separable metric spaces

The aim of this paper is to discuss the homotopy properties of locally well-behaved spaces. First, we state a nerve theorem. It gives sufficient conditions under which there is a weak n-equivalence between the nerve of a good cover and its underlying space. Then we conclude that for any (n−1)-connected, locally (n−1)-connected compact metric space X which is also n-semilocally simply connected, the nth homotopy group of X, πn(X), is finitely presented. This result allows us to provide a new proof for a generalization of Shelah?s theorem (Shelah, 1988 [18]) to higher homotopy groups (Ghane and Hamed, 2009 [8]). Also, we clarify the relationship between two homotopy properties of a topological space X, the property of being n-homotopically Hausdorff and the property of being n-semilocally simply connected. Further, we give a way to recognize a nullhomotopic 2-loop in 2-dimensional spaces. This result will involve the concept of generalized dendrite which introduce here. Finally, we prove that each 2-loop is homotopic to a reduced 2-loop.     

Products of straight spaces

A metric space X is straight if for each finite cover of X by closed sets, and for each real valued function f on X, if f is uniformly continuous on each set of the cover, then f is uniformly continuous on the whole of X. A locally connected space is straight iff it is uniformly locally connected (ULC). It is easily seen that ULC spaces are stable under finite products. On the other hand the product of two straight spaces is not necessarily straight. We prove that the product X×Y of two metric spaces is straight if and only if both X and Y are straight and one of the following conditions holds:

(a)

both X and Y are precompact;

(b)

both X and Y are locally connected;

(c)

one of the spaces is both precompact and locally connected.

In particular, when X satisfies (c), the product X×Z is straight for every straight space Z.Finally, we characterize when infinite products of metric spaces are ULC and we completely solve the problem of straightness of infinite products of ULC spaces.     

Characterizations of intervals via continuous selections

We prove that: (i) a pathwise connected, Hausdorff space which has a continuous selection is homeomorphic to one of the following four spaces: singleton, [0,1), [0,1] or the long lineL, (ii) a locally connected (Hausdorff) space which has a continuous selection must be orderable, and (iii) an infinite connected, Hausdorff space has exactly two continuous selections if and only if it is compact and orderable. We use these results to give various characterizations of intervals via continuous selections. For instance, (iv) a topological spaceX is homeomorphic to [0,1] if (and only if)X is infinite, separable, connected, Hausdorff space and has exactly two continuous selections, and (v) a topological spaceX is homeomorphic to [0,1) if (and only if) one of the following equivalent conditions holds: (a)X is infinite, Hausdorff, separable, pathwise connected and has exactly one continuous selection; (b)X is infinite, separable, locally connected and has exactly one continuous selection; (c)X is infinite, metric, locally connected and has exactly one continuous selection. Three examples are exhibited which demonstrate the necessity of various assumptions in our results.     

FUZZY SYNTOPOGENEOUS STRUCTURES

Abstract

The author gives a detailed analysis of the relation between the theories of realcompactifications and compactifications in the category of ditopological texture spaces and in the categories of bitopological spaces and topological 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.