Intersections of ^p spaces in the Borel hierarchy

DOI10.1016/J.JMAA.2021.124922MaRDI QIDQ1998608zbMATH OpenOpenAlexFDO

Authors Vassilios Gregoriades

Publication date 7 March 2021

Published in Journal of Mathematical Analysis and Applications (Search for Journal in Brave)

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

zbMATH Keywords

Borel classes in sequence spacesintersection of \(\ell^p\) spaces

Mathematics Subject Classification ID

Sequence spaces (including Köthe sequence spaces) (46A45) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05)

Review text

Let \(0\le a< b<\infty\) be fixed. The main result says that the set \(\bigcap_{p>a}\ell^p\) is a \(\Pi^0_3\)-complete subset of the space \(\ell^b\). This answers in negative a question of Nestoridis who proved in [\textit{V.~Nestoridis}, ``A project about chains of spaces, regarding topological and algebraic genericity and spaceability, Preprint, \url{arXiv:2005.01023}] that \(\ell^a\) is \(F_\sigma\) in \(\ell^b\) if \(a>0\) and asked whether the set \(\bigcap_{p>a}\ell^p\) is \(F_\sigma\) in \(\ell^b\). The fact that \(\bigcap_{p>a}\ell^p\) is \(\Pi^0_3\)-hard, and thus not \(\Sigma^0_3\), is proved by construction of a continuous \(f:2^\omega\to\ell^b\) such that \(f^{-1}(\bigcap_{p>a}\ell^p)=P_3\), where \(P_3\) is a concrete \(\Pi^0_3\)-complete subset of \(2^\omega\). Consequences for Borel classes of \(\bigcap_{p>a}\ell^p\) in some other classical sequence spaces containing \(\bigcap_{p>a}\ell^p\) properly are discussed.

Recommendations

• On the Borelness of the intersection operation
• Complexities and representations of \mathcal F-Borel spaces
• Absolute \(\mathcal F\)-Borel classes
• Borel sets and functions in topological spaces
• On complemented subspaces of the spaces \((l^p)^N\cap l^q(l^q)\)

Cites work

• Abstract theory of universal series and applications
• Baire's category theorem and trigonometric series
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• Linear subsets of nonlinear sets in topological vector spaces
• Universal families and hypercyclic operators

Cited in

(7)

• Spaces that are intersections of chains of locally bicompact spaces
• Topological and algebraic genericity and spaceability for an extended chain of sequence spaces
• Natural examples of \(\boldsymbol\Pi_{5}^{0}\)-complete sets in analysis
• An arbitrary intersection of \(L_{p}\)-spaces
• Unions and Intersections of Families ofLp-Spaces
• Topological and algebraic genericity in chains of sequence spaces and function spaces
• Intersections of \ell^p spaces in the Borel hierarchy

This page was built for publication: Intersections of \(\ell^p\) spaces in the Borel hierarchy

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