Is every countable set infinite?

  • Thread starter Ronn
  • Start date
  • #1
3
0
Question is the same as the title.

What I think is that since every countable set C ~ Z+( all positive integers) and Z+ is infinite, then C is also infinite. Sounds straightfoward but I need to check it.

Thanks,

Ronn
 

Answers and Replies

  • #2
HallsofIvy
Science Advisor
Homework Helper
41,847
966
Yes, using that definition- a set having a one-to-one correspondence with the positive real numbers- is necessarily infinite. You can use the phrase "at most countable" to include finite sets if you like.

Be aware, however, that some books use the term "countable" to include finite sets- defining countable to mean there is a one-to-one function from the set into (not necessarily "onto") the positive integers - and then say "countably infinite" for the situation above.
 
  • #3
3
0
Thanks for the really fast reply. I've got another related question.

1. If A is a subset of B and B is countable, then A is at most countable?

If 1 is correct, then A is either finite or countable by definition.

2. What if A is known to be infinite,then is it safe to say A is countable? i.e., Since A is either finite or countable, if A is infinite it is the other case where A is countable.

Thanks again!

Ronn
 
  • #4
Dick
Science Advisor
Homework Helper
26,263
619
Yes, 1 is correct. For 2, sure, if A is contained in the countable set B, then it's at most countable. So if it's infinite, then it's countable.
 

Related Threads on Is every countable set infinite?

Replies
1
Views
3K
Replies
6
Views
8K
  • Last Post
2
Replies
29
Views
8K
  • Last Post
Replies
2
Views
1K
  • Last Post
Replies
5
Views
2K
  • Last Post
Replies
9
Views
7K
  • Last Post
Replies
2
Views
1K
  • Last Post
Replies
3
Views
1K
  • Last Post
Replies
9
Views
2K
Top