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

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

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.     

Infima and complements in the lattice of quasi-uniformities

We show that the infimum of any family of proximally symmetric quasi-uniformities is proximally symmetric, while the supremum of two proximally symmetric quasi-uniformities need not be proximally symmetric. On the other hand, the supremum of any family of transitive quasi-uniformities is transitive, while there are transitive quasi-uniformities whose infimum with their conjugate quasi-uniformity is not transitive. Moreover we present two examples that show that neither the supremum topology nor the infimum topology of two transitive topologies need be transitive. Finally, we prove that several operations one can perform on and between quasi-uniformities preserve the property of having a complement.     

A study of cut points in connected topological spaces

We prove that every H(i) subset H of a connected space X such that there is no proper connected subset of X containing H, contains at least two non-cut points of X. This is used to prove that a connected space X is a COTS with endpoints if and only if X has at most two non-cut points and has an H(i) subset H such that there is no proper connected subset of X containing H. Also we obtain some other characterizations of COTS with endpoints and some characterizations of the closed unit interval.     

Compact sets of continuity for Borel functions

We investigate connections between complexity of a function f from a Polish space X to a Polish space Y and complexity of the set , where K(X) denotes the space of all compact subsets of X equipped with the Vietoris topology. We prove that if C(f) is analytic, then f is Borel; and assuming -determinacy we show that f is Borel if and only if C(f) is coanalytic. Similar results for projective classes are also presented.     

Sequences of semicontinuous functions accompanying continuous functions

A space X is said to have property (USC) (resp. (LSC)) if whenever is a sequence of upper (resp. lower) semicontinuous functions from X into the closed unit interval [0,1] converging pointwise to the constant function 0 with the value 0, there is a sequence of continuous functions from X into [0,1] such that fn?gn (n∈ω) and converges pointwise to 0. In this paper, we study spaces having these properties and related ones. In particular, we show that (a) for a subset X of the real line, X has property (USC) if and only if it is a σ-set; (b) if X is a space of non-measurable cardinal and has property (LSC), then it is discrete. Our research comes of Scheepers' conjecture on properties S₁(Γ,Γ) and wQN.     

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.     

Atsuji completions: Equivalent characterisations

A metric space (X,d) is called an Atsuji space if every real-valued continuous function on (X,d) is uniformly continuous. It is well known that an Atsuji space must be complete. A metric space (X,d) is said to have an Atsuji completion if its completion is an Atsuji space. In this paper, we study twenty-nine equivalent characterisations for a metric space to have an Atsuji completion.     

The orderability of nonarchimedean spaces

Let X be a nonarchimedean space and C be the union of all compact open subsets of X. The following conditions are listed in increasing order of generality. (Conditions 2 and 3 are equivalent.) 1. X is perfect; 2. C is an F_σ in X; 3. C? is metrizable; 4. X is orderable. It is also shown that X is orderable if $\text{C}\text{?}\text{?C}$ is scattered or X is a GO space with countably many pseudogaps. An example is given of a non-orderable, totally disconnected, GO space with just one pseudogap.     

Even continuity and topological equicontinuity in topologized semigroups

A topologized semigroup X having an evenly continuous resp., topologically equicontinuous, family RX of right translations is investigated. It is shown that: (1) every left semitopological semigroup X with an evenly continuous family RX is a topological semigroup, (2) a semitopological group X is a paratopological group if and only if the family RX is evenly continuous and (3) a semitopological group X is a topological group if and only if the family RX is topologically equicontinuous. In particular, we get that for any paratopological group X which is not a topological group, the family RX provides an example of a transitive group of homeomorphisms of X that is evenly continuous and not topologically equicontinuous. The last conclusion answers negatively a question posed by H.L. Royden.     

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.     

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.     

On the Laczkovich-Komjáth property of sigma-ideals

Komjáth in 1984 proved that, for each sequence (An) of analytic subsets of a Polish space X, if lim supn∈HAn is uncountable for every H∈ω[N] then _?n∈GAn is uncountable for some G∈ω[N]. This fact, by our definition, means that the σ-ideal [X]^?ω has property (LK). We prove that every σ-ideal generated by X/E has property (LK), for an equivalence relation E⊂X² of type Fσ with uncountably many equivalence classes. We also show the parametric version of this result. Finally, the invariance of property (LK) with respect to various operations is studied.     

Domain representability of certain function spaces

Let Cp(X) be the space of all continuous real-valued functions on a space X, with the topology of pointwise convergence. In this paper we show that Cp(X) is not domain representable unless X is discrete for a class of spaces that includes all pseudo-radial spaces and all generalized ordered spaces. This is a first step toward our conjecture that if X is completely regular, then Cp(X) is domain representable if and only if X is discrete. In addition, we show that if X is completely regular and pseudonormal, then in the function space Cp(X), Oxtoby's pseudocompleteness, strong Choquet completeness, and weak Choquet completeness are all equivalent to the statement “every countable subset of X is closed”.     

Cleavability over ordinals

In this paper we show that if X is an infinite compactum cleavable over an ordinal, then X must be homeomorphic to an ordinal. X must also therefore be a LOTS. This answers two fundamental questions in the area of cleavability. We also leave it as an open question whether cleavability of an infinite compactum X over an ordinal λ implies X is embeddable into λ.