ALMOST 2-FULLY NORMAL,PAIRWISE PARACOMPACT AND COMPLETE DEVELOPABLE BISPACES

Abstract

Dedicated to Professor Sergio Salbany on the occasion of his 60th birthday.

We introduce and study the notion of an almost 2-fully normal bispace. In particular, we prove that a bispace is quasi-pseudometrizable if and only if it is almost 2-fully normal and pairwise developable. We obtain conditions under which an almost 2-fully normal bispace is subquasi-metrizable and show that the fine quasi-uniformity of any subquasi-metrizable topological space is bicomplete. We prove that every pairwise paracompact bispace (in the sense of Romaguera and Marin, 1988) is almost 2-fully normal and that the finest quasi-uniformity of any 2-Hausdorff pairwise paracompact bispace is bicomplete. We also characterize pairwise paracompactness in terms of a property of σ-Lebesgue type of the finest quasi-uniformity. Finally, we use Salbany's compactification of pairwise Tychonoff bispaces to characterize those bispaces that admit a bicomplete pair development and deduce that an interesting example of R. Fox of a non-quasi-metrizable pairwise stratifiable pairwise developable bispace admits a bicomplete pair development.     

Totally Bounded Quasi-Uniformities and Pseudocompactness of Bispaces

 We characterize pairwise Tychonoff bispaces that admit only totally bounded quasi-uniformities in terms of a suitable notion of bitopological pseudocompactness. We also show that a pairwise Tychonoff bispace has a unique (up to equivalence) bicompactification if and only if it admits a unique totally bounded quasi-unifomity. These results extend classical theorems of R. Doss for uniform spaces to the quasi-uniform (bitopological) setting, and are applied to the study of T ₀ topological spaces that admit a unique quasi-uniformity and a unique bicompactification, respectively. Finally, we discuss the problem of extending the classical Glicksberg theorem on product of pseudocompact spaces to bispaces and a partial solution is obtained. Supported by the Spanish Ministry of Science and Technology, grant BFM2000-1111. Supported by a grant from Generalitat Valenciana. Received November 7, 2001; in revised form August 14, 2002     

A wage-type example with a pseudocompact factor

The following example is constructed without any set-theoretic assumptions beyond ZFC: There exist a hereditarily separable hereditarily Lindelöf space X and a first-countable locally compact separable pseudocompact space Y such that dim X = dimY = 0, while dim(X × Y)>0.     

Realcompactness of hyperspaces and extensions of open-closed maps

In response to questions of Ginsburg [9, 10], we prove that if cf(c)>ω₁, then there exists an open-closed, continuous map f from a normal, realcompact space X onto a space Y which is not realcompact. By his result the hyperspace 2^x of closed subsets of X is then not realcompact, and the extension μf(vf) of f to the topological completion (the Hewitt realcompactification) of X is not onto. The latter fact solves problems raised by Morita [16] and by Isiwata [12] both negatively. We also consider the problem whether or not the hyperspace of a hereditarily Lindelöf space is hereditarily realcompact.     

Between compactness and completeness

Call a sequence in a metric space cofinally Cauchy if for each positive ε there exists a cofinal (rather than residual) set of indices whose corresponding terms are ε-close. We give a number of new characterizations of metric spaces for which each cofinally Cauchy sequence has a cluster point. For example, a space has such a metric if and only each continuous function defined on it is uniformly locally bounded. A number of results exploit a measure of local compactness functional that we introduce. We conclude with a short proof of Romaguera's Theorem: a metrizable space admits such a metric if and only if its set of points having a compact neighborhood has compact complement.     

The reduced measure algebra and a K1-space which is not K0

The reduced measure algebra is used to construct, under CH, a hereditarily Lindelöf separable K₁-space X which is not a K₀-space.     

There is no compactification theorem for the small inductive dimension

We give an example of a perfectly normal first countable space X¹ with ind X¹ = 1 such that if Z is a Lindelöf space containing X¹. then ind Z=dim Z=∞. Under CH, there is a perfectly normal, hereditarily separable and first countable such space.     

On hereditarily strong Σ-spaces

In this paper the structure of hereditarily strong Σ-spaces (hsΣ-spaces, for short) is dealt with. The main result asserts that an hsΣ-space is the disjoint union of two σ subspaces one of which is an F_σ, the other a G_δ subset. Examples are given that in many ways, this decomposition cannot be improved. Then we investigate the question when an hsΣ-space is a σ-space. It is shown that a GO-space (or a first countable compactum) is metrizable iff it is an hsΣ-space, thereby proving a conjecture of J. van Wouwe. σ-spaces are characterized as being identical with perfect hsΣ-spaces. The question whether a Lindelöf, first countable hsΣ-space is a σ-space is shown to be independent of set theory. A characterization of hsΣ-spaces with no compact subsets of cardinality >2^ω is given.     

Closed maps on metric spaces

The following result is proved: Let Y be the image of a metric space X under a closed map f. Then every ?f^-1(y) is Lindelöf if and only if Y has a point-countable k-network.     

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.     

A note on monotonically metacompact spaces

We show that any metacompact Moore space is monotonically metacompact and use that result to characterize monotone metacompactness in certain generalized ordered (GO) spaces. We show, for example, that a generalized ordered space with a σ-closed-discrete dense subset is metrizable if and only if it is monotonically (countably) metacompact, that a monotonically (countably) metacompact GO-space is hereditarily paracompact, and that a locally countably compact GO-space is metrizable if and only if it is monotonically (countably) metacompact. We give an example of a non-metrizable LOTS that is monotonically metacompact, thereby answering a question posed by S.G. Popvassilev. We also give consistent examples showing that if there is a Souslin line, then there is one Souslin line that is monotonically countable metacompact, and another Souslin line that is not monotonically countably metacompact.     

Scattered compactifications and the orderability of scattered spaces

A space is defined to be suborderable if it is embeddable in a (totally) orderable space. The length of a scattered space X is the least ordinal a such that X(_a), the ath derived set of X, is empty. It is shown that a suborderable scattered space of countable length is hereditarily paracompact, orderable, and admits an orderable scattered compactification.     

Quasi-Metrizable Spaces Satisfying Certain Completeness Conditions

It is shown that a quasi-metrizable space possesses a -base if and only if it admits a left -complete quasi-metric and that a quasi-metrizable Moore space possesses a -base if and only if it admits a Smyth complete quasi-metric. Furthermore those quasi-metrizable Moore spaces are characterized that admit a right -complete (equivalently, bicomplete) quasi-metric. Finally, it is established that a topological space admits a Smyth complete quasi-uniformity if and only if it is quasi-sober.     

The construction of all locally compact extensions

The paper presents one of the ways to construct all the locally compact extensions of a given Tychonoff space T. First, there proved the “local” variant of the Stone-C?ech theorem on “completely regular” Riesz spaces X(T) of continuous bounded functions on T with no unit function, in general, but with a collection of local units. In Theorem 1 it is proved that all the functions from X(T) can be “completely regularly” extended on the largest locally compact extension β_xT. Theorem 3 states, that β_xT are presenting, in fact, all the locally compact extensions of T.     

PRODUCTS IN TOPOLOGY

Abstract

Examples are provided which demonstrate that in many cases topological products do not behave as they should. A new product for topological spaces is defined in a natural way by means of interior covers. In general this is no longer a topological space but can be interpreted as categorical product in a category larger than Top. For compact spaces the new product coincides with the old. There is a converse: For symmetric topological spaces X the following conditions are equivalent: (1) X is compact; (2) for each cardinal k the old and the new product X^k coincide; (3) for each compact Hausdorff space Y the old and the new product X x Y coincide. The new product preserves paracompactness, zero-dimensionality (in the covering sense), the Lindelöf property, and regular-closedness. With respect to the new product, a space is N-complete iff it is zerodimensional and R-complete.     

A compact L-space under CH

The continuum Hypothesis implies that there is a compact Hausdorff space which is hereditarily Lindelöf but not separable. The space is the support of a Borel probability measure for which the measure-0 subsets, the first-category subsets, and the separable subsets all coincide.     

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.     

The one-point Lindelöfication of an uncountable discrete space can be surlindelöf

We prove that the one-point Lindelöfication of a discrete space of cardinality ω ₁ is homeomorphic to a subspace of C _p (X) for some hereditarily Lindelöf space X if the axiom holds.     

Hereditary normality-type properties of hyperspaces

Let X be a Hausdorff topological space and exp(X) be the space of all (nonempty) closed subsets of a space X with the Vietoris topology. We consider hereditary normality-type properties of exp(X). In particular, we prove that if exp(X) is hereditarily D-normal, then X is a metrizable compact space.     

On cardinality bounds involving the weak Lindelöf degree

We give a general closing-off argument in Theorem 2.3 from which several corollaries follow, including (1) if X is a locally compact Hausdorff space then |X| ≤ 2^wL(X)ψ(X), and (2) if X is a locally compact power homogeneous Hausdorff space then |X| ≤ 2^wL(X)t(X). The first extends the well-known cardinality bound 2^ψ(X) for a compactum X in a new direction. As |X| ≤ 2^wL(X)χ(X) for a normal spaceX[4], this enlarges the class of known Tychonoff spaces for which this bound holds. In 2.12 we give a short, direct proof of (1) that does not use 2.3. Yet 2.3 is broad enough to establish results much more general than (1), such as if X is a regular space with a π-base ? such that |B| ≤ 2^wL(X)χ(X) for all B ∈ ?, then |X| ≤ 2^wL(X)χ(X).

Separately, it is shown that if X is a regular space with a π-base whose elements have compact closure, then |X| ≤ 2^{wL(X)ψ(X)t(X)}. This partially answers a question from [4] and gives a third, separate proof of (1). We also show that if X is a weakly Lindelöf, normal, sequential space with χ(X) ≤ 2^?0, then |X| ≤ 2^?0.

Result (2) above is a new generalization of the cardinality bound 2^t(X) for a power homogeneous compactum X (Arhangel'skii, van Mill, and Ridderbos [3], De la Vega in the homogeneous case [10]). To this end we show that if U ? clD ? X, where X is power homogeneous and U is open, then |U| ≤ |D|^πχ(X). This is a strengthening of a result of Ridderbos [19].