Discrete Mathematics and Its Applications, Seventh Edition

Published by McGraw-Hill Education
ISBN 10: 0073383090
ISBN 13: 978-0-07338-309-5

Chapter 2 - Section 2.1 - Sets - Exercises - Page 126: 25

Answer

See solution and explanation below.

Work Step by Step

Let $A$ and $B$ be sets. We want to show $\mathcal{P}(A) \subseteq \mathcal{P}(B)$ if and only if $A \subseteq B$. So we will show $\mathcal{P}(A) \subseteq \mathcal{P}(B) \implies A \subseteq B$ and $A \subseteq B \implies \mathcal{P}(A) \subseteq \mathcal{P}(B)$. First, suppose $\mathcal{P}(A) \subseteq \mathcal{P}(B)$. To show $A \subseteq B$, we will show $x \in A \implies x \in B$ for all $x \in A$. So let $x \in A$, then $\{x\} \subseteq A$. This means $\{x\} \in \mathcal{P}(A)$. Thus since $\mathcal{P}(A) \subseteq \mathcal{P}(B)$, $\{x\} \in \mathcal{P}(B)$, which means $\{x\} \subseteq B$, and, therefore, $x \in B$. Hence $A \subseteq B$. For the converse, suppose $A \subseteq B$. We must show $\mathcal{P}(A) \subseteq \mathcal{P}(B)$. So let $C \in \mathcal{P}(A)$. Then $C \subseteq A$. Since $A \subseteq B$, every subset of $A$ is a subset of $B$. Hence $C \subseteq B$. But this means $C \in \mathcal{P}(B)$. Therefore, $\mathcal{P}(A) \subseteq \mathcal{P}(B)$, and, thus, $\mathcal{P}(A) \subseteq \mathcal{P}(B)$ if and only if $A \subseteq B$.
Update this answer!

You can help us out by revising, improving and updating this answer.

Update this answer

After you claim an answer you’ll have 24 hours to send in a draft. An editor will review the submission and either publish your submission or provide feedback.