MathDB
Prove that a subset of N exist

Source:

August 28, 2010
inductionratioarithmetic sequencealgebra unsolvedalgebra

Problem Statement

Let N=B1Bq\mathbb N = B_1\cup\cdots \cup B_q be a partition of the set N\mathbb N of all positive integers and let an integer lNl \in \mathbb N be given. Prove that there exist a set XNX \subset \mathbb N of cardinality ll, an infinite set TNT \subset \mathbb N, and an integer kk with 1kq1 \leq k \leq q such that for any tTt \in T and any finite set YXY \subset X, the sum t+yYyt+ \sum_{y \in Y} y belongs to Bk.B_k.