Sum map from words to homothetic copies
ID: sum-map-from-words-to-homothetic-copies
For a finite pattern in a real vector space, pull a finite colouring back to words through the displayed sum map. A combinatorial line with active coordinates J maps to . The Hales-Jewett theorem therefore forces a monochromatic homothetic copy. Integer patterns remain in the integer lattice; choosing b sufficiently large gives the positive-lattice version.
New to topics? Read the docs here!