Infima of quasi-uniform anti-atoms

Let (q(X),⊆) denote the lattice consisting of the set q(X) of all quasi-uniformities on a set X, ordered by set-theoretic inclusion ⊆. We observe that a quasi-uniformity on X is the supremum of atoms of (q(X),⊆) if and only if it is totally bounded and transitive. Each quasi-uniformity on X that is totally bounded or has a linearly ordered base is shown to be the infimum of anti-atoms of (q(X),⊆). Furthermore, each quasi-uniformity U on X such that the topology of the associated supremum uniformity Us is resolvable has the latter property.     

Atoms, anti-atoms and complements in the lattice of quasi-uniformities

We describe the atoms of the complete lattice (q(X),⊆) of all quasi-uniformities on a given (nonempty) set X. We also characterize those anti-atoms of (q(X),⊆) that do not belong to the quasi-proximity class of the discrete uniformity on X. After presenting some further results on the adjacency relation in (q(X),⊆), we note that (q(X),⊆) is not complemented for infinite X and show how ideas about resolvability of (bi)topological spaces can be used to construct complements for some elements of (q(X),⊆).     

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.     

Zero-dimensional proximities and zero-dimensional compactifications

We introduce zero-dimensional proximities and show that the poset 〈Z(X),?〉 of inequivalent zero-dimensional compactifications of a zero-dimensional Hausdorff space X is isomorphic to the poset 〈Π(X),?〉 of zero-dimensional proximities on X that induce the topology on X. This solves a problem posed by Leo Esakia. We also show that 〈Π(X),?〉 is isomorphic to the poset 〈B(X),⊆〉 of Boolean bases of X, and derive Dwinger's theorem that 〈Z(X),?〉 is isomorphic to 〈B(X),⊆〉 as a corollary. As another corollary, we obtain that for a regular extremally disconnected space X, the Stone-?ech compactification of X is a unique up to equivalence extremally disconnected compactification of X.     

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.     

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.     

The Goldstine Theorem for asymmetric normed linear spaces

It is well known that if (X,q) is an asymmetric normed linear space, then the function qs defined on X by qs(x)=max{q(x),q(−x)}, is a norm on the linear space X. However, the lack of symmetry in the definition of the asymmetric norm q yields an algebraic asymmetry in the dual space of (X,q). This fact establishes a significant difference with the standard results on duality that hold in the case of locally convex spaces. In this paper we study some aspects of a reflexivity theory in the setting of asymmetric normed linear spaces. In particular, we obtain a version of the Goldstine Theorem to these spaces which is applied to prove, among other results, a characterization of reflexive asymmetric normed linear spaces.     

A pair of spaces of upper semi-continuous maps and continuous maps

For a Tychonoff space X, we use ↓USC(X) and ↓C(X) to denote the families of the regions below all upper semi-continuous maps and of the regions below all continuous maps from X to I=[0,1], respectively. In this paper, we consider the spaces ↓USC(X) and ↓C(X) topologized as subspaces of the hyperspace Cld(X×I) consisting of all non-empty closed sets in X×I endowed with the Vietoris topology. We shall prove that ↓USC(X) is homeomorphic (≈) to the Hilbert cube Q=ω[−1,1] if and only if X is an infinite compact metric space. And we shall prove that (↓USC(X),↓C(X))≈(Q,c₀), where , if and only if ↓C(X)≈c₀ if and only if X is a compact metric space and the set of isolated points is not dense in X.     

Subcompactness and domain representability in GO-spaces on sets of real numbers

In this paper we explore a family of strong completeness properties in GO-spaces defined on sets of real numbers with the usual linear ordering. We show that if τ is any GO-topology on the real line R, then (R,τ) is subcompact, and so is any Gδ-subspace of (R,τ). We also show that if (X,τ) is a subcompact GO-space constructed on a subset X⊆R, then X is a Gδ-subset of any space (R,σ) where σ is any GO-topology on R with τ=σX_|. It follows that, for GO-spaces constructed on sets of real numbers, subcompactness is hereditary to Gδ-subsets. In addition, it follows that if (X,τ) is a subcompact GO-space constructed on any set of real numbers and if τS is the topology obtained from τ by isolating all points of a set S⊆X, then (X,τS) is also subcompact. Whether these two assertions hold for arbitrary subcompact spaces is not known.We use our results on subcompactness to begin the study of other strong completeness properties in GO-spaces constructed on subsets of R. For example, examples show that there are subcompact GO-spaces constructed on subsets X⊆R where X is not a Gδ-subset of the usual real line. However, if (X,τ) is a dense-in-itself GO-space constructed on some X⊆R and if (X,τ) is subcompact (or more generally domain-representable), then (X,τ) contains a dense subspace Y that is a Gδ-subspace of the usual real line. It follows that (Y,τY_|) is a dense subcompact subspace of (X,τ). Furthermore, for a dense-in-itself GO-space constructed on a set of real numbers, the existence of such a dense subspace Y of X is equivalent to pseudo-completeness of (X,τ) (in the sense of Oxtoby). These results eliminate many pathological sets of real numbers as potential counterexamples to the still-open question: “Is there a domain-representable GO-space constructed on a subset of R that is not subcompact”? Finally, we use our subcompactness results to show that any co-compact GO-space constructed on a subset of R must be subcompact.     

Normal covers of various products

Throughout this paper, we consider the following two problems: (A) When does a rectangular normal cover of a product X×Y (or an infinite product _∏λ∈ΛXλ) have a σ-locally finite rectangular cozero refinement? (B) What kind of a refinement makes a rectangular open cover of a product X×Y (or an infinite product _∏λ∈ΛXλ) be normal? We shall discuss these problems on various products listed below.     

The partially ordered set of one-point extensions

A space Y is called an extension of a space X if Y contains X as a dense subspace. Two extensions of X are said to be equivalent if there is a homeomorphism between them which fixes X point-wise. For two (equivalence classes of) extensions Y and Y^′ of X let Y?Y^′ if there is a continuous function of Y^′ into Y which fixes X point-wise. An extension Y of X is called a one-point extension of X if Y?X is a singleton. Let P be a topological property. An extension Y of X is called a P-extension of X if it has P.One-point P-extensions comprise the subject matter of this article. Here P is subject to some mild requirements. We define an anti-order-isomorphism between the set of one-point Tychonoff extensions of a (Tychonoff) space X (partially ordered by ?) and the set of compact non-empty subsets of its outgrowth βX?X (partially ordered by ⊆). This enables us to study the order-structure of various sets of one-point extensions of the space X by relating them to the topologies of certain subspaces of its outgrowth. We conclude the article with the following conjecture. For a Tychonoff spaces X denote by U(X) the set of all zero-sets of βX which miss X.

Conjecture. For locally compact spaces X and Y the partially ordered sets(U(X),⊆)and(U(Y),⊆)are order-isomorphic if and only if the spacesclβX(βX?υX)andclβY(βY?υY)are homeomorphic.     

Covering by discrete and closed discrete sets

Say that a cardinal number κ is small relative to the space X if κ<Δ(X), where Δ(X) is the least cardinality of a non-empty open set in X. We prove that no Baire metric space can be covered by a small number of discrete sets, and give some generalizations. We show a ZFC example of a regular Baire σ-space and a consistent example of a normal Baire Moore space which can be covered by a small number of discrete sets. We finish with some remarks on linearly ordered spaces.     

On one-point metrizable extensions of locally compact metrizable spaces

For a non-compact metrizable space X, let E(X) be the set of all one-point metrizable extensions of X, and when X is locally compact, let EK(X) denote the set of all locally compact elements of E(X) and be the order-anti-isomorphism (onto its image) defined in [M. Henriksen, L. Janos, R.G. Woods, Properties of one-point completions of a non-compact metrizable space, Comment. Math. Univ. Carolin. 46 (2005) 105-123; in short HJW]. By definition λ(Y)=_?n<ωclβX(Un∩X)\X, where Y=X∪{p}∈E(X) and {Un}_n<ω is an open base at p in Y. We characterize the elements of the image of λ as exactly those non-empty zero-sets of βX which miss X, and the elements of the image of EK(X) under λ, as those which are moreover clopen in βX\X. This answers a question of [HJW]. We then study the relation between E(X) and EK(X) and their order structures, and introduce a subset ES(X) of E(X). We conclude with some theorems on the cardinality of the sets E(X) and EK(X), and some open questions.     

On extensions of countable filterbases to ultrafilters and ultrafilter compactness

We show in the Zermelo-Fraenkel set theory ZF without the axiom of choice:

1. Given an infinite set X, the Stone space S(X) is ultrafilter compact.

2. For every infinite set X, every countable filterbase of X extends to an ultra-filter i? for every infinite set X, S(X) is countably compact.

3. ω has a free ultrafilter i? every countable, ultrafilter compact space is countably compact.

   We also show the following:

4. There are a permutation model 𝒩 and a set X ∈ 𝒩 such that X has no free ultrafilters and S(X) is not compact but S(X) is countably compact and every countable filterbase of X extends to an ultrafilter.

5. It is relatively consistent with ZF that every countable filterbase of ω extends to an ultrafilter but there exists a countable filterbase of ? which does not extend to an ultrafilter. Hence, it is relatively consistent with ZF that ? has free ultrafilters but there exists a countable filterbase of ? which does not extend to an ultrafilter.

     

Group-valued continuous functions with the topology of pointwise convergence

Let G be a topological group with the identity element e. Given a space X, we denote by Cp(X,G) the group of all continuous functions from X to G endowed with the topology of pointwise convergence, and we say that X is: (a) G-regular if, for each closed set F⊆X and every point x∈X?F, there exist f∈Cp(X,G) and g∈G?{e} such that f(x)=g and f(F)⊆{e}; (b) G^?-regular provided that there exists g∈G?{e} such that, for each closed set F⊆X and every point x∈X?F, one can find f∈Cp(X,G) with f(x)=g and f(F)⊆{e}. Spaces X and Y are G-equivalent provided that the topological groups Cp(X,G) and Cp(Y,G) are topologically isomorphic.We investigate which topological properties are preserved by G-equivalence, with a special emphasis being placed on characterizing topological properties of X in terms of those of Cp(X,G). Since R-equivalence coincides with l-equivalence, this line of research “includes” major topics of the classical Cp-theory of Arhangel'ski? as a particular case (when G=R).We introduce a new class of TAP groups that contains all groups having no small subgroups (NSS groups). We prove that: (i) for a given NSS group G, a G-regular space X is pseudocompact if and only if Cp(X,G) is TAP, and (ii) for a metrizable NSS group G, a G^?-regular space X is compact if and only if Cp(X,G) is a TAP group of countable tightness. In particular, a Tychonoff space X is pseudocompact (compact) if and only if Cp(X,R) is a TAP group (of countable tightness). Demonstrating the limits of the result in (i), we give an example of a precompact TAP group G and a G-regular countably compact space X such that Cp(X,G) is not TAP.We show that Tychonoff spaces X and Y are T-equivalent if and only if their free precompact Abelian groups are topologically isomorphic, where T stays for the quotient group R/Z. As a corollary, we obtain that T-equivalence implies G-equivalence for every Abelian precompact group G. We establish that T-equivalence preserves the following topological properties: compactness, pseudocompactness, σ-compactness, the property of being a Lindelöf Σ-space, the property of being a compact metrizable space, the (finite) number of connected components, connectedness, total disconnectedness. An example of R-equivalent (that is, l-equivalent) spaces that are not T-equivalent is constructed.     

The compact-open topology: A new perspective

This paper studies the compact-open topology on the set KC(X) of all real-valued functions defined on a Tychonoff space, which are continuous on compact subsets of X. In addition to metrizability, separability and second countability of this topology on KC(X), various kinds of topological properties of this topology are studied in detail. Actually the motivation for studying the compact-open topology on KC(X) lies in the attempt of having a simpler proof for the characterization of a completeness property of the compact-open topology on C(X), the set of all real-valued continuous functions on X.     

There are no hereditary productive γ-spaces

We show that if X is an uncountable productive γ-set [F. Jordan, Productive local properties of function spaces, Topology Appl. 154 (2007) 870-883], then there is a countable Y⊆X such that X?Y is not Hurewicz.Along the way we answer a question of A. Miller by showing that an increasing countable union of γ-spaces is again a γ-space. We will also show that λ-spaces with the Hurewicz property are precisely those spaces for which every co-countable set is Hurewicz.