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

DOI10.1016/J.TOPOL.2019.02.036MaRDI QIDQ2415933zbMATH OpenOpenAlexFDO

Authors Sidney A. Morris, Saak S. Gabriyelyan

Publication date 23 May 2019

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1804.02652

zbMATH Keywords

Banach spacecircle groupFréchet spacelocally convex spacequotient groupquotient spaceseparableseparable quotient problemtopological group

Mathematics Subject Classification ID

General theory of locally convex spaces (46A03) Locally convex Fréchet spaces and (DF)-spaces (46A04) Nonseparable Banach spaces (46B26) Topological groups (topological aspects) (54H11)

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'{e}chet space has an infinite-dimensional separable quotient space, namely $mathbb{R}^{o}mega$. It is proved in this paper that every infinite-dimensional Fr'{e}chet space (including every infinite-dimensional Banach space), indeed every locally convex space which has a subspace which is an infinite-dimensional Fr'{e}chet space, has an infinite-dimensional (in the topological sense) separable metrizable quotient group, namely $mathbb{T}^{o}mega$, where $mathbbT$ denotes the compact unit circle group.

Review text

The authors show that every infinite-dimensional Banach space has \(\mathbb{T}^\omega\) as a quotient group, where \(\mathbb{T}\) denotes the compact unit circle group. Indeed, they prove, in Theorem 2.1, the same result in a more general setting. In detail, if \(E\) is a locally convex space (over either the real or the complex field) which contains as a subspace an infinite-dimensional Fréchet space, then \(E\) has \(\mathbb{T}^\omega\) as a quotient group. In addition, the authors provide two examples: \begin{itemize} \item Example 2.4 shows that the condition in Theorem 2.1 is not necessary. \item Example 2.5 shows that not every complete locally convex space has \(\mathbb{T}^\omega\) as a quotient group. \end{itemize}

Recommendations

• The separable quotient problem for topological groups
• Infinite-dimensional separable quotients of Banach space
• A remark on the separable quotient problem for topological groups
• Separability of topological groups: a survey with open problems
• On separability of Banach spaces and the separable quotient problem

Cites work

• Barrelled spaces with(out) separable quotients
• Every infinite-dimensional non-Archimedean Fréchet space has an orthogonal basic sequence
• scientific article; zbMATH DE number 3647508 (Why is no real title available?)
• scientific article; zbMATH DE number 3476334 (Why is no real title available?)
• scientific article; zbMATH DE number 976831 (Why is no real title available?)
• scientific article; zbMATH DE number 790431 (Why is no real title available?)
• Metrizable (LF)-spaces, (db)-spaces, and the separable quotient problem
• Separable quotients in 𝐶_{𝑐}(𝑋), 𝐶_{𝑝}(𝑋), and their duals
• Some problems on bases in Banach and Frechet spaces
• The Ascoli property for function spaces and the weak topology of Banach and Fréchet spaces
• The equivalence of some Banach space problems
• The separable quotient problem for topological groups
• The structure of compact groups. A primer for the student -- A handbook for the expert
• The structure of weakly compact sets in Banach spaces
• Unconditional families in Banach spaces
• Zur Theorie der Systeme linearer Gleichungen

Cited in

(6)

• The separable quotient problem for topological groups
• Separability of topological groups: a survey with open problems
• Locally convex properties of Baire type function spaces
• A remark on the separable quotient problem for topological groups
• Revisiting Mazur separable quotient problem (1932)
• Densities and weights of quotients of precompact abelian groups

This page was built for publication: A topological group observation on the Banach-Mazur separable quotient problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2415933)