1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

One to one and onto.

  1. Mar 30, 2016 #1
    1. The problem statement, all variables and given/known data
    I am supposed to prove or disporve that ##f:\mathbb{R} \rightarrow \mathbb{R}##
    ##f(x)=\sqrt{x}## is onto. And prove or disprove that it is one to one

    2. Relevant equations


    3. The attempt at a solution
    I know for certain that this function is not onto given the codomain of real numbers, but I am stuck on the one-to-one definition. I believe that I am supposed to disprove it, but I am not sure.

    I say disprove because for a function to be one to one all values in the domain must correspond to a value in the codomain. Since anything less than 0 is undefined, does this make it true that not everything in the domain is defined in the codomain. Or is this reasoning flawed? Do only that value that are defined in the domain matter?
     
  2. jcsd
  3. Mar 30, 2016 #2

    HallsofIvy

    User Avatar
    Staff Emeritus
    Science Advisor

    With something that basic, focus on the definitions. A function, f, from set A to set B is said to be "onto" (more precisely "onto B") if and only if, for any y in B, there exist x in A such that f(x)= y. Here, your function is [itex]\sqrt{x}[/itex], A= B= R. I suggest you look at y= -1.
    (And be sure that you understand that, since [itex]f(x)= \sqrt{x}[/itex] is a function, it is "single-valued"- that is, "[itex]\sqrt{x}[/itex]" is NOT "[itex]\pm\sqrt{x}[/itex]".)

    For "one-to-one", a function, f, from A to B is said to be "one-to-one" if and only if two different values of x, say [itex]x_1[/itex] and [itex]x_2[/itex] cannot give the say "y": if [itex]x_1\ne x_2[/itex] then [itex]f(x_1)\ne f(x_2)[/itex]. Often it is simplest to prove that by proving the "contra-positive": if [itex]f(x_1)= f(x_2)[/itex] then [itex]x_1= x_2[/itex]. Here, with [itex]f(x_1)= \sqrt{x}[/itex], start with [itex]\sqrt{x_1}= \sqrt{x_2}[/itex]. What can you say from that?
     
  4. Mar 30, 2016 #3

    SammyS

    User Avatar
    Staff Emeritus
    Science Advisor
    Homework Helper
    Gold Member

    What is the domain of your function?
     
  5. Mar 31, 2016 #4
    Okay, I take from this because [itex]\sqrt{x_1}= \sqrt{x_2}[/itex], [itex]\sqrt{x_1}^2= \sqrt{x_2}^2[/itex], so x1=x2. So this function is one to one because I can prove that . Correct?
     
  6. Mar 31, 2016 #5

    HallsofIvy

    User Avatar
    Staff Emeritus
    Science Advisor

    Yes, that is correct. Notice that if the function had been [itex]f(x)= x^2[/itex] then [itex]f(x_1)= f(x_2)[/itex] would be [itex]x_1^2= x_2^2[/itex] from which it follows that [itex]x_1= \pm x_2[/itex], not "[itex]x_1= x_2[/itex]" so that function is not one-to-one.
     
  7. Mar 31, 2016 #6

    Ray Vickson

    User Avatar
    Science Advisor
    Homework Helper

    Is your ##f(x) = \sqrt{x}## even a map from ##\mathbb{R}## into ##\mathbb{R}## at all?
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?
Draft saved Draft deleted



Similar Discussions: One to one and onto.
  1. One to one and onto (Replies: 0)

  2. One-to-one and onto (Replies: 3)

Loading...