Nice separation axioms

The epi-reflective hull B of an objectB in the category of locales is called anice separation axiom provided it enjoys certain properties which are natural generalizations of properties satisfied by the categories of completely regular locales and zero dimensional locales. Invariably, a family ofStone-like duality theorems ensues, distinguishing (for each large enough regular cardinal ) the full subcategory of all -LindelöfB-objects. Some corollaries for topological spaces arise, as well as some open problems, upon taking of spatial parts.This paper, consisting primarily of excerpts from the author's Ph.D. thesis, Wesleyan University, Middletown, Connecticut (1992), also represents, in part, the results of research engaged in at Charles University, Prague, during the 1992–1993 academic year, with the support of the United States Information Agency and the Fulbright Program.     

Weak separation axioms and weak covering properties

We identify some remnants of normality and call them rudimentary normality, generalize the concept of submetacompact spaces to that of a weakly subparacompact space and that of a weakly^? subparacompact space, and make a simultaneous generalization of collectionwise normality and screenability with the introduction of what is to be called collectionwise σ-normality. With these weak properties, we show that,1) on weakly subparacompact spaces, countable compactness = compactness, ω₁-compactness = Lindelöfness;2) on weakly subparacompact Hausdorff spaces with rudimentary normality, regularity = normality = countable paracompactness; and3) on weakly subparacompact regular T₁-spaces with rudimentary normality, collectionwise σ-normality = screenability = collectionwise normality = paracompactness.The famous Normal Moore Space Conjecture is thus given an even more striking appearance and Worrell and Wicke?s factorization of paracompactness (over Hausdorff spaces) along with Krajewski?s are combined and strengthened. The methodology extends itself to the factorization of paracompactness on locally compact, locally connected spaces in the manner of Gruenhage and on locally compact spaces in that of Tall, and to the factorization of subparacompactness and metacompactness in the genre of Katuta, Chaber, Junnila and Price and Smith and that of Boone, improving all of them.     

Hereditarily strongly cwH and other separation axioms

We explore the relation between two general kinds of separation properties. The first kind, which includes the classical separation properties of regularity and normality, has to do with expanding two disjoint closed sets, or dense subsets of each, to disjoint open sets. The second kind has to do with expanding discrete collections of points, or full-cardinality subcollections thereof, to disjoint or discrete collections of open sets. The properties of being collectionwise Hausdorff (cwH), of being strongly cwH, and of being wD(ℵ₁), fall into the second category. We study the effect on other separation properties if these properties are assumed to hold hereditarily. In the case of scattered spaces, we show that (a) the hereditarily cwH ones are α-normal and (b) a regular one is hereditarily strongly cwH iff it is hereditarily cwH and hereditarily β-normal. Examples are given in ZFC of (1) hereditarily strongly cwH spaces which fail to be regular, including one that also fails to be α-normal; (2) hereditarily strongly cwH regular spaces which fail to be normal and even, in one case, to be β-normal; (3) hereditarily cwH spaces which fail to be α-normal. We characterize those regular spaces X such that X×(ω+1) is hereditarily strongly cwH and, as a corollary, obtain a consistent example of a locally compact, first countable, hereditarily strongly cwH, non-normal space. The ZFC-independence of several statements involving the hereditarily wD(ℵ₁) property is established. In particular, several purely topological statements involving this property are shown to be equivalent to b=ω₁.     

Product spaces and semi-separation axioms

In this paper new characterizations of semi-R₀ and semi-R₁ spaces are obtained and used to prove that the product space of semi-R₀, semi-T₁, and semi-T₀ spaces is, respectively, semi-R₀, semi-T₁, and semi-T₀; and that the product space of semi-R₁ space need not be semi-R₁. An example is given where the product space is semi-T₂ and one of the factor spaces is not semi-T₀ or semi-R₀.     

Separation axioms and frame representation of some topological facts

Similarly as the sobriety is essential for representing continuous maps as frame homo-morphisms, also other separation axioms play a basic role in expressing topological phenomena in frame language. In particular,T _D is equivalent with the correctness of viewing subspaces as sublocates, or with representability of open or closed maps as open or closed homomorphisms. A weaker separation axiom is equivalent with an algebraic recognizability whether the intersection of a system of open sets remains open or not. The role of sobriety is also being analyzed in some detail.In honour of Nico Pumplün on the occasion of his 60th birthdayThe support of the Italian C.N.R. is gratefully acknowledged.Partial financial support of the Italian M.U.R.S.T. is gratefully acknowledged.     

Collections of paths and rays in the plane which fix its topology

A collection $\text{F}$ of proper maps into a locally compact Hausdorff space X fixes the topology of X if the only locally compact Hausdorff topology on X which makes each element of $\text{F}$ continuous and proper is the given topology. In I²=[-1, 1]×[-1, 1], neither the collection of analytic paths nor the collection of regular twice differentiable paths fixes the topology. However, in I², both the collection of C^∞ arcs and the collection of regular C¹ arcs fix the topology. In $\text{I}{}^2\text{=[?1,1]×[?1,1], the collection of polynomial rays together with any collection of paths does not fix the topology. However, in}\text{R}{}^2$, the collection of regular injective entire rays together with either the collection of C^∞ arcs or the collection of regular C¹ arcs fixes the topology.     

On the product of homogeneous spaces

Within the class of Tychonoff spaces, and within the class of topological groups, most of the natural questions concerning ‘productive closure’ of the subclasses of countably compact and pseudocompact spaces are answered by the following three well-known results: (1) [ZFC] There is a countably compact Tychonoff space X such that X × X is not pseudocompact; (2) [ZFC] The product of any set of pseudocompact topological groups is pseudocompact; and (3) [ZFC+ MA] There are countably compact topological groups G₀, G₁ such that G₀ × G₁ is not countably compact.In this paper we consider the question of ‘productive closure” in the intermediate class of homogeneous spaces. Our principal result, whose proof leans heavily on a simple, elegant result of V.V. Uspenski?, is this: In ZFC there are pseudocompact, homogeneous spaces X₀, X₁ such that X₀ × X₁ is not pseudocompact; if in addition MA is assumed, the spaces X_i may be chosen countably compact.Our construction yields an unexpected corollary in a different direction: Every compact space embeds as a retract in a countably compact, homogeneous space. Thus for every cardinal number α there is a countably compact, homogeneous space whose Souslin number exceeds α.     

On the tychonoff functor and w-compactness

The main purpose of this paper is to settle the following problem concerning a product formula for the Tychonoff functor τ, by introducing the notion of w-compact spaces: Characterize a topological space X such that τ(X×Y)=τ(X)×τ(Y) for any topological space Y. We also study the properties of w-compact spaces, and it is proved that, for any family {X_α} of w-compact spaces, the product ΠX_α is also w-compact and τ(ΠX_α)=Πτ(X_α).     

Linearly ordered covers,normality and paracompactness

It is shown that a regular space is collectionwise normal and countably paracompact if every open cover has an open, order cushioned refinement. A sufficient condition for paracompactness, in terms of certain order locally finite covers, is given, and is applied to the problem of the paracompactness of product spaces.     

REAL COMPACTIFICATIONS THROUGH ZERO-SET SPACES

Abstract

The Alexandroff (= zero-set) spaces were introduced in [l] as the “completely normal spaces”, and have been studied in a number of more recent papers. In this paper we unify the theory of Wallman realcompactifications via the Alexandroff bases and introduce the realcompactfine Alexandroff spaces as particularly relevant to their investigation. These latter spaces are defined analogously to the A-c uniform spaces which are based on a construction of A.W. Hager [25].     

Separation of a diagonal

We investigate different separation properties of the diagonal of a space X. Namely, we study spaces X in which the diagonal of X² and every closed subset of X² off the diagonal can be separated from each other by means of open sets, or continuous functions, or some other tools.     

Spaces from pieces IV

We are going to investigate simultaneous extensions of various topological structures (i.e. traces on several subsets at the same time are prescribed), also with separation axioms T₀, T₁, symmetry (in the sense of Part I, § 3), Riesz property, Lodato property. The following questions will be considered: (i) Under what conditions is there an extension? (ii) How can the finest extension be described? (iii) Is there a coarsest extension? (iv) Can we say more about extensions of two structures than in the general case? (v) Assume that certain subfamilies (e.g. the finite ones) can be extended; does the whole family have an extension, too? The general categorial results from Part I will be applied whenever possible (even they are not really needed).     

CARTESIAN CLOSED COREFLECTIVE HULLS

Conditions are established under which a given class of objects in a topological category will have a Cartesian closed coreflective hull. The main theorem is used to discover new Cartesian closed topological categories and to unify a diversity of known special results. It also provides a mild criterion for the existence of Cartesian closed topological hulls.     

Universal topological algebra needs closed topological categories

It is shown that a development of universal topological algebra, based in the obvious way on the category of topological spaces, leads in general to a pathological situation. The pathology disappears when the base category is changed to a cartesian closed topological category or to a topological category endowed with a compatible closed symmetric monoidal structure, provided that in the latter case, the algebraic operations are expressed in terms of monoidal powers rather than the usual cartesian powers. With such base categories, universal topological algebra becomes virtually as well-behaved as ordinary (setbased) universal algebra.     

Local compactness and Hewitt realcompactifications of products II

We generalize and refine results from the author's paper [18]. For a completely regular Hausdorff space X, υX denotes the Hewitt realcompactification of X. It is proved that if υ(X×Y)=υX×υY for any metacompact subparacompact (or m-paracompact) space Y, then X is locally compact. A P(n)-space is a space in which every intersection of less than n open sets is open. A characterization of those spaces X such that υ (X×Y = υX×υY for any (metacompact) P(n)-space Y is also obtained.     

A note on realizing homomorphisms of category algebras

The complete Boolean homomorphisms from the category algebra $\text{C}$(X) of a complete matrix space X to the category algebra $\text{C}$(Y) of a Baire topological space Y are characterized as those σ-homomorphisms which are induced by continuous maps from dense G₈-subsets of Y into X. This result is used to deduce a series of related results in topology and measure theory (some of which are well-known). Finally a similar result for the complete Boolean homomorphisms from the category algebra $\text{C}$(X) of a compact Hausdorff space X tothe category algebra $\text{C}$(Y) of a Baire topological space Y is proved.     

Spaces from pieces III

Research supported by Hungarian National Foundation for Scientific Research, grant no. 2114.     

Insertion of lattice-valued and hedgehog-valued functions

Problems of inserting lattice-valued functions are investigated. We provide an analogue of the classical insertion theorem of Lane [Proc. Amer. Math. Soc. 49 (1975) 90-94] for L-valued functions where L is a ?-separable completely distributive lattice (i.e. L admits a countable join-dense subset which is free of completely join-irreducible elements). As a corollary we get an L-version of the Katětov-Tong insertion theorem due to Liu and Luo [Topology Appl. 45 (1992) 173-188] (our proof is different and much simpler). We show that ?-separable completely distributive lattices are closed under the formation of countable products. In particular, the Hilbert cube is a ?-separable completely distributive lattice and some join-dense subset is shown to be both order and topologically isomorphic to the hedgehog J(ω) with appropriately defined topology. This done, we deduce an insertion theorem for J(ω)-valued functions which is independent of that of Blair and Swardson [Indian J. Math. 29 (1987) 229-250]. Also, we provide an iff criterion for inserting a pair of semicontinuous function which yields, among others, a characterization of hereditarily normal spaces.