Why normal convergence $implies $ uniform convergence.

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











up vote
0
down vote

favorite












We say that $sum_k=0^infty f_k(x)$ converge normally in $I$ if there is $M_n$ s.t. $|f_n(x)|leq M_n$ for all $n$ and all $xin I$ with $sum_k=0^infty M_n$ converge. Why does it implies that the serie converge uniformly ? I set $f(x)=sum_k=0^infty f_k(x)$. Why $$sup_I|f(x)-sum_k=0^n f_k(x)|to 0$$
when $nto infty $ ?







share|cite|improve this question















  • 2




    It's the Weierstrass M-test. The proof is short and can be found here, for example: en.wikipedia.org/wiki/Weierstrass_M-test
    – Mark
    Jul 22 at 8:56














up vote
0
down vote

favorite












We say that $sum_k=0^infty f_k(x)$ converge normally in $I$ if there is $M_n$ s.t. $|f_n(x)|leq M_n$ for all $n$ and all $xin I$ with $sum_k=0^infty M_n$ converge. Why does it implies that the serie converge uniformly ? I set $f(x)=sum_k=0^infty f_k(x)$. Why $$sup_I|f(x)-sum_k=0^n f_k(x)|to 0$$
when $nto infty $ ?







share|cite|improve this question















  • 2




    It's the Weierstrass M-test. The proof is short and can be found here, for example: en.wikipedia.org/wiki/Weierstrass_M-test
    – Mark
    Jul 22 at 8:56












up vote
0
down vote

favorite









up vote
0
down vote

favorite











We say that $sum_k=0^infty f_k(x)$ converge normally in $I$ if there is $M_n$ s.t. $|f_n(x)|leq M_n$ for all $n$ and all $xin I$ with $sum_k=0^infty M_n$ converge. Why does it implies that the serie converge uniformly ? I set $f(x)=sum_k=0^infty f_k(x)$. Why $$sup_I|f(x)-sum_k=0^n f_k(x)|to 0$$
when $nto infty $ ?







share|cite|improve this question











We say that $sum_k=0^infty f_k(x)$ converge normally in $I$ if there is $M_n$ s.t. $|f_n(x)|leq M_n$ for all $n$ and all $xin I$ with $sum_k=0^infty M_n$ converge. Why does it implies that the serie converge uniformly ? I set $f(x)=sum_k=0^infty f_k(x)$. Why $$sup_I|f(x)-sum_k=0^n f_k(x)|to 0$$
when $nto infty $ ?









share|cite|improve this question










share|cite|improve this question




share|cite|improve this question









asked Jul 22 at 8:51









user352653

354212




354212







  • 2




    It's the Weierstrass M-test. The proof is short and can be found here, for example: en.wikipedia.org/wiki/Weierstrass_M-test
    – Mark
    Jul 22 at 8:56












  • 2




    It's the Weierstrass M-test. The proof is short and can be found here, for example: en.wikipedia.org/wiki/Weierstrass_M-test
    – Mark
    Jul 22 at 8:56







2




2




It's the Weierstrass M-test. The proof is short and can be found here, for example: en.wikipedia.org/wiki/Weierstrass_M-test
– Mark
Jul 22 at 8:56




It's the Weierstrass M-test. The proof is short and can be found here, for example: en.wikipedia.org/wiki/Weierstrass_M-test
– Mark
Jul 22 at 8:56










2 Answers
2






active

oldest

votes

















up vote
2
down vote



accepted










$$left|f(x)-sum_k=0^n f_k(x)right|=left|sum_k=0^infty f_k(x)-sum_k=0^n f_k(x)right|=left|sum_k=n+1^infty f_k(x) right|leq sum_k=n+1^infty M_n,$$
and thus
$$sup_xin Ileft|f(x)-sum_k=0^n f_k(x)right|leq sum_k=n+1^infty M_nundersetnto infty longrightarrow 0.$$






share|cite|improve this answer




























    up vote
    0
    down vote













    It converges uniformly (and absolutely) because it satisfies the uniform Cauchy criterion:



    if $N$ is such that
    $$|M_n+M_n+1+dots +M_p|<ε qquadtextfor all : p>nge N,$$
    we also have for all $xin I$
    beginalign
    |f_n(x)+f_n+1(x)+dots +f_p(x)|&le |f_n(x)|+|f_n+1(x)|+dots +|f_p(x)|\ &le|M_n+M_n+1+dots +M_p|< ε.
    endalign






    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%2f2859215%2fwhy-normal-convergence-implies-uniform-convergence%23new-answer', 'question_page');

      );

      Post as a guest






























      2 Answers
      2






      active

      oldest

      votes








      2 Answers
      2






      active

      oldest

      votes









      active

      oldest

      votes






      active

      oldest

      votes








      up vote
      2
      down vote



      accepted










      $$left|f(x)-sum_k=0^n f_k(x)right|=left|sum_k=0^infty f_k(x)-sum_k=0^n f_k(x)right|=left|sum_k=n+1^infty f_k(x) right|leq sum_k=n+1^infty M_n,$$
      and thus
      $$sup_xin Ileft|f(x)-sum_k=0^n f_k(x)right|leq sum_k=n+1^infty M_nundersetnto infty longrightarrow 0.$$






      share|cite|improve this answer

























        up vote
        2
        down vote



        accepted










        $$left|f(x)-sum_k=0^n f_k(x)right|=left|sum_k=0^infty f_k(x)-sum_k=0^n f_k(x)right|=left|sum_k=n+1^infty f_k(x) right|leq sum_k=n+1^infty M_n,$$
        and thus
        $$sup_xin Ileft|f(x)-sum_k=0^n f_k(x)right|leq sum_k=n+1^infty M_nundersetnto infty longrightarrow 0.$$






        share|cite|improve this answer























          up vote
          2
          down vote



          accepted







          up vote
          2
          down vote



          accepted






          $$left|f(x)-sum_k=0^n f_k(x)right|=left|sum_k=0^infty f_k(x)-sum_k=0^n f_k(x)right|=left|sum_k=n+1^infty f_k(x) right|leq sum_k=n+1^infty M_n,$$
          and thus
          $$sup_xin Ileft|f(x)-sum_k=0^n f_k(x)right|leq sum_k=n+1^infty M_nundersetnto infty longrightarrow 0.$$






          share|cite|improve this answer













          $$left|f(x)-sum_k=0^n f_k(x)right|=left|sum_k=0^infty f_k(x)-sum_k=0^n f_k(x)right|=left|sum_k=n+1^infty f_k(x) right|leq sum_k=n+1^infty M_n,$$
          and thus
          $$sup_xin Ileft|f(x)-sum_k=0^n f_k(x)right|leq sum_k=n+1^infty M_nundersetnto infty longrightarrow 0.$$







          share|cite|improve this answer













          share|cite|improve this answer



          share|cite|improve this answer











          answered Jul 22 at 8:54









          Surb

          36.3k84274




          36.3k84274




















              up vote
              0
              down vote













              It converges uniformly (and absolutely) because it satisfies the uniform Cauchy criterion:



              if $N$ is such that
              $$|M_n+M_n+1+dots +M_p|<ε qquadtextfor all : p>nge N,$$
              we also have for all $xin I$
              beginalign
              |f_n(x)+f_n+1(x)+dots +f_p(x)|&le |f_n(x)|+|f_n+1(x)|+dots +|f_p(x)|\ &le|M_n+M_n+1+dots +M_p|< ε.
              endalign






              share|cite|improve this answer

























                up vote
                0
                down vote













                It converges uniformly (and absolutely) because it satisfies the uniform Cauchy criterion:



                if $N$ is such that
                $$|M_n+M_n+1+dots +M_p|<ε qquadtextfor all : p>nge N,$$
                we also have for all $xin I$
                beginalign
                |f_n(x)+f_n+1(x)+dots +f_p(x)|&le |f_n(x)|+|f_n+1(x)|+dots +|f_p(x)|\ &le|M_n+M_n+1+dots +M_p|< ε.
                endalign






                share|cite|improve this answer























                  up vote
                  0
                  down vote










                  up vote
                  0
                  down vote









                  It converges uniformly (and absolutely) because it satisfies the uniform Cauchy criterion:



                  if $N$ is such that
                  $$|M_n+M_n+1+dots +M_p|<ε qquadtextfor all : p>nge N,$$
                  we also have for all $xin I$
                  beginalign
                  |f_n(x)+f_n+1(x)+dots +f_p(x)|&le |f_n(x)|+|f_n+1(x)|+dots +|f_p(x)|\ &le|M_n+M_n+1+dots +M_p|< ε.
                  endalign






                  share|cite|improve this answer













                  It converges uniformly (and absolutely) because it satisfies the uniform Cauchy criterion:



                  if $N$ is such that
                  $$|M_n+M_n+1+dots +M_p|<ε qquadtextfor all : p>nge N,$$
                  we also have for all $xin I$
                  beginalign
                  |f_n(x)+f_n+1(x)+dots +f_p(x)|&le |f_n(x)|+|f_n+1(x)|+dots +|f_p(x)|\ &le|M_n+M_n+1+dots +M_p|< ε.
                  endalign







                  share|cite|improve this answer













                  share|cite|improve this answer



                  share|cite|improve this answer











                  answered Jul 22 at 9:14









                  Bernard

                  110k635103




                  110k635103






















                       

                      draft saved


                      draft discarded


























                       


                      draft saved


                      draft discarded














                      StackExchange.ready(
                      function ()
                      StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2859215%2fwhy-normal-convergence-implies-uniform-convergence%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?