COHOMOLOGICAL DIMENSION OF UNIFORM SPACES

Abstract

In this paper we obtain classification and extension theorems for uniform spaces, using the ?ech cohomology theory based on the finite uniform coverings, and study the associated cohomological dimension theory. In particular, we extend results for the cohomological dimension theory on compact Hausdorff spaces or compact metric spaces to those for our cohomological dimension theory on uniform spaces.     

ON THE METRIZATION LEMMA FOR UNIFORM SPACES

Abstract

We show a numeric generalization of the well-known metrization lemma for uniform spaces, thereby answering a question left open in [2] to the affirmative. An application of the new lemma in the setting of approach theory yields the conclusion that every approach uniformity has a basis of pseudo-metrics.     

HOMOLOGY AND COHOMOLOGY FOR MEROTOPIC AND NEARNESS SPACES

It is shown that the Alexander cohomology groups for merotopic spaces satisfy certain variants of the Eilenberg—Steenrod axioms for a cohomology theory. Furthermore, for a nearness space, the homology and cohomology groups coincide with the corresponding groups of its completion.     

PRECOMPACTNESS IN FUZZY UNIFORM SPACES

Abstract

The notion of a precompact fuzzy set in a fuzzy uniform space is defined and it is shown that this is a good extension of the standard notion. A theory of precompact fuzzy sets is developed using the previously defined notion of a Cauchy prefilter in a fuzzy uniform space and this theory generalises standard theory.     

REMARKS ON UNIVERSAL COEFFICIENT THEOREMS FOR GENERALIZED HOMOLOGY THEORIES

Abstract

New proofs of universal coefficient theorems for generalized homology theories (cf. ∮ 2, ∮ 3) including L. G. Brown's result, relating Brown-Douglas-Fillmore's Ext (X) with complex K-theory are presented. They are all based on a theorem asserting the existence of a chain functor for a generalized homology theory (cf. ∮ 1), which was originally designed for the construction of strong homology theories on strong shape categories.     

The coshape invariant and continuous extensions of functors

The coshape invariant and continuous extensions of group-valued covariant and contravariant functors, defined on the category of pairs of spaces with the homotopy type of a pair of finite CW-complexes, are constructed.     

Intrinsic characterization of Alexander-Spanier cohomology groups of compactifications

In this paper we construct a uniform Alexander-Spanier cohomology functor from the category of pairs of uniform spaces to the category of abelian groups. We show that this functor satisfies all Eilenberg-Steenrod axioms on the category of pairs of precompact uniform spaces, is precompact uniform shape invariant and intrinsically, in terms of uniform structures, describes the Alexander-Spanier cohomology groups of compactifications of completely regular 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.     

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.     

DISCRETE UNIFORM STRUCTURES AND QUASITOPOI

It is known that no non-trivial subcategory of the category of topological spares is a quasitopos in the sense of Penon. The purpose of this note is to establish the existence of a proper class of sub-categories of the category of uniform spaces which are quasitopoi. These subcategories are generated by certain proximally discrete uniform spaces which correspond to each infinite regular cardinal.     

Completeness in quasi-metric spaces and Ekeland Variational Principle

In this paper we prove a quasi-metric version of Ekeland Variational Principle and study its connections with the completeness properties of the underlying quasi-metric space. The equivalence with Caristi-Kirk?s fixed point theorem and a proof of Clarke?s fixed point theorem for directional contractions within this framework are also considered.     

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.     

The bicompletion of the Hausdorff quasi-uniformity

We study conditions under which the Hausdorff quasi-uniformity UH of a quasi-uniform space (X,U) on the set P₀(X) of the nonempty subsets of X is bicomplete.Indeed we present an explicit method to construct the bicompletion of the T₀-quotient of the Hausdorff quasi-uniformity of a quasi-uniform space. It is used to find a characterization of those quasi-uniform T₀-spaces (X,U) for which the Hausdorff quasi-uniformity of their bicompletion on is bicomplete.     

σ-collectionwise Hausdorffness at singular strong limit cardinals

Assuming the Singular Cardinals Hypothesis, we prove the following property:

σ-CWH:

For every singular strong limit cardinal κ and ↗-normal space X such that for some χ<κ, every x∈X has a neighborhood base of size ?χ, if every closed discrete subspace of size <κ is σ-separated, then so is every closed discrete subspace of size κ.

So for getting a model of the negation of σ-CWH, we require a large cardinal.     

Cover quasi-uniformities in frames

Quasi-uniformities (not necessarily symmetric uniformities) are usually studied via entourages (special neighbourhoods of the diagonal in X×X) where one can simply forget about the symmetry requirement. This has been done successfully in the point-free context as well, but there is a demand for a covering approach, a.o. because the point-free representation of the square X×X is not without difficulties. Based on the (spatial) ideas from Gantner and Steinlage (1972) [9], a cover type quasi-uniformity was developed in Frith (1987) [6] and other papers using biframes, the point-free variant of bitopologies. In this paper we show that this can be avoided and present a cover type quasi-uniformity structure enriching that of frame directly.     

EMBEDDINGS INTO THE CATEGORY OF SUPER UNIFORM SPACES

Abstract

The category US of uniform spaces has been generalised in various ways. The category FUS, of fuzzy uniform spaces and the category GUS, of generalised uniform spaces have both been shown to be good extensions in the sense that US can be embedded into them. We show here that the category SUS, of super uniform spaces also enjoys this property and furthermore, the categories FUS and GUS can be embedded into SUS.     

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.     

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

A nonaspherical cell-like 2-dimensional simply connected continuum and related constructions

We prove the existence of a 2-dimensional nonaspherical simply connected cell-like Peano continuum (the space itself was constructed in one of our earlier papers). We also indicate some relations between this space and the well-known Griffiths' space from the 1950s.