The set of all subsets of a given set is bigger than the set itself

Let there be a set X. Notation 2X stands for the set of all subsets of X. Two sets X and Y are said to be equivalent or have the same cardinality if there exists between them a 1-1 correspondence. We say that X is bigger than Y if they are not equivalent but there exists a 1-1 correspondence between Y and a subset of X. If X is bigger than Y then Y is smaller than X.

We show that 2X is bigger than X in two steps. Firstly, let's consider one element subsets of X: {x}, where x ∈ X. Then f(x) = {x} is a 1-1 correspondence of X onto the subset of 2X that consists of one element subsets of X. Secondly, assume that X and 2X are equivalent, i.e. there exists a 1-1 g: X → 2X. Let's show that this assumption leads to a contradiction.

It must be noted that for every x ∈ X, g(x) ∈ 2X. In other words, g(x) is a subset of X, g(x) ⊂ X. Thus, either x ∈ g(x) or x ∉ g(x). Let's define the set A = {x ∈ X: x ∉ g(x)}. This is a subset of X. Now we have an interesting situation. Since we assumed g is a 1-1 correspondence between X and 2X there exists a ∈ X such that g(a) = A. It's legitimate to ask whether a ∈ A. Let's check this.

If a ∈ A = {x ∈ X: x ∉ g(x)} then a ∉ g(a) = A. A contradiction.

If a ∉ g(a), then obviously, by the definition of A, we have to conclude that a ∈ A = g(a). A contradiction again.

The only conclusion we may draw is that our original assumption that X and 2X are equivalent, leads to a contradiction. Hence it's false.

(This proof is often referred to as the diagonal argument and there is a The Diagonal Argument page that explains why.)

Self-reference and apparent self-reference

  1. Does It Blink?
  2. Apparent paradox
  3. Set of all subsets
  4. An Impossible Page
  5. Russell's paradox
  6. An Impossible Machine
  7. A theorem with an obvious proof
  8. The Diagonal Argument
  9. A link to a very similar puzzle

|Front page| |Contents| |Algebra| |Up| |Store|

Copyright © 1996-2012 Alexander Bogomolny

 40612212

A math books store at a unique math study site. Shopping at the store helps maintain the site. Thank you.
Sites for teachers
Sites for parents
Terms of use
Awards
Interactive Activities

CTK Exchange
CTK Wiki Math
CTK Insights - a blog
Math Help
Games & Puzzles
What Is What
Arithmetic
Algebra
Geometry
Probability
Outline Mathematics
Make an Identity
Book Reviews
Stories for Young
Eye Opener
Analog Gadgets
Inventor's Paradox
Did you know?...
Proofs
Math as Language
Things Impossible
Visual Illusions
My Logo
Math Poll
Cut The Knot!
MSET99 Talk
Old and nice bookstore
Other Math sites
Front Page
Movie shortcuts
Personal info
Privacy Policy

Guest book
News sites

Recommend this site

Sites for parents

Education & Parenting

Search:
Keywords:

Google
Web CTK
Supported by
3wVentures