# Power sets and Cardinalities.

Cardinality

The cardinality of a set, roughly speaking, is the number of elements it has. For a set like $A=\{1, 2, 3\}$ the cardinality of $A$ (written as $|A|$) is $3$ or $|A|=3$. This concept is fine until you consider an infinite set.

We cannot assign numbers to infinite quantities however we can describe their cardinalities it terms of size. They may all be infinite but some are more "infinite" than others!

For two sets to have the same cardinality $|A|=|B|$ there has to be a bijection (one-to-one and onto function) $f:A\to B$. This means that for every element of $A$ there is exactly one corresponding element of $B$. We do not need to prove the map from $B$ to $A$ as the inverse of a bijective function is itself a bijection.

Example: $A=\{1,2,3\}$ and $B=\{2, 4, 6\}$ now if we find a bijection we have $|A|=|B|$. The bijection $f:x\mapsto 2x$ is such a function.Therefore $|A|=|B|$.

Power sets

The power set of a set $A$ is the set of all possible subsets of $A$. E.g. $A=\{1, 2, 3\}$ then the power set is $\mathscr{P}(A)=\{\{1, 2, 3\}, \{1, 2\}, \{2, 3\}, \{3, 1\}, \{1\},\{2\}, \{3\}, \varnothing\}$

Clearly $A\in \mathscr P(A)$ for all $A$. Now using simple permutations we have the cardinality of a sets power set is as follows $|\mathscr P(A)|=2^{|A|}$.

Back to cardinalities

Let's discuss infinite sets. There are a lot of infinities however we shall start from the smallest. Countable infinity or $\aleph_0$ (pronounced aleph naught) is a type of infinity which is the cardinality of the natural numbers ($\Bbb N$). The name comes from the fact that for a set $A$to have the same cardinality as $\Bbb N$ there has to be a bijection $f:\Bbb N \to A$ as previously established. In a sense, each element in $A$ can be counted using a rule. Sets with the cardinality $\aleph_0$ include $\Bbb{Z, Q}$ and the set of even numbers. (Prove this! The case for $\Bbb Q$ is especially fun!).

Now using the idea of a power set we can construct sets with even larger cardinalities! For example $|\mathscr P(\Bbb N)|=2^{\aleph_0}=\aleph_1$. In fact without hurting your brain we can demonstrate at least countable amount of infinities $|\mathscr P(\Bbb N)|=2^{\aleph_0}=\aleph_1<|\mathscr P(\mathscr P(\Bbb N))|=2^{\aleph_1}=\aleph_2\\<|\mathscr P(\mathscr P(\mathscr P(\Bbb N)))|=2^{\aleph_2}=\aleph_3\cdots$

The next biggest infinity after $\aleph_0$ is $\aleph_1$... or is it? This is a fundamental question in set theory and has been proven to be impossible to prove! It is called the continuum hypothesis: There exists a cardinal number $\mathfrak c$ such that $\aleph_0<\mathfrak c< \aleph_1$.

Moving on we have the cardinality of $\Bbb R$ to consider. Is it countable ($\aleph_0$) or uncountable ($\aleph_1$). We actually find that it is the latter! And we will prove this now! Firstly let us lay some lemmas down.

Lemma 1 The cardinality of the interval $(0, 1)$ is the same as the cardinality of $\Bbb R$. Proof We need to demonstrate the existence of a bijection $f:(0,1)\to\Bbb R$. The function $f:x\mapsto\cot(\pi x)$ suffices.

Lemma 2 We have this equality $|(0, 1)|=|[0, 1]|$. Proof $(0,1)\subset[0, 1]\subseteq\Bbb R$ therefore $|(0, 1)|=|[0, 1]|$.

OK! We are ready for the proof!

First we would like to show that every real number in between $0$ and $1$ can be shown to be equivalent to a subset of $\Bbb N$. This is easier to visualize in binary. We can construct a bijection $\varphi:[0,1]\to\mathscr P(\Bbb N)$ such that $\varphi(0)=\varnothing$ and $\varphi(1\text{ (or) }0.1111\cdots)=\Bbb N$. Now represent $\displaystyle [0,1]\ni x=\sum^\infty_{n=1}\frac{b_n}{2^n}$ where $b_n$ repersents the nth binary digit now we can define $\varphi:0.b_1b_2b_3\cdots\mapsto\{n\in\Bbb N : b_n=1\}$ therefore for every binary number there is a corresponding subset of $\Bbb N$. $\square$

Example values for $\varphi$ in the proof are $\varphi(0.010101\cdots)=\{2, 4, 6\cdots\}$

We have now proved that $|R|=|\mathscr P(\Bbb N)|$.

I hope this post on some set theoretic ideas has inspired and enlightened you!

Note by A Former Brilliant Member
5 years, 7 months ago

This discussion board is a place to discuss our Daily Challenges and the math and science related to those challenges. Explanations are more than just a solution — they should explain the steps and thinking strategies that you used to obtain the solution. Comments should further the discussion of math and science.

When posting on Brilliant:

• Use the emojis to react to an explanation, whether you're congratulating a job well done , or just really confused .
• Ask specific questions about the challenge or the steps in somebody's explanation. Well-posed questions can add a lot to the discussion, but posting "I don't understand!" doesn't help anyone.
• Try to contribute something new to the discussion, whether it is an extension, generalization or other idea related to the challenge.
• Stay on topic — we're all here to learn more about math and science, not to hear about your favorite get-rich-quick scheme or current world events.

MarkdownAppears as
*italics* or _italics_ italics
**bold** or __bold__ bold
- bulleted- list
• bulleted
• list
1. numbered2. list
1. numbered
2. list
Note: you must add a full line of space before and after lists for them to show up correctly
paragraph 1paragraph 2

paragraph 1

paragraph 2

[example link](https://brilliant.org)example link
> This is a quote
This is a quote
    # I indented these lines
# 4 spaces, and now they show
# up as a code block.

print "hello world"
# I indented these lines
# 4 spaces, and now they show
# up as a code block.

print "hello world"
MathAppears as
Remember to wrap math in $$ ... $$ or $ ... $ to ensure proper formatting.
2 \times 3 $2 \times 3$
2^{34} $2^{34}$
a_{i-1} $a_{i-1}$
\frac{2}{3} $\frac{2}{3}$
\sqrt{2} $\sqrt{2}$
\sum_{i=1}^3 $\sum_{i=1}^3$
\sin \theta $\sin \theta$
\boxed{123} $\boxed{123}$

## Comments

Sort by:

Top Newest

You should add the proof that a set and its power set do not have the same cardinality. It's a beautiful argument and includes echoes of Cantor's diagonal proof and Russell's paradox. (It also helps with the clarity of this post, since some of your remarks seem to assume it implicitly.)

- 5 years, 7 months ago

Log in to reply

×

Problem Loading...

Note Loading...

Set Loading...