897: For Map, Subset of Domain, and Subset of Codomain, Image of Subset Is Contained in Subset and Image of Complement of Subset Is Contained in Complement of Subset, iff Preimage of Subset Is Subset and Preimage of Complement of Subset Is Complement of Subset

<The previous article in this series | The table of contents of this series | The next article in this series>

description/proof of that for map, subset of domain, and subset of codomain, image of subset is contained in subset and image of complement of subset is contained in complement of subset, iff preimage of subset is subset and preimage of complement of subset is complement of subset

---

Topics

About: set

---

The table of contents of this article

• Starting Context
• Target Context
• Orientation
• Main Body
• 1: Structured Description
• 2: Natural Language Description
• 3: Proof

---

Starting Context

• The reader knows a definition of map.

---

Target Context

• The reader will have a description and a proof of the proposition that for any map, any subset of the domain, and any subset of the codomain, the image of the subset is contained in the subset and the image of the complement of the subset is contained in the complement of the subset, if and only if the preimage of the subset is the subset and the preimage of the complement of the subset is the complement of the subset.

---

Orientation

There is a list of definitions discussed so far in this site.

There is a list of propositions discussed so far in this site.

---

Main Body

---

1: Structured Description

Here is the rules of Structured Description.

Entities:
$S_1^{\prime }$: $\in \{\text{ the sets }\}$
$S_2^{\prime }$: $\in \{\text{ the sets }\}$
$f$: $S_1^{\prime }\to S_2^{\prime }$
$S_1$: $\subseteq S_1^{\prime }$
$S_2$: $\subseteq S_2^{\prime }$
//

Statements:
(
$f(S_1)\subseteq S_2$
$\wedge$
$f(S_1^{\prime }\setminus S_1)\subseteq S_2^{\prime }\setminus S_2$
)
$⟺$
(
$S_1=f^{-1}(S_2)$
$\wedge$
$S_1^{\prime }\setminus S_1=f^{-1}(S_2^{\prime }\setminus S_2)$
).
//

---

2: Natural Language Description

For any sets, $S_1^{\prime },S_2^{\prime }$, any map, $f:S_1^{\prime }\to S_2^{\prime }$, and any subsets, $S_1\subseteq S_1^{\prime },S_2\subseteq S_2^{\prime }$, $f(S_1)\subseteq S_2$ and $f(S_1^{\prime }\setminus S_1)\subseteq S_2^{\prime }\setminus S_2$, if and only if $S_1=f^{-1}(S_2)$ and $S_1^{\prime }\setminus S_1=f^{-1}(S_2^{\prime }\setminus S_2)$.

---

3: Proof

Whole Strategy: Step 1: suppose that $f(S_1)\subseteq S_2$ and $f(S_1^{\prime }\setminus S_1)\subseteq S_2^{\prime }\setminus S_2$, and see that $S_1=f^{-1}(S_2)$ and $S_1^{\prime }\setminus S_1=f^{-1}(S_2^{\prime }\setminus S_2)$; Step 2: suppose that $S_1=f^{-1}(S_2)$ and $S_1^{\prime }\setminus S_1=f^{-1}(S_2^{\prime }\setminus S_2)$, and see that $f(S_1)\subseteq S_2$ and $f(S_1^{\prime }\setminus S_1)\subseteq S_2^{\prime }\setminus S_2$.

Step 1:

Let us suppose that $f(S_1)\subseteq S_2$ and $f(S_1^{\prime }\setminus S_1)\subseteq S_2^{\prime }\setminus S_2$.

$S_1\subseteq f^{-1}(S_2)$ is immediate.

Let us prove that $f^{-1}(S_2)\subseteq S_1$. For any $p\in f^{-1}(S_2)$, $f(p)\in S_2$, $f(p)\notin S_2^{\prime }\setminus S_2$, $f(p)\notin f(S_1^{\prime }\setminus S_1)$, $p\notin S_1^{\prime }\setminus S_1$, and so, $p\in S_1$ as $p\in S_1^{\prime }$.

$S_1^{\prime }\setminus S_1\subseteq f^{-1}(S_2^{\prime }\setminus S_2)$ is immediate.

Let us prove that $f^{-1}(S_2^{\prime }\setminus S_2)\subseteq S_1^{\prime }\setminus S_1$. For any $p\in f^{-1}(S_2^{\prime }\setminus S_2)$, $f(p)\in S_2^{\prime }\setminus S_2$, $f(p)\notin S_2$ as $f(p)\in S_2^{\prime }$, $p\notin S_1$, and so, $p\in S_1^{\prime }\setminus S_1$ as $p\in S_1^{\prime }$.

Step 2:

Let us suppose that $S_1=f^{-1}(S_2)$ and $S_1^{\prime }\setminus S_1=f^{-1}(S_2^{\prime }\setminus S_2)$.

$f(S_1)\subseteq S_2$ and $f(S_1^{\prime }\setminus S_1)\subseteq S_2^{\prime }\setminus S_2$ are immediate.

---

References

<The previous article in this series | The table of contents of this series | The next article in this series>