10

How to show equinumerosity of the powerset of $A$ and the set of functions from $A$ to $\{0,1\}$ without cardinal arithmetic?

Not homework, practice exercise.

t.b.
  • 78,116
question
  • 101

2 Answers2

13

For each subset $S$, define the characteristic function $\chi_S\colon A\to\{0,1\}$ by $$\chi_S(a) = \left\{\begin{array}{ll} 1&\text{if }a\in S,\\ 0&\text{if }a\notin S. \end{array}\right.$$ The map $S\mapsto \chi_S$ is one-to-one: if $S\neq T$, then there exists $x\in S\triangle T$; hence $\chi_S(a)\neq \chi_T(a)$.

The map is onto: given $f\colon A\to\{0,1\}$, let $S=\{a\in A\mid f(a)=1\}$. Then $\chi_S = f$.

This gives the desired bijection.

Arturo Magidin
  • 398,050
  • 2
    More-or-less the same answer: It is all about noticing that the maps $S\mapsto \chi_S$ and $A\mapsto{a\in A\mid f(a)=1}$ (between the sets $\mathcal P(A)$ and ${0,1}^A$) are inverse to each other. If a function has an inverse, then it is a bijection. (I added this comment because in some situations it might be easier to find the inverse function than to verify "bijectiveness" directly from definition. So I thought that it might be good to remind this possibility, too.) – Martin Sleziak May 24 '11 at 11:09
  • I’m struggling with the idea that all functions in ${0,1}^X$ must be of this form $\chi_S(a)$. Why can I be sure that there are no other possibilities to map $X$ to ${0,1}$? – mdcq Oct 29 '17 at 18:36
  • @philmcole: Because you are showing that given any function $f\colon X\to{0,1}$, the set $A={x\in X\mid f(x)=1}$ has the property that $f=\chi_{A}$. So every function can be realized that way. – Arturo Magidin Oct 29 '17 at 22:58
6

Arturo Magidin has given an answer in symbols. In words it might be something like:

For any subset $S$ of $A$ (i.e. element of the powerset) there is a unique function which sends each element of $S$ to $1$ and everything else in $A$ to $0$; conversely, for any function $f$ from $A$ to $\{ 0,1 \}$ there is a unique subset of $A$ which contains all the elements of $A$ sent to $1$ and none of those sent to $0$.

Henry
  • 157,058