Saturday, 1 June 2013

functions - Cardinality of power set and binary sequence




Let $A$ be a set and $P(A)$ be the power set of $A$. Define $B(A)$ as
the set of all functions $F:A\rightarrow\{0,1\}$. For example,
$B(\mathbb{N})$ is the set of all binary sequences. Prove that $P(A)$
has the same cardinality as $B(A)$.





When $A$ is finite, this is easy to prove. I am interested in other cases; for instance when $A$ is countably infinite or uncountable. I am also a bit confused with the definition of $B(A)$. Could anyone help me with this one please?


Answer



The bijection is given by defining the function $F_X:A\to\{0,1\}$ with $X\subseteq A$ as:
\begin{align}
F_X(a)=\begin{cases}
1&\text{if $a\in X$}\\
0&\text{if $a\notin X$}
\end{cases}
\end{align}




The things you have to show is that $G:\mathcal P(A)\to B(A)$ with $G(X)=F_X$ is a bijection.


No comments:

Post a Comment

real analysis - How to find $lim_{hrightarrow 0}frac{sin(ha)}{h}$

How to find $\lim_{h\rightarrow 0}\frac{\sin(ha)}{h}$ without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...