The closed neighborhood and filter conditions in solid sequence spaces (Q804885)

Summary: Let E be a topological vector space of scalar sequences, with topology \(\tau\) ; (E,\(\tau\)) satisfies the closed neighborhood condition iff there is a basis of neighborhoods at the origin, for \(\tau\), consisting of sets which are closed with respect to the topology \(\pi\) of coordinate-wise convergence on E; (E,\(\tau\)) satisfies the filter condition iff every filter, Cauchy with respect to \(\tau\), convergent with respect to \(\pi\), converges with respect to \(\tau\). Examples are given of solid normed spaces of sequences which (a) fail to satisfy the filter condition, or (b) satisfy the filter condition, but not the closed neighborhood condition. (Robertson and others have given examples fulfilling (a), and examples fulfilling (b), but these examples were not solid, normed sequence spaces.) However, it is shown that among separated, separable solid pairs (E,\(\tau\)), the filter and closed neighborhood conditions are equivalent, and equivalent to the usual coordinate sequences constituting an unconditional Schauder basis for (E,\(\tau\)). Consequently, the usual coordinate sequences do constitute an unconditional Schauder basis in every complete, separable, separated, solid pair (E,\(\tau\)).