Abstract.
In [6] W. T. Gowers formulated and proved a Ramsey-type result which lies at the heart of his famous dichotomy for Banach spaces. He defines the notion of weakly Ramsey set of block sequences of an infinite dimensional Banach space and shows that every analytic set of block sequences is weakly Ramsey. We show here that Gowers’ result follows quite directly from the fact that all Gδ sets are weakly Ramsey, if the Banach space does not contain c0, and from the fact that all F σδ sets are weakly Ramsey, in the case of an arbitrary Banach space. We also show that every result obtained by the application of Gowers’ theorem to an analytic set can also be obtained by applying the Theorem to a F σδ set (or to a G δ set if the space does not contain c0). This fact explains why the only known applications of this technique are based on very low-ranked Borel sets (open, closed, F σ , or G δ ).
Similar content being viewed by others
References
Bagaria, J., Lopez-Abad, J.: Weakly Ramsey sets in Banach spaces. Advances in Mathematics 160, 133–174 (2001)
Bagaria, J., Lopez-Abad, J.: Determinacy and weakly Ramsey sets in Banach spaces. Trans. Amer. Math. Soc. 354 1327–1349 (2002)
Benyamini, Y., Lindenstrauss, J.: Geometric nonlinear functional analysis. Vol. 1. A. M. S. Colloquium Publications, 48. American Mathematical Society, Providence, RI, 2000
Di Prisco, C.A., Todorcevic, S.: Souslin partitions of products of finite sets. Advances in Mathematics 176, 145–173 (2003)
Gowers, W.T.: Lipschitz functions on classical spaces. European Journal of Combinatorics 13, 141–151 (1992)
Gowers, W.T.: An infinite Ramsey theorem and some Banach-space dichotomies. Ann. of Math. 156, 797–833 (2002)
Jech, T.: Set Theory, Pure and Applied Mathematics. Academic Press, New York, 1978
Kanamori, A.: The higher infinite. Large cardinals in set theory from their beginnings. Perspectives in Mathematical Logic. Springer-Verlag, Berlin, 1994. xxiv+536 pp
Odell, E., Schlumprecht, T.: The distortion problem. Acta Math. 173, 259–281 (1994)
Odell, E., Schlumprecht, Th.: The distortion of Hilbert space. Geometric and Functional Analysis 3, 201–207 (1993)
Shelah, S., Woodin, H.: Large cardinals imply that every reasonably definable set of reals is Lebesgue measurable. Israel J. Math. 70, 381–394 (1990)
Todorcevic, S.: High-Dimensional Ramsey Theory and Banach Space Geometry. Ramsey methods in analysis. Birkhauser 2004. To appear