Proving functions are surjective

Click For Summary
The discussion focuses on proving whether the functions g(x) = 3x^3 - 2x are surjective or injective for both real and integer domains. For the first function, it is established that it is not injective because g(x') = g(x) does not guarantee x' = x, and it is surjective since every real number y can be achieved by some x due to the nature of cubic functions. The second function, defined over integers, raises questions about its surjectivity, with participants unsure how to formally express their reasoning. An example demonstrating that the function is not injective is provided, specifically using the values 0 and rt(2/3). The intermediate value theorem is suggested as a method to verify surjectivity.
synkk
Messages
216
Reaction score
0
prove

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

2)g: \mathbb{Z} \rightarrow \mathbb{Z} g(x) = 3x^3 - 2xmy working for 1):

injective: suppose g(x') = g(x) : 3x'^3 - 2x' = 3x^3 - 2x this does not imply x = x' hence not injective
surjective: need to show \forall y \in \mathbb{R} \exists x \in \mathbb{R} s.t. g(x) = y, y = 3x^3 - 2x 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 g(x') = g(x) : 3x'^3 - 2x' = 3x^3 - 2x this does not imply x = x' 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 :\
 
synkk said:
I don't really know I just saw it as that :\

Can you find an example which demonstrates that g is not injective?
 
FeDeX_LaTeX said:
Can you find an example which demonstrates that g is not injective?

0 and rt(2/3)
 
Yes, that works. The function's surjectivity can be verified via the intermediate value theorem.
 
Question: A clock's minute hand has length 4 and its hour hand has length 3. What is the distance between the tips at the moment when it is increasing most rapidly?(Putnam Exam Question) Answer: Making assumption that both the hands moves at constant angular velocities, the answer is ## \sqrt{7} .## But don't you think this assumption is somewhat doubtful and wrong?

Similar threads

  • · Replies 3 ·
Replies
3
Views
2K
Replies
3
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
Replies
1
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K
Replies
2
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K