Closed Discrete Bases in Countable-Dimensional Topological Vector Spaces

Abstract

Let K be either a complete nondiscrete second-countable valued field (e.g., [Formula: see text] or [Formula: see text]) or a finite field. It is proved that any countable-dimensional topological vector space over K has a closed discrete basis.