Results 1 to 2 of 2

Math Help - Proving that A~B then B~A for infinite sets

  1. #1
    Newbie
    Joined
    Oct 2009
    From
    Philidelphia/Pittsburgh PA
    Posts
    16

    Proving that A~B then B~A for infinite sets

    Hi, so I'm suuposed to prove the properties of a equivalence relation. I have proved the reflexive and transitive property but I'm confusing myself with the transitive property so far I have assumed that A ~ B and i want to show B~A. so i started by showing that a function from B to A is one to one so I said let f inverse go from B to A. I'm not sure if I'm allowed to let it be f inverse.
    then because A~B we know that f(a) = b so
    f-1(b1) = f-1(b2) becomes f-1(f(a1)) = f-1(f(a2)) then I canceled the functions which I'm also not sure whether its alright to do that and got a1 = a2 then because A~B its injective so if a1 = a2 then f(a1) = f(a2). Im not sure whether I'm allowed to do that either. then i proceed to once again say because A~B its surjective so if f(a1)=f(a2) then b1 = b2

    I'm also very confused with the surjective part if anyone can help. Thanks!!
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,617
    Thanks
    1581
    Awards
    1
    Don't over think it.
    There is a bijection A \leftrightarrow B.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Finite and infinite sets
    Posted in the Discrete Math Forum
    Replies: 11
    Last Post: August 6th 2011, 03:53 PM
  2. Infinite sets
    Posted in the Differential Geometry Forum
    Replies: 8
    Last Post: March 13th 2011, 06:30 AM
  3. Infinite Sets
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: May 13th 2010, 12:14 PM
  4. Intersection of infinite sets that contain each other
    Posted in the Discrete Math Forum
    Replies: 8
    Last Post: April 25th 2009, 02:07 PM
  5. Bijection in infinite sets
    Posted in the Discrete Math Forum
    Replies: 9
    Last Post: May 25th 2008, 02:57 PM

Search Tags


/mathhelpforum @mathhelpforum