Prove $A_m$ is closed in $C[0,1]$

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











up vote
0
down vote

favorite












Let $minmathbbN$ arbitrary and $A_m subset C[0,1]$, the subset of all function $f$ verify: Exists $x_0in[0,1-frac1m]$ such that: $fracf(x_0+h-f(x_0)hleq m forall hin(0,frac1m$



Prove $A_m$ is closed in $C[0,1]$



My idea is:



Prove $A_m$ is bounded uniformly and equicontinuous then by Ascoli theorem $A_m$ be compact.



This implies $A_m$ is closed set.



But i don't know how to prove this, can someone help me?







share|cite|improve this question



















  • Do you mean that $A_m$ is the set of all functions in $mathcalC[0, 1]$ which satisfy the condition "exists $x_0 in [0, 1-frac1m]$ such that..." ?
    – Adayah
    Jul 15 at 22:21










  • Yes @Adayah is that
    – Bvss12
    Jul 15 at 22:24










  • Given the attempt you used on this question, one remark I think relevant is: the set $A_m$ is not uniformly bounded. To see this, for each $fin A_m$, and each $cinmathbbR$, $f+cin A_m$. Thus, $A_m$ is not uniformly bounded (nor is it compact, either). Moreover, I'd believe its rather extraordinary to find a family of functions in $C[0,1]$ that is equicontinuous and uniformly bounded. So, more often than not, I'd asume this is not the case.
    – Nate River
    Jul 16 at 13:08















up vote
0
down vote

favorite












Let $minmathbbN$ arbitrary and $A_m subset C[0,1]$, the subset of all function $f$ verify: Exists $x_0in[0,1-frac1m]$ such that: $fracf(x_0+h-f(x_0)hleq m forall hin(0,frac1m$



Prove $A_m$ is closed in $C[0,1]$



My idea is:



Prove $A_m$ is bounded uniformly and equicontinuous then by Ascoli theorem $A_m$ be compact.



This implies $A_m$ is closed set.



But i don't know how to prove this, can someone help me?







share|cite|improve this question



















  • Do you mean that $A_m$ is the set of all functions in $mathcalC[0, 1]$ which satisfy the condition "exists $x_0 in [0, 1-frac1m]$ such that..." ?
    – Adayah
    Jul 15 at 22:21










  • Yes @Adayah is that
    – Bvss12
    Jul 15 at 22:24










  • Given the attempt you used on this question, one remark I think relevant is: the set $A_m$ is not uniformly bounded. To see this, for each $fin A_m$, and each $cinmathbbR$, $f+cin A_m$. Thus, $A_m$ is not uniformly bounded (nor is it compact, either). Moreover, I'd believe its rather extraordinary to find a family of functions in $C[0,1]$ that is equicontinuous and uniformly bounded. So, more often than not, I'd asume this is not the case.
    – Nate River
    Jul 16 at 13:08













up vote
0
down vote

favorite









up vote
0
down vote

favorite











Let $minmathbbN$ arbitrary and $A_m subset C[0,1]$, the subset of all function $f$ verify: Exists $x_0in[0,1-frac1m]$ such that: $fracf(x_0+h-f(x_0)hleq m forall hin(0,frac1m$



Prove $A_m$ is closed in $C[0,1]$



My idea is:



Prove $A_m$ is bounded uniformly and equicontinuous then by Ascoli theorem $A_m$ be compact.



This implies $A_m$ is closed set.



But i don't know how to prove this, can someone help me?







share|cite|improve this question











Let $minmathbbN$ arbitrary and $A_m subset C[0,1]$, the subset of all function $f$ verify: Exists $x_0in[0,1-frac1m]$ such that: $fracf(x_0+h-f(x_0)hleq m forall hin(0,frac1m$



Prove $A_m$ is closed in $C[0,1]$



My idea is:



Prove $A_m$ is bounded uniformly and equicontinuous then by Ascoli theorem $A_m$ be compact.



This implies $A_m$ is closed set.



But i don't know how to prove this, can someone help me?









share|cite|improve this question










share|cite|improve this question




share|cite|improve this question









asked Jul 15 at 20:51









Bvss12

1,609516




1,609516











  • Do you mean that $A_m$ is the set of all functions in $mathcalC[0, 1]$ which satisfy the condition "exists $x_0 in [0, 1-frac1m]$ such that..." ?
    – Adayah
    Jul 15 at 22:21










  • Yes @Adayah is that
    – Bvss12
    Jul 15 at 22:24










  • Given the attempt you used on this question, one remark I think relevant is: the set $A_m$ is not uniformly bounded. To see this, for each $fin A_m$, and each $cinmathbbR$, $f+cin A_m$. Thus, $A_m$ is not uniformly bounded (nor is it compact, either). Moreover, I'd believe its rather extraordinary to find a family of functions in $C[0,1]$ that is equicontinuous and uniformly bounded. So, more often than not, I'd asume this is not the case.
    – Nate River
    Jul 16 at 13:08

















  • Do you mean that $A_m$ is the set of all functions in $mathcalC[0, 1]$ which satisfy the condition "exists $x_0 in [0, 1-frac1m]$ such that..." ?
    – Adayah
    Jul 15 at 22:21










  • Yes @Adayah is that
    – Bvss12
    Jul 15 at 22:24










  • Given the attempt you used on this question, one remark I think relevant is: the set $A_m$ is not uniformly bounded. To see this, for each $fin A_m$, and each $cinmathbbR$, $f+cin A_m$. Thus, $A_m$ is not uniformly bounded (nor is it compact, either). Moreover, I'd believe its rather extraordinary to find a family of functions in $C[0,1]$ that is equicontinuous and uniformly bounded. So, more often than not, I'd asume this is not the case.
    – Nate River
    Jul 16 at 13:08
















Do you mean that $A_m$ is the set of all functions in $mathcalC[0, 1]$ which satisfy the condition "exists $x_0 in [0, 1-frac1m]$ such that..." ?
– Adayah
Jul 15 at 22:21




Do you mean that $A_m$ is the set of all functions in $mathcalC[0, 1]$ which satisfy the condition "exists $x_0 in [0, 1-frac1m]$ such that..." ?
– Adayah
Jul 15 at 22:21












Yes @Adayah is that
– Bvss12
Jul 15 at 22:24




Yes @Adayah is that
– Bvss12
Jul 15 at 22:24












Given the attempt you used on this question, one remark I think relevant is: the set $A_m$ is not uniformly bounded. To see this, for each $fin A_m$, and each $cinmathbbR$, $f+cin A_m$. Thus, $A_m$ is not uniformly bounded (nor is it compact, either). Moreover, I'd believe its rather extraordinary to find a family of functions in $C[0,1]$ that is equicontinuous and uniformly bounded. So, more often than not, I'd asume this is not the case.
– Nate River
Jul 16 at 13:08





Given the attempt you used on this question, one remark I think relevant is: the set $A_m$ is not uniformly bounded. To see this, for each $fin A_m$, and each $cinmathbbR$, $f+cin A_m$. Thus, $A_m$ is not uniformly bounded (nor is it compact, either). Moreover, I'd believe its rather extraordinary to find a family of functions in $C[0,1]$ that is equicontinuous and uniformly bounded. So, more often than not, I'd asume this is not the case.
– Nate River
Jul 16 at 13:08











1 Answer
1






active

oldest

votes

















up vote
1
down vote













Fix $h$. $fto inf_xin [0,1-frac 1 m] frac f(x+h)-f(x) h $ is a continuous function on $C[0,1]$. This is a fairly strightforward verification. [Let me know if you need help with this]. Hence ${fin C[0,1]:inf_xin [0,1-frac 1 m] frac f(x+h)-f(x) h leq m$ is a closed set. Take intersection over $h$ to see that $A_m$ is closed.






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%2f2852838%2fprove-a-m-is-closed-in-c0-1%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
    1
    down vote













    Fix $h$. $fto inf_xin [0,1-frac 1 m] frac f(x+h)-f(x) h $ is a continuous function on $C[0,1]$. This is a fairly strightforward verification. [Let me know if you need help with this]. Hence ${fin C[0,1]:inf_xin [0,1-frac 1 m] frac f(x+h)-f(x) h leq m$ is a closed set. Take intersection over $h$ to see that $A_m$ is closed.






    share|cite|improve this answer

























      up vote
      1
      down vote













      Fix $h$. $fto inf_xin [0,1-frac 1 m] frac f(x+h)-f(x) h $ is a continuous function on $C[0,1]$. This is a fairly strightforward verification. [Let me know if you need help with this]. Hence ${fin C[0,1]:inf_xin [0,1-frac 1 m] frac f(x+h)-f(x) h leq m$ is a closed set. Take intersection over $h$ to see that $A_m$ is closed.






      share|cite|improve this answer























        up vote
        1
        down vote










        up vote
        1
        down vote









        Fix $h$. $fto inf_xin [0,1-frac 1 m] frac f(x+h)-f(x) h $ is a continuous function on $C[0,1]$. This is a fairly strightforward verification. [Let me know if you need help with this]. Hence ${fin C[0,1]:inf_xin [0,1-frac 1 m] frac f(x+h)-f(x) h leq m$ is a closed set. Take intersection over $h$ to see that $A_m$ is closed.






        share|cite|improve this answer













        Fix $h$. $fto inf_xin [0,1-frac 1 m] frac f(x+h)-f(x) h $ is a continuous function on $C[0,1]$. This is a fairly strightforward verification. [Let me know if you need help with this]. Hence ${fin C[0,1]:inf_xin [0,1-frac 1 m] frac f(x+h)-f(x) h leq m$ is a closed set. Take intersection over $h$ to see that $A_m$ is closed.







        share|cite|improve this answer













        share|cite|improve this answer



        share|cite|improve this answer











        answered Jul 15 at 23:40









        Kavi Rama Murthy

        21k2830




        21k2830






















             

            draft saved


            draft discarded


























             


            draft saved


            draft discarded














            StackExchange.ready(
            function ()
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2852838%2fprove-a-m-is-closed-in-c0-1%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?