Show that lower semicontinuous function is the supremum of an increasing sequence of continuous functions

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











up vote
4
down vote

favorite
1












Show that lower semicontinuous function $f:Xrightarrow [0,1]$ on metrizable X is the supremum of an increasing sequence of continuous functions.



My attempt: I don't know how to approximate $f(x)$ to within $[f(x)-1/n,f(x)]$ by $h_n(x)$ which is a linear combination of characteristic function of open sets, using lower semicontinuity of $f$.



Can anyone help?










share|cite|improve this question



















  • 1




    Now sure how to proceed with your idea. But from a post a couple years back... Let $f_k(x)=inff(y)+kd(x,y):yin X.$
    – matt biesecker
    May 13 '15 at 5:00















up vote
4
down vote

favorite
1












Show that lower semicontinuous function $f:Xrightarrow [0,1]$ on metrizable X is the supremum of an increasing sequence of continuous functions.



My attempt: I don't know how to approximate $f(x)$ to within $[f(x)-1/n,f(x)]$ by $h_n(x)$ which is a linear combination of characteristic function of open sets, using lower semicontinuity of $f$.



Can anyone help?










share|cite|improve this question



















  • 1




    Now sure how to proceed with your idea. But from a post a couple years back... Let $f_k(x)=inff(y)+kd(x,y):yin X.$
    – matt biesecker
    May 13 '15 at 5:00













up vote
4
down vote

favorite
1









up vote
4
down vote

favorite
1






1





Show that lower semicontinuous function $f:Xrightarrow [0,1]$ on metrizable X is the supremum of an increasing sequence of continuous functions.



My attempt: I don't know how to approximate $f(x)$ to within $[f(x)-1/n,f(x)]$ by $h_n(x)$ which is a linear combination of characteristic function of open sets, using lower semicontinuity of $f$.



Can anyone help?










share|cite|improve this question















Show that lower semicontinuous function $f:Xrightarrow [0,1]$ on metrizable X is the supremum of an increasing sequence of continuous functions.



My attempt: I don't know how to approximate $f(x)$ to within $[f(x)-1/n,f(x)]$ by $h_n(x)$ which is a linear combination of characteristic function of open sets, using lower semicontinuity of $f$.



Can anyone help?







general-topology analysis semicontinuous-functions






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Sep 1 at 0:27









Martin Sleziak

43.7k6113260




43.7k6113260










asked May 13 '15 at 4:02









scyphi

253




253







  • 1




    Now sure how to proceed with your idea. But from a post a couple years back... Let $f_k(x)=inff(y)+kd(x,y):yin X.$
    – matt biesecker
    May 13 '15 at 5:00













  • 1




    Now sure how to proceed with your idea. But from a post a couple years back... Let $f_k(x)=inff(y)+kd(x,y):yin X.$
    – matt biesecker
    May 13 '15 at 5:00








1




1




Now sure how to proceed with your idea. But from a post a couple years back... Let $f_k(x)=inff(y)+kd(x,y):yin X.$
– matt biesecker
May 13 '15 at 5:00





Now sure how to proceed with your idea. But from a post a couple years back... Let $f_k(x)=inff(y)+kd(x,y):yin X.$
– matt biesecker
May 13 '15 at 5:00











1 Answer
1






active

oldest

votes

















up vote
2
down vote



accepted










This is a quotation from "General Topology" by Ryszard Engelking:



enter image description here






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%2f1279763%2fshow-that-lower-semicontinuous-function-is-the-supremum-of-an-increasing-sequenc%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
    2
    down vote



    accepted










    This is a quotation from "General Topology" by Ryszard Engelking:



    enter image description here






    share|cite|improve this answer
























      up vote
      2
      down vote



      accepted










      This is a quotation from "General Topology" by Ryszard Engelking:



      enter image description here






      share|cite|improve this answer






















        up vote
        2
        down vote



        accepted







        up vote
        2
        down vote



        accepted






        This is a quotation from "General Topology" by Ryszard Engelking:



        enter image description here






        share|cite|improve this answer












        This is a quotation from "General Topology" by Ryszard Engelking:



        enter image description here







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered May 16 '15 at 8:32









        Alex Ravsky

        36.6k32075




        36.6k32075



























             

            draft saved


            draft discarded















































             


            draft saved


            draft discarded














            StackExchange.ready(
            function ()
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f1279763%2fshow-that-lower-semicontinuous-function-is-the-supremum-of-an-increasing-sequenc%23new-answer', 'question_page');

            );

            Post as a guest













































































            這個網誌中的熱門文章

            tkz-euclide: tkzDrawCircle[R] not working

            How to combine Bézier curves to a surface?

            1st Magritte Awards