Proving a sequence with infinitely many zeros is not zero heavy?

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
3
down vote

favorite
1












Is my counterexample correct?




If a sequence contains an infinite number of zeroes, is it necessarily
zero-heavy? If not, provide a counterexample.




Solution. Consider the sequence $(a_n)$ defined such that $a_n = 0$ whenever $n = 2^k$ for some $kinmathbfN$ and is $1$ otherwise, then given any $MinmathbfN$ we may choose a $kinmathbfN$ such that $2^k+1-(2^k+1)>M$ then given the construction of the sequence if $nin2^k+1,2^k+1+2,dots,(2^k+1)+M$ we have $a_nneq 0$.The sequence in question then cannot possibly be zero heavy.



NOTE: We define a sequence to be zero heavy if $$exists MinmathbfNforall NinmathbfNexists ninN,N+1,dots,N+M(x_n=0)$$







share|cite|improve this question















  • 2




    Your construction works.
    – Suzet
    Jul 19 at 11:59










  • It's correct. Another example: Let $a_n=0$ if $n$ is prime and $a_n=1$ otherwise. If $2leq K>M$ then $K!+j:2leq jleq K$ contains no primes because $K!+j >j>1$ and $ j$ divides $K!+j$ (... when $Kgeq j >1).$
    – DanielWainfleet
    Jul 20 at 6:57















up vote
3
down vote

favorite
1












Is my counterexample correct?




If a sequence contains an infinite number of zeroes, is it necessarily
zero-heavy? If not, provide a counterexample.




Solution. Consider the sequence $(a_n)$ defined such that $a_n = 0$ whenever $n = 2^k$ for some $kinmathbfN$ and is $1$ otherwise, then given any $MinmathbfN$ we may choose a $kinmathbfN$ such that $2^k+1-(2^k+1)>M$ then given the construction of the sequence if $nin2^k+1,2^k+1+2,dots,(2^k+1)+M$ we have $a_nneq 0$.The sequence in question then cannot possibly be zero heavy.



NOTE: We define a sequence to be zero heavy if $$exists MinmathbfNforall NinmathbfNexists ninN,N+1,dots,N+M(x_n=0)$$







share|cite|improve this question















  • 2




    Your construction works.
    – Suzet
    Jul 19 at 11:59










  • It's correct. Another example: Let $a_n=0$ if $n$ is prime and $a_n=1$ otherwise. If $2leq K>M$ then $K!+j:2leq jleq K$ contains no primes because $K!+j >j>1$ and $ j$ divides $K!+j$ (... when $Kgeq j >1).$
    – DanielWainfleet
    Jul 20 at 6:57













up vote
3
down vote

favorite
1









up vote
3
down vote

favorite
1






1





Is my counterexample correct?




If a sequence contains an infinite number of zeroes, is it necessarily
zero-heavy? If not, provide a counterexample.




Solution. Consider the sequence $(a_n)$ defined such that $a_n = 0$ whenever $n = 2^k$ for some $kinmathbfN$ and is $1$ otherwise, then given any $MinmathbfN$ we may choose a $kinmathbfN$ such that $2^k+1-(2^k+1)>M$ then given the construction of the sequence if $nin2^k+1,2^k+1+2,dots,(2^k+1)+M$ we have $a_nneq 0$.The sequence in question then cannot possibly be zero heavy.



NOTE: We define a sequence to be zero heavy if $$exists MinmathbfNforall NinmathbfNexists ninN,N+1,dots,N+M(x_n=0)$$







share|cite|improve this question











Is my counterexample correct?




If a sequence contains an infinite number of zeroes, is it necessarily
zero-heavy? If not, provide a counterexample.




Solution. Consider the sequence $(a_n)$ defined such that $a_n = 0$ whenever $n = 2^k$ for some $kinmathbfN$ and is $1$ otherwise, then given any $MinmathbfN$ we may choose a $kinmathbfN$ such that $2^k+1-(2^k+1)>M$ then given the construction of the sequence if $nin2^k+1,2^k+1+2,dots,(2^k+1)+M$ we have $a_nneq 0$.The sequence in question then cannot possibly be zero heavy.



NOTE: We define a sequence to be zero heavy if $$exists MinmathbfNforall NinmathbfNexists ninN,N+1,dots,N+M(x_n=0)$$









share|cite|improve this question










share|cite|improve this question




share|cite|improve this question









asked Jul 19 at 11:56









Atif Farooq

2,7092824




2,7092824







  • 2




    Your construction works.
    – Suzet
    Jul 19 at 11:59










  • It's correct. Another example: Let $a_n=0$ if $n$ is prime and $a_n=1$ otherwise. If $2leq K>M$ then $K!+j:2leq jleq K$ contains no primes because $K!+j >j>1$ and $ j$ divides $K!+j$ (... when $Kgeq j >1).$
    – DanielWainfleet
    Jul 20 at 6:57













  • 2




    Your construction works.
    – Suzet
    Jul 19 at 11:59










  • It's correct. Another example: Let $a_n=0$ if $n$ is prime and $a_n=1$ otherwise. If $2leq K>M$ then $K!+j:2leq jleq K$ contains no primes because $K!+j >j>1$ and $ j$ divides $K!+j$ (... when $Kgeq j >1).$
    – DanielWainfleet
    Jul 20 at 6:57








2




2




Your construction works.
– Suzet
Jul 19 at 11:59




Your construction works.
– Suzet
Jul 19 at 11:59












It's correct. Another example: Let $a_n=0$ if $n$ is prime and $a_n=1$ otherwise. If $2leq K>M$ then $K!+j:2leq jleq K$ contains no primes because $K!+j >j>1$ and $ j$ divides $K!+j$ (... when $Kgeq j >1).$
– DanielWainfleet
Jul 20 at 6:57





It's correct. Another example: Let $a_n=0$ if $n$ is prime and $a_n=1$ otherwise. If $2leq K>M$ then $K!+j:2leq jleq K$ contains no primes because $K!+j >j>1$ and $ j$ divides $K!+j$ (... when $Kgeq j >1).$
– DanielWainfleet
Jul 20 at 6:57











1 Answer
1






active

oldest

votes

















up vote
3
down vote



accepted










Looks good! The only part I might do/phrase at all differently is:




...we may choose $kinmathbfN$ such that $k>log_2(M+1),$ so that $2^k+1-(2^k+1)>M,$ and so, given the construction of the sequence, if....







share|cite|improve this answer





















    Your Answer




    StackExchange.ifUsing("editor", function ()
    return StackExchange.using("mathjaxEditing", function ()
    StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
    StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
    );
    );
    , "mathjax-editing");

    StackExchange.ready(function()
    var channelOptions =
    tags: "".split(" "),
    id: "69"
    ;
    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',
    convertImagesToLinks: true,
    noModals: false,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: 10,
    bindNavPrevention: true,
    postfix: "",
    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%2fmath.stackexchange.com%2fquestions%2f2856547%2fproving-a-sequence-with-infinitely-many-zeros-is-not-zero-heavy%23new-answer', 'question_page');

    );

    Post as a guest






























    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes








    up vote
    3
    down vote



    accepted










    Looks good! The only part I might do/phrase at all differently is:




    ...we may choose $kinmathbfN$ such that $k>log_2(M+1),$ so that $2^k+1-(2^k+1)>M,$ and so, given the construction of the sequence, if....







    share|cite|improve this answer

























      up vote
      3
      down vote



      accepted










      Looks good! The only part I might do/phrase at all differently is:




      ...we may choose $kinmathbfN$ such that $k>log_2(M+1),$ so that $2^k+1-(2^k+1)>M,$ and so, given the construction of the sequence, if....







      share|cite|improve this answer























        up vote
        3
        down vote



        accepted







        up vote
        3
        down vote



        accepted






        Looks good! The only part I might do/phrase at all differently is:




        ...we may choose $kinmathbfN$ such that $k>log_2(M+1),$ so that $2^k+1-(2^k+1)>M,$ and so, given the construction of the sequence, if....







        share|cite|improve this answer













        Looks good! The only part I might do/phrase at all differently is:




        ...we may choose $kinmathbfN$ such that $k>log_2(M+1),$ so that $2^k+1-(2^k+1)>M,$ and so, given the construction of the sequence, if....








        share|cite|improve this answer













        share|cite|improve this answer



        share|cite|improve this answer











        answered Jul 19 at 12:05









        Cameron Buie

        83.5k771153




        83.5k771153






















             

            draft saved


            draft discarded


























             


            draft saved


            draft discarded














            StackExchange.ready(
            function ()
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2856547%2fproving-a-sequence-with-infinitely-many-zeros-is-not-zero-heavy%23new-answer', 'question_page');

            );

            Post as a guest













































































            Comments

            Popular posts from this blog

            What is the equation of a 3D cone with generalised tilt?

            Color the edges and diagonals of a regular polygon

            Relationship between determinant of matrix and determinant of adjoint?