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.     

Nagata's conjecture and countably compact hulls in generic extensions

Nagata conjectured that every M-space is homeomorphic to a closed subspace of the product of a countably compact space and a metric space. Although this conjecture was refuted by Burke and van Douwen, and A. Kato, independently, but we can show that there is a c.c.c. poset P of size ω² such that in VP Nagata's conjecture holds for each first countable regular space from the ground model (i.e. if a first countable regular space X∈V is an M-space in VP then it is homeomorphic to a closed subspace of the product of a countably compact space and a metric space in VP). By a result of Morita, it is enough to show that every first countable regular space from the ground model has a first countable countably compact extension in VP. As a corollary, we also obtain that every first countable regular space from the ground model has a maximal first countable extension in model VP.     

POWERSET OPERATOR BASED FOUNDATION FORPOINT-SET LATTICE-THEORETIC (POSLAT) FUZZY SET THEORIES and TOPOLOGIES

Abstract

This paper sets forth in detail point-set lattice-theoretic or poslat foundations of all mathematical and fuzzy set disciplines in which the operations of taking the image and pre-image of (fuzzy) subsets play a fundamental role; such disciplines include algebra, measure and probability theory, and topology. In particular, those aspects of fuzzy sets, hinging around (crisp) powersets of fuzzy subsets and around powerset operators between such powersets lifted from ordinary functions between the underlying base sets, are examined and characterized using point-set and lattice-theoretic methods. The basic goal is to uniquely derive the powerset operators and not simply stipulate them, and in doing this we explicitly distinguish between the “fixed-basis” case (where the underlying lattice of membership values is fixed for the sets in question) and the “variable-basis” case (where the underlying lattice of membership values is allowed to change). Applications to fuzzy sets/logic include: development and justification/characterization of the Zadeh Extension Principle [36], with applications for fuzzy topology and measure theory; characterizations of ground category isomorphisms; rigorous foundation for fuzzy topology in the poslat sense; and characterization of those fuzzy associative memories in the sense of Kosko [18] which are powerset operators. Some results appeared without proof in [31], some with partial proofs in [32], and some in the fixed-basis case in Johnstone [13] and Manes [22].     

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.     

On factorization structures and epidense hulls

Characterizations of epidense subcategories of topological categories and of existence of epidense hulls have been described in [2, 3, 4]. In this paper a similar characterization is given in a much more general setting; for example the category need not have products. The relationship between finite factorization structures and existence of epidense hulls is investigated. It is found to be analogous to the relationship between general factorization structures and epireflective hulls.     

A normal screenable non-paracompact space

We construct a normal screenable non-paracompact spaces using ?⁺⁺, which is a consequence of V = L.     

Compact Hausdorff fuzzy topological spaces are topological

Many examples of compact fuzzy topological spaces which are highly non topological are known [5, 6]. Equally many examples of Hausdorff fuzzy topological spaces which are highly non topological can be given. In this paper we show that the two properties - compact and Hausdorff - combined however necessarily imply that the fuzzy topological space is topological. This at once solves some open questions with regard to the compactification of fuzzy topological spaces [8]. It also emphasizes once more the particular role played by compact Hausdorff topological spaces not only in the category of topological spaces but even in the category of fuzzy topological spaces.     

On the largest coreflective Cartesian closed subconstruct of Prtop

We show that the subconstruct Fing of Prtop, consisting of all finitely generated pretopological spaces, is the largest Cartesian closed coreflective subconstruct of Prtop. This implies that in any coreflective subconstruct of Prtop, exponential objects are finitely generated. Moreover, in any finitely productive, coreflective subconstruct, exponential objects are precisely those objects of the subconstruct that are finitely generated. We give a counterexample showing that without finite productivity the previous result does not hold.     

Sacks forcing and the total failure of Martin's Axiom

Using side-by-side Sacks forcing, it is proved relatively consistent that the continuum is large and Martin's Axiom fails totally, that is, every c.c.c. space is the union of ?₁ nowhere dense sets (equivelently, if P is a nontrivial partial ordering with the countable chain condition, then there are ?₁ dense sets in P such that no filter in P meets them all).     

Prefilter spaces and a precompletion of preuniform convergence spaces related to some well-known completions

In non-symmetric Convenient Topology the notion of pre-Cauchy filter is introduced and the construction of a precompletion of a preuniform convergence space is given from which Wyler's completion of a separated uniform limit space [O. Wyler, Ein Komplettierungsfunktor für uniforme Limesräume, Math. Nachr. 46 (1970) 1-12] as well as Weil's Hausdorff completion of a separated uniform space [A. Weil, Sur les Espaces à Structures Uniformes et sur la Topologie Générale, Hermann, Paris, 1937] can be derived (up to isomorphism). By the way, the construct PFil of prefilter spaces, i.e. of those preuniform convergence space which are ‘generated’ by their pre-Cauchy filters, is a strong topological universe filling in a gap in the theory of preuniform convergence spaces.     

On the density of the space of continuous and uniformly continuous functions

For X a metrizable space and (Y,ρ) a metric space, with Y pathwise connected, we compute the density of (C(X,(Y,ρ)),σ)—the space of all continuous functions from X to (Y,ρ), endowed with the supremum metric σ. Also, for (X,d) a metric space and (Y,‖⋅‖) a normed space, we compute the density of (UC((X,d),(Y,ρ)),σ) (the space of all uniformly continuous functions from (X,d) to (Y,ρ), where ρ is the metric induced on Y by ‖⋅‖). We also prove that the latter result extends only partially to the case where (Y,ρ) is an arbitrary pathwise connected metric space.To carry such an investigation out, the notions of generalized compact and generalized totally bounded metric space, introduced by the author and A. Barbati in a former paper, turn out to play a crucial rôle. Moreover, we show that the first-mentioned concept provides a precise characterization of those metrizable spaces which attain their extent.     

Almost coreflective and projective classes

This paper summarizes the situation around the problem of when classes of projective objects are almost coreflective, both in general categories and in Top or similar categories. In addition to known results, several new contributions and examples are added.For the sixtieth birthday of D. PumplünThe paper was written while the second author was visiting the University of Toledo, Ohio.     

On Q-sobriety

The study of fixed-basis variety-based topology was initiated by S.A. Solovyov (in 2008), which, among other things, generalizes fuzzy topology. We extend within this framework, an earlier result due to Srivastava et al. (in 1998), which showed that the category of sober fuzzy topological spaces is the epireflective hull of the fuzzy Sierpinski space in the category of T₀-fuzzy topological spaces.     

Set-theoretic constructions of nonshrinking open covers

A family {M_α|α?A} is a shrinking of a cover {O_α|α?A} of a topological space if {M_α|α?A} also covers and M_α?O_α for all α?A.?⁺⁺ implies that there is a normal space such that every increasing open cover of it has a clopen shrinking but there is an open cover having no closed shrinking.? implies that there is a P-space (i.e. a space having a normal product with every metric space), which has an increasing open cover having no closed shrinking. This space is used in [17] to show that any space which has a normal product with every P-space is metrizable.     

When is a Volterra space Baire?

In this paper, we study the problem when a Volterra space is Baire. It is shown that every stratifiable Volterra space is Baire. This answers affirmatively a question of Gruenhage and Lutzer in [G. Gruenhage, D. Lutzer, Baire and Volterra spaces, Proc. Amer. Math. Soc. 128 (2000) 3115-3124]. Further, it is established that a locally convex topological vector space is Volterra if and only if it is Baire; and the weak topology of a topological vector space fails to be Baire if the dual of the space contains an infinite linearly independent pointwise bounded subset.     

Different versions of a first countable space without choice

We show that two versions of a first countable topological space which are equivalent in ZFC set theory split in the absence of the Axiom of Choice AC. This answers in the negative a related question from Gutierres “What is a first countable space?”.     

Solid hulls of concrete categories

This paper deals with the problem of the existence of solid hulls for concrete categories. We present sufficient conditions for a concrete category to have a solid hull. For concrete categories over Set with a small finally dense subcategory, we observe that the existence of solid hulls is equivalent to Weak Vopenka's Principle.Research partially supported by TEMPUS JEP 2692 and by Centro de Matemática da Universidade de Coimbra     

What is a first countable space?

The definition of first countable space is standard and its meaning is very clear. But is that the case in the absence of the Axiom of Choice? The answer is negative because there are at least three choice-free versions of first countability. And, most likely, the usual definition does not correspond to what we want to be a first countable space. The three definitions as well as other characterizations of first countability are presented and it is discussed under which set-theoretic conditions they remain equivalent.     

On order structure of the set of one-point Tychonoff extensions of a locally compact space

If a Tychonoff space X is dense in a Tychonoff space Y, then Y is called a Tychonoff extension of X. Two Tychonoff extensions Y₁ and Y₂ of X are said to be equivalent, if there exists a homeomorphism which keeps X pointwise fixed. This defines an equivalence relation on the class of all Tychonoff extensions of X. We identify those extensions of X which belong to the same equivalence classes. For two Tychonoff extensions Y₁ and Y₂ of X, we write Y₂?Y₁, if there exists a continuous function which keeps X pointwise fixed. This is a partial order on the set of all (equivalence classes of) Tychonoff extensions of X. If a Tychonoff extension Y of X is such that Y\X is a singleton, then Y is called a one-point extension of X. Let T(X) denote the set of all one-point extensions of X. Our purpose is to study the order structure of the partially ordered set (T(X),?). For a locally compact space X, we define an order-anti-isomorphism from T(X) onto the set of all nonempty closed subsets of βX\X. We consider various sets of one-point extensions, including the set of all one-point locally compact extensions of X, the set of all one-point Lindelöf extensions of X, the set of all one-point pseudocompact extensions of X, and the set of all one-point ?ech-complete extensions of X, among others. We study how these sets of one-point extensions are related, and investigate the relation between their order structure, and the topology of subspaces of βX\X. We find some lower bounds for cardinalities of some of these sets of one-point extensions, and in a concluding section, we show how some of our results may be applied to obtain relations between the order structure of certain subfamilies of ideals of C^∗(X), partially ordered with inclusion, and the topology of subspaces of βX\X. We leave some problems open.