J Austral Math Soc Ser A 47 pp307--312, 1989.
(Received 28 March 1988)
All known Banach spaces have an infinite-dimensional separable quotient and so do all non-normable Fréchet spaces, although the general question for Banach spaces is still open. A properly separable topological vector space is defined, in such a way that separable and properly separable are equivalent for an infinite-dimensional complete matrisable space. The main result of this paper is that the strict inductive limit of a sequence of non-normable Fréchet spaces has a properly separable quotient.
1980 AMS Subject Classification (1985 Revision): 46A05, 46A07, 46A12
Last Modified: Wed Feb 19 10:27:50 2003