Central sets in N were introduced by Furstenberg and are known to have substantial combinatorial structure. For example, any central set con- tains arbitrarily long arithmetic progressions, all finite sums of distinct terms of an infinite sequence, and solutions to all partition regular systems of ho- mogeneous linear equations. We introduce here the notions of strongly central and very strongly central, which is as the names suggest are strictly stronger than the notion of central. They are also strictly stronger than syndetic, which in the case of N means that gaps are bounded. Given x 2 R, let w(x) = x b x + 1 c. Kronecker's Theorem says that if 1, 1, 2,..., v are linearly independent over Q and U is a nonempty open subset of ( 1 , 1 ) v , then {x 2 N : (w( 1x),...,w( vx)) 2 U} is nonempty and Weyl showed that this set has positive density. We show here that if 0 is in the closure of U, then this set is strongly central. More generally, let P1,P2,...,Pv be real polynomials with zero constant term. We show that {x 2 N : (w(P1(x)),...,w(Pv(x))) 2 U} is nonempty for every open U with 0 2 c'U if and only if it is very strongly central for every such U and we show that these conclusions hold if and only if any nontrivial rational linear combination of P1,P2,...,Pv has at least one irrational coecient.
Read full abstract