Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Prove that these sets are countable :

A. Set of relations over natural which is composed by exactly one ordered pair.

B. Set of relations over natural composed by finite number of ordered pairs.

thanks.

share|improve this question
    
What have you tried? –  Chris Eagle May 4 '12 at 15:18
    
I assume that the answer should rely on a bijection function from naturals to the sets, but don't know how to express it as answer. –  adamco May 4 '12 at 15:20
add comment

1 Answer

up vote 2 down vote accepted

The set A is essentially the collection of all singletons from the set $\mathbb{N}\times\mathbb{N}$. (Can you see why?) So the question is: can you prove that $\mathbb{N}\times\mathbb{N}$ is countable?

The second set is the collection of all finite subsets of $\mathbb{N}\times\mathbb{N}$. Perhaps you can prove that that the set of all subsets of a given finite size is countable, and then take a union?

share|improve this answer
    
For the second set, can I prove that the set is countable relying on that |N^k| (k in N) =|N|? –  adamco May 5 '12 at 7:10
    
@galeck: I would say that if you can prove that $\mathbb{N}^k$ is countable for any finite $k$, then you can rely on that fact. If you cannot prove it, then I would be wary of relying on it... –  Arturo Magidin May 5 '12 at 20:24
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.