1
$\begingroup$

I am having trouble getting started with this particular problem.

Let $A$ be a nonempty set, and let $\mathcal{B}$ be the set of all functions $f:A\to\{0,1\}$. Show that $\mathcal{B}\sim\mathcal{P}(A)$; that is, construct a bijection $\phi: \mathcal{B} \rightarrow \mathcal{P}(A)$.

Faced with this problem, I know that the power set contains all subsets of $A$. Now, does that mean all possible combinations of the functions which map to $\{0,1\}$? Also, does the fact that the characteristic function is associated with the power set have anything to do with the problem? Thanks.

$\endgroup$
2
$\begingroup$

Given a subset $S \subseteq A$, consider the function $\varphi_S: A \rightarrow \{0,1\}$ defined by $\varphi_S(x) = 1$ if $x \in S$ and $0$ otherwise.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.