Cardinality of a subset of [0,1]

  • Thread starter Thread starter ribbon
  • Start date Start date
  • Tags Tags
    Cardinality
Click For Summary
SUMMARY

The cardinality of the set of all numbers in the interval [0, 1] with decimal expansions containing a finite number of non-zero digits is indeed the cardinality of the continuum, denoted as c. Participants in the discussion assert that this set cannot be paired with the natural numbers, indicating its infinite nature. The set is recognized as a subset of the rational numbers, specifically those whose denominators consist solely of powers of 2 and 5. The argument hinges on the inability to establish a bijection between this set and the natural numbers, reinforcing the conclusion that its cardinality remains c.

PREREQUISITES
  • Understanding of cardinality and continuum hypothesis
  • Familiarity with decimal and binary number systems
  • Knowledge of rational numbers and their properties
  • Basic concepts of bijections in set theory
NEXT STEPS
  • Study the properties of cardinality in set theory
  • Learn about the continuum hypothesis and its implications
  • Explore the relationship between decimal expansions and rational numbers
  • Investigate bijections and their role in determining set cardinalities
USEFUL FOR

Mathematicians, students of set theory, and anyone interested in understanding the properties of infinite sets and cardinality within real analysis.

ribbon
Messages
38
Reaction score
0

Homework Statement


What is the cardinality of the set of all numbers in the interval [0, 1] which
have decimal expansions with a finite number of non-zero digits?

Homework Equations


The Attempt at a Solution


I say its still c? Am I correct, there is no way I can pair this set with the natural numbers.

Define
f(1) = 0.1
f(2) = 0.02
f(3) = 0.003
f(4) = 0.0004
...
But then we must pair elements of N to 0.2, 0.3, 0.4... and 0.03, 0.04, 0.05, and 0.004, 0.005,...

This seems weak though no?
 
Last edited:
Physics news on Phys.org
Your set is a subset of ##\mathbb{Q}##, isn't it?
 
  • Like
Likes   Reactions: 1 person
@Ribbon: Your argument doesn't make any sense to me. You seem to be arguing that there are a countable number of sets equinumerous with the naturals. Is this what you are doing and what are you trying to achieve by it?
 
hi ribbon! :smile:
ribbon said:
…, there is no way I can pair this set with the natural numbers.

hint: can you pair the set of all numbers with two non-zero digits with the natural numbers? :wink:
 
  • Like
Likes   Reactions: 1 person
ribbon said:
I say its still c? Am I correct, there is no way I can pair this set with the natural numbers.

Define
f(1) = 0.1
f(2) = 0.02
f(3) = 0.003
f(4) = 0.0004
...
But then we must pair elements of N to 0.2, 0.3, 0.4... and 0.03, 0.04, 0.05, and 0.004, 0.005,...

This seems weak though no?
Yes, your argument doesn't work. All you've shown is that you failed at your first attempt at finding a bijection between N and the set. Perhaps if you were more clever, you could find such a bijection.
 
tiny-tim said:
hi ribbon! :smile:


hint: can you pair the set of all numbers with two non-zero digits with the natural numbers? :wink:

Could I go,
f(1) = 0.11
f(2) = 0.12
f(3) = 0.13
...

and skip numbers like 0.2, 0.3? But then what happens to all the numbers in between I'm missing?
 
micromass said:
Your set is a subset of ##\mathbb{Q}##, isn't it?

It seems so, but the unit interval has cardinality c and at first glance it appeared to me that we were excluding a finite set from an infinite one, and if I am not mistaken with cardinal arithmetic, c would remain the cardinality. But it seems to be otherwise now.
 
tiny-tim said:
hi ribbon! :smile:


hint: can you pair the set of all numbers with two non-zero digits with the natural numbers? :wink:

Hey Tiny, what happened to your fish avatar? Did he try to swim through a screen?
 
ribbon said:
Could I go,
f(1) = 0.11
f(2) = 0.12
f(3) = 0.13
...

and skip numbers like 0.2, 0.3? But then what happens to all the numbers in between I'm missing?

but you're not even trying to count any numbers with more than 2 decimal places! :rolleyes:

try again, but with binary numbers (instead of decimals), it's easier :smile:
LCKurtz said:
Hey Tiny, what happened to your fish avatar? Did he try to swim through a screen?

it wasn't a proper underwater camera! :redface:
 
  • #10
tiny-tim said:
but you're not even trying to count any numbers with more than 2 decimal places! :rolleyes:

try again, but with binary numbers (instead of decimals), it's easier :smile:


it wasn't a proper underwater camera! :redface:

Hmm, ok well could the sequence be 0.1, 0.101, 0.010101... till I hit that n (n being the finite number of non zero digits?
 
  • #11
ribbon said:
It seems so, but the unit interval has cardinality c and at first glance it appeared to me that we were excluding a finite set from an infinite one, and if I am not mistaken with cardinal arithmetic, c would remain the cardinality.

So, have you just walked away from the thread where we were discussing that topic?
 
  • #12
ribbon said:
It seems so, but the unit interval has cardinality c and at first glance it appeared to me that we were excluding a finite set from an infinite one

Your set is infinite: if x is in that set, then so is 10^{-n}x for all n \in \mathbb{N}. Adding any number of zeroes to the beginning of the decimal expansion does not change the number of non-zero digits in the expansion.
 
  • #13
ribbon said:

Homework Statement


What is the cardinality of the set of all numbers in the interval [0, 1] which
have decimal expansions with a finite number of non-zero digits?
You do not recognize this as the subset of all rational numbers whose denominators have only powers of 2 and powers of 5 as factors? If x= 0.a_1a_2\cdot\cdot\cdot a_n has only "n" non-zero digits, then 10^nx= a_1a_2\cdot\cdot\cdot a_n and, finally, x= \frac{a_1a_2\cdot\cdot\cdot a_n}{10^n}. You may be able to do a lot of "cancelling" to reduce the denominator but 10= 2(5) so there will never be any factors other than "5" or "2" in the denominator.


Homework Equations





The Attempt at a Solution


I say its still c? Am I correct, there is no way I can pair this set with the natural numbers.

Define
f(1) = 0.1
f(2) = 0.02
f(3) = 0.003
f(4) = 0.0004
...
But then we must pair elements of N to 0.2, 0.3, 0.4... and 0.03, 0.04, 0.05, and 0.004, 0.005,...

This seems weak though no?
 
  • Like
Likes   Reactions: 1 person

Similar threads

  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 13 ·
Replies
13
Views
4K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 2 ·
Replies
2
Views
6K
  • · Replies 16 ·
Replies
16
Views
2K
  • · Replies 15 ·
Replies
15
Views
3K
Replies
2
Views
2K
  • · Replies 8 ·
Replies
8
Views
4K
Replies
5
Views
2K