What do you mean by countably infinite ?

  • Thread starter iVenky
  • Start date
  • #1
145
1

Main Question or Discussion Point

What do you mean by "countably infinite"?

I just couldn't understand the meaning of countably infinite. I have seen some definitions but I couldn't get an insight. Could you please help me in understanding this term with some kind of an example?

Thanks a lot.

:)
 

Answers and Replies

  • #2
22,097
3,280


The most important example is [itex]\mathbb{N}[/itex]. This is countably infinite by definition.

Furthermore, if there exists a bijection between [itex]\mathbb{N}[/itex] and a set X, then that set X is also called countably infinite.

As further examples, [itex]\mathbb{Z}[/itex] is countably infinite as there exists a bijection between [itex]\mathbb{Z}[/itex] and [itex]\mathbb{N}[/itex]. The bijection in question is

[tex]0\rightarrow 0,~1\rightarrow -1,~2\rightarrow 1,~3\rightarrow -2,...[/tex]

So you send an even number 2n to n, and you send an odd number 2n+1 to -n-1.

Another example is the set of even numbers. This is also countably infinite. The bijection sends n to 2n. So 0 is sent to 0, 1 to 2, 2 to 4, 3 to 6, etc.

A little harder to prove is that [itex]\mathbb{Q}[/itex] is countably infinite.

A set that is NOT countable infinite is [itex]\mathbb{R}[/itex].

Read this FAQ: https://www.physicsforums.com/showthread.php?t=507003 [Broken]
 
Last edited by a moderator:
  • #3
145
1


So "countably infinite" means you can count like one, two, three so on.
You can't count real numbers between 0 and 1 like one, two, three.. so it should be an infinite space and not countably infinite.

Am I right?
 
  • #4
22,097
3,280


So "countably infinite" means you can count like one, two, three so on.
You can't count real numbers between 0 and 1 like one, two, three.. so it should be an infinite space and not countably infinite.

Am I right?
Yes, the reals are uncountable infinite. You can't label them one, two, three, four, etc. and expect to have them all.
The rigorous proof that the reals are uncountable uses Cantor's diagonalization and is a really neat trick in mathematics.
 

Related Threads on What do you mean by countably infinite ?

Replies
13
Views
4K
Replies
9
Views
747
  • Last Post
Replies
5
Views
3K
  • Last Post
Replies
22
Views
732
  • Last Post
Replies
1
Views
6K
Replies
25
Views
12K
Replies
2
Views
2K
Replies
2
Views
2K
Replies
3
Views
3K
  • Last Post
Replies
5
Views
10K
Top