Problem:
Let be the set of the rational numbers in the interval . Does there exist a subset of such that every number from can be represented in a unique way as a sum of one or finitely many distinct numbers from ?
Solution
Solution:
Assume, for a contradiction, that there exists such a set.
We first prove that if , then . To do this suppose the contrary, i.e. there exists in and . Then the number can be represented as a sum of one or finitely many different numbers from . Since each of these numbers is less than , the number has two different representations of the required type (as and as plus the numbers of the representation of ), a contradiction.
In particular, it follows from the above that in every interval , , there is at most one element of . Since the set is infinite (otherwise we can obtain only a finite number of sums of different numbers from ) it easily follows that the numbers of can be ordered in an infinite sequence , which satisfies for every . If this inequality is strict for some , then
This shows that the numbers from the interval cannot be represented as a sum of one or finitely many different numbers from .
Therefore for every . Now it is easy to see that only the numbers of the form can be represented as a sum of one or a finite number of different numbers from . Thus any rational number with an odd denominator which is coprime with the denominator of cannot be represented as required. This is a contradiction which completes the proof.