Closed subset of polynomials in function space












1












$begingroup$


Not for homework, I am trying to self study functional analysis and encountered the following problem.



We let $C[0,1/2]$ the continous functions defined on that subset of the real line. We look at a subspace of $C[0,1/2]$, consisting of all polynomials on $[0,1/2]$ and call it $W$. Given $delta>0$, set.



$g(x)=deltasum_{n=1}^{infty}frac{1}{n+1}x^n$



Where $xin[0,1/2]$. First, we are tasked with showing that $g$ is in the open ball $B(0,delta)$. I suppose this is done by showing that the norm of $g$ must be less than delta (we are using the supremum norm inherited from $C[0,1/2]$). But from that result, we are tasked with using it to conclude that $W$ cannot be an open subset of $C[0,1/2]$. So I must show that for some $win W$, there is no $epsilon$, such that an open ball $B(v,epsilon)$ is in $W$? Not sure how that follows from the previous?










share|cite|improve this question









$endgroup$








  • 1




    $begingroup$
    To answer your first question, yes, you need to show the norm of $g$ is less than $delta$. As for your second question, note that if you define $g_k(x) = delta sum_{n=1}^k x^n/(n + 1)$ then $g_k in W$. If $W$ is closed, do you know anything about how the limit of the sequence $(g_k)_{k geq 1}$ must behave? (This is just a characterisation of closedness different to the one you have provided.)
    $endgroup$
    – Riley
    Jan 2 at 23:13






  • 1




    $begingroup$
    A proper subspace of a normed space is never open. In fact, it even has empty interior.
    $endgroup$
    – mechanodroid
    Jan 3 at 12:16


















1












$begingroup$


Not for homework, I am trying to self study functional analysis and encountered the following problem.



We let $C[0,1/2]$ the continous functions defined on that subset of the real line. We look at a subspace of $C[0,1/2]$, consisting of all polynomials on $[0,1/2]$ and call it $W$. Given $delta>0$, set.



$g(x)=deltasum_{n=1}^{infty}frac{1}{n+1}x^n$



Where $xin[0,1/2]$. First, we are tasked with showing that $g$ is in the open ball $B(0,delta)$. I suppose this is done by showing that the norm of $g$ must be less than delta (we are using the supremum norm inherited from $C[0,1/2]$). But from that result, we are tasked with using it to conclude that $W$ cannot be an open subset of $C[0,1/2]$. So I must show that for some $win W$, there is no $epsilon$, such that an open ball $B(v,epsilon)$ is in $W$? Not sure how that follows from the previous?










share|cite|improve this question









$endgroup$








  • 1




    $begingroup$
    To answer your first question, yes, you need to show the norm of $g$ is less than $delta$. As for your second question, note that if you define $g_k(x) = delta sum_{n=1}^k x^n/(n + 1)$ then $g_k in W$. If $W$ is closed, do you know anything about how the limit of the sequence $(g_k)_{k geq 1}$ must behave? (This is just a characterisation of closedness different to the one you have provided.)
    $endgroup$
    – Riley
    Jan 2 at 23:13






  • 1




    $begingroup$
    A proper subspace of a normed space is never open. In fact, it even has empty interior.
    $endgroup$
    – mechanodroid
    Jan 3 at 12:16
















1












1








1





$begingroup$


Not for homework, I am trying to self study functional analysis and encountered the following problem.



We let $C[0,1/2]$ the continous functions defined on that subset of the real line. We look at a subspace of $C[0,1/2]$, consisting of all polynomials on $[0,1/2]$ and call it $W$. Given $delta>0$, set.



$g(x)=deltasum_{n=1}^{infty}frac{1}{n+1}x^n$



Where $xin[0,1/2]$. First, we are tasked with showing that $g$ is in the open ball $B(0,delta)$. I suppose this is done by showing that the norm of $g$ must be less than delta (we are using the supremum norm inherited from $C[0,1/2]$). But from that result, we are tasked with using it to conclude that $W$ cannot be an open subset of $C[0,1/2]$. So I must show that for some $win W$, there is no $epsilon$, such that an open ball $B(v,epsilon)$ is in $W$? Not sure how that follows from the previous?










share|cite|improve this question









$endgroup$




Not for homework, I am trying to self study functional analysis and encountered the following problem.



We let $C[0,1/2]$ the continous functions defined on that subset of the real line. We look at a subspace of $C[0,1/2]$, consisting of all polynomials on $[0,1/2]$ and call it $W$. Given $delta>0$, set.



$g(x)=deltasum_{n=1}^{infty}frac{1}{n+1}x^n$



Where $xin[0,1/2]$. First, we are tasked with showing that $g$ is in the open ball $B(0,delta)$. I suppose this is done by showing that the norm of $g$ must be less than delta (we are using the supremum norm inherited from $C[0,1/2]$). But from that result, we are tasked with using it to conclude that $W$ cannot be an open subset of $C[0,1/2]$. So I must show that for some $win W$, there is no $epsilon$, such that an open ball $B(v,epsilon)$ is in $W$? Not sure how that follows from the previous?







real-analysis functional-analysis convergence vector-spaces normed-spaces






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Jan 2 at 22:56









thaumoctopusthaumoctopus

1




1








  • 1




    $begingroup$
    To answer your first question, yes, you need to show the norm of $g$ is less than $delta$. As for your second question, note that if you define $g_k(x) = delta sum_{n=1}^k x^n/(n + 1)$ then $g_k in W$. If $W$ is closed, do you know anything about how the limit of the sequence $(g_k)_{k geq 1}$ must behave? (This is just a characterisation of closedness different to the one you have provided.)
    $endgroup$
    – Riley
    Jan 2 at 23:13






  • 1




    $begingroup$
    A proper subspace of a normed space is never open. In fact, it even has empty interior.
    $endgroup$
    – mechanodroid
    Jan 3 at 12:16
















  • 1




    $begingroup$
    To answer your first question, yes, you need to show the norm of $g$ is less than $delta$. As for your second question, note that if you define $g_k(x) = delta sum_{n=1}^k x^n/(n + 1)$ then $g_k in W$. If $W$ is closed, do you know anything about how the limit of the sequence $(g_k)_{k geq 1}$ must behave? (This is just a characterisation of closedness different to the one you have provided.)
    $endgroup$
    – Riley
    Jan 2 at 23:13






  • 1




    $begingroup$
    A proper subspace of a normed space is never open. In fact, it even has empty interior.
    $endgroup$
    – mechanodroid
    Jan 3 at 12:16










1




1




$begingroup$
To answer your first question, yes, you need to show the norm of $g$ is less than $delta$. As for your second question, note that if you define $g_k(x) = delta sum_{n=1}^k x^n/(n + 1)$ then $g_k in W$. If $W$ is closed, do you know anything about how the limit of the sequence $(g_k)_{k geq 1}$ must behave? (This is just a characterisation of closedness different to the one you have provided.)
$endgroup$
– Riley
Jan 2 at 23:13




$begingroup$
To answer your first question, yes, you need to show the norm of $g$ is less than $delta$. As for your second question, note that if you define $g_k(x) = delta sum_{n=1}^k x^n/(n + 1)$ then $g_k in W$. If $W$ is closed, do you know anything about how the limit of the sequence $(g_k)_{k geq 1}$ must behave? (This is just a characterisation of closedness different to the one you have provided.)
$endgroup$
– Riley
Jan 2 at 23:13




1




1




$begingroup$
A proper subspace of a normed space is never open. In fact, it even has empty interior.
$endgroup$
– mechanodroid
Jan 3 at 12:16






$begingroup$
A proper subspace of a normed space is never open. In fact, it even has empty interior.
$endgroup$
– mechanodroid
Jan 3 at 12:16












2 Answers
2






active

oldest

votes


















1












$begingroup$

$|g| < delta sum_{n=1}^{infty} frac 1 {2^{n}}= delta$. This proves the first part. Now,suppose $W$ is open . Since the zero polynomial is in $W$ there must exist $delta >0$ such that $B(0,delta) subset W$. Consider the $g$ corresponding to this $delta$. Then $g in B(0,delta)$ so we must have $g in W$. Can you see that this is a contradiction? [It is a known fact that if $sum a_n x^{n}$ converges for $|x| leq r$ and if the sum is zero for all such $x$ the $a_n=0$ for all $n$].






share|cite|improve this answer











$endgroup$





















    0












    $begingroup$

    (1). Suppose that $Y$ is a vector subspace of a normed linear space $X$ and that $Y$ has non-empty interior. Then $ Y=X:$ For some $r>0$ we have $B(0,r)subset Y,$ but then ( because $Y$ is a vector space), $Ysupset cup_{nin Bbb N}{nv: vin B(0,r)}=cup_{nin Bbb N}B(0,nr)=X.$



    The reason $B(0,r)subset Y$ for some $r>0$ is that for some $yin Y$ and some $r>0$ we have $B(y,r)subset Y,$ and since $Y$ is a vector space we have $Ysupset {y'-y:y'in B(y,r)}=B(0,r). $



    (2). $W$ is a vector subspace of $C[0,1/2],$ so to prove that $W$ has empty interior in $C[0,1/2]$, it suffices to show $Wne C[0,1/2].$ Let $f(t)=|t-1/4|$
    for $tin [0,1/2]$. Then $fin C[0,1/2],$ but $f$ is not a polynomial because $f(t)$ is not differentiable at $t=1/4$.






    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%2f3060074%2fclosed-subset-of-polynomials-in-function-space%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









      1












      $begingroup$

      $|g| < delta sum_{n=1}^{infty} frac 1 {2^{n}}= delta$. This proves the first part. Now,suppose $W$ is open . Since the zero polynomial is in $W$ there must exist $delta >0$ such that $B(0,delta) subset W$. Consider the $g$ corresponding to this $delta$. Then $g in B(0,delta)$ so we must have $g in W$. Can you see that this is a contradiction? [It is a known fact that if $sum a_n x^{n}$ converges for $|x| leq r$ and if the sum is zero for all such $x$ the $a_n=0$ for all $n$].






      share|cite|improve this answer











      $endgroup$


















        1












        $begingroup$

        $|g| < delta sum_{n=1}^{infty} frac 1 {2^{n}}= delta$. This proves the first part. Now,suppose $W$ is open . Since the zero polynomial is in $W$ there must exist $delta >0$ such that $B(0,delta) subset W$. Consider the $g$ corresponding to this $delta$. Then $g in B(0,delta)$ so we must have $g in W$. Can you see that this is a contradiction? [It is a known fact that if $sum a_n x^{n}$ converges for $|x| leq r$ and if the sum is zero for all such $x$ the $a_n=0$ for all $n$].






        share|cite|improve this answer











        $endgroup$
















          1












          1








          1





          $begingroup$

          $|g| < delta sum_{n=1}^{infty} frac 1 {2^{n}}= delta$. This proves the first part. Now,suppose $W$ is open . Since the zero polynomial is in $W$ there must exist $delta >0$ such that $B(0,delta) subset W$. Consider the $g$ corresponding to this $delta$. Then $g in B(0,delta)$ so we must have $g in W$. Can you see that this is a contradiction? [It is a known fact that if $sum a_n x^{n}$ converges for $|x| leq r$ and if the sum is zero for all such $x$ the $a_n=0$ for all $n$].






          share|cite|improve this answer











          $endgroup$



          $|g| < delta sum_{n=1}^{infty} frac 1 {2^{n}}= delta$. This proves the first part. Now,suppose $W$ is open . Since the zero polynomial is in $W$ there must exist $delta >0$ such that $B(0,delta) subset W$. Consider the $g$ corresponding to this $delta$. Then $g in B(0,delta)$ so we must have $g in W$. Can you see that this is a contradiction? [It is a known fact that if $sum a_n x^{n}$ converges for $|x| leq r$ and if the sum is zero for all such $x$ the $a_n=0$ for all $n$].







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited Jan 2 at 23:19

























          answered Jan 2 at 23:14









          Kavi Rama MurthyKavi Rama Murthy

          53.5k32055




          53.5k32055























              0












              $begingroup$

              (1). Suppose that $Y$ is a vector subspace of a normed linear space $X$ and that $Y$ has non-empty interior. Then $ Y=X:$ For some $r>0$ we have $B(0,r)subset Y,$ but then ( because $Y$ is a vector space), $Ysupset cup_{nin Bbb N}{nv: vin B(0,r)}=cup_{nin Bbb N}B(0,nr)=X.$



              The reason $B(0,r)subset Y$ for some $r>0$ is that for some $yin Y$ and some $r>0$ we have $B(y,r)subset Y,$ and since $Y$ is a vector space we have $Ysupset {y'-y:y'in B(y,r)}=B(0,r). $



              (2). $W$ is a vector subspace of $C[0,1/2],$ so to prove that $W$ has empty interior in $C[0,1/2]$, it suffices to show $Wne C[0,1/2].$ Let $f(t)=|t-1/4|$
              for $tin [0,1/2]$. Then $fin C[0,1/2],$ but $f$ is not a polynomial because $f(t)$ is not differentiable at $t=1/4$.






              share|cite|improve this answer









              $endgroup$


















                0












                $begingroup$

                (1). Suppose that $Y$ is a vector subspace of a normed linear space $X$ and that $Y$ has non-empty interior. Then $ Y=X:$ For some $r>0$ we have $B(0,r)subset Y,$ but then ( because $Y$ is a vector space), $Ysupset cup_{nin Bbb N}{nv: vin B(0,r)}=cup_{nin Bbb N}B(0,nr)=X.$



                The reason $B(0,r)subset Y$ for some $r>0$ is that for some $yin Y$ and some $r>0$ we have $B(y,r)subset Y,$ and since $Y$ is a vector space we have $Ysupset {y'-y:y'in B(y,r)}=B(0,r). $



                (2). $W$ is a vector subspace of $C[0,1/2],$ so to prove that $W$ has empty interior in $C[0,1/2]$, it suffices to show $Wne C[0,1/2].$ Let $f(t)=|t-1/4|$
                for $tin [0,1/2]$. Then $fin C[0,1/2],$ but $f$ is not a polynomial because $f(t)$ is not differentiable at $t=1/4$.






                share|cite|improve this answer









                $endgroup$
















                  0












                  0








                  0





                  $begingroup$

                  (1). Suppose that $Y$ is a vector subspace of a normed linear space $X$ and that $Y$ has non-empty interior. Then $ Y=X:$ For some $r>0$ we have $B(0,r)subset Y,$ but then ( because $Y$ is a vector space), $Ysupset cup_{nin Bbb N}{nv: vin B(0,r)}=cup_{nin Bbb N}B(0,nr)=X.$



                  The reason $B(0,r)subset Y$ for some $r>0$ is that for some $yin Y$ and some $r>0$ we have $B(y,r)subset Y,$ and since $Y$ is a vector space we have $Ysupset {y'-y:y'in B(y,r)}=B(0,r). $



                  (2). $W$ is a vector subspace of $C[0,1/2],$ so to prove that $W$ has empty interior in $C[0,1/2]$, it suffices to show $Wne C[0,1/2].$ Let $f(t)=|t-1/4|$
                  for $tin [0,1/2]$. Then $fin C[0,1/2],$ but $f$ is not a polynomial because $f(t)$ is not differentiable at $t=1/4$.






                  share|cite|improve this answer









                  $endgroup$



                  (1). Suppose that $Y$ is a vector subspace of a normed linear space $X$ and that $Y$ has non-empty interior. Then $ Y=X:$ For some $r>0$ we have $B(0,r)subset Y,$ but then ( because $Y$ is a vector space), $Ysupset cup_{nin Bbb N}{nv: vin B(0,r)}=cup_{nin Bbb N}B(0,nr)=X.$



                  The reason $B(0,r)subset Y$ for some $r>0$ is that for some $yin Y$ and some $r>0$ we have $B(y,r)subset Y,$ and since $Y$ is a vector space we have $Ysupset {y'-y:y'in B(y,r)}=B(0,r). $



                  (2). $W$ is a vector subspace of $C[0,1/2],$ so to prove that $W$ has empty interior in $C[0,1/2]$, it suffices to show $Wne C[0,1/2].$ Let $f(t)=|t-1/4|$
                  for $tin [0,1/2]$. Then $fin C[0,1/2],$ but $f$ is not a polynomial because $f(t)$ is not differentiable at $t=1/4$.







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered Jan 3 at 19:22









                  DanielWainfleetDanielWainfleet

                  34.6k31648




                  34.6k31648






























                      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%2f3060074%2fclosed-subset-of-polynomials-in-function-space%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

                      android studio warns about leanback feature tag usage required on manifest while using Unity exported app?

                      SQL update select statement

                      WPF add header to Image with URL pettitions [duplicate]