Convergence in $(L_P(a,b),|.|_p)$ doesn't imply convergence in $(C(a,b),sup)$












2












$begingroup$


enter image description here



Why is the continuous function $f_n(x)=(1+nx)^{-1}$ pointwise convergent to zero in $(L_P(a,b),|.|_p)$?



It seems to me for the considered function that $|f_n(x)-0|_p leq frac{1}{(1-p)} (frac{(1+n)^{1-p}}{n} - frac{1}{n}) < epsilon$
then for all $n>N$, $f_n(x) to 0$ uniformly in $(L_P(a,b),|.|_p)$ as $N$ depends on $epsilon$ and $p$.



And If I'm wrong and it is pointwise convergent in $(L_P(a,b),|.|_p)$ how did he use this information to deduce that it is not convergent in $(C(a,b),sup)$?










share|cite|improve this question











$endgroup$

















    2












    $begingroup$


    enter image description here



    Why is the continuous function $f_n(x)=(1+nx)^{-1}$ pointwise convergent to zero in $(L_P(a,b),|.|_p)$?



    It seems to me for the considered function that $|f_n(x)-0|_p leq frac{1}{(1-p)} (frac{(1+n)^{1-p}}{n} - frac{1}{n}) < epsilon$
    then for all $n>N$, $f_n(x) to 0$ uniformly in $(L_P(a,b),|.|_p)$ as $N$ depends on $epsilon$ and $p$.



    And If I'm wrong and it is pointwise convergent in $(L_P(a,b),|.|_p)$ how did he use this information to deduce that it is not convergent in $(C(a,b),sup)$?










    share|cite|improve this question











    $endgroup$















      2












      2








      2





      $begingroup$


      enter image description here



      Why is the continuous function $f_n(x)=(1+nx)^{-1}$ pointwise convergent to zero in $(L_P(a,b),|.|_p)$?



      It seems to me for the considered function that $|f_n(x)-0|_p leq frac{1}{(1-p)} (frac{(1+n)^{1-p}}{n} - frac{1}{n}) < epsilon$
      then for all $n>N$, $f_n(x) to 0$ uniformly in $(L_P(a,b),|.|_p)$ as $N$ depends on $epsilon$ and $p$.



      And If I'm wrong and it is pointwise convergent in $(L_P(a,b),|.|_p)$ how did he use this information to deduce that it is not convergent in $(C(a,b),sup)$?










      share|cite|improve this question











      $endgroup$




      enter image description here



      Why is the continuous function $f_n(x)=(1+nx)^{-1}$ pointwise convergent to zero in $(L_P(a,b),|.|_p)$?



      It seems to me for the considered function that $|f_n(x)-0|_p leq frac{1}{(1-p)} (frac{(1+n)^{1-p}}{n} - frac{1}{n}) < epsilon$
      then for all $n>N$, $f_n(x) to 0$ uniformly in $(L_P(a,b),|.|_p)$ as $N$ depends on $epsilon$ and $p$.



      And If I'm wrong and it is pointwise convergent in $(L_P(a,b),|.|_p)$ how did he use this information to deduce that it is not convergent in $(C(a,b),sup)$?







      functional-analysis convergence proof-explanation normed-spaces lp-spaces






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Dec 26 '18 at 16:55









      Davide Giraudo

      128k17156268




      128k17156268










      asked Dec 26 '18 at 9:32









      Dreamer123Dreamer123

      33229




      33229






















          2 Answers
          2






          active

          oldest

          votes


















          0












          $begingroup$

          Since $|f_n|_pto0$, we say that $f_n$ converges to $0$ in $L^p$ (the expression uniform convergence in $L^p$ is not used.)



          It is clear the $lim_{ntoinfty}f_n(x)$ is $0$ if $xin(0,1]$ and $1$ if $x=0$. Thus, $f_n$ converges pointwise to the discontinuous function $f(x)=0$ if $xin(0,1]$, $f(0)=1$. Since each $f_n$ is continuous, the convergence cannot be uniform (in $(C([0,1]),sup)$.) You can also see this by noting that $f_n(1/n)=1/2$ and $sup|f_n|ge1/2>0$.






          share|cite|improve this answer









          $endgroup$





















            0












            $begingroup$

            First, note that the supremum norm of $C[a,b]$ is the norm of uniform convergence. This means a sequence $f_n to f$ wrt. to $||, ., ||_infty$ if and only if $f_n to f$ uniformly. Make sure that you understand why this is true and that you know the difference between pointwise and uniform convergence.



            $f_n to f$ with respect to $||, ., ||_p$ means only that
            begin{align}
            int_a^b |f_n(t) - f(t)|, dlambda(t) to 0 qquad text{as} qquad n to infty
            end{align}

            It doesn't say anything about pointwise or uniform convergence from first sight. In fact there are examples, where $f_n to f$ with respect to the $L^p$-norm, but $f_n(x) to f(x)$ at no point $x in (a,b)$. See eg. the answer to this question: Does convergence in $L^{p}$ implies convergence almost everywhere?.



            Your counterexample is a little bit difference. You have a sequence of functions that converges in $L^p$ and that converges pointwise (i.e. $forall x in [a,b]:f_n(x) to f(x)$ for some function $f$). But the sequence does not converge uniformly. To see this, just compute the maximum distance between two elements $sup_{tin [a,b]} |f_n(t) - f_m(t)| = ||f_n - f_m||_infty$. So it is an example that convertgence in $L^p[a,b]$ does not imply convergence in $C[a,b]$.



            There are other ways to see, that this can not be true. Suppose I have $f_n to f$ in $L^p$. If I change $f$ in point, then it won't do anything to the intgrals, so still $f_n to f'$. But it can definitly change pointwise (and hence also uniform) convergence.



            I hope this helps a little bit. "Why is the continuous function $f_n(x)=(1+nx)^{−1}$ pointwise convergent to zero in $(L^p(a,b),∥.∥_p)$?" does not make a lot of sense as a question, since the $L^p$ does not care about any properties on sets of measure zero (which includes single points).






            share|cite|improve this answer











            $endgroup$














              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',
              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%2f3052791%2fconvergence-in-l-pa-b-p-doesnt-imply-convergence-in-ca-b-sup%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









              0












              $begingroup$

              Since $|f_n|_pto0$, we say that $f_n$ converges to $0$ in $L^p$ (the expression uniform convergence in $L^p$ is not used.)



              It is clear the $lim_{ntoinfty}f_n(x)$ is $0$ if $xin(0,1]$ and $1$ if $x=0$. Thus, $f_n$ converges pointwise to the discontinuous function $f(x)=0$ if $xin(0,1]$, $f(0)=1$. Since each $f_n$ is continuous, the convergence cannot be uniform (in $(C([0,1]),sup)$.) You can also see this by noting that $f_n(1/n)=1/2$ and $sup|f_n|ge1/2>0$.






              share|cite|improve this answer









              $endgroup$


















                0












                $begingroup$

                Since $|f_n|_pto0$, we say that $f_n$ converges to $0$ in $L^p$ (the expression uniform convergence in $L^p$ is not used.)



                It is clear the $lim_{ntoinfty}f_n(x)$ is $0$ if $xin(0,1]$ and $1$ if $x=0$. Thus, $f_n$ converges pointwise to the discontinuous function $f(x)=0$ if $xin(0,1]$, $f(0)=1$. Since each $f_n$ is continuous, the convergence cannot be uniform (in $(C([0,1]),sup)$.) You can also see this by noting that $f_n(1/n)=1/2$ and $sup|f_n|ge1/2>0$.






                share|cite|improve this answer









                $endgroup$
















                  0












                  0








                  0





                  $begingroup$

                  Since $|f_n|_pto0$, we say that $f_n$ converges to $0$ in $L^p$ (the expression uniform convergence in $L^p$ is not used.)



                  It is clear the $lim_{ntoinfty}f_n(x)$ is $0$ if $xin(0,1]$ and $1$ if $x=0$. Thus, $f_n$ converges pointwise to the discontinuous function $f(x)=0$ if $xin(0,1]$, $f(0)=1$. Since each $f_n$ is continuous, the convergence cannot be uniform (in $(C([0,1]),sup)$.) You can also see this by noting that $f_n(1/n)=1/2$ and $sup|f_n|ge1/2>0$.






                  share|cite|improve this answer









                  $endgroup$



                  Since $|f_n|_pto0$, we say that $f_n$ converges to $0$ in $L^p$ (the expression uniform convergence in $L^p$ is not used.)



                  It is clear the $lim_{ntoinfty}f_n(x)$ is $0$ if $xin(0,1]$ and $1$ if $x=0$. Thus, $f_n$ converges pointwise to the discontinuous function $f(x)=0$ if $xin(0,1]$, $f(0)=1$. Since each $f_n$ is continuous, the convergence cannot be uniform (in $(C([0,1]),sup)$.) You can also see this by noting that $f_n(1/n)=1/2$ and $sup|f_n|ge1/2>0$.







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered Dec 26 '18 at 11:24









                  Julián AguirreJulián Aguirre

                  69.5k24297




                  69.5k24297























                      0












                      $begingroup$

                      First, note that the supremum norm of $C[a,b]$ is the norm of uniform convergence. This means a sequence $f_n to f$ wrt. to $||, ., ||_infty$ if and only if $f_n to f$ uniformly. Make sure that you understand why this is true and that you know the difference between pointwise and uniform convergence.



                      $f_n to f$ with respect to $||, ., ||_p$ means only that
                      begin{align}
                      int_a^b |f_n(t) - f(t)|, dlambda(t) to 0 qquad text{as} qquad n to infty
                      end{align}

                      It doesn't say anything about pointwise or uniform convergence from first sight. In fact there are examples, where $f_n to f$ with respect to the $L^p$-norm, but $f_n(x) to f(x)$ at no point $x in (a,b)$. See eg. the answer to this question: Does convergence in $L^{p}$ implies convergence almost everywhere?.



                      Your counterexample is a little bit difference. You have a sequence of functions that converges in $L^p$ and that converges pointwise (i.e. $forall x in [a,b]:f_n(x) to f(x)$ for some function $f$). But the sequence does not converge uniformly. To see this, just compute the maximum distance between two elements $sup_{tin [a,b]} |f_n(t) - f_m(t)| = ||f_n - f_m||_infty$. So it is an example that convertgence in $L^p[a,b]$ does not imply convergence in $C[a,b]$.



                      There are other ways to see, that this can not be true. Suppose I have $f_n to f$ in $L^p$. If I change $f$ in point, then it won't do anything to the intgrals, so still $f_n to f'$. But it can definitly change pointwise (and hence also uniform) convergence.



                      I hope this helps a little bit. "Why is the continuous function $f_n(x)=(1+nx)^{−1}$ pointwise convergent to zero in $(L^p(a,b),∥.∥_p)$?" does not make a lot of sense as a question, since the $L^p$ does not care about any properties on sets of measure zero (which includes single points).






                      share|cite|improve this answer











                      $endgroup$


















                        0












                        $begingroup$

                        First, note that the supremum norm of $C[a,b]$ is the norm of uniform convergence. This means a sequence $f_n to f$ wrt. to $||, ., ||_infty$ if and only if $f_n to f$ uniformly. Make sure that you understand why this is true and that you know the difference between pointwise and uniform convergence.



                        $f_n to f$ with respect to $||, ., ||_p$ means only that
                        begin{align}
                        int_a^b |f_n(t) - f(t)|, dlambda(t) to 0 qquad text{as} qquad n to infty
                        end{align}

                        It doesn't say anything about pointwise or uniform convergence from first sight. In fact there are examples, where $f_n to f$ with respect to the $L^p$-norm, but $f_n(x) to f(x)$ at no point $x in (a,b)$. See eg. the answer to this question: Does convergence in $L^{p}$ implies convergence almost everywhere?.



                        Your counterexample is a little bit difference. You have a sequence of functions that converges in $L^p$ and that converges pointwise (i.e. $forall x in [a,b]:f_n(x) to f(x)$ for some function $f$). But the sequence does not converge uniformly. To see this, just compute the maximum distance between two elements $sup_{tin [a,b]} |f_n(t) - f_m(t)| = ||f_n - f_m||_infty$. So it is an example that convertgence in $L^p[a,b]$ does not imply convergence in $C[a,b]$.



                        There are other ways to see, that this can not be true. Suppose I have $f_n to f$ in $L^p$. If I change $f$ in point, then it won't do anything to the intgrals, so still $f_n to f'$. But it can definitly change pointwise (and hence also uniform) convergence.



                        I hope this helps a little bit. "Why is the continuous function $f_n(x)=(1+nx)^{−1}$ pointwise convergent to zero in $(L^p(a,b),∥.∥_p)$?" does not make a lot of sense as a question, since the $L^p$ does not care about any properties on sets of measure zero (which includes single points).






                        share|cite|improve this answer











                        $endgroup$
















                          0












                          0








                          0





                          $begingroup$

                          First, note that the supremum norm of $C[a,b]$ is the norm of uniform convergence. This means a sequence $f_n to f$ wrt. to $||, ., ||_infty$ if and only if $f_n to f$ uniformly. Make sure that you understand why this is true and that you know the difference between pointwise and uniform convergence.



                          $f_n to f$ with respect to $||, ., ||_p$ means only that
                          begin{align}
                          int_a^b |f_n(t) - f(t)|, dlambda(t) to 0 qquad text{as} qquad n to infty
                          end{align}

                          It doesn't say anything about pointwise or uniform convergence from first sight. In fact there are examples, where $f_n to f$ with respect to the $L^p$-norm, but $f_n(x) to f(x)$ at no point $x in (a,b)$. See eg. the answer to this question: Does convergence in $L^{p}$ implies convergence almost everywhere?.



                          Your counterexample is a little bit difference. You have a sequence of functions that converges in $L^p$ and that converges pointwise (i.e. $forall x in [a,b]:f_n(x) to f(x)$ for some function $f$). But the sequence does not converge uniformly. To see this, just compute the maximum distance between two elements $sup_{tin [a,b]} |f_n(t) - f_m(t)| = ||f_n - f_m||_infty$. So it is an example that convertgence in $L^p[a,b]$ does not imply convergence in $C[a,b]$.



                          There are other ways to see, that this can not be true. Suppose I have $f_n to f$ in $L^p$. If I change $f$ in point, then it won't do anything to the intgrals, so still $f_n to f'$. But it can definitly change pointwise (and hence also uniform) convergence.



                          I hope this helps a little bit. "Why is the continuous function $f_n(x)=(1+nx)^{−1}$ pointwise convergent to zero in $(L^p(a,b),∥.∥_p)$?" does not make a lot of sense as a question, since the $L^p$ does not care about any properties on sets of measure zero (which includes single points).






                          share|cite|improve this answer











                          $endgroup$



                          First, note that the supremum norm of $C[a,b]$ is the norm of uniform convergence. This means a sequence $f_n to f$ wrt. to $||, ., ||_infty$ if and only if $f_n to f$ uniformly. Make sure that you understand why this is true and that you know the difference between pointwise and uniform convergence.



                          $f_n to f$ with respect to $||, ., ||_p$ means only that
                          begin{align}
                          int_a^b |f_n(t) - f(t)|, dlambda(t) to 0 qquad text{as} qquad n to infty
                          end{align}

                          It doesn't say anything about pointwise or uniform convergence from first sight. In fact there are examples, where $f_n to f$ with respect to the $L^p$-norm, but $f_n(x) to f(x)$ at no point $x in (a,b)$. See eg. the answer to this question: Does convergence in $L^{p}$ implies convergence almost everywhere?.



                          Your counterexample is a little bit difference. You have a sequence of functions that converges in $L^p$ and that converges pointwise (i.e. $forall x in [a,b]:f_n(x) to f(x)$ for some function $f$). But the sequence does not converge uniformly. To see this, just compute the maximum distance between two elements $sup_{tin [a,b]} |f_n(t) - f_m(t)| = ||f_n - f_m||_infty$. So it is an example that convertgence in $L^p[a,b]$ does not imply convergence in $C[a,b]$.



                          There are other ways to see, that this can not be true. Suppose I have $f_n to f$ in $L^p$. If I change $f$ in point, then it won't do anything to the intgrals, so still $f_n to f'$. But it can definitly change pointwise (and hence also uniform) convergence.



                          I hope this helps a little bit. "Why is the continuous function $f_n(x)=(1+nx)^{−1}$ pointwise convergent to zero in $(L^p(a,b),∥.∥_p)$?" does not make a lot of sense as a question, since the $L^p$ does not care about any properties on sets of measure zero (which includes single points).







                          share|cite|improve this answer














                          share|cite|improve this answer



                          share|cite|improve this answer








                          edited Dec 26 '18 at 11:32

























                          answered Dec 26 '18 at 11:26









                          N.BeckN.Beck

                          1938




                          1938






























                              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%2f3052791%2fconvergence-in-l-pa-b-p-doesnt-imply-convergence-in-ca-b-sup%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

                              Le Mesnil-Réaume

                              Ida-Boy-Ed-Garten

                              web3.py web3.isConnected() returns false always