Baire-type properties of topological vector spaces

TL;DR

This paper explores Baire properties in topological vector spaces, introducing a new property $(MK)$ that generalizes previous conditions, and demonstrates that certain classes of these spaces are Baire, with applications to function spaces.

Contribution

It introduces the property $(MK)$, a weaker condition than $(K)$, and proves that $ ext{kappa}$-Fréchet--Urysohn spaces with $(MK)$ are Baire, extending known results.

Findings

Locally complete lcs have property $(MK)$.

$ ext{kappa}$-Fréchet--Urysohn tvs with $(MK)$ are Baire.

Constructed a feral Baire space with property $(K)$ not being $ ext{kappa}$-Fréchet--Urysohn.

Abstract

Burzyk, Kli\'{s} and Lipecki proved that every topological vector space (tvs) $E$ with the property $(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)$ and the notion of a Mackey null sequence we introduce a property $(MK)$ which is strictly weaker than the property $(K)$, and show that any locally complete lcs has the property $(MK)$. We prove that any $\kappa$-Fr\'{e}chet--Urysohn tvs with the property $(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 $E$ with the property $(K)$ and which is not $\kappa$-Fr\'{e}chet--Urysohn. Although a $\kappa$-Fr\'{e}chet--Urysohn lcs $E$ can be not a Baire space, we show that $E$ is always $b$-Baire-like in the sense of Ruess. Applications to spaces of Baire functions and $C_k$-spaces are given.