DISCONNECTEDNESS

Abstract

There are three different ways to characterize To-spaces in the category of topological spaces. All three methods are canonical, i.e. they can be easily formulated in a general setting, where they, in general, do not coincide. In the following, the characterization of T₀-spaces by indiscrete spaces is generalized to an abstract category and investigated.     

Closed structures on categories of topological spaces

The category of all topological spaces and continuous maps and its full subcategory of all T_o-spaces admit (up to isomorphism) precisely one structure of symmetric monoidal closed category (see [2]). In this paper we shall prove the same result for any epireflective subcategory of the category of topological spaces (particularly e.g. for the categories of Hausdorff spaces, regular spaces, Tychonoff spaces).     

Real dicompact textures

A notion of real compactness for completely biregular bi-T₂ ditopological texture spaces is defined and studied under the name real dicompactness. In particular it is shown that real dicompact spaces are nearly plain ∗-spaces, and an important characterization is presented. Finally the connection of this work with topological and bitopological real compactness is discussed in a categorical setting.     

H-spectral spaces

Let X be a T₀-space, we say that X is H-spectral if its T₀-compactification is spectral. This paper deal with topological properties of H-spectral spaces. In the case of T₁-spaces the T₀-compactification coincides with the Wallman compactification. We give necessary and sufficient condition on the T₁-space X in order to get its Wallman compactification spectral.     

Separation properties in algebraic categories of topological spaces

Full subcategories C ? Top of the category of topological spaces, which are algebraic over Set in the sense of Herrlich [2], have pleasant separation properties, mostly subject to additional closedness assumptions. For instance, every C-object is a T₁-space, if the two-element discrete space belongs to C. Moreover, if C is closed under the formation of finite powers in Top and even varietal [2], then every C-object is Hausdorff. Hence, the T₂-axiom turns out to be (nearly) superfluous in Herrlich's and Strecker's characterization of the category of compact Hausdorff spaces [1], although it is essential for the proof.If we think of C-objects X as universal algebras (with possibly infinite operations), then the subalgebras of X form the closed sets of a compact topology on X, provided that the ordinal spaces [0, β] belong to C. This generalizes a result in [3]. The subalgebra topology is used to prove criterions for the Hausdorffness of every space in C, if C is only algebraic.     

Collectionwise Hausdorff versus collectionwise normal with respect to compact sets

Collectionwise normal (CWN) and collectionwise Hausdorff (CWH) spaces have played an increasingly important role in topology since the introduction of these concepts by R.H. Bing in 1951 [3]. It has remained an open and frequently raised question as to whether CWH T₃-spaces are CWN with respect to compact sets. Recently, a counterexample requiring the existence of measurable cardinals and having little additional topological structure was constructed by W.G. Fleissner and the author. In this paper, the author gives a simple example in ZFC of a CWH, first countable, perfect T₃-space that is not CWN with respect to compact, metrizable sets, and, under Martin's Axiom, such an example that is also a Moore space. In addition, the author considers the analogous question for strongly collectionwise Hausdorff (SCWH) T₃-spaces and characterizes the existence of SCWH T₃-spaces that are not CWN with respect to compact sets in set-theoretic and box product formulations. The constructions utilized throughout the paper are of a general nature and several apparently new set-theoretic techniques for interchanging ‘points’ and ‘sets’ are introduced.     

Baire space and second category extensions

Nearness structures induced by a T₁ second category or Baire space strict extension are characterized. Given a T₁ topological space it is shown that there exists a one-to-one correspondence between compatible nearness structures satisfying certain stated conditions and T₁ Baire space strict extensions of the space, up to the usual equivalence. A similar result is provided for second category T₁ strict extensions.     

Stone duality and Gleason covers through de Vries duality

We introduce zero-dimensional de Vries algebras and show that the category of zero-dimensional de Vries algebras is dually equivalent to the category of Stone spaces. This shows that Stone duality can be obtained as a particular case of de Vries duality. We also introduce extremally disconnected de Vries algebras and show that the category of extremally disconnected de Vries algebras is dually equivalent to the category of extremally disconnected compact Hausdorff spaces. As a result, we give a simple construction of the Gleason cover of a compact Hausdorff space by means of de Vries duality. We also discuss the insight that Stone duality provides in better understanding of de Vries duality.     

Observations on quasi-uniform products

We prove that any product of quotient maps in the category of quasi-uniform spaces and quasi-uniformly continuous maps is a quotient map. We also show that a quasi-uniformly continuous map from a product of quasi-uniform spaces into a quasi-pseudometric T₀-space depends on countably many coordinates.Furthermore we characterize those quasi-uniformities that are unique in their quasi-proximity class and prove that this property is preserved under arbitrary products in the category of quasi-uniform spaces.     

Dicompleteness and real dicompactness of ditopological texture spaces

The authors consider interrelations between the completeness of certain initial di-uniformities and the real dicompactness of completely biregular bi-T₂ nearly plain ditopological spaces. Completions and real dicompactifications of almost plain spaces are also considered.     

Some generalizations of Fedorchuk duality theorem—I

Generalizing duality theorem of V.V. Fedorchuk [V.V. Fedorchuk, Boolean δ-algebras and quasi-open mappings, Sibirsk. Mat. Zh. 14 (5) (1973) 1088-1099; English translation: Siberian Math. J. 14 (1973) 759-767 (1974)], we prove Stone-type duality theorems for the following four categories: the objects of all of them are the locally compact Hausdorff spaces, and their morphisms are, respectively, the continuous skeletal maps, the quasi-open perfect maps, the open maps, the open perfect maps. In particular, a Stone-type duality theorem for the category of compact Hausdorff spaces and open maps is obtained. Some equivalence theorems for these four categories are stated as well; two of them generalize the Fedorchuk equivalence theorem [V.V. Fedorchuk, Boolean δ-algebras and quasi-open mappings, Sibirsk. Mat. Zh. 14 (5) (1973) 1088-1099; English translation: Siberian Math. J. 14 (1973) 759-767 (1974)].     

Monolithic spaces and D-spaces revisited

We introduce the classes of monotonically monolithic and strongly monotonically monolithic spaces. They turn out to be reasonably large and with some nice categorical properties. We prove, in particular, that any strongly monotonically monolithic countably compact space is metrizable and any monotonically monolithic space is a hereditary D-space. We show that some classes of monolithic spaces which were earlier proved to be contained in the class of D-spaces are monotonically monolithic. In particular, Cp(X) is monotonically monolithic for any Lindelöf Σ-space X. This gives a broader view of the results of Buzyakova and Gruenhage on hereditary D-property in function spaces.     

Infinite distributive laws versus local connectedness and compactness properties

Various local connectedness and compactness properties of topological spaces are characterized by higher degrees of distributivity for their lattices of open (or closed) sets, and conversely. For example, those topological spaces for which not only the lattice of open sets but also that of closed sets is a frame, are described by the existence of web neighborhood bases, where webs are certain specific path-connected sets. Such spaces are called web spaces. The even better linked wide web spaces are characterized by F-distributivity of their topologies, and the worldwide web spaces (or C-spaces) by complete distributivity of their topologies. Similarly, strongly locally connected spaces and locally hypercompact spaces are characterized by suitable infinite distributive laws. The web space concepts are also viewed as natural extensions of spaces that are semilattices with respect to the specialization order and have continuous (unary, binary or infinitary) semilattice operations.     

More on upper bicompletion-true functorial quasi-uniformities

Let T:QU₀→Top₀ denote the usual forgetful functor from the category of quasi-uniform T₀-spaces to that of the topological T₀-spaces. We regard the bicompletion reflector as a (pointed) endofunctor K:QU₀→QU₀. For any section F:Top₀→QU₀ of T we consider the (pointed) endofunctor R=TKF:Top₀→Top₀. The T-section F is called upper bicompletion-true (briefly, upper K-true) if the quasi-uniform space KFX is finer than FRX for every X in Top₀. An important known characterisation is that F is upper K-true iff the canonical embedding X→RX is an epimorphism in Top₀ for every X in Top₀. We show that this result admits a simple, purely categorical formulation and proof, independent of the setting of quasi-uniform and topological spaces. We thus mention a few other settings where the result is applicable. Returning then to the setting T:QU₀→Top₀, we prove: Any T-section F is upper K-true iff for all X the bitopology of KFX equals that of FRX; and iff the join topology of KFX equals the strong topology (also called the b- or Skula topology) of RX.     

On a class of pseudocompact spaces derived from ring epimorphisms

A Tychonoff space X is RG if the embedding of C(X)→C(Xδ) is an epimorphism of rings. Compact RG-spaces are known and easily described. We study the pseudocompact RG-spaces. These must be scattered of finite Cantor Bendixon degree but need not be locally compact. However, under strong hypotheses, (countable compactness, or small cardinality) these spaces must, indeed, be compact. The main theorems shows, how to construct a suitable maximal almost disjoint family, and apply it to obtain examples of RG-spaces that are almost compact, locally compact, non-compact, almost-P, and of Cantor Bendixon degree 2. More complicated examples of pseudocompact non-compact RG-spaces ensue.     

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.     

A Spectral-style Duality for Distributive Posets

In this paper, we present a topological duality for a category of partially ordered sets that satisfy a distributivity condition studied by David and Erné. We call these posets mo-distributive. Our duality extends a duality given by David and Erné because our category of spaces has the same objects as theirs but the class of morphisms that we consider strictly includes their morphisms. As a consequence of our duality, the duality of David and Erné easily follows. Using the dual spaces of the mo-distributive posets we prove the existence of a particular Δ₁-completion for mo-distributive posets that might be different from the canonical extension. This allows us to show that the canonical extension of a distributive meet-semilattice is a completely distributive algebraic lattice.     

Hausdorff separation in categories

Considering subobjects, points and a closure operator in an abstract category, we introduce a generalization of the Hausdorff separation axiom for topological spaces: the notion ofT ₂-object. We discuss the properties ofT ₂-objects, which depend essentially on the behaviour of points, and finally we relate them to the well-known separated objects.The results of this paper are essentially taken from the author's Ph. D. Thesis written under the supervision of Professors M. Sobral and W. Tholen and partially supported by a scholarship of I.N.I.C.-Instituto Nacional de Investigação Científica.     

Open maps,colimits, and a convenient category of fibre spaces

We show that pulling back along an open map preserves all colimits in the category of weak Hausdorff k-spaces. We also show that the category of open maps over a weak Hausdorff k-space is a convenient category of fibre spaces.