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!

Let f:A->B be a bijection

  1. Oct 1, 2013 #1
    This is something I have been wondering about. Let f:A->B
    be a bijection. If B is a subset of X. Can there still exist a bijection from A to X?
     
  2. jcsd
  3. Oct 1, 2013 #2

    UltrafastPED

    User Avatar
    Science Advisor
    Gold Member

    But A is already fully mapped onto B, so which elements of A are left to map onto the X - B?
     
  4. Oct 1, 2013 #3
    Well the cardinality of the rationals, natural numbers and even natural numbers are the same.
    So there exists a bijection between each of these sets even though, the even natural numbers are a subset of the natural numbers. So I think you're actually wrong?
     
  5. Oct 1, 2013 #4

    UltrafastPED

    User Avatar
    Science Advisor
    Gold Member

    I asked a question; I did not provide an answer.

    However it seems that you now know the answer: I think you are saying "for finite sets the answer is NO; for infinite sets the answer is YES". Next you should go ahead and construct an example using the set of natural numbers and subsets of odds and evens.
     
  6. Oct 1, 2013 #5

    HallsofIvy

    User Avatar
    Staff Emeritus
    Science Advisor

    You might want to re-write the question to specify that B is a proper subset of X.
     
  7. Oct 1, 2013 #6

    jbunniii

    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    It should be mentioned that it isn't always true for infinite sets. E.g., take ##A = B = \mathbb{R}## and ##X = \mathbb{Z}##. In general it will be possible only if ##X## has the same cardinality as ##B## (and hence the same cardinality as ##A##).
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?
Draft saved Draft deleted