Proving functions are surjective

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
5 replies · 2K views
synkk
Messages
216
Reaction score
0
prove

whether or not the following functions are surjective or injective:
1) [tex]g: \mathbb{R} \rightarrow \mathbb{R}[/tex] [tex]g(x) = 3x^3 - 2x[/tex]

2)[tex]g: \mathbb{Z} \rightarrow \mathbb{Z}[/tex] [tex]g(x) = 3x^3 - 2x[/tex]my working for 1):

injective: suppose [tex]g(x') = g(x)[/tex] : [tex]3x'^3 - 2x' = 3x^3 - 2x[/tex] this does not imply [tex]x = x'[/tex] hence not injective
surjective: need to show [tex]\forall y \in \mathbb{R} \exists x \in \mathbb{R} s.t. g(x) = y[/tex], [tex]y = 3x^3 - 2x[/tex] as cubics always have one real root then as ## y \in \mathbb{R} ## ## \exists x \in g(x) \in \mathbb{R} ## s.t. ## g(x) = y ## therefore it's surjective

2):
injective: same as 1:
surjective: I'm not sure how to phrase this for the integers,

overall I'm not happy with my proofs, for the injectivity I haven't really shown that x is not equal to x', how would I do it? And for surjectivity I have mainly written it in words, how would I write it out formally for both questions?
 
Physics news on Phys.org
synkk said:
injective: suppose [tex]g(x') = g(x)[/tex] : [tex]3x'^3 - 2x' = 3x^3 - 2x[/tex] this does not imply [tex]x = x'[/tex] hence not injective

Why doesn't it imply that it's not injective? You seem to have skipped a step here.
 
FeDeX_LaTeX said:
Why doesn't it imply that it's not injective? You seem to have skipped a step here.

I don't really know I just saw it as that :\
 
FeDeX_LaTeX said:
Can you find an example which demonstrates that g is not injective?

0 and rt(2/3)