English

Baire-type properties of topological vector spaces

Functional Analysis 2026-02-06 v2

Abstract

Burzyk, Kli\'{s} and Lipecki proved that every topological vector space (tvs) EE with the property (K)(K) is a Baire space. K\c{a}kol and S\'{a}nchez Ruiz proved that every sequentially complete Fr\'{e}chet--Urysohn locally convex space (lcs) is Baire. Being motivated by the property (K)(K) and the notion of a Mackey null sequence we introduce a property (MK)(MK) which is strictly weaker than the property (K)(K), and show that any locally complete lcs has the property (MK)(MK). We prove that any κ\kappa-Fr\'{e}chet--Urysohn tvs with the property (MK)(MK) is a Baire space; consequently, each locally complete κ\kappa-Fr\'{e}chet--Urysohn lcs is a Baire space. This generalizes both the aforementioned results. We construct a feral Baire space EE with the property (K)(K) and which is not κ\kappa-Fr\'{e}chet--Urysohn. Although a κ\kappa-Fr\'{e}chet--Urysohn lcs EE can be not a Baire space, we show that EE is always bb-Baire-like in the sense of Ruess. Applications to spaces of Baire functions and CkC_k-spaces are given.

Cite

@article{arxiv.2601.23008,
  title  = {Baire-type properties of topological vector spaces},
  author = {Saak Gabriyelyan and Alexander V. Osipov and Evgenii Reznichenko},
  journal= {arXiv preprint arXiv:2601.23008},
  year   = {2026}
}
R2 v1 2026-07-01T09:27:49.864Z