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.     

Representation theorems for directed completions of consistent algebraic L-domains

In this paper, consistent algebraic L-domains are considered. One algebraic and two topological characterization theorems for their directed completions are given. It is proved that eliminating a set of maximal elements with empty interior from an algebraic L-domain results a consistent algebraic L-domain whose directed completion is just the given algebraic L-domain up to isomorphism. It is also proved that the category CALDOM of consistent algebraic L-domains and Scott continuous maps is Cartesian closed and has the category ALDOM of algebraic L-domains and Scott continuous maps as a full reflective subcategory. Received January 8, 2005; accepted in final form June 15, 2005.     

Compactness and subsets of ordered sets that meet all maximal chains

LetP be a chain complete ordered set. By considering subsets which meet all maximal chains, we describe conditions which imply that the space of maximal chains ofP is compact. The symbolsP ₁ andP ₂ refer to two particular ordered sets considered below. It is shown that the space of maximal chains (P) is compact ifP satisfies any of the following conditions: (i)P contains no copy ofP ₁ or its dual and all antichains inP are finite. (ii)P contains no properN and every element ofP belongs to a finite maximal antichain ofP. (iii)P contains no copy ofP ₁ orP ₂ and for everyx inP there is a finite subset ofP which is coinitial abovex. We also describe an example of an ordered set which is complete and densely ordered and in which no antichain meets every maximal chain.     

Some aspects of (non) functoriality of natural discrete covers of locales

Abstract

The frame S_c(L) generated by closed sublocales of a locale L is known to be a natural Boolean (“discrete”) extension of a subfit L; also it is known to be its maximal essential extension. In this paper we first show that it is an essential extension of any L and that the maximal essential extensions of L and S_c(L) are isomorphic. The construction S_c is not functorial; this leads to the question of individual liftings of homomorphisms L → M to homomorphisms S_c(L) → S_c(M). This is trivial for Boolean L and easy for a wide class of spatial L, M . Then, we show that one can lift all h : L → 2 for weakly Hausdor? L (and hence the spectra of L and S_c(L) are naturally isomorphic), and finally present liftings of h : L → M for regular L and arbitrary Boolean M.     

A separation theorem for semicontinuous functions on preordered topological spaces

Suppose that X is a topological space with preorder , and that –g, f are bounded upper semicontinuous functions on X such that g(x) f(y) whenever x y. We consider the question whether there exists a bounded increasing continuous function h on X such that g h f, and obtain an existence theorem that gives necessary and sufficient conditions. This result leads to an extension theorem giving conditions that allow a bounded increasing continuous function defined on an open subset of X to be extended to a function of the same type on X. The application of these results to extremally disconnected locally compact spaces is studied.Received: 26 May 2004     

Continuity of posets via Scott topology and sobrification

In this paper, posets which may not be dcpos are considered. The concept of embedded bases for posets is introduced. Characterizations of continuity of posets in terms of embedded bases and Scott topology are given. The main results are:

(1)

A poset is continuous iff it is an embedded basis for a dcpo up to an isomorphism;

(2)

A poset is continuous iff its Scott topology is completely distributive;

(3)

A topological T₀ space is a continuous poset equipped with the Scott topology in the specialization order iff its topology is completely distributive and coarser than or equal to the Scott topology;

(4)

A topological T₁ space is a discrete space iff its topology is completely distributive.

These results generalize the relevant results obtained by J.D. Lawson for dcpos.     

Some localized separation axioms and their implications

In a topological spaceX, a T₂-distinct pointx means that for anyyX xy, there exist disjoint open neighbourhoods ofx andy. Similarly, T₀-distinct points and T₁distinct points are defined. In a T_i-distinct point-setA, we assume that eachxA is a T _i -distinct point (i=0, 1, 2). In the present paper some implications of these notions which localize the T _i -separation axioms (i=0, 1, 2) requirement, are studied. Suitable variants of regularity and normality in terms of T₂-distinct points are shown hold in a paracompact space (without the assumption of any separation axioms). Later T₀-distinct points are used to give two characterizations of the R _D -axiom.¹ In the end, some simple results are presented including a condition under which an almost compact set is closed and a result regarding two continuous functions from a topological space into a Hausdorff space is sharpened. A result which relates a limit pointv to an -limit point is stated.     

Priestley duality for order-preserving maps into distributive lattices

The category of bounded distributive lattices with order-preserving maps is shown to be dually equivalent to the category of Priestley spaces with Priestley multirelations. The Priestley dual space of the ideal lattice L of a bounded distributive lattice L is described in terms of the dual space of L. A variant of the Nachbin-Stone-ech compactification is developed for bitopological and ordered spaces. Let X be a poset and Y an ordered space; X ^Y denotes the poset of continuous order-preserving maps from Y to X with the discrete topology. The Priestley dual of L ^P is determined, where P is a poset and L a bounded distributive lattice.     

An algebraic view of weaker forms of realcompactness

We study a property of frames which is akin to realcompactness and obtained by replacing the cozero part of a frame in the definition of realcompactness with its Booleanization. Unlike the case of realcompactness, which is defined only for completely regular frames, this new concept is defined for all frames. We also investigate a weaker variant of this notion, and note that in both cases the frame results extend their topological precursors. This paper is dedicated to Walter Taylor. Received September 29, 2004; accepted in final form May 14, 2005.     

Filter spaces

The category FIL of filter spaces and cauchy maps is a topological universe. This paper establishes the foundation for a completion theory forT ₂ filter spaces.     

Hedgehog frames and a cardinal extension of normality

The hedgehog metric topology is presented here in a pointfree form, by specifying its generators and relations. This allows us to deal with the pointfree version of continuous (metric) hedgehog-valued functions that arises from it. We prove that the countable coproduct of the metric hedgehog frame with κ spines is universal in the class of metric frames of weight $\kappa ?{\mathrm{?}}_0$. We then study κ-collectionwise normality, a cardinal extension of normality, in frames. We prove that this is the necessary and sufficient condition under which Urysohn separation and Tietze extension-type results hold for continuous hedgehog-valued functions. We show furthermore that κ-collectionwise normality is hereditary with respect to $F_{\sigma }$-sublocales and invariant under closed maps.     

Local separation in distributive semilattices

We introduce the Local Separation Property (LSP) for distributive semilattices. We show that LSP holds in many semilattices of the form Con_c A, where A is a lattice. On the other hand, we construct an abstract example of a distributive lattice without LSP. Our research is connected with the well known open problem whether every distributive algebraic lattice is isomorphic to the congruence lattice of some lattice. Received December 10, 2004; accepted in final form June 6, 2005.     

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.     

Proper forcing axiom and selective separability

We continue the study of Selectively Separable (SS) and, a game-theoretic strengthening, strategically selectively separable spaces (SS⁺) (see Barman, Dow (2011) [1]). The motivation for studying SS⁺ is that it is a property possessed by all separable subsets of Cp(X) for each σ-compact space X. We prove that the winning strategy for countable SS⁺ spaces can be chosen to be Markov. We introduce the notion of being compactlike for a collection of open sets in a topological space and with the help of this notion we prove that there are two countable SS⁺ spaces such that the union fails to be SS⁺, which contrasts the known result about SS spaces. We also prove that the product of two countable SS⁺ spaces is again countable SS⁺. One of the main results in this paper is that the proper forcing axiom, PFA, implies that the product of two countable Fréchet spaces is SS, a statement that was shown in Barman, Dow (2011) [1] to consistently fail. An auxiliary result is that it is consistent with the negation of CH that all separable Fréchet spaces have π-weight at most ω₁.     

Concerning some variants of C-embedding in pointfree topology

We study three types of quotient maps of frames which are closely related to C- and C^?-quotient maps. We call them C₁-, strong C₁-, and uplifting quotient maps. C₁-quotient maps are precisely those whose induced ring homomorphisms contract maximal ideals to maximal ideals. We show that every homomorphism onto a frame is a C₁-, a strong C₁-, or an uplifting quotient map iff the frame is pseudocompact, compact, or almost compact and normal, respectively. These quotient maps are used to characterize normality and also certain weaker forms of normality in a manner akin to the characterization of normal frames as those for which every closed quotient map is a C-quotient map. Under certain conditions, we show that the Stone extension of a quotient map is C₁-, strongly C₁- or uplifting if the map has the corresponding property.     

Remarks on star-C-Menger spaces

In this paper, we show that assuming ω₁ < , there exists a Tychono? star-C-Menger space having a regular-closed G_δ-subspace which is not star-C-Menger which gives a partial answer to a question of Song and Yin [12], and continue to investigate topological properties of star-C-Menger spaces.     

An asymmetric Ellis theorem

In 1957 Robert Ellis proved that a group with a locally compact Hausdorff topology T making all translations continuous also has jointly continuous multiplication and continuous inversion, and is thus a topological group. The theorem does not apply to locally compact asymmetric spaces such as the reals with addition and the topology of upper open rays. We first show a bitopological Ellis theorem, and then introduce a generalization of locally compact Hausdorff, called locally skew compact, and a topological dual, Tk, to obtain the following asymmetric Ellis theorem which applies to the example above:Whenever (X,⋅,T) is a group with a locally skew compact topology making all translations continuous, then multiplication is jointly continuous in both (X,⋅,T) and (X,⋅,Tk), and inversion is a homeomorphism between (X,T) and (X,Tk).This generalizes the classical Ellis theorem, because T=Tk when (X,T) is locally compact Hausdorff.     

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.     

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

On the existence of continuous (approximate) roots of algebraic equations

The present paper considers the existence of continuous roots of algebraic equations with coefficients being continuous functions defined on compact Hausdorff spaces. For a compact Hausdorff space X, C(X) denotes the Banach algebra of all continuous complex-valued functions on X with the sup norm ∥⋅_∥∞. The algebra C(X) is said to be algebraically closed if each monic algebraic equation with C(X) coefficients has a root in C(X). First we study a topological characterization of a first-countable compact (connected) Hausdorff space X such that C(X) is algebraically closed. The result has been obtained by Countryman Jr, Hatori-Miura and Miura-Niijima and we provide a simple proof for metrizable spaces.Also we consider continuous approximate roots of the equation zn−f=0 with respect to z, where f∈C(X), and provide a topological characterization of compact Hausdorff space X with dimX?1 such that the above equation has an approximate root in C(X) for each f∈C(X), in terms of the first ?ech cohomology of X.