Locally compact spaces of countable core and Alexandroff compactification

We introduce a new cardinal invariant, core of a space, defined for any locally compact Hausdorff space X and denoted by cor(X). Locally compact spaces of countable core generalize locally compact σ-compact spaces in a way that is slightly exotic, but still quite natural. We show in Section 1 that under a broad range of conditions locally compact spaces of countable core must be σ-compact. In particular, normal locally compact spaces of countable core and realcompact locally compact spaces of countable core are σ-compact. Perfect mappings preserve the class of spaces of countable core in both directions (Section 2). The Alexandroff compactification aX is weakly first countable at the Alexandroff point a if and only if cor(X)=ω (Section 3). Two examples of non-σ-compact locally compact spaces of countable core are discussed in Section 3. We also extend the well-known theorem of Alexandroff and Urysohn on the cardinality of perfectly normal compacta to compacta satisfying a weak version of perfect normality. Several open problems are formulated.     

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.     

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.     

Homotopical properties of upper semifinite hyperspaces of compacta

In this paper we study homotopical properties of a special neighborhood system, which is denoted by {Uε}_?>0, for the canonical embedding of a compact metric space in its upper semifinite hyperspace to get results in the shape theory for compacta. We also point out that there are spaces with the shape of finite discrete spaces and having not the homotopy type of any T₁-space     

Amalgams, connectifications, and homogeneous compacta

We construct a path-connected homogeneous compactum with cellularity c that is not homeomorphic to any product of dyadic compacta and first countable compacta. We also prove some closure properties for classes of spaces defined by various connectifiability conditions. One application is that every infinite product of infinite topological sums of Ti spaces has a Ti pathwise connectification, where i∈{1,2,3,3.5}.     

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.     

The Cartesian product of a compactum and a space is a bifunctor in shape

In 2003 the author has associated with every cofinite inverse system of compact Hausdorff spaces X with limit X and every simplicial complex K (possibly infinite) with geometric realization P=|K| a resolution R(X,K) of X×P, which consists of paracompact spaces. If X consists of compact polyhedra, then R(X,K) consists of spaces having the homotopy type of polyhedra. In two subsequent papers the author proved that R(X,K) is a covariant functor in each of its variables X and K. In the present paper it is proved that R(X,K) is a bifunctor. Using this result, it is proved that the Cartesian product X×Z of a compact Hausdorff space X and a topological space Z is a bifunctor SSh(Cpt)×Sh(Top)→Sh(Top) from the product category of the strong shape category of compact Hausdorff spaces SSh(Cpt) and the shape category Sh(Top) of topological spaces to the category Sh(Top). This holds in spite of the fact that X×Z need not be a direct product in Sh(Top).     

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

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.     

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.     

Transitivity is neither hereditary nor finitely productive

We construct a transitive space that is the union of two subspaces homeomorphic to the (non-transitive) Kofner plane. Moreover, we show that the product of two transitive spaces need not be transitive. Finally, we observe that results of E.K. van Douwen establish that, under b = c, there exists a locally countable locally compact non-transitive zero-dimensional space. It follows that under b = c neither a locally transitive nor a compact space need be transitive.     

Complex function algebras and removable spaces

The compact Hausdorff space X has the Complex Stone-Weierstrass Property (CSWP) iff it satisfies the complex version of the Stone-Weierstrass Theorem. W. Rudin showed that all scattered spaces have the CSWP. We describe some techniques for proving that certain non-scattered spaces have the CSWP. In particular, if X is the product of a compact ordered space and a compact scattered space, then X has the CSWP if and only if X does not contain a copy of the Cantor set.     

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

There is no upper bound of small transfinite compactness degree in metrizable spaces

In [J.M. Aarts, T. Nishiura, Dimension and Extensions, North-Holland, Amsterdam, 1993], Aarts and Nishiura investigated several types of dimensions modulo a class P of spaces. These dimension functions have natural transfinite extensions. The small transfinite compactness degree trcmp is such transfinite dimension function extending the small compactness degree cmp. We shall prove that there is no upper bound for trcmp in the class of metrizable spaces, i.e. for each ordinal number α there exists a metrizable space Xα such that trcmpXα=α. We also give a characterization of the dimension dim of a separable (compact) metrizable space in terms of the function cmp of the product of this space with a nowhere locally compact zero-dimensional factor.     

Ordered spaces, metric preimages, and function algebras

We consider the Complex Stone-Weierstrass Property (CSWP), which is the complex version of the Stone-Weierstrass Theorem. If X is a compact subspace of a product of three linearly ordered spaces, then X has the CSWP if and only if X has no subspace homeomorphic to the Cantor set. In addition, every finite power of the double arrow space has the CSWP. These results are proved using some results about those compact Hausdorff spaces which have scattered-to-one maps onto compact metric spaces.     

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.     

Monotone versions of δ-normality

According to Mack a space is countably paracompact if and only if its product with [0,1] is δ-normal, i.e. any two disjoint closed sets, one of which is a regular Gδ-set, can be separated. In studying monotone versions of countable paracompactness, one is naturally led to consider various monotone versions of δ-normality. Such properties are the subject of this paper. We look at how these properties relate to each other and prove a number of results about them, in particular, we provide a factorization of monotone normality in terms of monotone δ-normality and a weak property that holds in monotonically normal spaces and in first countable Tychonoff spaces. We also discuss the productivity of these properties with a compact metrizable space.     

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 invertible linear surjections and splitting problems for selections

Let A+B be the pointwise (Minkowski) sum of two convex subsets A and B of a Banach space. Is it true that every continuous mapping h:X→A+B splits into a sum h=f+g of continuous mappings f:X→A and g:X→B? We study this question within a wider framework of splitting techniques of continuous selections. Existence of splittings is guaranteed by hereditary invertibility of linear surjections between Banach spaces. Some affirmative and negative results on such invertibility with respect to an appropriate class of convex compacta are presented. As a corollary, a positive answer to the above question is obtained for strictly convex finite-dimensional precompact spaces.