Borel properties of linear operators.
The main result of the present paper generalizes a theorem of Saint-Raymond on the Borel classification of the inverse map \(T^{-1}: TX \to X\) of a bounded linear operator \(T: X \to Y\) from a separable Banach space \(X\) to a Banach space \(Y\) to the case of non-separable spaces \(X\). Given \(A \subset X^*\), denote by \(A_{(1)}\) (by \(A_{[1]}\)) the set of the limits of all \(w^*\)-converging sequences (respectively, bounded nets) of elements from \(A\), and define inductively \(A_{(\alpha)}= \bigcup_{\beta < \alpha}(A_{(\beta)})_{(1)}\) (respectively, \(A_{[\alpha]}= \bigcup_{\beta < \alpha}(A_{[\beta]})_{[1]}\)) for any ordinal \(\alpha\). Saint-Raymond's theorem states that if \(X\) is separable and \(T\) is injective then \(T^{-1}\) is of the Borel class \(\alpha\) if and only if \((T^* Y^*)_{(\alpha)} = X^*\). This is not true in general when \(X\) is not separable. To state the main result, recall the following definitions. A family \({\mathcal H} = \{H_i: i \in I \}\) of subsets of a metric space \(X\) is said to be {discrete} if any point \(x \in X\) has a neighborhood \(V\) which meets at most one member of \({\mathcal H}\). The family \({\mathcal H}\) is {\(\sigma\)-discretely decomposable} if there are discrete families \((\{H_i^n: i \in I \})_{n=1}^{\infty}\) such that \(H_i = \bigcup_{n=1}^{\infty} H_i^n\) for every \(i \in I\). Following R.~W.~Hansell, an injective map \(T: X \to Y\) is co-\(\sigma\)-discrete if for every discrete family \(\{H_i: i \in I \}\) in \(X\) the family \(\{T(H_i): i \in I \}\) is \(\sigma\)-discretely decomposable. If \(X\) is separable, then any map is automatically co-\(\sigma\)-discrete. The {bounded-net order} (bn-order) of an \(A \subset X^*\) is defined to be the first ordinal \(\alpha\) with \(A_{[\alpha]} = A_{[\alpha + 1]}\). The main result asserts that for an injective linear bounded co-\(\sigma\)-discrete operator \(T: X \to Y\) between Banach spaces, the inverse \(T^{-1}\) is Borel measurable if and only if the bn-order of \(T^* Y^*\) is countable, and in such a case it coincides with the Borel class of \(T^{-1}\).
- \(G_{\delta}\)-embeddings in Hilbert space
- An Axiom for Nonseparable Borel Theory
- Analytic sets in Hausdorff spaces
- Baire Class 1 Selectors for Upper Semicontinuous Set-Valued Maps
- Decomposition of Banach space into a direct sum of separable and reflexive subspaces and Borel maps
- Espaces de Banachs faiblement K-analytiques
- Espaces à modèle séparable
- Functional analysis and infinite-dimensional geometry
- scientific article; zbMATH DE number 1989630 (Why is no real title available?)
- scientific article; zbMATH DE number 1511258 (Why is no real title available?)
- scientific article; zbMATH DE number 3255437 (Why is no real title available?)
- Kadec norms and Borel sets in a Banach space
- Locally uniformly rotund renorming and fragmentability
- On Characterizing Non-Separable Analytic and Extended Borel Sets as Types of Continuous Images
- On some class of Borel measurable maps and absolute Borel topological spaces
- On WCG Asplund spaces and Eberlein compacta
- Smooth bump functions and geomentry of Banach spaces
- A property of the Borel matrix
- Inverses of Borel functions
- Decomposition of Banach space into a direct sum of separable and reflexive subspaces and Borel maps
- scientific article; zbMATH DE number 4216001 (Why is no real title available?)
- scientific article; zbMATH DE number 822037 (Why is no real title available?)
- Weak^* closures and derived sets for convex sets in dual Banach spaces
- On subspaces whose weak^* derived sets are proper and norm dense
This page was built for publication: Borel properties of linear operators.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1426981)
