Sets with distinct sums of pairs, long arithmetic progressions, and continuous mappings (Q1715030)

We say that $t \in \mathbb{ R}$ is a point of nonlinearity of a continuous mapping $\phi: \mathbb{R}\rightarrow \mathbb{ R}$ if $t$ has no neighborhood in which $\phi$ coincides with a linear function. The set $E(\phi)$ of all such points is called the set of nonlinearity of $\phi$. The main result of this paper is the following Theorem. Let $\phi:\mathbb{ R}\rightarrow \mathbb{ R}$ be continuous. Suppose that $E(\phi)$ has nonzero Lebesgue measure. Then there exist a set $A$ that contains arbitrarily long arithmetic progressions and a set $B$ with distinct sums of pairs such that $\phi$ maps bijectively $A$ onto $B$.