arXiv++ Combinatorics

In this paper we present a simple proof of Gowers Dichotomy which states that every infinite dimensional Banach Space has a subspace which either contains an unconditional basic sequence or is hereditarily indecomposable. Our approach is purely combinatorial and mainly based on work of Ellentuck, Galvin and Prikry in infinite Ramsey theory.

A combinatorial proof of a pigeonhole principle of Gowers is found along with its symmetric and approximate version, FIN$_k^\pm$ theorem. The proofs do not use of the concept of ultrafilter.