From B-completeness to countable codimensional subspaces via the closed graph theorem

Abstract

SynopsisWe show that for some closed graph theorems each countable codimensional subspace of a domain space may also serve as a domain space. This provides a general principle from which we are able to extract some of the known results on the inheritance of topological vector space properties by subspaces of countable codimension. We make use of a result of Savgulidze and Smoljanov on B-completeness for which we provide a new and simpler proof.