Proving the Equivalence of Cardinalities |P(N)| = |Reals|

  • Thread starter Thread starter Unassuming
  • Start date Start date
Click For Summary
SUMMARY

The discussion centers on proving the equivalence of cardinalities |P(N)| and |R|, where P(N) represents the power set of natural numbers and R denotes the set of real numbers. The initial approach involves constructing a decimal expansion from elements of P(N), demonstrating a one-to-one mapping but failing to cover all reals. The second approach suggests using binary expansions to establish a bijection between the interval [0, 1] and P(N), ultimately leveraging the Cantor-Schroeder-Bernstein Theorem to conclude that |P(N)| equals |R|.

PREREQUISITES
  • Understanding of cardinality and set theory concepts
  • Familiarity with the Cantor-Schroeder-Bernstein Theorem
  • Knowledge of decimal and binary expansions
  • Basic comprehension of real numbers and their properties
NEXT STEPS
  • Study the Cantor-Schroeder-Bernstein Theorem in detail
  • Explore the concept of bijections in set theory
  • Learn about the properties of the power set P(N)
  • Investigate mappings between intervals and the real numbers
USEFUL FOR

Mathematicians, students of set theory, and anyone interested in understanding the foundations of cardinality and its implications in mathematics.

Unassuming
Messages
165
Reaction score
0

Homework Statement



Show that |P(N)|=|R|. (R=reals, |X| is the cardinality of X).

Homework Equations





The Attempt at a Solution



#1.) P(N) --> R

Given any element, A, of P(N), construct a decimal expansion .x1x2x3x4... by the rule that x_i=1 (if i is in A) and x_i=0 (if i is not in A).

So the element {1,7} would give .1000001

This map is 1-1 but not onto the Reals.

#2.) R --> P(N)

If I can show this direction then #3 follows. I know a little about the mapping of [0,1] onto the Reals. I cannot determine if that helps here.

#3.) Using the Cantor-Schroeder-Bernstein Theorem, |P(N)|=|R|.
 
Physics news on Phys.org
For #1, instead of a decimal expansion make it a binary expansion. In fact I think you can show this to give a bijection between [0, 1] and P(N). Then use (or prove) the "famous" result that | [0, 1] | = |R|.
 

Similar threads

  • · Replies 24 ·
Replies
24
Views
4K
Replies
10
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
9
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
3
Views
2K
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K