English

On the Baire space of $\omega _1$-strongly compact weight

General Topology 2019-12-04 v1

Abstract

We prove that on the Baire space (Dκ,π)(D^{\kappa},\pi), κω0\kappa \geq \omega_0 where DD is a uniformly discrete space having ω1\omega _1-strongly compact cardinal and π\pi denotes the product uniformity on DκD^\kappa, there exists a zuz_u-filter F\mathcal{F} being Cauchy for the uniformity eπe\pi having as a base all the countable uniform partitions of (Dκ,π)(D^\kappa,\pi), and failing the countable intersection property. This fact is equivalent to the existence of a non-vanishing real-valued uniformly continuous function ff on DκD^{\kappa} for which the inverse function g=1/fg=1/f cannot be continuously extended to the completion of (Dκ0,eπ)(D^{\kappa _0},e\pi). This does not happen when the cardinal of DD is strictly smaller than the first Ulam-measurable cardinal.

Keywords

Cite

@article{arxiv.1912.01084,
  title  = {On the Baire space of $\omega _1$-strongly compact weight},
  author = {Ana S. Meroño},
  journal= {arXiv preprint arXiv:1912.01084},
  year   = {2019}
}