Characterizations of normal covers of rectangular products

Stone, Michael and Morita have given various equivalent conditions for normal covers of topological spaces. Here, as an analogue of the classic characterization, we give some characterizations for normal covers of rectangular products in terms of cozero rectangles. Moreover, we apply our characterizations to consider the base-paracompactness of rectangular products.     

Products of monotonically normal spaces with factors defined by topological games

Recently, it has been proved that orthocompactness implies normality for the products of a monotonically normal space and a compact space. It had been known that normality, collectionwise normality and the shrinking property are equivalent for the same products. We extend these two results for the products replacing the compact factor with a factor defined by topological games. Moreover, we prove the equivalence of orthocompactness and weak suborthocompactness in these products.     

Normality of products of monotonically normal spaces with compact spaces

Let S be the class of all spaces, each of which is homeomorphic to a stationary subset of a regular uncountable cardinal (depending on the space). In this paper, we prove the following result: The product X×C of a monotonically normal space X and a compact space C is normal if and only if S×C is normal for each closed subspace S in X belonging to S. As a corollary, we obtain the following result: If the product of a monotonically normal space and a compact space is orthocompact, then it is normal.     

On perfectly normal dense subspaces of products

Let M be a separable metric space consisting of more than one point. We construct perfectly normal dense subspaces Z⊂Mc² and (under additional set-theoretic assumption) Y⊂Mc which are not collectionwise Hausdorff.     

Compact factors in finally compact products of topological spaces

We present instances of the following phenomenon: if a product of topological spaces satisfies some given compactness property then the factors satisfy a stronger compactness property, except possibly for a small number of factors.The first known result of this kind, a consequence of a theorem by A.H. Stone, asserts that if a product is regular and Lindelöf then all but at most countably many factors are compact. We generalize this result to various forms of final compactness, and extend it to two-cardinal compactness. In addition, our results need no separation axiom.     

On nonnormal products and a set of A.H. Stone

A variant of Michael's example is given to the following effect: there is a Lindelöf space M of weight ℵ₁, with all Gδ-sets open, such that M×B(ℵ₁) is nonnormal. This answers a question from [K. Alster, On the class of ω₁-metrizable spaces whose product with every paracompact space is paracompact, Topology Appl. 153 (2006) 2508-2517].     

Normal covers of infinite products and normality of Σ-products

We give some characterizations for normal covers of infinite products of generalized metric spaces such as M-spaces, Σ-spaces and β-spaces. We prove them simultaneously in terms of β-spaces and perfect maps. Next, we give affirmative answers to two questions concerning the normality of Σ-products, which were raised by the author and Yamazaki, respectively. These results are stated in terms of Σ-products of β-spaces.     

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.     

Fréchetness of inverse limits and products

Let X be a Suslin-Borel set in a compact space. It is proved that X is either σ-scattered or contains a compact perfect set. If X is first countable, the result remains valid when X is a Suslin-Borel set in a Prohorov space. It is also proved that every first countable Prohorov space is a Baire space.     

On products of discretely generated spaces

Assuming a measurable cardinal exists, we construct a pair of discretely generated spaces whose product fails to be weakly discretely generated. Under the Continuum Hypothesis, a similar result is obtained for a pair of countable Fréchet spaces as well as for two compact discretely generated spaces whose product is not discretely generated. A somewhat weaker example is presented assuming Martin's Axiom for countable posets. Further, the class of strongly discretely generated compacta is shown to preserve discrete generability in products.     

More generalizations of pseudocompactness

We introduce a covering notion depending on two cardinals, which we call O-[μ,λ]-compactness, and which encompasses both pseudocompactness and many other known generalizations of pseudocompactness. For Tychonoff spaces, pseudocompactness turns out to be equivalent to O-[ω,ω]-compactness.We provide several characterizations of O-[μ,λ]-compactness, and we discuss its connection with D-pseudocompactness, for D an ultrafilter. The connection turns out to be rather strict when the above notions are considered with respect to products. In passing, we provide some conditions equivalent to D-pseudocompactness.Finally, we show that our methods provide a unified treatment both for O-[μ,λ]-compactness and for [μ,λ]-compactness.     

Countably compact hyperspaces and Frolík sums

Let H⁰(X) (H(X)) denote the set of all (nonempty) closed subsets of X endowed with the Vietoris topology. A basic problem concerning H(X) is to characterize those X for which H(X) is countably compact. We conjecture that u-compactness of X for some u∈ω^∗ (or equivalently: all powers of X are countably compact) may be such a characterization. We give some results that point into this direction.We define the property R(κ): for every family of closed subsets of X separated by pairwise disjoint open sets and any family of natural numbers, the product is countably compact, and prove that if H(X) is countably compact for a T₂-space X then X satisfies R(κ) for all κ. A space has R(1) iff all its finite powers are countably compact, so this generalizes a theorem of J. Ginsburg: if X is T₂ and H(X) is countably compact, then so is Xn for all n<ω. We also prove that, for κ<t, if the T₃ space X satisfies a weak form of R(κ), the orbit of every point in X is dense, and X contains κ pairwise disjoint open sets, then Xκ is countably compact. This generalizes the following theorem of J. Cao, T. Nogura, and A. Tomita: if X is T₃, homogeneous, and H(X) is countably compact, then so is Xω.Then we study the Frolík sum (also called “one-point countable-compactification”) of a family . We use the Frolík sum to produce countably compact spaces with additional properties (like first countability) whose hyperspaces are not countably compact. We also prove that any product _∏α<κH⁰(Xα) embeds into .     

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.     

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.     

One more topological equivalent of CH

It is noted that CH is equivalent to the assumption that every dense pseudocompact subspace of c² contains a dense Lindelöf subspace.     

On box products

We prove two theorems about box products. The first theorem says that the box product of countable spaces is pseudonormal, i.e. any two disjoint closed sets one of which is countable can be separated by open sets. The second theorem says that assuming CH a certain uncountable box product is normal (i.e. <_ω1?□_α<ω1X_α where each Xα is a compact metric space).     

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.     

Rectangularity of products and completions of their subsets

The approach to the problem of the distribution of the functors of the Stone-?ech compactification, the Hewitt realcompactification or the Dieudonné completion with the operation of taking products is discussed using uniform structures on products. In particular, the role of different rectangular conditions is shown. Relative analogues of this question and new examples of (strongly) rectangular products are presented. Characterizations of bounded rectangular subsets of the product are given.     

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.