Optimal sequences of continuous functions converging to a Baire-1 function

DOI10.1007/S00208-002-0354-0MaRDI QIDQ1865620zbMATH OpenOpenAlexFDO

Authors Vassilis Kanellopoulos, Spiros A. Argyros

Publication date 27 March 2003

Published in Mathematische Annalen (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00208-002-0354-0

zbMATH Keywords

Rosenthal's \(c_0\)-index

Mathematics Subject Classification ID

Continuity and related questions (modulus of continuity, semicontinuity, discontinuities, etc.) for real functions in one variable (26A15) Isomorphic theory (including renorming) of Banach spaces (46B03)

Review text

Let \(K\) be a compact metric space, \(f\) a real valued function on \(K\), and \((f_n)\) a uniformly bounded sequence of continuous functions converging pointwise to \(f\). In the topological part of this article the authors clarify the relation between the discontinuities of \(f\) and the oscillatory behavior of \((f_n)\). This is done by using the transfinite oscillations \(\text{osc}_\xi\,f\) introduced by Rosenthal and the new \(\xi\)-th variation \(\nu_\xi\) of the sequence \((f_n)\), \(\xi\) a countable ordinal. It is shown that there is a convex block sequence of \((f_n)\) which is optimal with respect to \(\text{osc}_\xi\) and \(\nu_\xi\). The motivation for this work is to give a proof of Rosenthal's \(c_0\)-index conjecture. For a bounded function \(f\) on \(K\) which is not in \(D(K)\), the set of differences of bounded semicontinuous functions, it is known that there is a least countable ordinal \(\xi\) such that \(\text{osc}_\xi\,f\) is unbounded. This ordinal \(\xi\) is the non-\(D\) index \(r_{ND}(f)\) and measures the distance to \(D(K)\) in the sense that \(r_{ND}(f)\) is small if \(f\) is ``far from \(D\). The conjecture then said, that for a separable Banach space \(X\) not containing \(c_0\) and \(K=(B_{X^*},\omega^*)\) there is a countable ordinal \(\xi\) such that \(r_{ND}(x^{**}| K)\leq\xi\) for all \(x^{**}\in X^{**}\setminus X\). This is a strong quantitative improvement of the result that \(X\) contains \(c_0\) iff there is \(x^{**}\in X^{**}\setminus X\) which is in \(D(K)\). The proof is long and intricate. An introduction to the topic is [\textit{S. A. Argyros, G. Godefroy} and \textit{H. P. Rosenthal} [Descriptive set theory and Banach spaces, in: Handbook of the geometry of Banach Spaces. Vol. 2. Amsterdam: North-Holland, 1007--1069 (2003; Zbl 1121.46008)], where the present article is already integrated.

Recommendations

• On the ideal convergence of sequences of quasi-continuous functions
• scientific article; zbMATH DE number 726994
• On the convergence of sequences of \((\mathcal{A,B})\)-quasicontinuous functions
• On the almost monotone convergence of sequences of continuous functions
• On the convergence of _1 sequences of real functions
• Sequential convergence in the space of absolutely Riemann integrable functions
• On the convergence of sequences of integrally quasicontinuous functions
• Convergence of sequences of semi-continuous functions
• The \(\mathcal I\)-almost constant convergence of sequences of real functions
• Sets of ideal convergence of sequences of quasi-continuous functions

Cited in

(6)

• Function spaces not containing _1
• Hausdorff measures and functions of bounded quadratic variation
• Operators on C(K) spaces preserving copies of Schreier spaces
• scientific article; zbMATH DE number 7342884 (Why is no real title available?)
• Tree structures associated to a family of functions
• Genericity and amalgamation of classes of Banach spaces

This page was built for publication: Optimal sequences of continuous functions converging to a Baire-1 function

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