Which is countable and which is uncountable ?

  • Thread starter Thread starter Jess123
  • Start date Start date
Click For Summary
SUMMARY

The discussion focuses on determining the countability of three infinite sets: (i) the set of all triples (x, y, z) where x, y, and z are rational numbers, (ii) the set of all subsets of natural numbers (N), and (iii) the set of all finite subsets of N. The set of triples is countable due to the countability of rational numbers. The power set of N is uncountable, as it has a greater cardinality than N itself. Lastly, the set of all finite subsets of N is countable, as it can be constructed from a countable set.

PREREQUISITES
  • Understanding of countable and uncountable sets
  • Familiarity with rational numbers and their properties
  • Knowledge of power sets and cardinality
  • Basic set theory concepts, particularly regarding subsets
NEXT STEPS
  • Study the definition and properties of countable and uncountable sets
  • Learn about the Cantor's theorem regarding power sets
  • Explore proofs involving the countability of rational numbers
  • Investigate the construction of finite subsets from countable sets
USEFUL FOR

Mathematics students, educators, and anyone interested in set theory and the concepts of countability and uncountability.

Jess123
Messages
2
Reaction score
0

Homework Statement



Determine (with proofs) which of the following infinite sets are countable and which are uncountable:
(i ) The set of all triples (x, y, z) where x, y, and z are rationals;
(ii ) The set of all subsets of N;
(iii ) The set of all finite subsets of N.

Note: N is Natural Numbers

Homework Equations


I think there are no relevant equations for this question

The Attempt at a Solution



For (i), There is a theorem that states all rational sets are countable, so I think it is countable is this right ? If so, I don't know how to write the correct proof.

For (ii), I think it is uncountable becasue the power set of a set S has strictly greater cardinality than S. Is this right, again I don't know how to write the proof for this one.

For (iii), I think it is countable because all sets, constituting of elements from Z (or any countable set), but where an element can occur multiple times (but only finitely many times), is also countable (so these are like subsets, except elements can occur more than once). Is this right, again I don't know how to write the proof for this one.

This is all I can do, can someone help me please ?
 
Last edited:
Physics news on Phys.org
Do you have any idea what the definitions of "countable" and "uncountable" are?
 

Similar threads

Replies
1
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 18 ·
Replies
18
Views
4K
  • · Replies 7 ·
Replies
7
Views
2K
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
4K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K