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













2












$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.










share|cite|improve this question









$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















2












$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.










share|cite|improve this question









$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













2












2








2


1



$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.










share|cite|improve this question









$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






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










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












  • 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










1 Answer
1






active

oldest

votes


















8












$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.






share|cite|improve this answer









$endgroup$













    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
    );



    );













    draft saved

    draft discarded


















    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









    8












    $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.






    share|cite|improve this answer









    $endgroup$

















      8












      $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.






      share|cite|improve this answer









      $endgroup$















        8












        8








        8





        $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.






        share|cite|improve this answer









        $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.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered 7 hours ago









        GH from MOGH from MO

        61k5154233




        61k5154233



























            draft saved

            draft discarded
















































            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.




            draft saved


            draft discarded














            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





















































            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







            Popular posts from this blog

            Invision Community Contents History See also References External links Navigation menuProprietaryinvisioncommunity.comIPS Community ForumsIPS Community Forumsthis blog entry"License Changes, IP.Board 3.4, and the Future""Interview -- Matt Mecham of Ibforums""CEO Invision Power Board, Matt Mecham Is a Liar, Thief!"IPB License Explanation 1.3, 1.3.1, 2.0, and 2.1ArchivedSecurity Fixes, Updates And Enhancements For IPB 1.3.1Archived"New Demo Accounts - Invision Power Services"the original"New Default Skin"the original"Invision Power Board 3.0.0 and Applications Released"the original"Archived copy"the original"Perpetual licenses being done away with""Release Notes - Invision Power Services""Introducing: IPS Community Suite 4!"Invision Community Release Notes

            Canceling a color specificationRandomly assigning color to Graphics3D objects?Default color for Filling in Mathematica 9Coloring specific elements of sets with a prime modified order in an array plotHow to pick a color differing significantly from the colors already in a given color list?Detection of the text colorColor numbers based on their valueCan color schemes for use with ColorData include opacity specification?My dynamic color schemes

            Ласкавець круглолистий Зміст Опис | Поширення | Галерея | Примітки | Посилання | Навігаційне меню58171138361-22960890446Bupleurum rotundifoliumEuro+Med PlantbasePlants of the World Online — Kew ScienceGermplasm Resources Information Network (GRIN)Ласкавецькн. VI : Літери Ком — Левиправивши або дописавши її