Composition and Addition on a Set of Function and Consequences for Distributitivity

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











up vote
1
down vote

favorite












I'm working on the following question:




Let $S$ be the set of all functions $f: mathbbR rightarrow mathbbR$. Consider the following pointwise operations $*$ and $+$:
$$(f+g)(x) = f(x) + g(x) \ (f*g))(x) = f(g(x))$$
Which of the following is true:



  1. $f * (g + h) = f*g + f*h$

  2. $(g + h)*f = g*f + h*f$



By using the example of constant functions one can eliminate 1. leaving 2. But, I only know this because I peeked at the answer- I didn't think of this beforehand.



Is there a way of seeing this directly without examples? For instance $S$ appears to have some algebraic structure.










share|cite|improve this question

























    up vote
    1
    down vote

    favorite












    I'm working on the following question:




    Let $S$ be the set of all functions $f: mathbbR rightarrow mathbbR$. Consider the following pointwise operations $*$ and $+$:
    $$(f+g)(x) = f(x) + g(x) \ (f*g))(x) = f(g(x))$$
    Which of the following is true:



    1. $f * (g + h) = f*g + f*h$

    2. $(g + h)*f = g*f + h*f$



    By using the example of constant functions one can eliminate 1. leaving 2. But, I only know this because I peeked at the answer- I didn't think of this beforehand.



    Is there a way of seeing this directly without examples? For instance $S$ appears to have some algebraic structure.










    share|cite|improve this question























      up vote
      1
      down vote

      favorite









      up vote
      1
      down vote

      favorite











      I'm working on the following question:




      Let $S$ be the set of all functions $f: mathbbR rightarrow mathbbR$. Consider the following pointwise operations $*$ and $+$:
      $$(f+g)(x) = f(x) + g(x) \ (f*g))(x) = f(g(x))$$
      Which of the following is true:



      1. $f * (g + h) = f*g + f*h$

      2. $(g + h)*f = g*f + h*f$



      By using the example of constant functions one can eliminate 1. leaving 2. But, I only know this because I peeked at the answer- I didn't think of this beforehand.



      Is there a way of seeing this directly without examples? For instance $S$ appears to have some algebraic structure.










      share|cite|improve this question













      I'm working on the following question:




      Let $S$ be the set of all functions $f: mathbbR rightarrow mathbbR$. Consider the following pointwise operations $*$ and $+$:
      $$(f+g)(x) = f(x) + g(x) \ (f*g))(x) = f(g(x))$$
      Which of the following is true:



      1. $f * (g + h) = f*g + f*h$

      2. $(g + h)*f = g*f + h*f$



      By using the example of constant functions one can eliminate 1. leaving 2. But, I only know this because I peeked at the answer- I didn't think of this beforehand.



      Is there a way of seeing this directly without examples? For instance $S$ appears to have some algebraic structure.







      abstract-algebra






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked 27 mins ago









      yoshi

      1,008816




      1,008816




















          3 Answers
          3






          active

          oldest

          votes

















          up vote
          2
          down vote



          accepted










          For the second one apply the definitions: Let's take some $xinmathbbR$ and look at $((g+h)*f)(x)$. By the definition of $*$, this is the same as $(g+h)(f(x))$, which we can further simplify using the definition of $+$ to $(g(f(x))+h(f(x))$. But this is nothing else than $(g*f)(x)+(h*f)(x)$, so $(g+h)*f=g*f+h*f$.






          share|cite|improve this answer



























            up vote
            2
            down vote













            At least the first one is false. Take $f(x) = x^2 $, $g=x$ and $h=1$, then



            $$ f * (g+h) = f(x+1) = (x+1)^2 $$



            but



            $$ f * g = x^2 $$



            $$ f * h = 1 $$






            share|cite|improve this answer



























              up vote
              1
              down vote













              For (1): It is saying given $f,g,h$ can we have
              $$f(g+h)=f(g)+f(h).$$
              It almost reminds you of linearity. So any function $f$ which is not behaving "linearly" (so to speak) can provide a counter example. For example, take $f(x)=sin x$ and take $g(x)=h(x)=x$. Then if this was true, we would have $sin(2x)=2sin x$, which as you may know is not true for all $x$.



              For (2). This one is true. Here we need to show that $(g+h)f=g(f)+h(f)$. Let $a in mathbbR$, then
              beginalign*
              (g+h)f(a) & = g(f(a))+h(f(a)) && (textby definition)\
              & = g(f)(a)+h(f)(a).
              endalign*



              So the two functions agree at all real numbers, hence they are equal functions.






              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%2f2937017%2fcomposition-and-addition-on-a-set-of-function-and-consequences-for-distributitiv%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
                2
                down vote



                accepted










                For the second one apply the definitions: Let's take some $xinmathbbR$ and look at $((g+h)*f)(x)$. By the definition of $*$, this is the same as $(g+h)(f(x))$, which we can further simplify using the definition of $+$ to $(g(f(x))+h(f(x))$. But this is nothing else than $(g*f)(x)+(h*f)(x)$, so $(g+h)*f=g*f+h*f$.






                share|cite|improve this answer
























                  up vote
                  2
                  down vote



                  accepted










                  For the second one apply the definitions: Let's take some $xinmathbbR$ and look at $((g+h)*f)(x)$. By the definition of $*$, this is the same as $(g+h)(f(x))$, which we can further simplify using the definition of $+$ to $(g(f(x))+h(f(x))$. But this is nothing else than $(g*f)(x)+(h*f)(x)$, so $(g+h)*f=g*f+h*f$.






                  share|cite|improve this answer






















                    up vote
                    2
                    down vote



                    accepted







                    up vote
                    2
                    down vote



                    accepted






                    For the second one apply the definitions: Let's take some $xinmathbbR$ and look at $((g+h)*f)(x)$. By the definition of $*$, this is the same as $(g+h)(f(x))$, which we can further simplify using the definition of $+$ to $(g(f(x))+h(f(x))$. But this is nothing else than $(g*f)(x)+(h*f)(x)$, so $(g+h)*f=g*f+h*f$.






                    share|cite|improve this answer












                    For the second one apply the definitions: Let's take some $xinmathbbR$ and look at $((g+h)*f)(x)$. By the definition of $*$, this is the same as $(g+h)(f(x))$, which we can further simplify using the definition of $+$ to $(g(f(x))+h(f(x))$. But this is nothing else than $(g*f)(x)+(h*f)(x)$, so $(g+h)*f=g*f+h*f$.







                    share|cite|improve this answer












                    share|cite|improve this answer



                    share|cite|improve this answer










                    answered 21 mins ago









                    Jannik Pitt

                    239313




                    239313




















                        up vote
                        2
                        down vote













                        At least the first one is false. Take $f(x) = x^2 $, $g=x$ and $h=1$, then



                        $$ f * (g+h) = f(x+1) = (x+1)^2 $$



                        but



                        $$ f * g = x^2 $$



                        $$ f * h = 1 $$






                        share|cite|improve this answer
























                          up vote
                          2
                          down vote













                          At least the first one is false. Take $f(x) = x^2 $, $g=x$ and $h=1$, then



                          $$ f * (g+h) = f(x+1) = (x+1)^2 $$



                          but



                          $$ f * g = x^2 $$



                          $$ f * h = 1 $$






                          share|cite|improve this answer






















                            up vote
                            2
                            down vote










                            up vote
                            2
                            down vote









                            At least the first one is false. Take $f(x) = x^2 $, $g=x$ and $h=1$, then



                            $$ f * (g+h) = f(x+1) = (x+1)^2 $$



                            but



                            $$ f * g = x^2 $$



                            $$ f * h = 1 $$






                            share|cite|improve this answer












                            At least the first one is false. Take $f(x) = x^2 $, $g=x$ and $h=1$, then



                            $$ f * (g+h) = f(x+1) = (x+1)^2 $$



                            but



                            $$ f * g = x^2 $$



                            $$ f * h = 1 $$







                            share|cite|improve this answer












                            share|cite|improve this answer



                            share|cite|improve this answer










                            answered 24 mins ago









                            Jimmy Sabater

                            1,19013




                            1,19013




















                                up vote
                                1
                                down vote













                                For (1): It is saying given $f,g,h$ can we have
                                $$f(g+h)=f(g)+f(h).$$
                                It almost reminds you of linearity. So any function $f$ which is not behaving "linearly" (so to speak) can provide a counter example. For example, take $f(x)=sin x$ and take $g(x)=h(x)=x$. Then if this was true, we would have $sin(2x)=2sin x$, which as you may know is not true for all $x$.



                                For (2). This one is true. Here we need to show that $(g+h)f=g(f)+h(f)$. Let $a in mathbbR$, then
                                beginalign*
                                (g+h)f(a) & = g(f(a))+h(f(a)) && (textby definition)\
                                & = g(f)(a)+h(f)(a).
                                endalign*



                                So the two functions agree at all real numbers, hence they are equal functions.






                                share|cite|improve this answer
























                                  up vote
                                  1
                                  down vote













                                  For (1): It is saying given $f,g,h$ can we have
                                  $$f(g+h)=f(g)+f(h).$$
                                  It almost reminds you of linearity. So any function $f$ which is not behaving "linearly" (so to speak) can provide a counter example. For example, take $f(x)=sin x$ and take $g(x)=h(x)=x$. Then if this was true, we would have $sin(2x)=2sin x$, which as you may know is not true for all $x$.



                                  For (2). This one is true. Here we need to show that $(g+h)f=g(f)+h(f)$. Let $a in mathbbR$, then
                                  beginalign*
                                  (g+h)f(a) & = g(f(a))+h(f(a)) && (textby definition)\
                                  & = g(f)(a)+h(f)(a).
                                  endalign*



                                  So the two functions agree at all real numbers, hence they are equal functions.






                                  share|cite|improve this answer






















                                    up vote
                                    1
                                    down vote










                                    up vote
                                    1
                                    down vote









                                    For (1): It is saying given $f,g,h$ can we have
                                    $$f(g+h)=f(g)+f(h).$$
                                    It almost reminds you of linearity. So any function $f$ which is not behaving "linearly" (so to speak) can provide a counter example. For example, take $f(x)=sin x$ and take $g(x)=h(x)=x$. Then if this was true, we would have $sin(2x)=2sin x$, which as you may know is not true for all $x$.



                                    For (2). This one is true. Here we need to show that $(g+h)f=g(f)+h(f)$. Let $a in mathbbR$, then
                                    beginalign*
                                    (g+h)f(a) & = g(f(a))+h(f(a)) && (textby definition)\
                                    & = g(f)(a)+h(f)(a).
                                    endalign*



                                    So the two functions agree at all real numbers, hence they are equal functions.






                                    share|cite|improve this answer












                                    For (1): It is saying given $f,g,h$ can we have
                                    $$f(g+h)=f(g)+f(h).$$
                                    It almost reminds you of linearity. So any function $f$ which is not behaving "linearly" (so to speak) can provide a counter example. For example, take $f(x)=sin x$ and take $g(x)=h(x)=x$. Then if this was true, we would have $sin(2x)=2sin x$, which as you may know is not true for all $x$.



                                    For (2). This one is true. Here we need to show that $(g+h)f=g(f)+h(f)$. Let $a in mathbbR$, then
                                    beginalign*
                                    (g+h)f(a) & = g(f(a))+h(f(a)) && (textby definition)\
                                    & = g(f)(a)+h(f)(a).
                                    endalign*



                                    So the two functions agree at all real numbers, hence they are equal functions.







                                    share|cite|improve this answer












                                    share|cite|improve this answer



                                    share|cite|improve this answer










                                    answered 19 mins ago









                                    Anurag A

                                    23.2k12245




                                    23.2k12245



























                                         

                                        draft saved


                                        draft discarded















































                                         


                                        draft saved


                                        draft discarded














                                        StackExchange.ready(
                                        function ()
                                        StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2937017%2fcomposition-and-addition-on-a-set-of-function-and-consequences-for-distributitiv%23new-answer', 'question_page');

                                        );

                                        Post as a guest













































































                                        Comments

                                        Popular posts from this blog

                                        What does second last employer means? [closed]

                                        Installing NextGIS Connect into QGIS 3?

                                        One-line joke