What do you mean by countably infinite ?

  • Thread starter iVenky
  • Start date
  • #1
iVenky
212
12
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
micromass
Staff Emeritus
Science Advisor
Homework Helper
Insights Author
22,178
3,305


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
iVenky
212
12


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
micromass
Staff Emeritus
Science Advisor
Homework Helper
Insights Author
22,178
3,305


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.
 

Suggested for: What do you mean by countably infinite ?

  • Last Post
Replies
22
Views
1K
Replies
4
Views
570
  • Last Post
Replies
5
Views
155
  • Last Post
Replies
5
Views
386
  • Last Post
Replies
4
Views
330
Replies
9
Views
978
  • Last Post
Replies
3
Views
566
  • Last Post
Replies
1
Views
365
  • Last Post
4
Replies
126
Views
4K
Replies
15
Views
727
Top