Is the Set of Continuous Functions that are the Sum of Even and Odd Functions Meager?











up vote
1
down vote

favorite












Consider $X = mathcal{C}([−1,1])$ with the usual norm $|f|_{infty} = sup_{tin [−1,1]}|f(t)|.$



Define
$$mathcal{A}_{+}={ f in X : f(t)=f(−t) space forall tin [−1,1]},$$
$$mathcal{A}_{−}={ f in X : f(t)=−f(−t) space forall t in [−1,1]}. $$



Is $mathcal{A}_{+} +mathcal{A}_{−} = {f +g : f in mathcal{A}_{+},g in mathcal{A}_{−}}$ meager?





I know this set is dense by the Stone-Weierstrass Theorem. However, that doesn't really help. I also know that if the set is closed, then it is meager, but I have difficulties deciding whether it is closed or not. I know the exponential function is a limit of a sequence of a sum of even and odd functions, however one could define it to be that, in which case it doesn't help.





Any hints on how to get going on this problem, and on whether the set $mathcal{A}_{+}+{A}_{-} $ is closed or not? Thank you in advance.










share|cite|improve this question


























    up vote
    1
    down vote

    favorite












    Consider $X = mathcal{C}([−1,1])$ with the usual norm $|f|_{infty} = sup_{tin [−1,1]}|f(t)|.$



    Define
    $$mathcal{A}_{+}={ f in X : f(t)=f(−t) space forall tin [−1,1]},$$
    $$mathcal{A}_{−}={ f in X : f(t)=−f(−t) space forall t in [−1,1]}. $$



    Is $mathcal{A}_{+} +mathcal{A}_{−} = {f +g : f in mathcal{A}_{+},g in mathcal{A}_{−}}$ meager?





    I know this set is dense by the Stone-Weierstrass Theorem. However, that doesn't really help. I also know that if the set is closed, then it is meager, but I have difficulties deciding whether it is closed or not. I know the exponential function is a limit of a sequence of a sum of even and odd functions, however one could define it to be that, in which case it doesn't help.





    Any hints on how to get going on this problem, and on whether the set $mathcal{A}_{+}+{A}_{-} $ is closed or not? Thank you in advance.










    share|cite|improve this question
























      up vote
      1
      down vote

      favorite









      up vote
      1
      down vote

      favorite











      Consider $X = mathcal{C}([−1,1])$ with the usual norm $|f|_{infty} = sup_{tin [−1,1]}|f(t)|.$



      Define
      $$mathcal{A}_{+}={ f in X : f(t)=f(−t) space forall tin [−1,1]},$$
      $$mathcal{A}_{−}={ f in X : f(t)=−f(−t) space forall t in [−1,1]}. $$



      Is $mathcal{A}_{+} +mathcal{A}_{−} = {f +g : f in mathcal{A}_{+},g in mathcal{A}_{−}}$ meager?





      I know this set is dense by the Stone-Weierstrass Theorem. However, that doesn't really help. I also know that if the set is closed, then it is meager, but I have difficulties deciding whether it is closed or not. I know the exponential function is a limit of a sequence of a sum of even and odd functions, however one could define it to be that, in which case it doesn't help.





      Any hints on how to get going on this problem, and on whether the set $mathcal{A}_{+}+{A}_{-} $ is closed or not? Thank you in advance.










      share|cite|improve this question













      Consider $X = mathcal{C}([−1,1])$ with the usual norm $|f|_{infty} = sup_{tin [−1,1]}|f(t)|.$



      Define
      $$mathcal{A}_{+}={ f in X : f(t)=f(−t) space forall tin [−1,1]},$$
      $$mathcal{A}_{−}={ f in X : f(t)=−f(−t) space forall t in [−1,1]}. $$



      Is $mathcal{A}_{+} +mathcal{A}_{−} = {f +g : f in mathcal{A}_{+},g in mathcal{A}_{−}}$ meager?





      I know this set is dense by the Stone-Weierstrass Theorem. However, that doesn't really help. I also know that if the set is closed, then it is meager, but I have difficulties deciding whether it is closed or not. I know the exponential function is a limit of a sequence of a sum of even and odd functions, however one could define it to be that, in which case it doesn't help.





      Any hints on how to get going on this problem, and on whether the set $mathcal{A}_{+}+{A}_{-} $ is closed or not? Thank you in advance.







      real-analysis general-topology functional-analysis metric-spaces baire-category






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked 37 mins ago









      Gaby Boy Analysis

      601314




      601314






















          1 Answer
          1






          active

          oldest

          votes

















          up vote
          4
          down vote



          accepted










          Note that any function can be written as
          $f(x) = {1 over 2} (f(x) + f(-x)) + {1 over 2} (f(x) - f(-x)) $, so
          $mathcal{A}_{+} +mathcal{A}_{−} = X$, which is not meagre.



          (It is not meagre because $C[-1,1]$ is a complete metric space.)






          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: 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%2f3022345%2fis-the-set-of-continuous-functions-that-are-the-sum-of-even-and-odd-functions-me%23new-answer', 'question_page');
            }
            );

            Post as a guest















            Required, but never shown

























            1 Answer
            1






            active

            oldest

            votes








            1 Answer
            1






            active

            oldest

            votes









            active

            oldest

            votes






            active

            oldest

            votes








            up vote
            4
            down vote



            accepted










            Note that any function can be written as
            $f(x) = {1 over 2} (f(x) + f(-x)) + {1 over 2} (f(x) - f(-x)) $, so
            $mathcal{A}_{+} +mathcal{A}_{−} = X$, which is not meagre.



            (It is not meagre because $C[-1,1]$ is a complete metric space.)






            share|cite|improve this answer



























              up vote
              4
              down vote



              accepted










              Note that any function can be written as
              $f(x) = {1 over 2} (f(x) + f(-x)) + {1 over 2} (f(x) - f(-x)) $, so
              $mathcal{A}_{+} +mathcal{A}_{−} = X$, which is not meagre.



              (It is not meagre because $C[-1,1]$ is a complete metric space.)






              share|cite|improve this answer

























                up vote
                4
                down vote



                accepted







                up vote
                4
                down vote



                accepted






                Note that any function can be written as
                $f(x) = {1 over 2} (f(x) + f(-x)) + {1 over 2} (f(x) - f(-x)) $, so
                $mathcal{A}_{+} +mathcal{A}_{−} = X$, which is not meagre.



                (It is not meagre because $C[-1,1]$ is a complete metric space.)






                share|cite|improve this answer














                Note that any function can be written as
                $f(x) = {1 over 2} (f(x) + f(-x)) + {1 over 2} (f(x) - f(-x)) $, so
                $mathcal{A}_{+} +mathcal{A}_{−} = X$, which is not meagre.



                (It is not meagre because $C[-1,1]$ is a complete metric space.)







                share|cite|improve this answer














                share|cite|improve this answer



                share|cite|improve this answer








                edited 28 mins ago

























                answered 34 mins ago









                copper.hat

                125k558158




                125k558158






























                    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.





                    Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


                    Please pay close attention to the following guidance:


                    • 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.


                    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%2f3022345%2fis-the-set-of-continuous-functions-that-are-the-sum-of-even-and-odd-functions-me%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

                    flock() on closed filehandle LOCK_FILE at /usr/bin/apt-mirror

                    Mangá

                    Eduardo VII do Reino Unido