Skip to main content
added 23 characters in body
Source Link
GH from MO
  • 105.2k
  • 8
  • 292
  • 398

IfAssume that $S\subset\mathbb{N}$ has density $1$. Then, then for any $m\in\mathbb{N}$, the density of $S\cap m\mathbb{N}$ is $1/m$, whencehence the density of $$S(m):=\{n\in\mathbb{N}:nm\in S\}$$ is $\mathbb{N}\cap m^{-1}S$ is $1$. HenceIt follows that for any $m_1,\dotsc,m_k\in\mathbb{N}$, the density of $S(m_1)\cap\dotsb\cap S(m_k)$$\mathbb{N}\cap m_1^{-1}S\cap\dotsb\cap m_k^{-1}S$ is $1$. In particular, there exists $n\in\mathbb{N}$ such that $nm_1,\dotsc,nm_k\in S$. So any finite progression in $\mathbb{N}$ has a scaled version lying in $S$.

If $S\subset\mathbb{N}$ has density $1$, then for any $m\in\mathbb{N}$ the density of $S\cap m\mathbb{N}$ is $1/m$, whence the density of $$S(m):=\{n\in\mathbb{N}:nm\in S\}$$ is $1$. Hence for any $m_1,\dotsc,m_k\in\mathbb{N}$, the density of $S(m_1)\cap\dotsb\cap S(m_k)$ is $1$. In particular, there exists $n\in\mathbb{N}$ such that $nm_1,\dotsc,nm_k\in S$. So any finite progression in $\mathbb{N}$ has a scaled version lying in $S$.

Assume that $S\subset\mathbb{N}$ has density $1$. Then, for any $m\in\mathbb{N}$, the density of $S\cap m\mathbb{N}$ is $1/m$, hence the density of $\mathbb{N}\cap m^{-1}S$ is $1$. It follows that for any $m_1,\dotsc,m_k\in\mathbb{N}$, the density of $\mathbb{N}\cap m_1^{-1}S\cap\dotsb\cap m_k^{-1}S$ is $1$. In particular, there exists $n\in\mathbb{N}$ such that $nm_1,\dotsc,nm_k\in S$. So any finite progression in $\mathbb{N}$ has a scaled version lying in $S$.

Source Link
GH from MO
  • 105.2k
  • 8
  • 292
  • 398

If $S\subset\mathbb{N}$ has density $1$, then for any $m\in\mathbb{N}$ the density of $S\cap m\mathbb{N}$ is $1/m$, whence the density of $$S(m):=\{n\in\mathbb{N}:nm\in S\}$$ is $1$. Hence for any $m_1,\dotsc,m_k\in\mathbb{N}$, the density of $S(m_1)\cap\dotsb\cap S(m_k)$ is $1$. In particular, there exists $n\in\mathbb{N}$ such that $nm_1,\dotsc,nm_k\in S$. So any finite progression in $\mathbb{N}$ has a scaled version lying in $S$.