A topological group observation on the Banach--Mazur separable quotient problem

2018/04/08 by Saak S. Gabriyelyan, Gabriyelyan, Saak S., Sidney A. Morris +1
Mathematics · #46A03 #46A04 #46B26 #54H11 #FOS: Mathematics #Functional Analysis (math.FA) #General Topology (math.GN) #math.FA #math.GN #msc:46A03 #msc:46A04 #msc:46B26 #msc:54H11

paper · pdf · doi:10.48550/arxiv.1804.02652

arxiv created 2018/04/08 · arxiv updated 2018/04/10

Abstract

The Banach-Mazur problem, which asks if every infinite-dimensional Banach space has an infinite-dimensional separable quotient space, has remained unsolved for 85 years, but has been answered in the affirmative for special cases such as reflexive Banach spaces. It is also known that every infinite-dimensional non-normable Fréchet space has an infinite-dimensional separable quotient space, namely ℝ^ω. It is proved in this paper that every infinite-dimensional Fréchet space (including every infinite-dimensional Banach space), indeed every locally convex space which has a subspace which is an infinite-dimensional Fréchet space, has an infinite-dimensional (in the topological sense) separable metrizable quotient group, namely \mathbbT^ω, where \mathbbT denotes the compact unit circle group.

Related

• The Separable Quotient Problem for Topological Groups
• On the separable quotient problem for Banach spaces
• Isometric embeddings of separable Banach spaces into (ℓ^∞ ∖ c)∪\0\
• Descriptive set theory of separable Fréchet spaces
• An infinite Ramsey theorem and some Banach-space dichotomies