Prove peicewise function is or is not onto.

  • Thread starter Thread starter teroenza
  • Start date Start date
  • Tags Tags
    Function
Click For Summary
SUMMARY

The function f(x) defined as f(x) = x for rational x and f(x) = x² for irrational x is proven to be neither one-to-one nor onto within the domain and range of [0,1]. A counterexample demonstrates that f(1/2) and f(√0.5) both map to 0.5, confirming it is not one-to-one. To disprove it being onto, one must find a value in the range for which no corresponding value exists in the domain that maps to it.

PREREQUISITES
  • Understanding of piecewise functions
  • Knowledge of one-to-one and onto functions
  • Familiarity with rational and irrational numbers
  • Basic concepts of function mapping
NEXT STEPS
  • Study the properties of piecewise functions
  • Learn about the definitions and examples of one-to-one and onto functions
  • Explore rational and irrational number characteristics
  • Investigate function mapping techniques in calculus
USEFUL FOR

Mathematics students, particularly those studying calculus and function theory, as well as educators seeking to clarify concepts of function properties.

teroenza
Messages
190
Reaction score
5

Homework Statement


I am told to prove or disprove whether the following function is 1:1 and onto.

f(x)= x if x is rational
x^2 if x is not rational

The Domain and Range are both given as [0,1]

I have provided a counter example to show it is not 1:1. x=1/2 and sqrt(0.5) both map to 0.5.

I am stuck on onto. If I am to disprove it being onto, I need to find/show
there is a b in the range
such that there is no a in the range
for which (a,b) is an element of f(a). I am confused as to where to begin to formulate this.
 
Physics news on Phys.org
teroenza said:
I am stuck on onto. If I am to disprove it being onto, I need to find/show
there is a b in the range
such that there is no a in the range
for which (a,b) is an element of f(a). I am confused as to where to begin to formulate this.

Why are you trying to disprove it , when you can prove it.
Take any 'b' in the co-domain and show that there is an 'a' in the domain such that f(a) = b.By the way this thread does not belong to the Advanced Physics sub-forum. You should have posted it here - https://www.physicsforums.com/forumdisplay.php?f=156 , i.e in the Calculus and Beyond forum.
 
Last edited:
Thank you.

Apologies for the mislabeling.
 

Similar threads

  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
Replies
3
Views
1K
Replies
5
Views
2K
Replies
1
Views
2K
  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
Replies
7
Views
2K
  • · Replies 8 ·
Replies
8
Views
1K