Compact spaces generated by retractions

We study compact spaces which are obtained from metric compacta by iterating the operation of inverse limit of continuous sequences of retractions. This class, denoted by R, has been introduced in [M. Burke, W. Kubi?, S. Todor?evi?, Kadec norms on spaces of continuous functions, http://arxiv.org/abs/math.FA/0312013]. Allowing continuous images in the definition of class R, one obtains a strictly larger class, which we denote by RC. We show that every space in class RC is either Corson compact or else contains a copy of the ordinal segment ω₁+1. This improves a result of Kalenda from [O. Kalenda, Embedding of the ordinal segment [0,ω₁] into continuous images of Valdivia compacta, Comment. Math. Univ. Carolin. 40 (4) (1999) 777-783], where the same was proved for the class of continuous images of Valdivia compacta. We prove that spaces in class R do not contain cutting P-points (see the definition below), which provides a tool for finding spaces in RC?R. Finally, we study linearly ordered spaces in class RC. We prove that scattered linearly ordered compacta belong to RC and we characterize those ones which belong to R. We show that there are only 5 types (up to order isomorphism) of connected linearly ordered spaces in class R and all of them are Valdivia compact. Finally, we find a universal pre-image for the class of all linearly ordered Valdivia compacta.     

Small Valdivia compact spaces

We prove a preservation theorem for the class of Valdivia compact spaces, which involves inverse sequences of retractions of a certain kind. Consequently, a compact space of weight?ℵ₁ is Valdivia compact iff it is the limit of an inverse sequence of metric compacta whose bonding maps are retractions. As a corollary, we show that the class of Valdivia compacta of weight?ℵ₁ is preserved both under retractions and under open 0-dimensional images. Finally, we characterize the class of all Valdivia compacta in the language of category theory, which implies that this class is preserved under all continuous weight preserving functors.     

The Namioka property of KC-functions and Kempisty spaces

A topological space Y is called a Kempisty space if for any Baire space X every function , which is quasi-continuous in the first variable and continuous in the second variable has the Namioka property. Properties of compact Kempisty spaces are studied in this paper. In particular, it is shown that any Valdivia compact is a Kempisty space and the Cartesian product of an arbitrary family of compact Kempisty spaces is a Kempisty space.     

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”.     

On Efimov spaces and Radon measures

We give a construction under CH of an infinite Hausdorff compact space having no converging sequences and carrying no Radon measure of uncountable type. Under ? we obtain another example of a compact space with no convergent sequences, which in addition has the stronger property that every nonatomic Radon measure on it is uniformly regular. This example refutes a conjecture of Mercourakis from 1996 stating that if every measure on a compact space K is uniformly regular then K is necessarily sequentially compact.     

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

Refinable and monotone maps revisited

Generalizing results by J. Ford, J. W. Rogers, Jr. and H. Kato we prove that (1) a map f from a G-like continuum onto a graph G is refinable iff f is monotone; (2) a graph G is an arc or a simple closed curve iff every G-like continuum that contains no nonboundary indecomposable subcontinuum admits a monotone map onto G.We prove that if bonding maps in the inverse sequence of compact spaces are refinable then the projections of the inverse limit onto factor spaces are refinable. We use this fact to show that refinable maps do not preserve completely regular or totally regular continua.     

A glance at spaces with closure-preserving local bases

Call a space X (weakly) Japanese at a pointx∈X if X has a closure-preserving local base (or quasi-base respectively) at the point x. The space X is (weakly) Japanese if it is (weakly) Japanese at every x∈X. We prove, in particular, that any generalized ordered space is Japanese and that the property of being (weakly) Japanese is preserved by σ-products; besides, a dyadic compact space is weakly Japanese if and only if it is metrizable. It turns out that every scattered Corson compact space is Japanese while there exist even Eberlein compact spaces which are not weakly Japanese. We show that a continuous image of a compact first countable space can fail to be weakly Japanese so the (weak) Japanese property is not preserved by perfect maps. Another interesting property of Japanese spaces is their tightness-monolithity, i.e., in every weakly Japanese space X we have for any set A⊂X.     

Collectionwise Hausdorff versus collectionwise normal with respect to compact sets

Collectionwise normal (CWN) and collectionwise Hausdorff (CWH) spaces have played an increasingly important role in topology since the introduction of these concepts by R.H. Bing in 1951 [3]. It has remained an open and frequently raised question as to whether CWH T₃-spaces are CWN with respect to compact sets. Recently, a counterexample requiring the existence of measurable cardinals and having little additional topological structure was constructed by W.G. Fleissner and the author. In this paper, the author gives a simple example in ZFC of a CWH, first countable, perfect T₃-space that is not CWN with respect to compact, metrizable sets, and, under Martin's Axiom, such an example that is also a Moore space. In addition, the author considers the analogous question for strongly collectionwise Hausdorff (SCWH) T₃-spaces and characterizes the existence of SCWH T₃-spaces that are not CWN with respect to compact sets in set-theoretic and box product formulations. The constructions utilized throughout the paper are of a general nature and several apparently new set-theoretic techniques for interchanging ‘points’ and ‘sets’ are introduced.     

On some classes of Lindelöf Σ-spaces

We consider special subclasses of the class of Lindelöf Σ-spaces obtained by imposing restrictions on the weight of the elements of compact covers that admit countable networks: A space X is in the class LΣ(?κ) if it admits a cover by compact subspaces of weight κ and a countable network for the cover. We restrict our attention to κ?ω. In the case κ=ω, the class includes the class of metrizably fibered spaces considered by Tkachuk, and the P-approximable spaces considered by Tka?enko. The case κ=1 corresponds to the spaces of countable network weight, but even the case κ=2 gives rise to a nontrivial class of spaces. The relation of known classes of compact spaces to these classes is considered. It is shown that not every Corson compact of weight ℵ₁ is in the class LΣ(?ω), answering a question of Tkachuk. As well, we study whether certain compact spaces in LΣ(?ω) have dense metrizable subspaces, partially answering a question of Tka?enko. Other interesting results and examples are obtained, and we conclude the paper with a number of open questions.     

Linearly ordered compacta and Banach spaces with a projectional resolution of the identity

We construct a compact linearly ordered space Kω₁ of weight ℵ₁, such that the space C(Kω₁) is not isomorphic to a Banach space with a projectional resolution of the identity, while on the other hand, Kω₁ is a continuous image of a Valdivia compact and every separable subspace of C(Kω₁) is contained in a 1-complemented separable subspace. This answers two questions due to O. Kalenda and V. Montesinos.     

Every scattered space is subcompact

We prove that every scattered space is hereditarily subcompact and any finite union of subcompact spaces is subcompact. It is a long-standing open problem whether every ?ech-complete space is subcompact. Moreover, it is not even known whether the complement of every countable subset of a compact space is subcompact. We prove that this is the case for linearly ordered compact spaces as well as for ω  -monolithic compact spaces. We also establish a general result for Tychonoff products of discrete spaces which implies that dense _Gδ$G_{\delta }$-subsets of Cantor cubes are subcompact.     

A note on monotone covering properties

In this note, we show that a monotonically normal space that is monotonically countably metacompact (monotonically meta-Lindelöf) must be hereditarily paracompact. This answers a question of H.R. Bennett, K.P. Hart and D.J. Lutzer. We also show that any compact monotonically meta-Lindelöf T₂-space is first countable. In the last part of the note, we point out that there is a gap in Proposition 3.8 which appears in [H.R. Bennett, K.P. Hart, D.J. Lutzer, A note on monotonically metacompact spaces, Topology Appl. 157 (2) (2010) 456-465]. We finally give a detailed proof of how to overcome the gap.     

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.     

Bounded sets in topological groups and embeddings

We show that the existence of a non-metrizable compact subspace of a topological group G often implies that G contains an uncountable supersequence (a copy of the one-point compactification of an uncountable discrete space). The existence of uncountable supersequences in a topological group has a strong impact on bounded subsets of the group. For example, if a topological group G contains an uncountable supersequence and K is a closed bounded subset of G which does not contain uncountable supersequences, then any subset A of K is bounded in G?(K?A). We also show that every precompact Abelian topological group H can be embedded as a closed subgroup into a precompact Abelian topological group G such that H is bounded in G and all bounded subsets of the quotient group G/H are finite. This complements Ursul's result on closed embeddings of precompact groups to pseudocompact groups.     

On sequentially compact T2 compactifications

It is known that a compact space can fail to be sequentially compact. In this paper we consider the following problem: when does a space admit a sequentially compact T₂ compactification? In the first section we develop a method to produce such compactifications, and we apply it in the second section to study the question using coverings.Moreover, we obtain solutions for locally compact T₂ spaces, and for metrizable spaces.     

On nearly pseudocompact spaces

A completely regular space X is called nearly pseudocompact if υX?X is dense in βX?X, where βX is the Stone-?ech compactification of X and υX is its Hewitt realcompactification. After characterizing nearly pseudocompact spaces in a variety of ways, we show that X is nearly pseudocompact if it has a dense locally compact pseudocompact subspace, or if no point of X has a closed realcompact neighborhood. Moreover, every nearly pseudocompact space X is the union of two regular closed subsets X₁, X₂ such that Int X₁ is locally compact, no points of X₂ has a closed realcompact neighborhood, and $\text{Int(X}{}_1\text{?X}{}_2\text{)=?}$. It follows that a product of two nearly pseudocompact spaces, one of which is locally compact, is also nearly pseudocompact.     

Dissipated compacta

The dissipated spaces form a class of compacta which contains both the scattered compacta and the compact LOTSes (linearly ordered topological spaces), and a number of theorems true for these latter two classes are true more generally for the dissipated spaces. For example, every regular Borel measure on a dissipated space is separable.The standard Fedor?uk S-space (constructed under ?) is dissipated. A dissipated compact L-space exists iff there is a Suslin line.A product of two compact LOTSes is usually not dissipated, but it may satisfy a weakening of that property. In fact, the degree of dissipation of a space can be used to distinguish topologically a product of n LOTSes from a product of m LOTSes.     

On the product of homogeneous spaces

Within the class of Tychonoff spaces, and within the class of topological groups, most of the natural questions concerning ‘productive closure’ of the subclasses of countably compact and pseudocompact spaces are answered by the following three well-known results: (1) [ZFC] There is a countably compact Tychonoff space X such that X × X is not pseudocompact; (2) [ZFC] The product of any set of pseudocompact topological groups is pseudocompact; and (3) [ZFC+ MA] There are countably compact topological groups G₀, G₁ such that G₀ × G₁ is not countably compact.In this paper we consider the question of ‘productive closure” in the intermediate class of homogeneous spaces. Our principal result, whose proof leans heavily on a simple, elegant result of V.V. Uspenski?, is this: In ZFC there are pseudocompact, homogeneous spaces X₀, X₁ such that X₀ × X₁ is not pseudocompact; if in addition MA is assumed, the spaces X_i may be chosen countably compact.Our construction yields an unexpected corollary in a different direction: Every compact space embeds as a retract in a countably compact, homogeneous space. Thus for every cardinal number α there is a countably compact, homogeneous space whose Souslin number exceeds α.