Results 1 to 2 of 2

Math Help - Onto Proof

  1. #1
    Member
    Joined
    Mar 2008
    From
    Texas
    Posts
    110
    Awards
    1

    Exclamation Onto Proof

    Can someone give me some feedback, please?
    ********
    f: Ζ⇒Ζ

    f(x) = { x/2 if x is even, 0 if x is odd

    Prove whether f is onto and one-to-one.
    Here's my proof.
    ******
    Proof. To show that f is onto, let b∈Ζ. Consider the 2 following cases:

    1. If b=0, f(x)=0 implies x=z.
    2. If b≠0, x/2=b gives x=2b which implies f(2b)=2b/b=b.

    This shows that f has 2 pre-images which proves that f is onto. Since f(0)=0=f(1),
    we have also proved that f is not one-to-one. ■
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor
    Grandad's Avatar
    Joined
    Dec 2008
    From
    South Coast of England
    Posts
    2,570

    Onto and one-to-one function

    Hello yvonnehr
    Quote Originally Posted by yvonnehr View Post
    Can someone give me some feedback, please?
    ********
    f: Ζ⇒Ζ

    f(x) = { x/2 if x is even, 0 if x is odd

    Prove whether f is onto and one-to-one.
    Here's my proof.
    ******
    Proof. To show that f is onto, let b∈Ζ. Consider the 2 following cases:

    1. If b=0, f(x)=0 implies x=z.
    2. If b≠0, x/2=b gives x=2b which implies f(2b)=2b/b=b.

    This shows that f has 2 pre-images which proves that f is onto. Since f(0)=0=f(1),
    we have also proved that f is not one-to-one. ■
    Your proof is fine (I take it x =z should be x=0), but I think you can simplify it a bit.

    You don't really need to say anything about b = 0 at all for the 'onto' proof. (You're not trying to divide anything by zero, are you? And 0 \div 2 = 0, which is OK.)

    So I think all you really need to say is:

    \forall b \in \mathbb{Z}, 2b is even and 2b \in \mathbb{Z}

    \Rightarrow f(2b) =\frac{2b}{2}=b

    \Rightarrow f is onto.

    And your counterexample ( f(0) =0= f(1)) is all you need to prove that f is not one-to-one.

    Grandad
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 5
    Last Post: October 19th 2010, 10:50 AM
  2. Replies: 0
    Last Post: June 29th 2010, 08:48 AM
  3. [SOLVED] direct proof and proof by contradiction
    Posted in the Number Theory Forum
    Replies: 2
    Last Post: February 27th 2010, 10:07 PM
  4. Proof with algebra, and proof by induction (problems)
    Posted in the Discrete Math Forum
    Replies: 8
    Last Post: June 8th 2008, 01:20 PM
  5. proof that the proof that .999_ = 1 is not a proof (version)
    Posted in the Advanced Applied Math Forum
    Replies: 4
    Last Post: April 14th 2008, 04:07 PM

Search Tags


/mathhelpforum @mathhelpforum