Are All Countable Sets Closed?

  • Context: MHB 
  • Thread starter Thread starter OhMyMarkov
  • Start date Start date
  • Tags Tags
    Closed Sets
Click For Summary
SUMMARY

Not all countable sets are closed. The discussion highlights that while finite sets are closed, examples such as the set of natural numbers and the set of all rational numbers demonstrate that countable sets can be open or not closed. Specifically, the set S = {n-1 | n ∈ ℕ} is countable but not closed, as its closure includes 0, which is not in the set. The confusion regarding the finiteness of ℕ was clarified, emphasizing the importance of understanding countability and its implications in topology.

PREREQUISITES
  • Understanding of countable sets and their properties
  • Familiarity with basic topology concepts, including open and closed sets
  • Knowledge of the real line and its topology
  • Concept of bijections and their role in defining countability
NEXT STEPS
  • Study the properties of closed sets in topology
  • Learn about the concept of closure and limit points in metric spaces
  • Explore examples of countable and uncountable sets in real analysis
  • Investigate the implications of countability in different topological spaces
USEFUL FOR

Mathematicians, students of topology, and anyone interested in the properties of countable sets and their implications in real analysis.

OhMyMarkov
Messages
81
Reaction score
0
Hello everyone!

I want to show that all countable sets are closed. I can show that finite sets are closed, and the set of all natural numbers is closed by showing its complement to be a union of open sets. Now, can I start like this:

A is a countable set. Every element in A can be "mapped" to an element in N by the property of countability (I presume). N is finite, so A is finite too.

Is there proof correct, if it is but technically incorrect, could you suggest a better proof.

Thanks! :o
 
Physics news on Phys.org
$\Bbb N$ is not finite!

And not all countable sets are closed: take the real line with usual topology, and $S:=\{n^{-1},n\in\Bbb N\}$ is countable, but not closed (as $0$ is in the closure but not in the set).
 
Another example: the set of all rational numbers is countable but not closed- its closure is the set of all real numbers.
 
I apologize about saying N is finite, I forgot to edit that out. I believe I must review what countability strictly means.
 
A set is countable if it is finite or there is a bijection with $\mathbb{N}$. :D
 
If you consider the naturals (any subset) or rationals or something with the discrete metric then these are open, so you have (at least) countably many countable sets that are open :)
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
4K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 7 ·
Replies
7
Views
5K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 18 ·
Replies
18
Views
3K