Results 1 to 2 of 2

Math Help - Bijection construction

  1. #1
    Member
    Joined
    Nov 2007
    Posts
    108

    Bijection construction

    I always have trouble with constructing bijective function from one set to another set. I am asking for some advices so that I can somehow do this type of problem better
    Say, I want to construct a bijection f:N \rightarrow Z.
    I would define my function f(x)=0 if x=1, \frac{x}{2} if x is even, and -\frac{x-1}{2} if x is odd and greater than 1.
    I can see clearly that this function maps the set of natural numbers to the set of integers. I can also check that this function is one-to-one and onto.
    However, I have trouble with coming up with bijective constructions like those below:
    1) f:R \rightarrow (0,1) by f(x)=\frac{tan^{-1}(x)}{\pi}+1/2
    2) f: (0,1) \rightarrow R by f(x)=1/x if 0 < x \leq 1/2, and 4-\frac{2}{2x-1} if 1/2 <x <1.
    3) f: N \times N \rightarrow N by f(x,y)=2^x(2y+1)-1.
    I just don't see the approach to obtain these bijective functions as other people see it. What kind of logical thoughts I need to have so that I can tackle these constructions? Also, how can I verify that the functions above are one-to-one and onto by using the definitions? Do I just do it the usual way, for injective, let f(x)=f(y) then show x=y, and for onto, show there exists x in A such that f(x)=y for every y in B (here I consider f from A to B)? Any suggestion and help is appreciated.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Super Member Showcase_22's Avatar
    Joined
    Sep 2006
    From
    The raggedy edge.
    Posts
    782
    Quote Originally Posted by namelessguy View Post
    What kind of logical thoughts I need to have so that I can tackle these constructions?
    I find these a little tricky too. I normally just look at a lot of them and try and understand why they work (or just memorise them).

    Also, how can I verify that the functions above are one-to-one and onto by using the definitions? Do I just do it the usual way, for injective, let f(x)=f(y) then show x=y, and for onto, show there exists x in A such that f(x)=y for every y in B (here I consider f from A to B)? Any suggestion and help is appreciated.
    The easiest way of doing it after you have the "suspected" bijection is just to show it has an inverse. I find it's faster than using the definitions of injectivity and surjectivity.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Bijection
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: March 23rd 2010, 10:14 AM
  2. Bijection
    Posted in the Differential Geometry Forum
    Replies: 1
    Last Post: September 15th 2009, 12:55 PM
  3. bijection - please help!
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: September 24th 2008, 07:05 AM
  4. Bijection Example
    Posted in the Pre-Calculus Forum
    Replies: 2
    Last Post: September 19th 2008, 08:15 AM
  5. bijection
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: September 6th 2008, 04:31 PM

Search Tags


/mathhelpforum @mathhelpforum