A+ CATEGORY SCIENTIFIC UNIT

# Publishing house / Journals and Serials / Bulletin of the Polish Academy of Sciences. Mathematics / All issues

## Bulletin of the Polish Academy of Sciences. Mathematics

PDF files of articles are only available for institutions which have paid for the online version upon signing an Institutional User License.

## On pseudocompactness and light compactness of metric spaces in $\mathbf {ZF}$

### Volume 66 / 2018

Bulletin Polish Acad. Sci. Math. 66 (2018), 99-113 MSC: 03E25, 54D30. DOI: 10.4064/ba8131-10-2018 Published online: 23 November 2018

#### Abstract

In the realm of metric spaces we show, in the Zermelo–Fraenkel set theory $\mathbf{ZF}$, that:

(a) A metric space $\mathbf{X}=(X,d)$ is countably compact iff it is pseudocompact.

(b) Given a metric space $\mathbf{X}=(X,d),$ the following statements are equivalent:

$\hskip2em$(i) $\mathbf{X}$ is lightly compact (every locally finite family of open sets is finite).

$\hskip2em$(ii) Every locally finite family of subsets of $\mathbf{X}$ is finite.

$\hskip2em$(iii) Every locally finite family of closed subsets of $\mathbf{X}$ is finite.

$\hskip2em$(iv) Every pairwise disjoint, locally finite family of subsets of $\mathbf{X}$ is finite.

$\hskip2em$(v) Every pairwise disjoint, locally finite family of closed subsets of $% \mathbf{X}$ is finite.

$\hskip2em$(vi) Every locally finite, pairwise disjoint family of open subsets of $% \mathbf{X}$ is finite.

$\hskip2em$(vii) Every locally finite open cover of $\mathbf{X}$ has a finite subcover.

(c) For every infinite set $X$, the powerset $\mathcal{P}(X)$ of $X$ has a countably infinite subset iff every countably compact metric space is lightly compact.

#### Authors

• Kyriakos KeremedisDepartment of Mathematics
University of the Aegean
Karlovassi, Samos 83200, Greece
e-mail

## Search for IMPAN publications

Query phrase too short. Type at least 4 characters.