In the paper, we investigate (scattered) compact spaces with a $P$-base for some poset $P$. More specifically, we prove that, under the assumption $ω_1<\mathfrak{b}$, any compact space with an $ω^ω$-base is first-countable and any scattered compact space with an $ω^ω$-base is countable. These give positive solutions to Problems 8.6.9 and 8.7.7 in \cite{Banakh2019}. Using forcing, we also prove that in a model of $ω_1<\mathfrak{b}$, there is a non-first-countable compact space with a $P$-base for some poset $P$ with calibre~$ω_1$.
We construct a family of Hausdorff spaces such that every finite product of spaces in the family (possibly with repetitions) is CLP-compact, while the product of all spaces in the family is non-CLP-compact. Our example will yield a single Hausdorff space $X$ such that every finite power of $X$ is CLP-compact, while no infinite power of $X$ is CLP-compact. This answers a question of Steprāns and Šostak.
In this paper we consider the problem of characterization of topological spaces that embed into countably compact Hausdorff spaces. We study the separation axioms of subspaces of countably compact Hausdorff spaces and construct an example of a regular separable scattered topological space which cannot be embedded into an Urysohn countably compact topological space but embeds into a Hausdorff countably compact space.
Inspired by a recent work of Dias and Tall, we show that a compact indestructible space is sequentially compact. We also prove that a Lindelof Hausdorff indestructible space has the finite derived set property and a compact Hausdorff indestructible space is pseudoradial.
In \cite{Chaber}, Chaber has proved that countably compact spaces with a quasi $G_{δ}$-diagonal are compact. We prove that initially $κ$% -compact spaces with a quasi $G_{κ}$-diagonal are compact, for any infinite cardinal $κ.
A topological measure on a locally compact space is a set function on open and closed subsets which is finitely additive on the collection of open and compact sets, inner regular on open sets, and outer regular on closed sets. Almost all works devoted to topological measures, corresponding non-linear functionals, and their applications deal with compact spaces. The present paper is one in a series that investigates topological measures and corresponding non-linear functionals on locally compact spaces. Here we examine solid and semi-solid sets on a locally compact space. We then give a method …
A theorem by Norman L. Noble from 1970 asserts that every product of completely regular, locally pseudo-compact k_R-spaces is a k_R-space. As a consequence, all direct products of locally compact Hausdorff spaces are k_R-spaces. We provide a streamlined proof for this fact.
We introduce the open degree of a compact space, and we show that for every natural number n, the separable Rosenthal compact spaces of degree n have a finite basis.
We show that a linearly ordered topological space is initially λ-compact if and only if it is λ-bounded, that is, every set of cardinality $\leq λ$ has compact closure. As a consequence, every product of initially λ-compact linearly ordered topological spaces is initially λ-compact.
For a separable locally compact but not compact metrizable space $X$, let $αX = X \cup \{x_\infty\}$ be the one-point compactification with the point at infinity $x_\infty$. We denote by $EM(X)$ the space consisting of admissible metrics on $X$, which can be extended to an admissible metric on $αX$, endowed with the compact-open topology. Let $ \mathbf{c}_0 \subset (0,1)^\mathbb{N}$ be the space of sequences converging to $0$. In this paper, we shall show that if $X$ is separable, locally connected and locally compact but not compact, and there exists a sequence $\{C_i\}$ of connected sets in …
Hurewicz proved completely metrizable Menger spaces are /sigma-compact. We extend this to Cech-complete Menger spaces and consistently to projective Menger metrizable spaces. On the other hand, it is consistent that there is a co-analytic Menger space that is not /sigma-compact.
Our work aims to introduce generalization of soft $ μ$-compact soft generalized topological spaces, namely; soft nearly $ μ$-compact spaces which are defined over initial universe with a fixed set of parameters. Basic properties and some significant corollaries will be introduced, Moreover, we investigated that a soft nearly $ μ$-compact space produces a parametrized family of nearly $ μ$-compact spaces. Some counter examples will be established to show that the converse may not be hold.
As it was introduced by Tkachuk and Wilson, a topological space $X$ is cellular-compact if given any cellular, i.e. disjoint, family $\mathcal U$ of non-empty open subsets of $X$ there is a compact subspace $K\subset X$ such that $K\cap U\ne \emptyset$ for each $U\in \mathcal U$. Answering several questions raised by Tkachuk and Wilson we show that (1) any first countable cellular-compact $T_2$ space is $T_3$, and so its cardinality is at most $\mathfrak{c} = 2^ω$; (2) $cov(\mathcal M)>ω_1$ implies that every first countable and separable cellular-compact $T_2$ space is compact; (3 if there is…
We give a new characterization of Valdivia compact spaces: A compact space is Valdivia if and only if it has a dense commutatively monotonically retractable subspace. This result solves Problem 5.12 from \cite{sal-rey}. Besides, we introduce the notion of full $c$-skeleton and prove that a compact space is Corson if and only if it has a full $c$-skeleton.
We give a definition of compactness in L-fuzzy topological spaces and provide a characterization of compact L-fuzzy topological spaces, where L is a complete quasi-monoidal lattice with some additional structures, and we present a version of Tychonoff's theorem within the category of L-fuzzy topological spaces.
We characterize the finite dimensional asymmetric normed spaces which are right bounded and the relation of this property with the natural compactness properties of the unit ball, as compactness and strong compactness. In contrast with some results found in the existing literature, we show that not all right bounded asymmetric norms have compact closed balls. We also prove that there are finite dimensional asymmetric normed spaces that satisfy that the closed unit ball is compact, but not strongly compact, closing in this way an open question on the topology of finite dimensional asymmetric no…
We prove some consistency results concerning the Moving Off Property for locally compact spaces and thus the question of whether their function spaces are Baire.
We continue studying the properties of $γ_0$-compact, $γ^*$-regular and $γ$-normal spaces defined in [5]. We also define and discuss $γ$-locally compact spaces.
We provide examples of nonseparable compact spaces with the property that any continuous image which is homeomorphic to a finite product of spaces has a maximal prescribed number of nonseparable factors.
The aim of this paper is to prove the existence of inductive and inverse limits of direct and inverse systems in a certain category of compact metric spaces as well as of compact metric groups. Some applications are presented.
We prove that if K is a remainder of the Hilbert space (i.e., K is the complement of the Hilbert space in its metrizable compactification) then every non-one-point closed image of K either contains a compact set with no transfinite dimension or contains compact sets of arbitrarily high inductive transfinite dimension ind. We construct also for each natural n a sigma-compact metrizable n-dimensional space whose image under any non-constant closed map has dimension at least n, and analogous examples for the transfinite dimension ind.
We present a connected version of the compact $L$-space constructed by Kenneth Kunen under CH. We show that this provides a Corson compact space $K$ such that the Banach space $C(K)$ is isomorphic to no space of continuous function on a zero-dimensional compactum.
In this paper, some features of countably $α$-compact topological spaces are presented and proven. The connection between countably $α$% -compact, Tychonoff, and $α$-Hausdorff spaces is explained. The space is countably $α$-compact space iff every locally finite family of non-empty subsets of such space is finite is demonstrated. The countably $% α$-compact space with weight greater than or equal to $\aleph_0$ is the $α$-continuous image of a closed subspace of the cube $D^{\aleph_0}$ is discussed. The boundedness of $α$-continuous functions mapping $α$% -compact spaces to other spaces is clea…
A compact space is said to be weakly Radon-Nikodým if it is homeomorphic to a weak*-compact subset of the dual of a Banach space not containing an isomorphic copy of $\ell_1$. In this work we provide an example of a continuous image of a Radon-Nikodým compact space which is not weakly Radon-Nikodým. Moreover, we define a superclass of the continuous images of weakly Radon-Nikodým compact spaces and study its relation with Corson compacta and weakly Radon-Nikodým compacta.
We prove that each metrizable space (of cardinality less or equal to continuum) has a (first countable) uniform Eberlein compactification and each scattered metrizable space has a scattered hereditarily paracompact compactification. Each compact scattered hereditarily paracompact space is uniform Eberlein and belongs to the smallest class of compact spaces, that contain the empty set, the singleton, and is closed under producing the Aleksandrov compactification of the topological sum of a family of compacta from that class.
We use lexicographic products to give examples of compact spaces of first Baire class functions on a compact metric space that cannot be represented as spaces of functions with countably many discontinuities.
An $ω_1$-compact space is a space in which every closed discrete subspace is countable. We give various general conditions under which a locally compact, $ω_1$-compact space is $σ$-countably compact, i.e., the union of countably many countably compact spaces. These conditions involve very elementary properties. Many results shown here are independent of the usual (ZFC) axioms of set theory, and the consistency of some may involve large cardinals. For example, it is independent of the ZFC axioms whether every locally compact, $ω_1$-compact space of cardinality $\aleph_1$ is $σ$-countably compac…
A convex subset X of a linear topological space is called compactly convex if there is a continuous compact-valued map $Φ:X\to exp(X)$ such that $[x,y]\subsetΦ(x)\cup Φ(y)$ for all $x,y\in X$. We prove that each convex subset of the plane is compactly convex. On the other hand, the space $R^3$ contains a convex set that is not compactly convex. Each compactly convex subset $X$ of a linear topological space $L$ has locally compact closure $\bar X$ which is metrizable if and only if each compact subset of $X$ is metrizable.
We prove that a continuous image of a Radon-Nikodým compact space of weight less than b is Radon-Nikodým compact. As a Banach space counterpart, subspaces of Asplund generated Banach spaces of density character less than b are Asplund generated. In this case, in addition, there exists a subspace of an Asplund generated space which is not Asplund generated which has density character exactly b.
A duality theorem for the category of locally compact Hausdorff spaces and continuous maps which generalizes the well-known Duality Theorem of de Vries is proved.
Let $X$ be a zero-dimensional metric space and $X'$ its derived set. We prove the following assertions: (1) the space $C_k(X,2)$ is an Ascoli space iff $C_k(X,2)$ is $k_\mathbb{R}$-space iff either $X$ is locally compact or $X$ is not locally compact but $X'$ is compact, (2) $C_k(X,2)$ is a $k$-space iff either $X$ is a topological sum of a Polish locally compact space and a discrete space or $X$ is not locally compact but $X'$ is compact, (3) $C_k(X,2)$ is a sequential space iff $X$ is a Polish space and either $X$ is locally compact or $X$ is not locally compact but $X'$ is compact, (4) $C_k…
It is a well known open problem if, in ZFC, each compact space with a small diagonal is metrizable. We explore properties of compact spaces with a small diagonal using elementary chains of submodels. We prove that ccc subspaces of such spaces have countable π-weight. We generalize a result of Gruenhage about spaces which are metrizably fibered. Finally we discover that if there is a Luzin set of reals, then every compact space with a small diagonal will have many points of countable character.
In the context of classical associations between classes of Banach spaces and classes of compact Hausdorff spaces we survey known results and open questions concerning the existence and nonexistence of universal Banach spaces and of universal compact spaces in various classes. This gives quite a complex network of interrelations which quite often depend on additional set-theoretic assumptions.
