On subcompactness and countable subcompactness of metrizable spaces in ZF

@article{Keremedis2022,
abstract = {We show in ZF that: (i) Every subcompact metrizable space is completely metrizable, and every completely metrizable space is countably subcompact. (ii) A metrizable space $\mathbf \{X\}=(X,T)$ is countably compact if and only if it is countably subcompact relative to $T$. (iii) For every metrizable space $\mathbf \{X\}=(X,T)$, the following are equivalent: (a) $\mathbf \{X\}$ is compact; (b) for every open filter $\mathcal \{F\}$ of $\mathbf \{X\}$, $\bigcap \lbrace \overline\{F\}\colon F\in \mathcal \{F\}\rbrace \ne \emptyset $; (c) $\mathbf \{X\}$ is subcompact relative to $T$. We also show: (iv) The negation of each of the statements, (a) every countably subcompact metrizable space is completely metrizable, (b) every countably subcompact metrizable space is subcompact, (c) every completely metrizable space is subcompact, is relatively consistent with ZF. (v) AC if and only if for every family $\lbrace \mathbf \{X\}_\{i\}\colon i\in I\rbrace $ of metrizable subcompact spaces, for every family $\lbrace \mathcal \{B\}_\{i\}\colon i\in I\rbrace $ such that for every $i\in I$, $\mathcal \{B\}_\{i\}$ is a subcompact base for $\mathbf \{X\}_\{i\}$, the Tychonoff product $\mathbf \{X\}=\prod _\{i\in I\} \mathbf \{X\}_\{i\}$ is subcompact with respect to the standard base $\mathcal \{B\}$ of $\mathbf \{X\}$ generated by the family $\lbrace \mathcal \{B\}_\{i\}\colon i\in I\rbrace $.},
author = {Keremedis, Kyriakos},
journal = {Commentationes Mathematicae Universitatis Carolinae},
keywords = {axiom of choice; compact; countably compact; subcompact; countably subcompact; lightly compact metric space},
language = {eng},
number = {2},
pages = {229-244},
publisher = {Charles University in Prague, Faculty of Mathematics and Physics},
title = {On subcompactness and countable subcompactness of metrizable spaces in ZF},
url = {http://eudml.org/doc/298522},
volume = {62 63},
year = {2022},
}

TY - JOUR
AU - Keremedis, Kyriakos
TI - On subcompactness and countable subcompactness of metrizable spaces in ZF
JO - Commentationes Mathematicae Universitatis Carolinae
PY - 2022
PB - Charles University in Prague, Faculty of Mathematics and Physics
VL - 62 63
IS - 2
SP - 229
EP - 244
AB - We show in ZF that: (i) Every subcompact metrizable space is completely metrizable, and every completely metrizable space is countably subcompact. (ii) A metrizable space $\mathbf {X}=(X,T)$ is countably compact if and only if it is countably subcompact relative to $T$. (iii) For every metrizable space $\mathbf {X}=(X,T)$, the following are equivalent: (a) $\mathbf {X}$ is compact; (b) for every open filter $\mathcal {F}$ of $\mathbf {X}$, $\bigcap \lbrace \overline{F}\colon F\in \mathcal {F}\rbrace \ne \emptyset $; (c) $\mathbf {X}$ is subcompact relative to $T$. We also show: (iv) The negation of each of the statements, (a) every countably subcompact metrizable space is completely metrizable, (b) every countably subcompact metrizable space is subcompact, (c) every completely metrizable space is subcompact, is relatively consistent with ZF. (v) AC if and only if for every family $\lbrace \mathbf {X}_{i}\colon i\in I\rbrace $ of metrizable subcompact spaces, for every family $\lbrace \mathcal {B}_{i}\colon i\in I\rbrace $ such that for every $i\in I$, $\mathcal {B}_{i}$ is a subcompact base for $\mathbf {X}_{i}$, the Tychonoff product $\mathbf {X}=\prod _{i\in I} \mathbf {X}_{i}$ is subcompact with respect to the standard base $\mathcal {B}$ of $\mathbf {X}$ generated by the family $\lbrace \mathcal {B}_{i}\colon i\in I\rbrace $.
LA - eng
KW - axiom of choice; compact; countably compact; subcompact; countably subcompact; lightly compact metric space
UR - http://eudml.org/doc/298522
ER -