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

Clash 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.
abstract-algebra
 |Â
show 1 more comment
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.
abstract-algebra
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
 |Â
show 1 more comment
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.
abstract-algebra
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
abstract-algebra
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
 |Â
show 1 more comment
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
 |Â
show 1 more comment
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$.
add a comment |Â
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.
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
add a comment |Â
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$.
add a comment |Â
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$.
add a comment |Â
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$.
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$.
answered Sep 10 at 5:38
Theo Bendit
13.9k12045
13.9k12045
add a comment |Â
add a comment |Â
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.
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
add a comment |Â
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.
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
add a comment |Â
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.
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.
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
add a comment |Â
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
add a comment |Â
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
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
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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