Completeness in topological vector spaces and filters on N

Ideal and statistical convergence (40A35) General theory of locally convex spaces (46A03) Convergence in general topology (sequences, filters, limits, convergence spaces, nets, etc.) (54A20)

Abstract: We study completeness of a topological vector space with respect to different filters on the set N of all naturals. In the metrizable case all these kinds of completeness are the same, but in non-metrizable case the situation changes. For example, a space may be complete with respect to one ultrafilter on N, but incomplete with respect to another. Our study was motivated by [Aizpuru, List'an-Garc'ia and Rambla-Barreno; Quaest. Math., 2014] and [List'an-Garc'ia; Bull. Belg. Math. Soc. Simon Stevin, 2016] where for normed spaces the equivalence of the ordinary completeness and completeness with respect to f-statistical convergence was established.

Review text

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.

Recommendations

Cites work

Cited in

(8)

This page was built for publication: Completeness in topological vector spaces and filters on \(\mathbb{N}\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2139114)