On the Borelness of the intersection operation
The Effros-Borel structure equips the set of closed subsets of a Polish space \(X\) with a standard Borel structure, that is, with the Borel structure of a Polish space. It is therefore natural to investigate the complexity of natural set-theoretic operations such as intersection, and \textit{J. P. R. Christensen} [Math. Ann. 195, 17--23 (1971; Zbl 0215.48303)] showedthat this operation is Borel exactly when \(X\) is \(\sigma\)-compact. The present article is devoted to the restriction of the intersection operation to special collections of closed sets: namely, linear subspaces or subgroups of separable Banach spaces. These collections are, of course, equipped with the structure induced by the Effros-Borel structure, which turns out to be standard as well. The authors show that, when a Banach space \(X\) is quasi-reflexive, the intersection operation on its closed subspaces is Borel, but, on the other hand, that it is not so if \(X\) contains a subspace which has a Schauder decomposition into infinitely many non-reflexive Banach spaces. It follows, for instance, that a subspace of an order-continuous Banach lattice is reflexive if and only if this intersection operation is Borel. The case of closed subgroups leads to interesting open problems: it is shown that a necessary condition for the Borelness of the intersection operation of closed subgroups of a separable Banach space \(X\) is that \(X\) is hereditarily indecomposable. We mention that the Effros-Borel structure of the collection of separable Banach spaces (seen as the closed subspaces of a universal space) has been used, in particular, in [\textit{B. Bossard}, Fundam. Math. 172, No. 2, 117--152 (2002; Zbl 1029.46009)]. Also, the result asserting that the linear continuous image of a separable Banach space can be Borel of arbitrarily high rank has been shown in [\textit{J. Saint-Raymond}, Ann. Inst. Fourier 26, No. 3, 211--256 (1976; Zbl 0324.46003)].
- On separable Banach subspaces
- THE POSITION OF IN
- Descriptive set theory and the geometry of Banach spaces
- scientific article; zbMATH DE number 411656
- Some descriptive set-theoretic properties of the isomorphism relation between Banach spaces
- A coding of separable Banach spaces. Analytic and coanalytic families of Banach spaces
- scientific article; zbMATH DE number 910936
- Louveau's theorem for the descriptive set theory of internal sets
- The complexity of the isomorphism class of some Banach spaces
- Polishable subspaces of infinite-dimensional separable Banach spaces
- A double-dual characterization of separable Banach spaces containing ^1
- Banach spaces and descriptive set theory: selected topics
- Classical Banach spaces. 1: Sequence spaces. 2. Function spaces.
- Diagonal actions and Borel equivalence relations
- Genericity and amalgamation of classes of Banach spaces
- scientific article; zbMATH DE number 3861790 (Why is no real title available?)
- scientific article; zbMATH DE number 47995 (Why is no real title available?)
- scientific article; zbMATH DE number 2206777 (Why is no real title available?)
- Methods in the theory of hereditarily indecomposable Banach spaces
- On separable Banach subspaces
- On some properties of Effros Borel structure on spaces of closed subsets
- Quasi-Reflexive Spaces
- The Unconditional Basic Sequence Problem
This page was built for publication: On the Borelness of the intersection operation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q375692)
