-
Supercompact minus compact is super
Authors:
Taras Banakh,
Zdzisław Kosztołowicz,
Sławomir Turek
Abstract:
According to a folklore characterization of supercompact spaces, a compact Hausdorff space is supercompact if and only if it has a binary closed $k$-network. This characterization suggests to call a topological space $super$ if it has a binary closed $k$-network $\mathcal N$. The binarity of $\mathcal N$ means that every linked subfamily of $\mathcal N$ is centered. Therefore, a Hausdorff space is…
▽ More
According to a folklore characterization of supercompact spaces, a compact Hausdorff space is supercompact if and only if it has a binary closed $k$-network. This characterization suggests to call a topological space $super$ if it has a binary closed $k$-network $\mathcal N$. The binarity of $\mathcal N$ means that every linked subfamily of $\mathcal N$ is centered. Therefore, a Hausdorff space is supercompact if and only if it is super and compact. In this paper we prove that the class of super spaces contains all GO-spaces, all supercompact spaces, all metrizable spaces, and all collectionwise normal $\aleph$-spaces. Moreover, the class of super spaces is closed under taking Tychonoff products and discretely dense sets in Tychonoff products. The superness of metrizable spaces implies that each compact metrizable space is supercompact, which was first proved by Strok and Szymański (1975) and then reproved by Mills (1979), van Douwen (1981), and D{\c e}bski (1984).
△ Less
Submitted 8 June, 2019;
originally announced June 2019.
-
Hereditarily supercompact spaces
Authors:
Taras Banakh,
Zdzislaw Kosztolowicz,
Slawomir Turek
Abstract:
A topological space $X$ is called hereditarily supercompact if each closed subspace of X is supercompact. By a combined result of Bula, Nikiel, Tuncali, Tymchatyn, and Rudin, each monotonically normal compact Hausdorff space is hereditarily supercompact. A dyadic compact space is hereditarily supercompact if and only if it is metrizable. Under (MA + not CH) each separable hereditarily supercompact…
▽ More
A topological space $X$ is called hereditarily supercompact if each closed subspace of X is supercompact. By a combined result of Bula, Nikiel, Tuncali, Tymchatyn, and Rudin, each monotonically normal compact Hausdorff space is hereditarily supercompact. A dyadic compact space is hereditarily supercompact if and only if it is metrizable. Under (MA + not CH) each separable hereditarily supercompact space is hereditarily separable and hereditarily Lindelöf. This implies that under (MA + not CH) a scattered compact space is metrizable if and only if it is separable and hereditarily supercompact. The hereditary supercompactness is not productive: the product [0,1] x αD of the closed interval and the one-point compactification αD of a discrete space D of cardinality |D|\ge non(M) is not hereditarily supercompact (but is Rosenthal compact and uniform Eberlein compact). Moreover, under the assumption cof(M)=ω_1 the space [0,1] x αD contains a closed subspace X which is first countable and hereditarily paracompact but not supercompact.
△ Less
Submitted 22 January, 2013;
originally announced January 2013.
-
Characterizing chainable, tree-like, and circle-like continua
Authors:
Taras Banakh,
Zdzislaw Kosztolowicz,
Slawomir Turek
Abstract:
We prove that a continuum $X$ is tree-like (resp. circle-like, chainable) if and only if for each open cover $\U_4=\{U_1,U_2,U_3,U_4\}$ of $X$ there is a $\U_4$-map $f:X\to Y$ onto a tree (resp. onto the circle, onto the interval). A continuum $X$ is an acyclic curve if and only if for each open cover $\U_3=\{U_1,U_2,U_3\}$ of $X$ there is a $\U_3$-map $f:X\to Y$ onto a tree (or the interval…
▽ More
We prove that a continuum $X$ is tree-like (resp. circle-like, chainable) if and only if for each open cover $\U_4=\{U_1,U_2,U_3,U_4\}$ of $X$ there is a $\U_4$-map $f:X\to Y$ onto a tree (resp. onto the circle, onto the interval). A continuum $X$ is an acyclic curve if and only if for each open cover $\U_3=\{U_1,U_2,U_3\}$ of $X$ there is a $\U_3$-map $f:X\to Y$ onto a tree (or the interval $[0,1]$).
△ Less
Submitted 25 January, 2011; v1 submitted 28 March, 2010;
originally announced March 2010.
