Hello,(adsbygoogle = window.adsbygoogle || []).push({});

I am trying to prove the following about equipotence:

Let A and B be nonempty sets. We say that A is equipotent with B if there is a bijection between A and B. Then the following hold:

(i) A is equipotent with itself.

(ii) If A is equipotent with B, then B is equipotent with A.

(iii) If A is equipotent with B, and B is equipotent with C, then A is equipotent with C.

Proof:

(i) We can use the identity function Id_A which gives a bijection between A and itself. Shall I need a more formal proof here?

(ii) Let f: A -> B be a 1-1 and onto map. We can use the inverse function f^-1 which will give a bijection between B and A. Same question here, how to give formal proof.

(iii) Let f:A->B, g:B->C be 1-1 and onto. Then the composition h=(g o f) will give a 1-1 and onto map from A onto C. How do you give a formal proof of this?

Hope you guys have some suggestions.

**Physics Forums - The Fusion of Science and Community**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Equipotence and non-empty sets

Loading...

Similar Threads - Equipotence empty sets | Date |
---|---|

I N-th dimensional Riemann integral | Jan 15, 2018 |

Is every empty set function continuous? | Mar 6, 2012 |

Union of non empty sets | Mar 30, 2011 |

Is empty set open?bounded?perfect?compact? | Oct 3, 2010 |

Infimun and supremum of empty set | May 3, 2009 |

**Physics Forums - The Fusion of Science and Community**