(a) A nonempty set S is countable if and only if there exists surjective function f:N->S(adsbygoogle = window.adsbygoogle || []).push({});

(b) A nonempty set S is countable if and only if there exists a injective function g:S->N

There are two way proves for both (a) and (b)

(a-1) prove if a nonempty set S is countable, then there exists surjective function f:N->S; (a-2) also prove if there exists surjective function f:N->S, then a nonempty set S is countable

(b-1) prove if a nonempty set S is countable, then there exists a injective function g:S->N; (b-2) also prove if there exists a injective function g:S->N, then a nonempty set S is countable

---------------------------------------------------

A set is countable if it is either finite or denumerable

1) Two finite countable sets are not necessarily of the same cardinality

2) Every two denumerable sets are of the same cardinality.

Set A is denumerable if there is a bijection f:N->A

---------------------------------------------------

How to construct a surjection f:N->S?

Also the inverse of function f which is g:S->N is also injection?

Please help!

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

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

# Prove set S is countable iff there exists a surjective/injective function

Loading...

Similar Threads - Prove countable exists | Date |
---|---|

I Prove if x + (1/x) = 1 then x^7 + (1/x^7) = 1. | Mar 9, 2016 |

Prove A is countable | Dec 9, 2013 |

Can the axiom of countable choice be proved? | Mar 27, 2013 |

Every open set in R is a countable union of open intervals. Prove. | Jan 28, 2010 |

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