Proving functions are surjective

Click For Summary

Homework Help Overview

The discussion revolves around determining whether specific functions are surjective or injective. The functions in question are a cubic function defined over the reals and the integers.

Discussion Character

  • Conceptual clarification, Assumption checking, Mathematical reasoning

Approaches and Questions Raised

  • The original poster attempts to prove the injectivity and surjectivity of the functions by analyzing their definitions and properties. Some participants question the reasoning behind the injectivity proof and seek clarification on the steps involved. Others suggest finding specific examples to illustrate the injectivity claim.

Discussion Status

Participants are actively engaging with the original poster's reasoning, with some providing examples to support the discussion. There is a focus on clarifying the injectivity argument and exploring the surjectivity of the functions using the intermediate value theorem.

Contextual Notes

The original poster expresses uncertainty about their proofs and the formal phrasing required for their arguments, particularly regarding the injectivity of the function defined over integers.

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.
 

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
2K
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