Determine whether f is a function, an injection, a surjection












2












$begingroup$


Let $P={p(x)$ | $p(x)$ is a polynomial of degree $n$, $n in Bbb Z^+cup{0} $ with coefficients in $Bbb R }$. Define $f : Prightarrow P$ where $f(p(x)) =p'(x)$, the derivative of $p(x)$.



Determine whether $f$ is a function, an injection, a surjection, a bijection.



Now I have the solutions, and I understand that it is a function because each polynomial has a unique derivative. And it is not an injection as the antiderivative of a given polynomial is not unique.



However, I do not understand the book's solution for determining whether it is a surjection, nor am I able to come up with one myself. In all honesty, I think I am having trouble understanding the mapping from P to P. The solution states that it is a surjection. Why is this so?










share|cite|improve this question









$endgroup$








  • 2




    $begingroup$
    I interpreted it to mean that it is the set of all polynomials.
    $endgroup$
    – Tony S.F.
    Apr 14 at 20:13






  • 1




    $begingroup$
    I read it more as the set of "all polynomials with degree that is a nonnegative integer." Though I do wonder of the need to specify that.
    $endgroup$
    – Eevee Trainer
    Apr 14 at 20:15






  • 1




    $begingroup$
    I think the implication is that $n$ is not fixed, that it is simply a nonnegative integer.
    $endgroup$
    – Eevee Trainer
    Apr 14 at 20:23






  • 2




    $begingroup$
    The derivative of a constant, nonzero polynomial (of degree $0$) is the zero polynomial (of degree $-infty$). Surely then $f : P to P$ is not well defined at all, because some of its images are not in $P$?
    $endgroup$
    – wchargin
    Apr 15 at 4:57






  • 1




    $begingroup$
    You want to write $(f(p))(x)=p‘(x)$ or just $f(p)=p‘$.
    $endgroup$
    – Carsten S
    Apr 15 at 6:31


















2












$begingroup$


Let $P={p(x)$ | $p(x)$ is a polynomial of degree $n$, $n in Bbb Z^+cup{0} $ with coefficients in $Bbb R }$. Define $f : Prightarrow P$ where $f(p(x)) =p'(x)$, the derivative of $p(x)$.



Determine whether $f$ is a function, an injection, a surjection, a bijection.



Now I have the solutions, and I understand that it is a function because each polynomial has a unique derivative. And it is not an injection as the antiderivative of a given polynomial is not unique.



However, I do not understand the book's solution for determining whether it is a surjection, nor am I able to come up with one myself. In all honesty, I think I am having trouble understanding the mapping from P to P. The solution states that it is a surjection. Why is this so?










share|cite|improve this question









$endgroup$








  • 2




    $begingroup$
    I interpreted it to mean that it is the set of all polynomials.
    $endgroup$
    – Tony S.F.
    Apr 14 at 20:13






  • 1




    $begingroup$
    I read it more as the set of "all polynomials with degree that is a nonnegative integer." Though I do wonder of the need to specify that.
    $endgroup$
    – Eevee Trainer
    Apr 14 at 20:15






  • 1




    $begingroup$
    I think the implication is that $n$ is not fixed, that it is simply a nonnegative integer.
    $endgroup$
    – Eevee Trainer
    Apr 14 at 20:23






  • 2




    $begingroup$
    The derivative of a constant, nonzero polynomial (of degree $0$) is the zero polynomial (of degree $-infty$). Surely then $f : P to P$ is not well defined at all, because some of its images are not in $P$?
    $endgroup$
    – wchargin
    Apr 15 at 4:57






  • 1




    $begingroup$
    You want to write $(f(p))(x)=p‘(x)$ or just $f(p)=p‘$.
    $endgroup$
    – Carsten S
    Apr 15 at 6:31
















2












2








2


0



$begingroup$


Let $P={p(x)$ | $p(x)$ is a polynomial of degree $n$, $n in Bbb Z^+cup{0} $ with coefficients in $Bbb R }$. Define $f : Prightarrow P$ where $f(p(x)) =p'(x)$, the derivative of $p(x)$.



Determine whether $f$ is a function, an injection, a surjection, a bijection.



Now I have the solutions, and I understand that it is a function because each polynomial has a unique derivative. And it is not an injection as the antiderivative of a given polynomial is not unique.



However, I do not understand the book's solution for determining whether it is a surjection, nor am I able to come up with one myself. In all honesty, I think I am having trouble understanding the mapping from P to P. The solution states that it is a surjection. Why is this so?










share|cite|improve this question









$endgroup$




Let $P={p(x)$ | $p(x)$ is a polynomial of degree $n$, $n in Bbb Z^+cup{0} $ with coefficients in $Bbb R }$. Define $f : Prightarrow P$ where $f(p(x)) =p'(x)$, the derivative of $p(x)$.



Determine whether $f$ is a function, an injection, a surjection, a bijection.



Now I have the solutions, and I understand that it is a function because each polynomial has a unique derivative. And it is not an injection as the antiderivative of a given polynomial is not unique.



However, I do not understand the book's solution for determining whether it is a surjection, nor am I able to come up with one myself. In all honesty, I think I am having trouble understanding the mapping from P to P. The solution states that it is a surjection. Why is this so?







calculus functions derivatives elementary-set-theory






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Apr 14 at 20:07









John ArgJohn Arg

546




546








  • 2




    $begingroup$
    I interpreted it to mean that it is the set of all polynomials.
    $endgroup$
    – Tony S.F.
    Apr 14 at 20:13






  • 1




    $begingroup$
    I read it more as the set of "all polynomials with degree that is a nonnegative integer." Though I do wonder of the need to specify that.
    $endgroup$
    – Eevee Trainer
    Apr 14 at 20:15






  • 1




    $begingroup$
    I think the implication is that $n$ is not fixed, that it is simply a nonnegative integer.
    $endgroup$
    – Eevee Trainer
    Apr 14 at 20:23






  • 2




    $begingroup$
    The derivative of a constant, nonzero polynomial (of degree $0$) is the zero polynomial (of degree $-infty$). Surely then $f : P to P$ is not well defined at all, because some of its images are not in $P$?
    $endgroup$
    – wchargin
    Apr 15 at 4:57






  • 1




    $begingroup$
    You want to write $(f(p))(x)=p‘(x)$ or just $f(p)=p‘$.
    $endgroup$
    – Carsten S
    Apr 15 at 6:31
















  • 2




    $begingroup$
    I interpreted it to mean that it is the set of all polynomials.
    $endgroup$
    – Tony S.F.
    Apr 14 at 20:13






  • 1




    $begingroup$
    I read it more as the set of "all polynomials with degree that is a nonnegative integer." Though I do wonder of the need to specify that.
    $endgroup$
    – Eevee Trainer
    Apr 14 at 20:15






  • 1




    $begingroup$
    I think the implication is that $n$ is not fixed, that it is simply a nonnegative integer.
    $endgroup$
    – Eevee Trainer
    Apr 14 at 20:23






  • 2




    $begingroup$
    The derivative of a constant, nonzero polynomial (of degree $0$) is the zero polynomial (of degree $-infty$). Surely then $f : P to P$ is not well defined at all, because some of its images are not in $P$?
    $endgroup$
    – wchargin
    Apr 15 at 4:57






  • 1




    $begingroup$
    You want to write $(f(p))(x)=p‘(x)$ or just $f(p)=p‘$.
    $endgroup$
    – Carsten S
    Apr 15 at 6:31










2




2




$begingroup$
I interpreted it to mean that it is the set of all polynomials.
$endgroup$
– Tony S.F.
Apr 14 at 20:13




$begingroup$
I interpreted it to mean that it is the set of all polynomials.
$endgroup$
– Tony S.F.
Apr 14 at 20:13




1




1




$begingroup$
I read it more as the set of "all polynomials with degree that is a nonnegative integer." Though I do wonder of the need to specify that.
$endgroup$
– Eevee Trainer
Apr 14 at 20:15




$begingroup$
I read it more as the set of "all polynomials with degree that is a nonnegative integer." Though I do wonder of the need to specify that.
$endgroup$
– Eevee Trainer
Apr 14 at 20:15




1




1




$begingroup$
I think the implication is that $n$ is not fixed, that it is simply a nonnegative integer.
$endgroup$
– Eevee Trainer
Apr 14 at 20:23




$begingroup$
I think the implication is that $n$ is not fixed, that it is simply a nonnegative integer.
$endgroup$
– Eevee Trainer
Apr 14 at 20:23




2




2




$begingroup$
The derivative of a constant, nonzero polynomial (of degree $0$) is the zero polynomial (of degree $-infty$). Surely then $f : P to P$ is not well defined at all, because some of its images are not in $P$?
$endgroup$
– wchargin
Apr 15 at 4:57




$begingroup$
The derivative of a constant, nonzero polynomial (of degree $0$) is the zero polynomial (of degree $-infty$). Surely then $f : P to P$ is not well defined at all, because some of its images are not in $P$?
$endgroup$
– wchargin
Apr 15 at 4:57




1




1




$begingroup$
You want to write $(f(p))(x)=p‘(x)$ or just $f(p)=p‘$.
$endgroup$
– Carsten S
Apr 15 at 6:31






$begingroup$
You want to write $(f(p))(x)=p‘(x)$ or just $f(p)=p‘$.
$endgroup$
– Carsten S
Apr 15 at 6:31












4 Answers
4






active

oldest

votes


















8












$begingroup$

To see that $f$ is a surjection we take an arbitrary element $y$ in $P$ and show that $exists xin P$ such that $f(x)=y$. This is what it means to be surjective; we cover the entire space with the image of $f$ on $P$.



Let $pin P$, i.e. $p$ is some polynomial $p(x)$. Then $p(x)$ has an antiderivative, $q(x) = int p(x)dx$. This antiderivative is a polynomial (easy to check), so it is in $P$. Then $f(q) = p$, and since $p$ was arbitrary, $f$ is therefore surjective.



Here is a more concrete analogy to help you understand what a surjection is.



Imagine you have two lists of names, one for adults and one for children. Imagine that someone says they have a way to assign names from the adult list to names in children list. Their way of assigning the names is surjective if every name is the children list is assigned at least one name in the adult list. This would mean that if you pick a name from the children list as random, there is at least one adult name corresponding to it.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    This is exactly the solution presented in my book (albeit reworded) yet for some reason I am having trouble understanding it. It seems to be that I am having a problem with the first two lines. Perhaps I do not properly understand what surjection is?
    $endgroup$
    – John Arg
    Apr 14 at 20:23










  • $begingroup$
    @JohnArg A surjection is simply a function onto, which means its image covers the whole codomain. In other words, it takes each value in the codomain. You may want to see also the comparision of Bijection, injection and surjection
    $endgroup$
    – CiaPan
    Apr 15 at 10:37



















3












$begingroup$

For any polynomial $p (x) $ there exists its integral $P (x) $, for which $p $ is a derivative: $$p (x)=P'(x)$$ and which itself is a real-coefficients polynomial, too $$P(x)in P$$ Hence each $p(x) in P$ is in the image of your function $f$. Then $f$ is surjective.






share|cite|improve this answer











$endgroup$





















    2












    $begingroup$

    Think about what the inverse mapping for $f$ would be if indeed it would be a surjection: it would take the derivatives to the original function. Phrased another way, it would take a function to its antiderivative, right?



    Well, we know that all polynomials have an antiderivative (which is itself a polynomial), and since the codomain of $f$ is basically the set of real polynomials, we have a pre-image for each polynomial in $P$ - its antiderivative. Thus, $f$ is surjective.






    share|cite|improve this answer









    $endgroup$













    • $begingroup$
      What do you mean by pre-image?
      $endgroup$
      – John Arg
      Apr 14 at 20:20










    • $begingroup$
      You know how, say, $f(x)$ might be called the "image" for $x$? Same sort of deal: we would also say $x$ is the pre-image for $f(x)$. To use, arguably, more familiar terminology: inputs are to outputs, as pre-images are to images.
      $endgroup$
      – Eevee Trainer
      Apr 14 at 20:21



















    1












    $begingroup$

    Your main problem seems to be with what surjection actually means. To add to the other, excellent answers, I will add short "translations" for the words function, surjection and injection in (hopefully) very clear language.




    • "$f$ is a function": Every polynomial has a derivative (which is unique, and itself a polynomial as well).

    • "$f$ is a surjection": Every polynomial is a derivative (of at least one other polynomial).

    • "$f$ is an injection": The anti-derivative of a polynomial is unique (this one is not true).


    You should maybe go back and try to understand these definitions, and how to prove that they are satisfied, in some easier examples -- I am sure there are some in your book.






    share|cite|improve this answer









    $endgroup$














      Your Answer








      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%2f3187852%2fdetermine-whether-f-is-a-function-an-injection-a-surjection%23new-answer', 'question_page');
      }
      );

      Post as a guest















      Required, but never shown

























      4 Answers
      4






      active

      oldest

      votes








      4 Answers
      4






      active

      oldest

      votes









      active

      oldest

      votes






      active

      oldest

      votes









      8












      $begingroup$

      To see that $f$ is a surjection we take an arbitrary element $y$ in $P$ and show that $exists xin P$ such that $f(x)=y$. This is what it means to be surjective; we cover the entire space with the image of $f$ on $P$.



      Let $pin P$, i.e. $p$ is some polynomial $p(x)$. Then $p(x)$ has an antiderivative, $q(x) = int p(x)dx$. This antiderivative is a polynomial (easy to check), so it is in $P$. Then $f(q) = p$, and since $p$ was arbitrary, $f$ is therefore surjective.



      Here is a more concrete analogy to help you understand what a surjection is.



      Imagine you have two lists of names, one for adults and one for children. Imagine that someone says they have a way to assign names from the adult list to names in children list. Their way of assigning the names is surjective if every name is the children list is assigned at least one name in the adult list. This would mean that if you pick a name from the children list as random, there is at least one adult name corresponding to it.






      share|cite|improve this answer











      $endgroup$













      • $begingroup$
        This is exactly the solution presented in my book (albeit reworded) yet for some reason I am having trouble understanding it. It seems to be that I am having a problem with the first two lines. Perhaps I do not properly understand what surjection is?
        $endgroup$
        – John Arg
        Apr 14 at 20:23










      • $begingroup$
        @JohnArg A surjection is simply a function onto, which means its image covers the whole codomain. In other words, it takes each value in the codomain. You may want to see also the comparision of Bijection, injection and surjection
        $endgroup$
        – CiaPan
        Apr 15 at 10:37
















      8












      $begingroup$

      To see that $f$ is a surjection we take an arbitrary element $y$ in $P$ and show that $exists xin P$ such that $f(x)=y$. This is what it means to be surjective; we cover the entire space with the image of $f$ on $P$.



      Let $pin P$, i.e. $p$ is some polynomial $p(x)$. Then $p(x)$ has an antiderivative, $q(x) = int p(x)dx$. This antiderivative is a polynomial (easy to check), so it is in $P$. Then $f(q) = p$, and since $p$ was arbitrary, $f$ is therefore surjective.



      Here is a more concrete analogy to help you understand what a surjection is.



      Imagine you have two lists of names, one for adults and one for children. Imagine that someone says they have a way to assign names from the adult list to names in children list. Their way of assigning the names is surjective if every name is the children list is assigned at least one name in the adult list. This would mean that if you pick a name from the children list as random, there is at least one adult name corresponding to it.






      share|cite|improve this answer











      $endgroup$













      • $begingroup$
        This is exactly the solution presented in my book (albeit reworded) yet for some reason I am having trouble understanding it. It seems to be that I am having a problem with the first two lines. Perhaps I do not properly understand what surjection is?
        $endgroup$
        – John Arg
        Apr 14 at 20:23










      • $begingroup$
        @JohnArg A surjection is simply a function onto, which means its image covers the whole codomain. In other words, it takes each value in the codomain. You may want to see also the comparision of Bijection, injection and surjection
        $endgroup$
        – CiaPan
        Apr 15 at 10:37














      8












      8








      8





      $begingroup$

      To see that $f$ is a surjection we take an arbitrary element $y$ in $P$ and show that $exists xin P$ such that $f(x)=y$. This is what it means to be surjective; we cover the entire space with the image of $f$ on $P$.



      Let $pin P$, i.e. $p$ is some polynomial $p(x)$. Then $p(x)$ has an antiderivative, $q(x) = int p(x)dx$. This antiderivative is a polynomial (easy to check), so it is in $P$. Then $f(q) = p$, and since $p$ was arbitrary, $f$ is therefore surjective.



      Here is a more concrete analogy to help you understand what a surjection is.



      Imagine you have two lists of names, one for adults and one for children. Imagine that someone says they have a way to assign names from the adult list to names in children list. Their way of assigning the names is surjective if every name is the children list is assigned at least one name in the adult list. This would mean that if you pick a name from the children list as random, there is at least one adult name corresponding to it.






      share|cite|improve this answer











      $endgroup$



      To see that $f$ is a surjection we take an arbitrary element $y$ in $P$ and show that $exists xin P$ such that $f(x)=y$. This is what it means to be surjective; we cover the entire space with the image of $f$ on $P$.



      Let $pin P$, i.e. $p$ is some polynomial $p(x)$. Then $p(x)$ has an antiderivative, $q(x) = int p(x)dx$. This antiderivative is a polynomial (easy to check), so it is in $P$. Then $f(q) = p$, and since $p$ was arbitrary, $f$ is therefore surjective.



      Here is a more concrete analogy to help you understand what a surjection is.



      Imagine you have two lists of names, one for adults and one for children. Imagine that someone says they have a way to assign names from the adult list to names in children list. Their way of assigning the names is surjective if every name is the children list is assigned at least one name in the adult list. This would mean that if you pick a name from the children list as random, there is at least one adult name corresponding to it.







      share|cite|improve this answer














      share|cite|improve this answer



      share|cite|improve this answer








      edited Apr 14 at 20:26

























      answered Apr 14 at 20:13









      Tony S.F.Tony S.F.

      3,86121031




      3,86121031












      • $begingroup$
        This is exactly the solution presented in my book (albeit reworded) yet for some reason I am having trouble understanding it. It seems to be that I am having a problem with the first two lines. Perhaps I do not properly understand what surjection is?
        $endgroup$
        – John Arg
        Apr 14 at 20:23










      • $begingroup$
        @JohnArg A surjection is simply a function onto, which means its image covers the whole codomain. In other words, it takes each value in the codomain. You may want to see also the comparision of Bijection, injection and surjection
        $endgroup$
        – CiaPan
        Apr 15 at 10:37


















      • $begingroup$
        This is exactly the solution presented in my book (albeit reworded) yet for some reason I am having trouble understanding it. It seems to be that I am having a problem with the first two lines. Perhaps I do not properly understand what surjection is?
        $endgroup$
        – John Arg
        Apr 14 at 20:23










      • $begingroup$
        @JohnArg A surjection is simply a function onto, which means its image covers the whole codomain. In other words, it takes each value in the codomain. You may want to see also the comparision of Bijection, injection and surjection
        $endgroup$
        – CiaPan
        Apr 15 at 10:37
















      $begingroup$
      This is exactly the solution presented in my book (albeit reworded) yet for some reason I am having trouble understanding it. It seems to be that I am having a problem with the first two lines. Perhaps I do not properly understand what surjection is?
      $endgroup$
      – John Arg
      Apr 14 at 20:23




      $begingroup$
      This is exactly the solution presented in my book (albeit reworded) yet for some reason I am having trouble understanding it. It seems to be that I am having a problem with the first two lines. Perhaps I do not properly understand what surjection is?
      $endgroup$
      – John Arg
      Apr 14 at 20:23












      $begingroup$
      @JohnArg A surjection is simply a function onto, which means its image covers the whole codomain. In other words, it takes each value in the codomain. You may want to see also the comparision of Bijection, injection and surjection
      $endgroup$
      – CiaPan
      Apr 15 at 10:37




      $begingroup$
      @JohnArg A surjection is simply a function onto, which means its image covers the whole codomain. In other words, it takes each value in the codomain. You may want to see also the comparision of Bijection, injection and surjection
      $endgroup$
      – CiaPan
      Apr 15 at 10:37











      3












      $begingroup$

      For any polynomial $p (x) $ there exists its integral $P (x) $, for which $p $ is a derivative: $$p (x)=P'(x)$$ and which itself is a real-coefficients polynomial, too $$P(x)in P$$ Hence each $p(x) in P$ is in the image of your function $f$. Then $f$ is surjective.






      share|cite|improve this answer











      $endgroup$


















        3












        $begingroup$

        For any polynomial $p (x) $ there exists its integral $P (x) $, for which $p $ is a derivative: $$p (x)=P'(x)$$ and which itself is a real-coefficients polynomial, too $$P(x)in P$$ Hence each $p(x) in P$ is in the image of your function $f$. Then $f$ is surjective.






        share|cite|improve this answer











        $endgroup$
















          3












          3








          3





          $begingroup$

          For any polynomial $p (x) $ there exists its integral $P (x) $, for which $p $ is a derivative: $$p (x)=P'(x)$$ and which itself is a real-coefficients polynomial, too $$P(x)in P$$ Hence each $p(x) in P$ is in the image of your function $f$. Then $f$ is surjective.






          share|cite|improve this answer











          $endgroup$



          For any polynomial $p (x) $ there exists its integral $P (x) $, for which $p $ is a derivative: $$p (x)=P'(x)$$ and which itself is a real-coefficients polynomial, too $$P(x)in P$$ Hence each $p(x) in P$ is in the image of your function $f$. Then $f$ is surjective.







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited Apr 14 at 21:24

























          answered Apr 14 at 20:24









          CiaPanCiaPan

          10.4k11248




          10.4k11248























              2












              $begingroup$

              Think about what the inverse mapping for $f$ would be if indeed it would be a surjection: it would take the derivatives to the original function. Phrased another way, it would take a function to its antiderivative, right?



              Well, we know that all polynomials have an antiderivative (which is itself a polynomial), and since the codomain of $f$ is basically the set of real polynomials, we have a pre-image for each polynomial in $P$ - its antiderivative. Thus, $f$ is surjective.






              share|cite|improve this answer









              $endgroup$













              • $begingroup$
                What do you mean by pre-image?
                $endgroup$
                – John Arg
                Apr 14 at 20:20










              • $begingroup$
                You know how, say, $f(x)$ might be called the "image" for $x$? Same sort of deal: we would also say $x$ is the pre-image for $f(x)$. To use, arguably, more familiar terminology: inputs are to outputs, as pre-images are to images.
                $endgroup$
                – Eevee Trainer
                Apr 14 at 20:21
















              2












              $begingroup$

              Think about what the inverse mapping for $f$ would be if indeed it would be a surjection: it would take the derivatives to the original function. Phrased another way, it would take a function to its antiderivative, right?



              Well, we know that all polynomials have an antiderivative (which is itself a polynomial), and since the codomain of $f$ is basically the set of real polynomials, we have a pre-image for each polynomial in $P$ - its antiderivative. Thus, $f$ is surjective.






              share|cite|improve this answer









              $endgroup$













              • $begingroup$
                What do you mean by pre-image?
                $endgroup$
                – John Arg
                Apr 14 at 20:20










              • $begingroup$
                You know how, say, $f(x)$ might be called the "image" for $x$? Same sort of deal: we would also say $x$ is the pre-image for $f(x)$. To use, arguably, more familiar terminology: inputs are to outputs, as pre-images are to images.
                $endgroup$
                – Eevee Trainer
                Apr 14 at 20:21














              2












              2








              2





              $begingroup$

              Think about what the inverse mapping for $f$ would be if indeed it would be a surjection: it would take the derivatives to the original function. Phrased another way, it would take a function to its antiderivative, right?



              Well, we know that all polynomials have an antiderivative (which is itself a polynomial), and since the codomain of $f$ is basically the set of real polynomials, we have a pre-image for each polynomial in $P$ - its antiderivative. Thus, $f$ is surjective.






              share|cite|improve this answer









              $endgroup$



              Think about what the inverse mapping for $f$ would be if indeed it would be a surjection: it would take the derivatives to the original function. Phrased another way, it would take a function to its antiderivative, right?



              Well, we know that all polynomials have an antiderivative (which is itself a polynomial), and since the codomain of $f$ is basically the set of real polynomials, we have a pre-image for each polynomial in $P$ - its antiderivative. Thus, $f$ is surjective.







              share|cite|improve this answer












              share|cite|improve this answer



              share|cite|improve this answer










              answered Apr 14 at 20:13









              Eevee TrainerEevee Trainer

              10.6k31842




              10.6k31842












              • $begingroup$
                What do you mean by pre-image?
                $endgroup$
                – John Arg
                Apr 14 at 20:20










              • $begingroup$
                You know how, say, $f(x)$ might be called the "image" for $x$? Same sort of deal: we would also say $x$ is the pre-image for $f(x)$. To use, arguably, more familiar terminology: inputs are to outputs, as pre-images are to images.
                $endgroup$
                – Eevee Trainer
                Apr 14 at 20:21


















              • $begingroup$
                What do you mean by pre-image?
                $endgroup$
                – John Arg
                Apr 14 at 20:20










              • $begingroup$
                You know how, say, $f(x)$ might be called the "image" for $x$? Same sort of deal: we would also say $x$ is the pre-image for $f(x)$. To use, arguably, more familiar terminology: inputs are to outputs, as pre-images are to images.
                $endgroup$
                – Eevee Trainer
                Apr 14 at 20:21
















              $begingroup$
              What do you mean by pre-image?
              $endgroup$
              – John Arg
              Apr 14 at 20:20




              $begingroup$
              What do you mean by pre-image?
              $endgroup$
              – John Arg
              Apr 14 at 20:20












              $begingroup$
              You know how, say, $f(x)$ might be called the "image" for $x$? Same sort of deal: we would also say $x$ is the pre-image for $f(x)$. To use, arguably, more familiar terminology: inputs are to outputs, as pre-images are to images.
              $endgroup$
              – Eevee Trainer
              Apr 14 at 20:21




              $begingroup$
              You know how, say, $f(x)$ might be called the "image" for $x$? Same sort of deal: we would also say $x$ is the pre-image for $f(x)$. To use, arguably, more familiar terminology: inputs are to outputs, as pre-images are to images.
              $endgroup$
              – Eevee Trainer
              Apr 14 at 20:21











              1












              $begingroup$

              Your main problem seems to be with what surjection actually means. To add to the other, excellent answers, I will add short "translations" for the words function, surjection and injection in (hopefully) very clear language.




              • "$f$ is a function": Every polynomial has a derivative (which is unique, and itself a polynomial as well).

              • "$f$ is a surjection": Every polynomial is a derivative (of at least one other polynomial).

              • "$f$ is an injection": The anti-derivative of a polynomial is unique (this one is not true).


              You should maybe go back and try to understand these definitions, and how to prove that they are satisfied, in some easier examples -- I am sure there are some in your book.






              share|cite|improve this answer









              $endgroup$


















                1












                $begingroup$

                Your main problem seems to be with what surjection actually means. To add to the other, excellent answers, I will add short "translations" for the words function, surjection and injection in (hopefully) very clear language.




                • "$f$ is a function": Every polynomial has a derivative (which is unique, and itself a polynomial as well).

                • "$f$ is a surjection": Every polynomial is a derivative (of at least one other polynomial).

                • "$f$ is an injection": The anti-derivative of a polynomial is unique (this one is not true).


                You should maybe go back and try to understand these definitions, and how to prove that they are satisfied, in some easier examples -- I am sure there are some in your book.






                share|cite|improve this answer









                $endgroup$
















                  1












                  1








                  1





                  $begingroup$

                  Your main problem seems to be with what surjection actually means. To add to the other, excellent answers, I will add short "translations" for the words function, surjection and injection in (hopefully) very clear language.




                  • "$f$ is a function": Every polynomial has a derivative (which is unique, and itself a polynomial as well).

                  • "$f$ is a surjection": Every polynomial is a derivative (of at least one other polynomial).

                  • "$f$ is an injection": The anti-derivative of a polynomial is unique (this one is not true).


                  You should maybe go back and try to understand these definitions, and how to prove that they are satisfied, in some easier examples -- I am sure there are some in your book.






                  share|cite|improve this answer









                  $endgroup$



                  Your main problem seems to be with what surjection actually means. To add to the other, excellent answers, I will add short "translations" for the words function, surjection and injection in (hopefully) very clear language.




                  • "$f$ is a function": Every polynomial has a derivative (which is unique, and itself a polynomial as well).

                  • "$f$ is a surjection": Every polynomial is a derivative (of at least one other polynomial).

                  • "$f$ is an injection": The anti-derivative of a polynomial is unique (this one is not true).


                  You should maybe go back and try to understand these definitions, and how to prove that they are satisfied, in some easier examples -- I am sure there are some in your book.







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered Apr 15 at 8:57









                  NoiralefNoiralef

                  357112




                  357112






























                      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%2f3187852%2fdetermine-whether-f-is-a-function-an-injection-a-surjection%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

                      Plaza Victoria

                      In PowerPoint, is there a keyboard shortcut for bulleted / numbered list?

                      How to put 3 figures in Latex with 2 figures side by side and 1 below these side by side images but in...