Completeness in topological vector spaces and filters on \(\mathbb{N}\) (Q2139114)

Let \(\mathfrak F\) be a free filter on the set \(\mathbb N\) of positive integers. The authors call a topological vector space (TVS) \(X\) complete over \(\mathfrak F\) if every Cauchy sequence over \(\mathfrak F\) has a limit over \(\mathfrak F\) (denoted as \(X\in\text{Compl}(\mathfrak F)\)). They first prove that for a metrizable TVS \(X\) the following assertions are equivalent: (i) \(X\) is complete; (ii) \(X\in\text{Compl}(\mathfrak F)\) for every filter \(\mathfrak F\) on \(\mathbb N\); (iii) There is a free filter \(\mathfrak F\) on \(\mathbb N\) such that \(X\in\text{Compl}(\mathfrak F)\); (iv) \(X\) is sequentially complete, thus extending a result from [\textit{A. Aizpuru} et al., Quaest. Math. 37, No. 4, 525--530 (2014; Zbl 1426.40002)]. In the rest of the paper they treat the general case of (possibly) non-metrizable TVS's, where the previous assertion need not hold. They discuss the relationship between completeness with respect to various filters on \(\mathbb N\), in particular giving examples of: (i) a sequentially complete space which is not complete with respect to any free ultrafilter on \(\mathbb N\); (ii) a space which is complete with respect to a free ultrafilter on \(\mathbb N\) but is not complete with respect to some other ultrafilter.