Prove that $f: Bbb RtoBbb R:xmapsto x^3-3x$ is surjective

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











up vote
1
down vote

favorite












How to prove that $$f: Bbb RtoBbb R:xmapsto x^3-3x$$ is surjective? By expressing $x$ in terns of $y$? I am so confused right now.










share|cite|improve this question



















  • 1




    I wouldn't do it like that. How are you with real analysis? Are you comfortable with limits and the intermediate value theorem?
    – Theo Bendit
    Sep 10 at 5:00






  • 2




    Show that the function tends to $infty$ as $x to infty$, and tends to $-infty$ as $x to -infty$, and note that the function is continuous.
    – angryavian
    Sep 10 at 5:01






  • 1




    Every odd degree polynomial on $Bbb R$ is surjective.
    – Lord Shark the Unknown
    Sep 10 at 5:04










  • @LordSharktheUnknown, can you justify why?
    – Decaf-Math
    Sep 10 at 5:05










  • @TheoBendit I am completely a beginner of real analysis...I learned a bit about intermediate value theorem in Calculus
    – JJW22
    Sep 10 at 5:05














up vote
1
down vote

favorite












How to prove that $$f: Bbb RtoBbb R:xmapsto x^3-3x$$ is surjective? By expressing $x$ in terns of $y$? I am so confused right now.










share|cite|improve this question



















  • 1




    I wouldn't do it like that. How are you with real analysis? Are you comfortable with limits and the intermediate value theorem?
    – Theo Bendit
    Sep 10 at 5:00






  • 2




    Show that the function tends to $infty$ as $x to infty$, and tends to $-infty$ as $x to -infty$, and note that the function is continuous.
    – angryavian
    Sep 10 at 5:01






  • 1




    Every odd degree polynomial on $Bbb R$ is surjective.
    – Lord Shark the Unknown
    Sep 10 at 5:04










  • @LordSharktheUnknown, can you justify why?
    – Decaf-Math
    Sep 10 at 5:05










  • @TheoBendit I am completely a beginner of real analysis...I learned a bit about intermediate value theorem in Calculus
    – JJW22
    Sep 10 at 5:05












up vote
1
down vote

favorite









up vote
1
down vote

favorite











How to prove that $$f: Bbb RtoBbb R:xmapsto x^3-3x$$ is surjective? By expressing $x$ in terns of $y$? I am so confused right now.










share|cite|improve this question















How to prove that $$f: Bbb RtoBbb R:xmapsto x^3-3x$$ is surjective? By expressing $x$ in terns of $y$? I am so confused right now.







abstract-algebra






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Sep 10 at 5:53









Chase Ryan Taylor

4,24021530




4,24021530










asked Sep 10 at 4:59









JJW22

586




586







  • 1




    I wouldn't do it like that. How are you with real analysis? Are you comfortable with limits and the intermediate value theorem?
    – Theo Bendit
    Sep 10 at 5:00






  • 2




    Show that the function tends to $infty$ as $x to infty$, and tends to $-infty$ as $x to -infty$, and note that the function is continuous.
    – angryavian
    Sep 10 at 5:01






  • 1




    Every odd degree polynomial on $Bbb R$ is surjective.
    – Lord Shark the Unknown
    Sep 10 at 5:04










  • @LordSharktheUnknown, can you justify why?
    – Decaf-Math
    Sep 10 at 5:05










  • @TheoBendit I am completely a beginner of real analysis...I learned a bit about intermediate value theorem in Calculus
    – JJW22
    Sep 10 at 5:05












  • 1




    I wouldn't do it like that. How are you with real analysis? Are you comfortable with limits and the intermediate value theorem?
    – Theo Bendit
    Sep 10 at 5:00






  • 2




    Show that the function tends to $infty$ as $x to infty$, and tends to $-infty$ as $x to -infty$, and note that the function is continuous.
    – angryavian
    Sep 10 at 5:01






  • 1




    Every odd degree polynomial on $Bbb R$ is surjective.
    – Lord Shark the Unknown
    Sep 10 at 5:04










  • @LordSharktheUnknown, can you justify why?
    – Decaf-Math
    Sep 10 at 5:05










  • @TheoBendit I am completely a beginner of real analysis...I learned a bit about intermediate value theorem in Calculus
    – JJW22
    Sep 10 at 5:05







1




1




I wouldn't do it like that. How are you with real analysis? Are you comfortable with limits and the intermediate value theorem?
– Theo Bendit
Sep 10 at 5:00




I wouldn't do it like that. How are you with real analysis? Are you comfortable with limits and the intermediate value theorem?
– Theo Bendit
Sep 10 at 5:00




2




2




Show that the function tends to $infty$ as $x to infty$, and tends to $-infty$ as $x to -infty$, and note that the function is continuous.
– angryavian
Sep 10 at 5:01




Show that the function tends to $infty$ as $x to infty$, and tends to $-infty$ as $x to -infty$, and note that the function is continuous.
– angryavian
Sep 10 at 5:01




1




1




Every odd degree polynomial on $Bbb R$ is surjective.
– Lord Shark the Unknown
Sep 10 at 5:04




Every odd degree polynomial on $Bbb R$ is surjective.
– Lord Shark the Unknown
Sep 10 at 5:04












@LordSharktheUnknown, can you justify why?
– Decaf-Math
Sep 10 at 5:05




@LordSharktheUnknown, can you justify why?
– Decaf-Math
Sep 10 at 5:05












@TheoBendit I am completely a beginner of real analysis...I learned a bit about intermediate value theorem in Calculus
– JJW22
Sep 10 at 5:05




@TheoBendit I am completely a beginner of real analysis...I learned a bit about intermediate value theorem in Calculus
– JJW22
Sep 10 at 5:05










2 Answers
2






active

oldest

votes

















up vote
1
down vote



accepted










First, let me say that finding a value $x$ such that $y = x^3 - 3x$ is perfectly possible to do, but really horrible. Cardano's method is how you find roots of a cubic, but the formula that comes out the end is far, far worse than the quadratic formula. I would strongly recommend against using this, unless you really need a precise, specific value of $x$ such that $y = x^3 - 3x$.



Let $f(x) = x^3 - 3x$, and fix some $y in mathbbR$. Since $f$ is a continuous function, it suffices to find $a$ and $b$ such that
$$f(a) < y < f(b)$$
because, by the intermediate value theorem, there must be some $x$ between $a$ and $b$ such that $f(x) = y$ (which is what we need to prove surjectivity).



To find an appropriate $b$, consider first the possibility the $y le 2$. If $y < 2$, then $f(2) = 2$, so we can just pick $b = 2$. (If $y = 2$, then just outright choose $x = 2$, and be done with it!)



Otherwise, suppose $y > 2$. Note that, for $x ge 2$, we have $x^3 ge 4x$, so
$$f(x) = x^3 - 3x ge 4x - 3x = x.$$
Thus, if we just choose $b = y + 1$, then $b > 3 ge 2$, so
$$f(b) ge b = y + 1 > y$$
as required.



We have our upper estimate $b$. To find a lower estimate of $a$, we can use the symmetry of the function. Note that $f$ is odd, that is, $f(-x) = -f(x)$ for all $x$. Therefore, by the reasoning above, if $y = -2$, we can use $x = -2$. If $y > -2$, then set $a = -2$. If $y < -2$, then setting $a = y - 1$ will work.



Either which way, we now have $a$ and $b$ such that $f(a) < f(y) < f(b)$. Because $f$ is continuous, the intermediate value theorem kicks in, and so there exists some $x$ between $a$ and $b$ such that $f(x) = y$.






share|cite|improve this answer



























    up vote
    2
    down vote













    The way the question is phrased right now is not quite clear, as surjectivity is a property of functions.
    Precisely, you mean to say:




    How do I show that the function $f:mathbbRrightarrowmathbbR$ given by $f(x)=x^3-3x$ is surjective?




    A function $f$ is surjective if for every element $y$ in its codomain, you can find an element $x$ in the domain such that $f(x)=y$.
    In your case, both the domain and codomain are $mathbbR$.



    Hint: Note that $f(x) rightarrow pm infty$ as $x rightarrow pm infty$ and $f$ is continuous.






    share|cite|improve this answer
















    • 2




      This seems like it should be a comment, rather than an answer, especially since the part that helps the asker move forward is a hint that was already given in the comments.
      – Theo Bendit
      Sep 10 at 5:10






    • 1




      You're probably right. I had already written it up while the comments were being posted. Though I think the definition of surjectivity is useful to the OP, since I am not certain if they are aware that it is a property of functions.
      – parsiad
      Sep 10 at 5:11











    • Referring to LordShark's comment.y_0 = x^3-3x has at least 1 real root.Complex roots occur in pairs.That does the trick I presume.
      – Peter Szilas
      Sep 10 at 6:01










    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%2f2911528%2fprove-that-f-bbb-r-to-bbb-rx-mapsto-x3-3x-is-surjective%23new-answer', 'question_page');

    );

    Post as a guest






























    2 Answers
    2






    active

    oldest

    votes








    2 Answers
    2






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes








    up vote
    1
    down vote



    accepted










    First, let me say that finding a value $x$ such that $y = x^3 - 3x$ is perfectly possible to do, but really horrible. Cardano's method is how you find roots of a cubic, but the formula that comes out the end is far, far worse than the quadratic formula. I would strongly recommend against using this, unless you really need a precise, specific value of $x$ such that $y = x^3 - 3x$.



    Let $f(x) = x^3 - 3x$, and fix some $y in mathbbR$. Since $f$ is a continuous function, it suffices to find $a$ and $b$ such that
    $$f(a) < y < f(b)$$
    because, by the intermediate value theorem, there must be some $x$ between $a$ and $b$ such that $f(x) = y$ (which is what we need to prove surjectivity).



    To find an appropriate $b$, consider first the possibility the $y le 2$. If $y < 2$, then $f(2) = 2$, so we can just pick $b = 2$. (If $y = 2$, then just outright choose $x = 2$, and be done with it!)



    Otherwise, suppose $y > 2$. Note that, for $x ge 2$, we have $x^3 ge 4x$, so
    $$f(x) = x^3 - 3x ge 4x - 3x = x.$$
    Thus, if we just choose $b = y + 1$, then $b > 3 ge 2$, so
    $$f(b) ge b = y + 1 > y$$
    as required.



    We have our upper estimate $b$. To find a lower estimate of $a$, we can use the symmetry of the function. Note that $f$ is odd, that is, $f(-x) = -f(x)$ for all $x$. Therefore, by the reasoning above, if $y = -2$, we can use $x = -2$. If $y > -2$, then set $a = -2$. If $y < -2$, then setting $a = y - 1$ will work.



    Either which way, we now have $a$ and $b$ such that $f(a) < f(y) < f(b)$. Because $f$ is continuous, the intermediate value theorem kicks in, and so there exists some $x$ between $a$ and $b$ such that $f(x) = y$.






    share|cite|improve this answer
























      up vote
      1
      down vote



      accepted










      First, let me say that finding a value $x$ such that $y = x^3 - 3x$ is perfectly possible to do, but really horrible. Cardano's method is how you find roots of a cubic, but the formula that comes out the end is far, far worse than the quadratic formula. I would strongly recommend against using this, unless you really need a precise, specific value of $x$ such that $y = x^3 - 3x$.



      Let $f(x) = x^3 - 3x$, and fix some $y in mathbbR$. Since $f$ is a continuous function, it suffices to find $a$ and $b$ such that
      $$f(a) < y < f(b)$$
      because, by the intermediate value theorem, there must be some $x$ between $a$ and $b$ such that $f(x) = y$ (which is what we need to prove surjectivity).



      To find an appropriate $b$, consider first the possibility the $y le 2$. If $y < 2$, then $f(2) = 2$, so we can just pick $b = 2$. (If $y = 2$, then just outright choose $x = 2$, and be done with it!)



      Otherwise, suppose $y > 2$. Note that, for $x ge 2$, we have $x^3 ge 4x$, so
      $$f(x) = x^3 - 3x ge 4x - 3x = x.$$
      Thus, if we just choose $b = y + 1$, then $b > 3 ge 2$, so
      $$f(b) ge b = y + 1 > y$$
      as required.



      We have our upper estimate $b$. To find a lower estimate of $a$, we can use the symmetry of the function. Note that $f$ is odd, that is, $f(-x) = -f(x)$ for all $x$. Therefore, by the reasoning above, if $y = -2$, we can use $x = -2$. If $y > -2$, then set $a = -2$. If $y < -2$, then setting $a = y - 1$ will work.



      Either which way, we now have $a$ and $b$ such that $f(a) < f(y) < f(b)$. Because $f$ is continuous, the intermediate value theorem kicks in, and so there exists some $x$ between $a$ and $b$ such that $f(x) = y$.






      share|cite|improve this answer






















        up vote
        1
        down vote



        accepted







        up vote
        1
        down vote



        accepted






        First, let me say that finding a value $x$ such that $y = x^3 - 3x$ is perfectly possible to do, but really horrible. Cardano's method is how you find roots of a cubic, but the formula that comes out the end is far, far worse than the quadratic formula. I would strongly recommend against using this, unless you really need a precise, specific value of $x$ such that $y = x^3 - 3x$.



        Let $f(x) = x^3 - 3x$, and fix some $y in mathbbR$. Since $f$ is a continuous function, it suffices to find $a$ and $b$ such that
        $$f(a) < y < f(b)$$
        because, by the intermediate value theorem, there must be some $x$ between $a$ and $b$ such that $f(x) = y$ (which is what we need to prove surjectivity).



        To find an appropriate $b$, consider first the possibility the $y le 2$. If $y < 2$, then $f(2) = 2$, so we can just pick $b = 2$. (If $y = 2$, then just outright choose $x = 2$, and be done with it!)



        Otherwise, suppose $y > 2$. Note that, for $x ge 2$, we have $x^3 ge 4x$, so
        $$f(x) = x^3 - 3x ge 4x - 3x = x.$$
        Thus, if we just choose $b = y + 1$, then $b > 3 ge 2$, so
        $$f(b) ge b = y + 1 > y$$
        as required.



        We have our upper estimate $b$. To find a lower estimate of $a$, we can use the symmetry of the function. Note that $f$ is odd, that is, $f(-x) = -f(x)$ for all $x$. Therefore, by the reasoning above, if $y = -2$, we can use $x = -2$. If $y > -2$, then set $a = -2$. If $y < -2$, then setting $a = y - 1$ will work.



        Either which way, we now have $a$ and $b$ such that $f(a) < f(y) < f(b)$. Because $f$ is continuous, the intermediate value theorem kicks in, and so there exists some $x$ between $a$ and $b$ such that $f(x) = y$.






        share|cite|improve this answer












        First, let me say that finding a value $x$ such that $y = x^3 - 3x$ is perfectly possible to do, but really horrible. Cardano's method is how you find roots of a cubic, but the formula that comes out the end is far, far worse than the quadratic formula. I would strongly recommend against using this, unless you really need a precise, specific value of $x$ such that $y = x^3 - 3x$.



        Let $f(x) = x^3 - 3x$, and fix some $y in mathbbR$. Since $f$ is a continuous function, it suffices to find $a$ and $b$ such that
        $$f(a) < y < f(b)$$
        because, by the intermediate value theorem, there must be some $x$ between $a$ and $b$ such that $f(x) = y$ (which is what we need to prove surjectivity).



        To find an appropriate $b$, consider first the possibility the $y le 2$. If $y < 2$, then $f(2) = 2$, so we can just pick $b = 2$. (If $y = 2$, then just outright choose $x = 2$, and be done with it!)



        Otherwise, suppose $y > 2$. Note that, for $x ge 2$, we have $x^3 ge 4x$, so
        $$f(x) = x^3 - 3x ge 4x - 3x = x.$$
        Thus, if we just choose $b = y + 1$, then $b > 3 ge 2$, so
        $$f(b) ge b = y + 1 > y$$
        as required.



        We have our upper estimate $b$. To find a lower estimate of $a$, we can use the symmetry of the function. Note that $f$ is odd, that is, $f(-x) = -f(x)$ for all $x$. Therefore, by the reasoning above, if $y = -2$, we can use $x = -2$. If $y > -2$, then set $a = -2$. If $y < -2$, then setting $a = y - 1$ will work.



        Either which way, we now have $a$ and $b$ such that $f(a) < f(y) < f(b)$. Because $f$ is continuous, the intermediate value theorem kicks in, and so there exists some $x$ between $a$ and $b$ such that $f(x) = y$.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Sep 10 at 5:38









        Theo Bendit

        13.9k12045




        13.9k12045




















            up vote
            2
            down vote













            The way the question is phrased right now is not quite clear, as surjectivity is a property of functions.
            Precisely, you mean to say:




            How do I show that the function $f:mathbbRrightarrowmathbbR$ given by $f(x)=x^3-3x$ is surjective?




            A function $f$ is surjective if for every element $y$ in its codomain, you can find an element $x$ in the domain such that $f(x)=y$.
            In your case, both the domain and codomain are $mathbbR$.



            Hint: Note that $f(x) rightarrow pm infty$ as $x rightarrow pm infty$ and $f$ is continuous.






            share|cite|improve this answer
















            • 2




              This seems like it should be a comment, rather than an answer, especially since the part that helps the asker move forward is a hint that was already given in the comments.
              – Theo Bendit
              Sep 10 at 5:10






            • 1




              You're probably right. I had already written it up while the comments were being posted. Though I think the definition of surjectivity is useful to the OP, since I am not certain if they are aware that it is a property of functions.
              – parsiad
              Sep 10 at 5:11











            • Referring to LordShark's comment.y_0 = x^3-3x has at least 1 real root.Complex roots occur in pairs.That does the trick I presume.
              – Peter Szilas
              Sep 10 at 6:01














            up vote
            2
            down vote













            The way the question is phrased right now is not quite clear, as surjectivity is a property of functions.
            Precisely, you mean to say:




            How do I show that the function $f:mathbbRrightarrowmathbbR$ given by $f(x)=x^3-3x$ is surjective?




            A function $f$ is surjective if for every element $y$ in its codomain, you can find an element $x$ in the domain such that $f(x)=y$.
            In your case, both the domain and codomain are $mathbbR$.



            Hint: Note that $f(x) rightarrow pm infty$ as $x rightarrow pm infty$ and $f$ is continuous.






            share|cite|improve this answer
















            • 2




              This seems like it should be a comment, rather than an answer, especially since the part that helps the asker move forward is a hint that was already given in the comments.
              – Theo Bendit
              Sep 10 at 5:10






            • 1




              You're probably right. I had already written it up while the comments were being posted. Though I think the definition of surjectivity is useful to the OP, since I am not certain if they are aware that it is a property of functions.
              – parsiad
              Sep 10 at 5:11











            • Referring to LordShark's comment.y_0 = x^3-3x has at least 1 real root.Complex roots occur in pairs.That does the trick I presume.
              – Peter Szilas
              Sep 10 at 6:01












            up vote
            2
            down vote










            up vote
            2
            down vote









            The way the question is phrased right now is not quite clear, as surjectivity is a property of functions.
            Precisely, you mean to say:




            How do I show that the function $f:mathbbRrightarrowmathbbR$ given by $f(x)=x^3-3x$ is surjective?




            A function $f$ is surjective if for every element $y$ in its codomain, you can find an element $x$ in the domain such that $f(x)=y$.
            In your case, both the domain and codomain are $mathbbR$.



            Hint: Note that $f(x) rightarrow pm infty$ as $x rightarrow pm infty$ and $f$ is continuous.






            share|cite|improve this answer












            The way the question is phrased right now is not quite clear, as surjectivity is a property of functions.
            Precisely, you mean to say:




            How do I show that the function $f:mathbbRrightarrowmathbbR$ given by $f(x)=x^3-3x$ is surjective?




            A function $f$ is surjective if for every element $y$ in its codomain, you can find an element $x$ in the domain such that $f(x)=y$.
            In your case, both the domain and codomain are $mathbbR$.



            Hint: Note that $f(x) rightarrow pm infty$ as $x rightarrow pm infty$ and $f$ is continuous.







            share|cite|improve this answer












            share|cite|improve this answer



            share|cite|improve this answer










            answered Sep 10 at 5:06









            parsiad

            16.4k32353




            16.4k32353







            • 2




              This seems like it should be a comment, rather than an answer, especially since the part that helps the asker move forward is a hint that was already given in the comments.
              – Theo Bendit
              Sep 10 at 5:10






            • 1




              You're probably right. I had already written it up while the comments were being posted. Though I think the definition of surjectivity is useful to the OP, since I am not certain if they are aware that it is a property of functions.
              – parsiad
              Sep 10 at 5:11











            • Referring to LordShark's comment.y_0 = x^3-3x has at least 1 real root.Complex roots occur in pairs.That does the trick I presume.
              – Peter Szilas
              Sep 10 at 6:01












            • 2




              This seems like it should be a comment, rather than an answer, especially since the part that helps the asker move forward is a hint that was already given in the comments.
              – Theo Bendit
              Sep 10 at 5:10






            • 1




              You're probably right. I had already written it up while the comments were being posted. Though I think the definition of surjectivity is useful to the OP, since I am not certain if they are aware that it is a property of functions.
              – parsiad
              Sep 10 at 5:11











            • Referring to LordShark's comment.y_0 = x^3-3x has at least 1 real root.Complex roots occur in pairs.That does the trick I presume.
              – Peter Szilas
              Sep 10 at 6:01







            2




            2




            This seems like it should be a comment, rather than an answer, especially since the part that helps the asker move forward is a hint that was already given in the comments.
            – Theo Bendit
            Sep 10 at 5:10




            This seems like it should be a comment, rather than an answer, especially since the part that helps the asker move forward is a hint that was already given in the comments.
            – Theo Bendit
            Sep 10 at 5:10




            1




            1




            You're probably right. I had already written it up while the comments were being posted. Though I think the definition of surjectivity is useful to the OP, since I am not certain if they are aware that it is a property of functions.
            – parsiad
            Sep 10 at 5:11





            You're probably right. I had already written it up while the comments were being posted. Though I think the definition of surjectivity is useful to the OP, since I am not certain if they are aware that it is a property of functions.
            – parsiad
            Sep 10 at 5:11













            Referring to LordShark's comment.y_0 = x^3-3x has at least 1 real root.Complex roots occur in pairs.That does the trick I presume.
            – Peter Szilas
            Sep 10 at 6:01




            Referring to LordShark's comment.y_0 = x^3-3x has at least 1 real root.Complex roots occur in pairs.That does the trick I presume.
            – Peter Szilas
            Sep 10 at 6:01

















             

            draft saved


            draft discarded















































             


            draft saved


            draft discarded














            StackExchange.ready(
            function ()
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2911528%2fprove-that-f-bbb-r-to-bbb-rx-mapsto-x3-3x-is-surjective%23new-answer', 'question_page');

            );

            Post as a guest













































































            這個網誌中的熱門文章

            tkz-euclide: tkzDrawCircle[R] not working

            How to combine Bézier curves to a surface?

            1st Magritte Awards