A+ CATEGORY SCIENTIFIC UNIT

PDF files of articles are only available for institutions which have paid for the online version upon signing an Institutional User License.

Algebra, selections, and additive Ramsey theory

Volume 240 / 2018

Boaz Tsaban Fundamenta Mathematicae 240 (2018), 81-104 MSC: Primary 05D10, 54D20; Secondary 03E17, 16W22. DOI: 10.4064/fm342-1-2017 Published online: 7 June 2017

Abstract

Hindman’s celebrated Finite Sums Theorem, and its high-dimensional version due to Milliken and Taylor, can be viewed as coloring theorems concerning countable covers of countable, discrete sets. These theorems are extended to covers of arbitrary topological spaces with Menger’s classical covering property. The methods include, in addition to Hurewicz’s game-theoretic characterization of Menger’s property, extensions of the classical idempotent theory in the Stone–Čech compactification of semigroups, and of the more recent theory of selection principles. This provides strong versions of the mentioned celebrated theorems, where the monochromatic substructures are large, beyond infinitude, in an analytical sense. Reducing the main theorems to the purely combinatorial setting, we obtain nontrivial consequences concerning uncountable cardinal characteristics of the continuum.

The main results, modulo technical adjustments, are of the following type (definitions provided in the main text): Let $X$ be a Menger space, and $\mathcal{U}$ be an infinite open cover of $X$. Consider the complete graph whose vertices are the open sets in $X$. For each finite coloring of the vertices and edges of this graph there are disjoint finite subsets $\mathcal{F}_1,\mathcal{F}_2,\dots$ of the cover $\mathcal{U}$ whose unions $V_1 := \bigcup\mathcal{F}_1$, $V_2 := \bigcup\mathcal{F}_2,\ldots$ have the following properties:

(1) The sets $\bigcup_{n\in F}V_n$ and $\bigcup_{n\in H}V_n$ are distinct for all nonempty finite sets $F \lt H$.

(2) All vertices $\bigcup_{n\in F}V_n$ for nonempty finite sets $F$ have the same color.

(3) All edges $\{\bigcup_{n\in F}V_n, \bigcup_{n\in H}V_n\}$ for nonempty finite sets $F \lt H$ have the same color.

(4) The family $\{V_1,V_2,\dots\}$ forms a cover of $X$.

A self-contained introduction to the necessary parts of the needed theories is included.

Authors

  • Boaz TsabanDepartment of Mathematics
    Bar-Ilan University
    Ramat Gan 5290002, Israel
    and
    Faculty of Mathematics and Computer Science
    Weizmann Institute of Science
    Rehovot 7610001, Israel
    e-mail

Search for IMPAN publications

Query phrase too short. Type at least 4 characters.

Rewrite code from the image

Reload image

Reload image