How the sup norm works to make a normed space complete












2












$begingroup$


Let $(x_n)_{nin N}$ be the sequence of continuous bounded functions $x_n=x^n$ on the unit interval $[0,1]$ and $C([0,1])$ be the space of continuous bounded real-valued functions on $[0,1].$ It is well known that this Vector space is complete in respect to the sup norm. But we also know that $(x_n)=x^n$ is converging towards a discontinuous function which is thus not element of $C[0,1]$.



I am wondering in what sense does the sup norm resolves this problem, i.e. how the limit of the sequence $x_n=x^n$ become an element of $C([0,1], {leftlVert cdot rightrVert}_{sup}) ,,?$ Many thanks.






real-analysis functional-analysis







share|cite|improve this question









$endgroup$








  • 4




    $begingroup$
    $x^n$ is not a Cauchy sequence with respect to this norm is it?
    $endgroup$
    – Yanko
    Dec 31 '18 at 22:02










  • $begingroup$
    @Yanko. How one would characterise the pointwise limit of $f_n(x)=x^n$ as seen from $C([0,1],{leftlVert cdot rightrVert}_{sup}) )$ ?
    $endgroup$
    – user249018
    Dec 31 '18 at 22:51








  • 1




    $begingroup$
    Instead of speaking of "the limit of $x^n,, $" bear in mind that "the function $x^n,$" is actually the set ${(x,x^n):xin [0,1[}, $ and there may be more than one kind of limit of a sequence of infinite sets. A point-wise limit is not the same thing as a uniform limit. Convergence in the $sup$ norm means uniform convergence only..... $x^n$ does not converge uniformly.
    $endgroup$
    – DanielWainfleet
    Jan 1 at 4:49












  • $begingroup$
    In $C[0,1]$ the set ${f_n: nin Bbb N}$ (where $f_n(x)=x^n$ ) is an infinite closed discrete subspace.
    $endgroup$
    – DanielWainfleet
    Jan 1 at 4:56
















2












$begingroup$


Let $(x_n)_{nin N}$ be the sequence of continuous bounded functions $x_n=x^n$ on the unit interval $[0,1]$ and $C([0,1])$ be the space of continuous bounded real-valued functions on $[0,1].$ It is well known that this Vector space is complete in respect to the sup norm. But we also know that $(x_n)=x^n$ is converging towards a discontinuous function which is thus not element of $C[0,1]$.



I am wondering in what sense does the sup norm resolves this problem, i.e. how the limit of the sequence $x_n=x^n$ become an element of $C([0,1], {leftlVert cdot rightrVert}_{sup}) ,,?$ Many thanks.






real-analysis functional-analysis







share|cite|improve this question









$endgroup$








  • 4




    $begingroup$
    $x^n$ is not a Cauchy sequence with respect to this norm is it?
    $endgroup$
    – Yanko
    Dec 31 '18 at 22:02










  • $begingroup$
    @Yanko. How one would characterise the pointwise limit of $f_n(x)=x^n$ as seen from $C([0,1],{leftlVert cdot rightrVert}_{sup}) )$ ?
    $endgroup$
    – user249018
    Dec 31 '18 at 22:51








  • 1




    $begingroup$
    Instead of speaking of "the limit of $x^n,, $" bear in mind that "the function $x^n,$" is actually the set ${(x,x^n):xin [0,1[}, $ and there may be more than one kind of limit of a sequence of infinite sets. A point-wise limit is not the same thing as a uniform limit. Convergence in the $sup$ norm means uniform convergence only..... $x^n$ does not converge uniformly.
    $endgroup$
    – DanielWainfleet
    Jan 1 at 4:49












  • $begingroup$
    In $C[0,1]$ the set ${f_n: nin Bbb N}$ (where $f_n(x)=x^n$ ) is an infinite closed discrete subspace.
    $endgroup$
    – DanielWainfleet
    Jan 1 at 4:56














2












2








2





$begingroup$


Let $(x_n)_{nin N}$ be the sequence of continuous bounded functions $x_n=x^n$ on the unit interval $[0,1]$ and $C([0,1])$ be the space of continuous bounded real-valued functions on $[0,1].$ It is well known that this Vector space is complete in respect to the sup norm. But we also know that $(x_n)=x^n$ is converging towards a discontinuous function which is thus not element of $C[0,1]$.



I am wondering in what sense does the sup norm resolves this problem, i.e. how the limit of the sequence $x_n=x^n$ become an element of $C([0,1], {leftlVert cdot rightrVert}_{sup}) ,,?$ Many thanks.






real-analysis functional-analysis







share|cite|improve this question









$endgroup$




Let $(x_n)_{nin N}$ be the sequence of continuous bounded functions $x_n=x^n$ on the unit interval $[0,1]$ and $C([0,1])$ be the space of continuous bounded real-valued functions on $[0,1].$ It is well known that this Vector space is complete in respect to the sup norm. But we also know that $(x_n)=x^n$ is converging towards a discontinuous function which is thus not element of $C[0,1]$.



I am wondering in what sense does the sup norm resolves this problem, i.e. how the limit of the sequence $x_n=x^n$ become an element of $C([0,1], {leftlVert cdot rightrVert}_{sup}) ,,?$ Many thanks.






real-analysis functional-analysis




real-analysis functional-analysis






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Dec 31 '18 at 21:57









user249018user249018

440138




440138








  • 4




    $begingroup$
    $x^n$ is not a Cauchy sequence with respect to this norm is it?
    $endgroup$
    – Yanko
    Dec 31 '18 at 22:02










  • $begingroup$
    @Yanko. How one would characterise the pointwise limit of $f_n(x)=x^n$ as seen from $C([0,1],{leftlVert cdot rightrVert}_{sup}) )$ ?
    $endgroup$
    – user249018
    Dec 31 '18 at 22:51








  • 1




    $begingroup$
    Instead of speaking of "the limit of $x^n,, $" bear in mind that "the function $x^n,$" is actually the set ${(x,x^n):xin [0,1[}, $ and there may be more than one kind of limit of a sequence of infinite sets. A point-wise limit is not the same thing as a uniform limit. Convergence in the $sup$ norm means uniform convergence only..... $x^n$ does not converge uniformly.
    $endgroup$
    – DanielWainfleet
    Jan 1 at 4:49












  • $begingroup$
    In $C[0,1]$ the set ${f_n: nin Bbb N}$ (where $f_n(x)=x^n$ ) is an infinite closed discrete subspace.
    $endgroup$
    – DanielWainfleet
    Jan 1 at 4:56














  • 4




    $begingroup$
    $x^n$ is not a Cauchy sequence with respect to this norm is it?
    $endgroup$
    – Yanko
    Dec 31 '18 at 22:02










  • $begingroup$
    @Yanko. How one would characterise the pointwise limit of $f_n(x)=x^n$ as seen from $C([0,1],{leftlVert cdot rightrVert}_{sup}) )$ ?
    $endgroup$
    – user249018
    Dec 31 '18 at 22:51








  • 1




    $begingroup$
    Instead of speaking of "the limit of $x^n,, $" bear in mind that "the function $x^n,$" is actually the set ${(x,x^n):xin [0,1[}, $ and there may be more than one kind of limit of a sequence of infinite sets. A point-wise limit is not the same thing as a uniform limit. Convergence in the $sup$ norm means uniform convergence only..... $x^n$ does not converge uniformly.
    $endgroup$
    – DanielWainfleet
    Jan 1 at 4:49












  • $begingroup$
    In $C[0,1]$ the set ${f_n: nin Bbb N}$ (where $f_n(x)=x^n$ ) is an infinite closed discrete subspace.
    $endgroup$
    – DanielWainfleet
    Jan 1 at 4:56








4




4




$begingroup$
$x^n$ is not a Cauchy sequence with respect to this norm is it?
$endgroup$
– Yanko
Dec 31 '18 at 22:02




$begingroup$
$x^n$ is not a Cauchy sequence with respect to this norm is it?
$endgroup$
– Yanko
Dec 31 '18 at 22:02












$begingroup$
@Yanko. How one would characterise the pointwise limit of $f_n(x)=x^n$ as seen from $C([0,1],{leftlVert cdot rightrVert}_{sup}) )$ ?
$endgroup$
– user249018
Dec 31 '18 at 22:51






$begingroup$
@Yanko. How one would characterise the pointwise limit of $f_n(x)=x^n$ as seen from $C([0,1],{leftlVert cdot rightrVert}_{sup}) )$ ?
$endgroup$
– user249018
Dec 31 '18 at 22:51






1




1




$begingroup$
Instead of speaking of "the limit of $x^n,, $" bear in mind that "the function $x^n,$" is actually the set ${(x,x^n):xin [0,1[}, $ and there may be more than one kind of limit of a sequence of infinite sets. A point-wise limit is not the same thing as a uniform limit. Convergence in the $sup$ norm means uniform convergence only..... $x^n$ does not converge uniformly.
$endgroup$
– DanielWainfleet
Jan 1 at 4:49






$begingroup$
Instead of speaking of "the limit of $x^n,, $" bear in mind that "the function $x^n,$" is actually the set ${(x,x^n):xin [0,1[}, $ and there may be more than one kind of limit of a sequence of infinite sets. A point-wise limit is not the same thing as a uniform limit. Convergence in the $sup$ norm means uniform convergence only..... $x^n$ does not converge uniformly.
$endgroup$
– DanielWainfleet
Jan 1 at 4:49














$begingroup$
In $C[0,1]$ the set ${f_n: nin Bbb N}$ (where $f_n(x)=x^n$ ) is an infinite closed discrete subspace.
$endgroup$
– DanielWainfleet
Jan 1 at 4:56




$begingroup$
In $C[0,1]$ the set ${f_n: nin Bbb N}$ (where $f_n(x)=x^n$ ) is an infinite closed discrete subspace.
$endgroup$
– DanielWainfleet
Jan 1 at 4:56










2 Answers
2






active

oldest

votes


















2












$begingroup$

The pointwise limit of the sequence is not become an element of $C([0,1])$. This poses no contradiction to the fact that $C([0,1])$ is complete. Indeed, the sequence of functions given by $f_{n}(x)=x^n$ is not uniformly Cauchy.






share|cite|improve this answer









$endgroup$













  • $begingroup$
    Thanks. But I still dont get it. The limit of $f_n(x)=x^n$ is not in $C([0,1])$: Why it does not pose a contradiction ? Would you please comment on that ?
    $endgroup$
    – user249018
    Dec 31 '18 at 22:10






  • 2




    $begingroup$
    Because the sequence $(f_n)$ is not Cauchy in $C([0,1])$ to begin with.
    $endgroup$
    – Foobaz John
    Dec 31 '18 at 22:18










  • $begingroup$
    So in general the pointwise limit of a sequence of functions must not have a limit in the vector space which is complete with respect to a norm. Right ? Does then the pointwise limit is used at all in normed spaces or must one always use the norm when working with limits?
    $endgroup$
    – user249018
    Dec 31 '18 at 22:28



















0












$begingroup$

Your sequence $(f_n)_n$ is not Cauchy with respect to $|cdot|_{sup}$, not even on $[0,1)$.



Indeed, for any $n inmathbb{N}$ we have
$$|f_{n^2}-f_n|_sup ge (f_{n^2}-f_n)left(sqrt[n]{1-frac1n}right)= left(1-frac1nright)^n - left(1-frac1nright) xrightarrow{ntoinfty} frac1e - 1 ne 0$$






share|cite|improve this answer









$endgroup$














    Your Answer








    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',
    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%2fmath.stackexchange.com%2fquestions%2f3058068%2fhow-the-sup-norm-works-to-make-a-normed-space-complete%23new-answer', 'question_page');
    }
    );

    Post as a guest















    Required, but never shown

























    2 Answers
    2






    active

    oldest

    votes








    2 Answers
    2






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes









    2












    $begingroup$

    The pointwise limit of the sequence is not become an element of $C([0,1])$. This poses no contradiction to the fact that $C([0,1])$ is complete. Indeed, the sequence of functions given by $f_{n}(x)=x^n$ is not uniformly Cauchy.






    share|cite|improve this answer









    $endgroup$













    • $begingroup$
      Thanks. But I still dont get it. The limit of $f_n(x)=x^n$ is not in $C([0,1])$: Why it does not pose a contradiction ? Would you please comment on that ?
      $endgroup$
      – user249018
      Dec 31 '18 at 22:10






    • 2




      $begingroup$
      Because the sequence $(f_n)$ is not Cauchy in $C([0,1])$ to begin with.
      $endgroup$
      – Foobaz John
      Dec 31 '18 at 22:18










    • $begingroup$
      So in general the pointwise limit of a sequence of functions must not have a limit in the vector space which is complete with respect to a norm. Right ? Does then the pointwise limit is used at all in normed spaces or must one always use the norm when working with limits?
      $endgroup$
      – user249018
      Dec 31 '18 at 22:28
















    2












    $begingroup$

    The pointwise limit of the sequence is not become an element of $C([0,1])$. This poses no contradiction to the fact that $C([0,1])$ is complete. Indeed, the sequence of functions given by $f_{n}(x)=x^n$ is not uniformly Cauchy.






    share|cite|improve this answer









    $endgroup$













    • $begingroup$
      Thanks. But I still dont get it. The limit of $f_n(x)=x^n$ is not in $C([0,1])$: Why it does not pose a contradiction ? Would you please comment on that ?
      $endgroup$
      – user249018
      Dec 31 '18 at 22:10






    • 2




      $begingroup$
      Because the sequence $(f_n)$ is not Cauchy in $C([0,1])$ to begin with.
      $endgroup$
      – Foobaz John
      Dec 31 '18 at 22:18










    • $begingroup$
      So in general the pointwise limit of a sequence of functions must not have a limit in the vector space which is complete with respect to a norm. Right ? Does then the pointwise limit is used at all in normed spaces or must one always use the norm when working with limits?
      $endgroup$
      – user249018
      Dec 31 '18 at 22:28














    2












    2








    2





    $begingroup$

    The pointwise limit of the sequence is not become an element of $C([0,1])$. This poses no contradiction to the fact that $C([0,1])$ is complete. Indeed, the sequence of functions given by $f_{n}(x)=x^n$ is not uniformly Cauchy.






    share|cite|improve this answer









    $endgroup$



    The pointwise limit of the sequence is not become an element of $C([0,1])$. This poses no contradiction to the fact that $C([0,1])$ is complete. Indeed, the sequence of functions given by $f_{n}(x)=x^n$ is not uniformly Cauchy.







    share|cite|improve this answer












    share|cite|improve this answer



    share|cite|improve this answer










    answered Dec 31 '18 at 22:02









    Foobaz JohnFoobaz John

    23k41552




    23k41552












    • $begingroup$
      Thanks. But I still dont get it. The limit of $f_n(x)=x^n$ is not in $C([0,1])$: Why it does not pose a contradiction ? Would you please comment on that ?
      $endgroup$
      – user249018
      Dec 31 '18 at 22:10






    • 2




      $begingroup$
      Because the sequence $(f_n)$ is not Cauchy in $C([0,1])$ to begin with.
      $endgroup$
      – Foobaz John
      Dec 31 '18 at 22:18










    • $begingroup$
      So in general the pointwise limit of a sequence of functions must not have a limit in the vector space which is complete with respect to a norm. Right ? Does then the pointwise limit is used at all in normed spaces or must one always use the norm when working with limits?
      $endgroup$
      – user249018
      Dec 31 '18 at 22:28


















    • $begingroup$
      Thanks. But I still dont get it. The limit of $f_n(x)=x^n$ is not in $C([0,1])$: Why it does not pose a contradiction ? Would you please comment on that ?
      $endgroup$
      – user249018
      Dec 31 '18 at 22:10






    • 2




      $begingroup$
      Because the sequence $(f_n)$ is not Cauchy in $C([0,1])$ to begin with.
      $endgroup$
      – Foobaz John
      Dec 31 '18 at 22:18










    • $begingroup$
      So in general the pointwise limit of a sequence of functions must not have a limit in the vector space which is complete with respect to a norm. Right ? Does then the pointwise limit is used at all in normed spaces or must one always use the norm when working with limits?
      $endgroup$
      – user249018
      Dec 31 '18 at 22:28
















    $begingroup$
    Thanks. But I still dont get it. The limit of $f_n(x)=x^n$ is not in $C([0,1])$: Why it does not pose a contradiction ? Would you please comment on that ?
    $endgroup$
    – user249018
    Dec 31 '18 at 22:10




    $begingroup$
    Thanks. But I still dont get it. The limit of $f_n(x)=x^n$ is not in $C([0,1])$: Why it does not pose a contradiction ? Would you please comment on that ?
    $endgroup$
    – user249018
    Dec 31 '18 at 22:10




    2




    2




    $begingroup$
    Because the sequence $(f_n)$ is not Cauchy in $C([0,1])$ to begin with.
    $endgroup$
    – Foobaz John
    Dec 31 '18 at 22:18




    $begingroup$
    Because the sequence $(f_n)$ is not Cauchy in $C([0,1])$ to begin with.
    $endgroup$
    – Foobaz John
    Dec 31 '18 at 22:18












    $begingroup$
    So in general the pointwise limit of a sequence of functions must not have a limit in the vector space which is complete with respect to a norm. Right ? Does then the pointwise limit is used at all in normed spaces or must one always use the norm when working with limits?
    $endgroup$
    – user249018
    Dec 31 '18 at 22:28




    $begingroup$
    So in general the pointwise limit of a sequence of functions must not have a limit in the vector space which is complete with respect to a norm. Right ? Does then the pointwise limit is used at all in normed spaces or must one always use the norm when working with limits?
    $endgroup$
    – user249018
    Dec 31 '18 at 22:28











    0












    $begingroup$

    Your sequence $(f_n)_n$ is not Cauchy with respect to $|cdot|_{sup}$, not even on $[0,1)$.



    Indeed, for any $n inmathbb{N}$ we have
    $$|f_{n^2}-f_n|_sup ge (f_{n^2}-f_n)left(sqrt[n]{1-frac1n}right)= left(1-frac1nright)^n - left(1-frac1nright) xrightarrow{ntoinfty} frac1e - 1 ne 0$$






    share|cite|improve this answer









    $endgroup$


















      0












      $begingroup$

      Your sequence $(f_n)_n$ is not Cauchy with respect to $|cdot|_{sup}$, not even on $[0,1)$.



      Indeed, for any $n inmathbb{N}$ we have
      $$|f_{n^2}-f_n|_sup ge (f_{n^2}-f_n)left(sqrt[n]{1-frac1n}right)= left(1-frac1nright)^n - left(1-frac1nright) xrightarrow{ntoinfty} frac1e - 1 ne 0$$






      share|cite|improve this answer









      $endgroup$
















        0












        0








        0





        $begingroup$

        Your sequence $(f_n)_n$ is not Cauchy with respect to $|cdot|_{sup}$, not even on $[0,1)$.



        Indeed, for any $n inmathbb{N}$ we have
        $$|f_{n^2}-f_n|_sup ge (f_{n^2}-f_n)left(sqrt[n]{1-frac1n}right)= left(1-frac1nright)^n - left(1-frac1nright) xrightarrow{ntoinfty} frac1e - 1 ne 0$$






        share|cite|improve this answer









        $endgroup$



        Your sequence $(f_n)_n$ is not Cauchy with respect to $|cdot|_{sup}$, not even on $[0,1)$.



        Indeed, for any $n inmathbb{N}$ we have
        $$|f_{n^2}-f_n|_sup ge (f_{n^2}-f_n)left(sqrt[n]{1-frac1n}right)= left(1-frac1nright)^n - left(1-frac1nright) xrightarrow{ntoinfty} frac1e - 1 ne 0$$







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Jan 1 at 13:49









        mechanodroidmechanodroid

        28.9k62648




        28.9k62648






























            draft saved

            draft discarded




















































            Thanks for contributing an answer to Mathematics Stack Exchange!


            • 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%2fmath.stackexchange.com%2fquestions%2f3058068%2fhow-the-sup-norm-works-to-make-a-normed-space-complete%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

            mysqli_query(): Empty query in /home/lucindabrummitt/public_html/blog/wp-includes/wp-db.php on line 1924

            Image
            0 I just uploaded a new plugin to my wordpress site and I got this warning: mysqli_query(): Empty query in /home/lucindabrummitt/public_html/blog/wp-includes/wp-db.php on line 1924 Usually if I have a problem, I can find answers on google but this one seems pretty particular and I'm not finding any info on it except for this forum. I'm not terribly techie but if someone can tell me how to read this and how to change it I can follow directions pretty well. Thanks All! PS If I don't have the proper tags here could someone add the appropriate tags? php mysql wordpress share | improve this question asked Nov 16 '18 at 20:41 ...
            Read more

            How to change which sound is reproduced for terminal bell?

            Image
            3 Recently upgrade to 18.10 from 18.04, and using the terminal is becoming annoying: the new alert sound is a drip ( /usr/share/sounds/gnome/default/alerts/drip.ogg ), and the previous one is still located at ( /usr/share/sounds/ubuntu/stereo/bell.ogg ). My issue is that at the gnome-terminal, when autocompleting or pressing left BOTH sounds are reproduced, at the same time. I want to just have ubuntu/stereo/bell.ogg active, not both . At the moment I have been only able to reduce the volume of the alerts (but still both are played), or turn the alerts down (but I dislike both "solutions"). gnome-terminal 18.10 teminal-bell share | improve this question ...
            Read more

            Can I use Tabulator js library in my java Spring + Thymeleaf project?

            Image
            0 I want to add Tabulator js to my java project. I added tabulator.min.js, tabulator.min.css to resources folder. After that added to my html page these dependencies as recommending in readme.md. <link rel="stylesheet" th:href="@{/css/tabulator.min.css}"> <script type="text/javascript" th:src="@{/js/tabulator.min.js}"></script> Now my tables view all elements, that I have in the html page, but not correct. In the documentation of Tabulator is example how to create header and table, var table = new Tabulator("#example-table", { columns:[ {title:"Name", field:"name", sorter:"string", width:200, editor:true}, {title:"Age", field:"age", sorter:"...
            Read more