Stone-Weierstrass theorem means every function has a power serie expansion

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











up vote
5
down vote

favorite
2












I know that every function doesn't have a power series expansion.
Yet what I don't understand is that for every $C^infty$ functions there is a sequence of polynomial $(P_n)$ such that $P_n$ converges uniformly to $f$. That's to say :



$$forall x in [a,b], f(x) = lim_n to infty sum_k = 0^infty a_k,nx^k$$



But then because it converges uniformly why can't I say that :



$$forall x in [a,b], f(x) = sum_k = 0^infty lim_n to infty a_k,nx^k$$



And so $f$ has a power series expansion with coefficients: $lim_n to infty a_k,nx^k$.










share|cite



















  • 3




    Uniform convergence does not even guarantee the existence of $lim_nto infty a_k,n$. If $p(x)=sum a_kx^k$ then $a_i=p^(i) (0)/(i!)$ but Uniform convergence of continuous functions does not give convergence of derivatives.
    – Kavi Rama Murthy
    3 hours ago















up vote
5
down vote

favorite
2












I know that every function doesn't have a power series expansion.
Yet what I don't understand is that for every $C^infty$ functions there is a sequence of polynomial $(P_n)$ such that $P_n$ converges uniformly to $f$. That's to say :



$$forall x in [a,b], f(x) = lim_n to infty sum_k = 0^infty a_k,nx^k$$



But then because it converges uniformly why can't I say that :



$$forall x in [a,b], f(x) = sum_k = 0^infty lim_n to infty a_k,nx^k$$



And so $f$ has a power series expansion with coefficients: $lim_n to infty a_k,nx^k$.










share|cite



















  • 3




    Uniform convergence does not even guarantee the existence of $lim_nto infty a_k,n$. If $p(x)=sum a_kx^k$ then $a_i=p^(i) (0)/(i!)$ but Uniform convergence of continuous functions does not give convergence of derivatives.
    – Kavi Rama Murthy
    3 hours ago













up vote
5
down vote

favorite
2









up vote
5
down vote

favorite
2






2





I know that every function doesn't have a power series expansion.
Yet what I don't understand is that for every $C^infty$ functions there is a sequence of polynomial $(P_n)$ such that $P_n$ converges uniformly to $f$. That's to say :



$$forall x in [a,b], f(x) = lim_n to infty sum_k = 0^infty a_k,nx^k$$



But then because it converges uniformly why can't I say that :



$$forall x in [a,b], f(x) = sum_k = 0^infty lim_n to infty a_k,nx^k$$



And so $f$ has a power series expansion with coefficients: $lim_n to infty a_k,nx^k$.










share|cite















I know that every function doesn't have a power series expansion.
Yet what I don't understand is that for every $C^infty$ functions there is a sequence of polynomial $(P_n)$ such that $P_n$ converges uniformly to $f$. That's to say :



$$forall x in [a,b], f(x) = lim_n to infty sum_k = 0^infty a_k,nx^k$$



But then because it converges uniformly why can't I say that :



$$forall x in [a,b], f(x) = sum_k = 0^infty lim_n to infty a_k,nx^k$$



And so $f$ has a power series expansion with coefficients: $lim_n to infty a_k,nx^k$.







calculus real-analysis power-series






share|cite















share|cite













share|cite




share|cite








edited 3 hours ago









Bernard

113k636105




113k636105










asked 3 hours ago









auhasard

929




929







  • 3




    Uniform convergence does not even guarantee the existence of $lim_nto infty a_k,n$. If $p(x)=sum a_kx^k$ then $a_i=p^(i) (0)/(i!)$ but Uniform convergence of continuous functions does not give convergence of derivatives.
    – Kavi Rama Murthy
    3 hours ago













  • 3




    Uniform convergence does not even guarantee the existence of $lim_nto infty a_k,n$. If $p(x)=sum a_kx^k$ then $a_i=p^(i) (0)/(i!)$ but Uniform convergence of continuous functions does not give convergence of derivatives.
    – Kavi Rama Murthy
    3 hours ago








3




3




Uniform convergence does not even guarantee the existence of $lim_nto infty a_k,n$. If $p(x)=sum a_kx^k$ then $a_i=p^(i) (0)/(i!)$ but Uniform convergence of continuous functions does not give convergence of derivatives.
– Kavi Rama Murthy
3 hours ago





Uniform convergence does not even guarantee the existence of $lim_nto infty a_k,n$. If $p(x)=sum a_kx^k$ then $a_i=p^(i) (0)/(i!)$ but Uniform convergence of continuous functions does not give convergence of derivatives.
– Kavi Rama Murthy
3 hours ago











3 Answers
3






active

oldest

votes

















up vote
3
down vote













$$lim_ntoinftyleft(lim_ktoinfty a_n,kright)$$ is, in general, not the same as $$lim_ktoinftyleft(lim_ntoinfty a_n,kright)$$
and in order to switch the order of your infinite sum (which is in its definition a limit) and your limit, you would need something like that.






share|cite|improve this answer




















  • Yes, but because I have the uniform convergence the switch of limits should work?
    – auhasard
    3 hours ago










  • @auhasard It should? Why?
    – 5xum
    3 hours ago

















up vote
0
down vote













What about the absolute-value function $xmapsto|x|$ on the interval $[-1,1]$. Can you give us a power series for that?






share|cite|improve this answer



























    up vote
    0
    down vote













    Short answer. The sequence of polynomials guaranteed by the Stone Weierstrass theorem may not be constructible by appending terms of higher and higher order. The early coefficients can vary as the sequence grows. So you don't have the sequence of partial sums of a power series.






    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%2f2951249%2fstone-weierstrass-theorem-means-every-function-has-a-power-serie-expansion%23new-answer', 'question_page');

      );

      Post as a guest






























      3 Answers
      3






      active

      oldest

      votes








      3 Answers
      3






      active

      oldest

      votes









      active

      oldest

      votes






      active

      oldest

      votes








      up vote
      3
      down vote













      $$lim_ntoinftyleft(lim_ktoinfty a_n,kright)$$ is, in general, not the same as $$lim_ktoinftyleft(lim_ntoinfty a_n,kright)$$
      and in order to switch the order of your infinite sum (which is in its definition a limit) and your limit, you would need something like that.






      share|cite|improve this answer




















      • Yes, but because I have the uniform convergence the switch of limits should work?
        – auhasard
        3 hours ago










      • @auhasard It should? Why?
        – 5xum
        3 hours ago














      up vote
      3
      down vote













      $$lim_ntoinftyleft(lim_ktoinfty a_n,kright)$$ is, in general, not the same as $$lim_ktoinftyleft(lim_ntoinfty a_n,kright)$$
      and in order to switch the order of your infinite sum (which is in its definition a limit) and your limit, you would need something like that.






      share|cite|improve this answer




















      • Yes, but because I have the uniform convergence the switch of limits should work?
        – auhasard
        3 hours ago










      • @auhasard It should? Why?
        – 5xum
        3 hours ago












      up vote
      3
      down vote










      up vote
      3
      down vote









      $$lim_ntoinftyleft(lim_ktoinfty a_n,kright)$$ is, in general, not the same as $$lim_ktoinftyleft(lim_ntoinfty a_n,kright)$$
      and in order to switch the order of your infinite sum (which is in its definition a limit) and your limit, you would need something like that.






      share|cite|improve this answer












      $$lim_ntoinftyleft(lim_ktoinfty a_n,kright)$$ is, in general, not the same as $$lim_ktoinftyleft(lim_ntoinfty a_n,kright)$$
      and in order to switch the order of your infinite sum (which is in its definition a limit) and your limit, you would need something like that.







      share|cite|improve this answer












      share|cite|improve this answer



      share|cite|improve this answer










      answered 3 hours ago









      5xum

      85.2k388154




      85.2k388154











      • Yes, but because I have the uniform convergence the switch of limits should work?
        – auhasard
        3 hours ago










      • @auhasard It should? Why?
        – 5xum
        3 hours ago
















      • Yes, but because I have the uniform convergence the switch of limits should work?
        – auhasard
        3 hours ago










      • @auhasard It should? Why?
        – 5xum
        3 hours ago















      Yes, but because I have the uniform convergence the switch of limits should work?
      – auhasard
      3 hours ago




      Yes, but because I have the uniform convergence the switch of limits should work?
      – auhasard
      3 hours ago












      @auhasard It should? Why?
      – 5xum
      3 hours ago




      @auhasard It should? Why?
      – 5xum
      3 hours ago










      up vote
      0
      down vote













      What about the absolute-value function $xmapsto|x|$ on the interval $[-1,1]$. Can you give us a power series for that?






      share|cite|improve this answer
























        up vote
        0
        down vote













        What about the absolute-value function $xmapsto|x|$ on the interval $[-1,1]$. Can you give us a power series for that?






        share|cite|improve this answer






















          up vote
          0
          down vote










          up vote
          0
          down vote









          What about the absolute-value function $xmapsto|x|$ on the interval $[-1,1]$. Can you give us a power series for that?






          share|cite|improve this answer












          What about the absolute-value function $xmapsto|x|$ on the interval $[-1,1]$. Can you give us a power series for that?







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered 21 mins ago









          hartkp

          68134




          68134




















              up vote
              0
              down vote













              Short answer. The sequence of polynomials guaranteed by the Stone Weierstrass theorem may not be constructible by appending terms of higher and higher order. The early coefficients can vary as the sequence grows. So you don't have the sequence of partial sums of a power series.






              share|cite|improve this answer
























                up vote
                0
                down vote













                Short answer. The sequence of polynomials guaranteed by the Stone Weierstrass theorem may not be constructible by appending terms of higher and higher order. The early coefficients can vary as the sequence grows. So you don't have the sequence of partial sums of a power series.






                share|cite|improve this answer






















                  up vote
                  0
                  down vote










                  up vote
                  0
                  down vote









                  Short answer. The sequence of polynomials guaranteed by the Stone Weierstrass theorem may not be constructible by appending terms of higher and higher order. The early coefficients can vary as the sequence grows. So you don't have the sequence of partial sums of a power series.






                  share|cite|improve this answer












                  Short answer. The sequence of polynomials guaranteed by the Stone Weierstrass theorem may not be constructible by appending terms of higher and higher order. The early coefficients can vary as the sequence grows. So you don't have the sequence of partial sums of a power series.







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered 18 mins ago









                  Ethan Bolker

                  37.2k54299




                  37.2k54299



























                       

                      draft saved


                      draft discarded















































                       


                      draft saved


                      draft discarded














                      StackExchange.ready(
                      function ()
                      StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2951249%2fstone-weierstrass-theorem-means-every-function-has-a-power-serie-expansion%23new-answer', 'question_page');

                      );

                      Post as a guest













































































                      Comments

                      Popular posts from this blog

                      What does second last employer means? [closed]

                      List of Gilmore Girls characters

                      One-line joke