Abstract:We help Alice play a certain "convergence game" against Bob and win the prize, which is a constructive solution to a problem by Erdős and Graham, posed in their 1980 book on open questions in combinatorial number theory. Namely, after several reductions using peculiar arithmetic identities, the game outcome shows that the set of points \[ \Big(\sum_{n\in A}\frac{1}{n}, \sum_{n\in A}\frac{1}{n+1}, \sum_{n\in A}\frac{1}{n+2}\Big), \] obtained as $A$ ranges over infinite sets of positive integers, has a non-empty interior. This generalizes a two-dimensional result by Erdős and Straus.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to prove that a set of points represented by a subsequence of the harmonic series in a specific form has a non - empty interior in three - dimensional space. Specifically, Erdős and Graham proposed a problem in their 1980 work: for all integer sequences \(a_1, a_2,\ldots\) satisfying \(\sum_{k}\frac{1}{a_k}<\infty\), does the set
\[
\left\{(x,y,z):x = \sum_{k}\frac{1}{a_k},y=\sum_{k}\frac{1}{a_k + 1},z=\sum_{k}\frac{1}{a_k + 2}\right\}
\]
contain a non - empty open set? This problem can be regarded as a generalization of the two - dimensional result proposed by Erdős and Straus.
### Main contributions of the paper
The paper solves the above problem by a constructive method and proves the following theorem:
**Theorem 1.** The set
\[
\left\{\left(\sum_{n\in A}\frac{1}{n},\sum_{n\in A}\frac{1}{n + 1},\sum_{n\in A}\frac{1}{n+2}\right):A\subset\mathbb{N}\text{ is an infinite set and }\sum_{n\in A}\frac{1}{n}<\infty\right\}\subseteq\mathbb{R}^3
\]
has a non - empty interior.
### Methods for solving the problem
To solve this problem, the author introduced the concept of an infinite - strategy game. In this game, Alice (representing the player) needs to represent each point by choosing appropriate terms, while Bob (representing the opponent) will try to disrupt this process by introducing error terms. Eventually, the author proves that Alice can ensure her victory through a cautious strategy, that is, successfully represent each target point.
### Specific steps
1. **Linear transformation and simplification**: Simplify the original problem into a new, more tractable form through matrix transformation.
2. **Constructing game rules**: Define a two - person infinite - round game, where Alice's goal is to make the sequence converge to the target point, while Bob tries to prevent this.
3. **Proving convergence**: Through detailed mathematical derivations, prove that Alice can make appropriate choices in each round of the game so that the sequence finally converges to the target point.
4. **Verifying non - empty interior**: Finally, prove that the constructed set of points does indeed contain a non - empty open set.
Through these steps, the author not only solves the problem proposed by Erdős and Graham, but also provides a constructive solution, showing how to find a non - empty open set within a specific set of points.
### Conclusion
Through the study of subsequences of the harmonic series, this paper successfully proves the topological properties of certain specific sets of points in three - dimensional space, providing an important answer to an open problem in combinatorial number theory.