On subcompactness and countable subcompactness of metrizable spaces in ZF

[摘要] 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: \noindent(a) \mathbf{X} is compact; \noindent(b) for every open filter \mathcal{F} of \mathbf{X}, \bigcap \{\overline{F}\colon F\in \mathcal{F}\}\neq \emptyset ; \noindent(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 \{\mathbf{X}_{i}\colon i\in I\} of metrizable subcompact spaces, for every family \{\mathcal{B}_{i}\colon i\in I\} 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 \{\mathcal{B}_{i}\colon i\in I\}.

[学科分类] 物理化学和理论化学

[关键词] axiom of choice;compact;countably compact;subcompact;countably subcompact;lightly compact metric space