Is there a set of positive integers of density 1 which contains no infinite arithmetic progression?What is the shortest route to Roth's theorem?Inverse Length 3 Arithmetic Progression Problem for sets with positive upper densityDo there exist sets of integers with arbitrarily large upper density which contains infinitely many elements that are not in an arithmetic progression of length 3?Arithmetic progressions in power sequencesAre there infinite primes among powerful order terms of Dirichlet arithmetic progressions?every arithmetic progression contains a sequence of $k$ “consecutive” primes for possibly all natural numbers $k$?On the upper Banach density of the set of positive integers whose base-$b$ representation misses at least one prescribed digitAdditivity of upper densities with respect to arithmetic progressions of integersExistence of Arithmetic Progression from density inequalityDiscrepancy in non-homogeneous arithmetic progressions
Is there a set of positive integers of density 1 which contains no infinite arithmetic progression?
What is the shortest route to Roth's theorem?Inverse Length 3 Arithmetic Progression Problem for sets with positive upper densityDo there exist sets of integers with arbitrarily large upper density which contains infinitely many elements that are not in an arithmetic progression of length 3?Arithmetic progressions in power sequencesAre there infinite primes among powerful order terms of Dirichlet arithmetic progressions?every arithmetic progression contains a sequence of $k$ “consecutive” primes for possibly all natural numbers $k$?On the upper Banach density of the set of positive integers whose base-$b$ representation misses at least one prescribed digitAdditivity of upper densities with respect to arithmetic progressions of integersExistence of Arithmetic Progression from density inequalityDiscrepancy in non-homogeneous arithmetic progressions
$begingroup$
Let $V$ be a set of positive integers whose natural density is 1. Is it necessarily true that $V$ contains an infinite arithmetic progression?—i.e., that there are non-negative integers $a,b,nu$ with $0leq bleq a-1$ so that: $$left an+b:ngeqnuright subseteq V$$
In addition to an answer, any references on the matter would be most appreciated.
nt.number-theory additive-combinatorics
$endgroup$
add a comment |
$begingroup$
Let $V$ be a set of positive integers whose natural density is 1. Is it necessarily true that $V$ contains an infinite arithmetic progression?—i.e., that there are non-negative integers $a,b,nu$ with $0leq bleq a-1$ so that: $$left an+b:ngeqnuright subseteq V$$
In addition to an answer, any references on the matter would be most appreciated.
nt.number-theory additive-combinatorics
$endgroup$
14
$begingroup$
Enumerate all the arithmetic progressions as $A_n$. Now remove from $mathbb N$ the $2^n$-th element of $A_n$ for each $n$.
$endgroup$
– Wojowu
8 hours ago
1
$begingroup$
So sets that contradict this exist? Excellent! Thank you. :)
$endgroup$
– MCS
8 hours ago
3
$begingroup$
Generalizing Wojowu’s construction shows that “density 1” can be achieved in the strongest possible way: for any function $f$ that tends to infinity, no matter how slowly, there is a set of non-negative integers containing at least $n-f(n)$ integers between $1$ and $n$ for each $n$ but no infinite arithmetic progression.
$endgroup$
– Henry Cohn
7 hours ago
add a comment |
$begingroup$
Let $V$ be a set of positive integers whose natural density is 1. Is it necessarily true that $V$ contains an infinite arithmetic progression?—i.e., that there are non-negative integers $a,b,nu$ with $0leq bleq a-1$ so that: $$left an+b:ngeqnuright subseteq V$$
In addition to an answer, any references on the matter would be most appreciated.
nt.number-theory additive-combinatorics
$endgroup$
Let $V$ be a set of positive integers whose natural density is 1. Is it necessarily true that $V$ contains an infinite arithmetic progression?—i.e., that there are non-negative integers $a,b,nu$ with $0leq bleq a-1$ so that: $$left an+b:ngeqnuright subseteq V$$
In addition to an answer, any references on the matter would be most appreciated.
nt.number-theory additive-combinatorics
nt.number-theory additive-combinatorics
asked 8 hours ago
MCSMCS
247110
247110
14
$begingroup$
Enumerate all the arithmetic progressions as $A_n$. Now remove from $mathbb N$ the $2^n$-th element of $A_n$ for each $n$.
$endgroup$
– Wojowu
8 hours ago
1
$begingroup$
So sets that contradict this exist? Excellent! Thank you. :)
$endgroup$
– MCS
8 hours ago
3
$begingroup$
Generalizing Wojowu’s construction shows that “density 1” can be achieved in the strongest possible way: for any function $f$ that tends to infinity, no matter how slowly, there is a set of non-negative integers containing at least $n-f(n)$ integers between $1$ and $n$ for each $n$ but no infinite arithmetic progression.
$endgroup$
– Henry Cohn
7 hours ago
add a comment |
14
$begingroup$
Enumerate all the arithmetic progressions as $A_n$. Now remove from $mathbb N$ the $2^n$-th element of $A_n$ for each $n$.
$endgroup$
– Wojowu
8 hours ago
1
$begingroup$
So sets that contradict this exist? Excellent! Thank you. :)
$endgroup$
– MCS
8 hours ago
3
$begingroup$
Generalizing Wojowu’s construction shows that “density 1” can be achieved in the strongest possible way: for any function $f$ that tends to infinity, no matter how slowly, there is a set of non-negative integers containing at least $n-f(n)$ integers between $1$ and $n$ for each $n$ but no infinite arithmetic progression.
$endgroup$
– Henry Cohn
7 hours ago
14
14
$begingroup$
Enumerate all the arithmetic progressions as $A_n$. Now remove from $mathbb N$ the $2^n$-th element of $A_n$ for each $n$.
$endgroup$
– Wojowu
8 hours ago
$begingroup$
Enumerate all the arithmetic progressions as $A_n$. Now remove from $mathbb N$ the $2^n$-th element of $A_n$ for each $n$.
$endgroup$
– Wojowu
8 hours ago
1
1
$begingroup$
So sets that contradict this exist? Excellent! Thank you. :)
$endgroup$
– MCS
8 hours ago
$begingroup$
So sets that contradict this exist? Excellent! Thank you. :)
$endgroup$
– MCS
8 hours ago
3
3
$begingroup$
Generalizing Wojowu’s construction shows that “density 1” can be achieved in the strongest possible way: for any function $f$ that tends to infinity, no matter how slowly, there is a set of non-negative integers containing at least $n-f(n)$ integers between $1$ and $n$ for each $n$ but no infinite arithmetic progression.
$endgroup$
– Henry Cohn
7 hours ago
$begingroup$
Generalizing Wojowu’s construction shows that “density 1” can be achieved in the strongest possible way: for any function $f$ that tends to infinity, no matter how slowly, there is a set of non-negative integers containing at least $n-f(n)$ integers between $1$ and $n$ for each $n$ but no infinite arithmetic progression.
$endgroup$
– Henry Cohn
7 hours ago
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
Here is a concrete counterexample (where $mathbbN$ is the set of positive integers):
$$V:=mathbbNsetminusa^2b^2+b:a,binmathbbN.$$
It is straightforward to see that $V$ has density $1$, but it does not contain an infinite arithmetic progression.
$endgroup$
add a comment |
Your Answer
StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "504"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);
else
createEditor();
);
function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader:
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
,
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);
);
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f333430%2fis-there-a-set-of-positive-integers-of-density-1-which-contains-no-infinite-arit%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Here is a concrete counterexample (where $mathbbN$ is the set of positive integers):
$$V:=mathbbNsetminusa^2b^2+b:a,binmathbbN.$$
It is straightforward to see that $V$ has density $1$, but it does not contain an infinite arithmetic progression.
$endgroup$
add a comment |
$begingroup$
Here is a concrete counterexample (where $mathbbN$ is the set of positive integers):
$$V:=mathbbNsetminusa^2b^2+b:a,binmathbbN.$$
It is straightforward to see that $V$ has density $1$, but it does not contain an infinite arithmetic progression.
$endgroup$
add a comment |
$begingroup$
Here is a concrete counterexample (where $mathbbN$ is the set of positive integers):
$$V:=mathbbNsetminusa^2b^2+b:a,binmathbbN.$$
It is straightforward to see that $V$ has density $1$, but it does not contain an infinite arithmetic progression.
$endgroup$
Here is a concrete counterexample (where $mathbbN$ is the set of positive integers):
$$V:=mathbbNsetminusa^2b^2+b:a,binmathbbN.$$
It is straightforward to see that $V$ has density $1$, but it does not contain an infinite arithmetic progression.
answered 7 hours ago
GH from MOGH from MO
61k5154233
61k5154233
add a comment |
add a comment |
Thanks for contributing an answer to MathOverflow!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f333430%2fis-there-a-set-of-positive-integers-of-density-1-which-contains-no-infinite-arit%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
14
$begingroup$
Enumerate all the arithmetic progressions as $A_n$. Now remove from $mathbb N$ the $2^n$-th element of $A_n$ for each $n$.
$endgroup$
– Wojowu
8 hours ago
1
$begingroup$
So sets that contradict this exist? Excellent! Thank you. :)
$endgroup$
– MCS
8 hours ago
3
$begingroup$
Generalizing Wojowu’s construction shows that “density 1” can be achieved in the strongest possible way: for any function $f$ that tends to infinity, no matter how slowly, there is a set of non-negative integers containing at least $n-f(n)$ integers between $1$ and $n$ for each $n$ but no infinite arithmetic progression.
$endgroup$
– Henry Cohn
7 hours ago