description/proof of that for continuous map from lower-closed interval into topological space and subset of codomain, if subset of domain that is mapped into complement of subset is not empty and image of lower end is in subset, image of infimum of subset of domain is in boundary of subset
Topics
About: topological space
The table of contents of this article
Starting Context
- The reader knows a definition of Euclidean topological space.
- The reader knows a definition of continuous, topological spaces map.
- The reader knows a definition of infimum of subset of partially-ordered set.
- The reader knows a definition of boundary of subset of topological space.
- The reader admits the proposition that for any lower-closed interval and any nonempty subset, the infimum of the subset exists and equals the infimum of the subset on the real numbers set.
- The reader admits the proposition that the closure of any subset is the union of the subset and the accumulation points set of the subset.
Target Context
- The reader will have a description and a proof of the proposition that for any continuous map from any lower-closed interval into any topological space and any subset of the codomain, if the subset of the domain that is mapped into the complement of the subset is not empty and the image of the lower end is in the subset, the image of the infimum of the subset of the domain is in the boundary 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:
\(\mathbb{R}\): \(= \text{ the Euclidean topological space }\) with the canonical linear ordering
\(J_1\): \(\in \{\text{ the lower-closed intervals of } \mathbb{R}\}\), with the lower end, \(r_1\), with the subspace topology
\(T_2\): \(\in \{\text{ the topological spaces }\}\)
\(S_2\): \(\subseteq T_2\)
\(f\): \(: J_1 \to T_2\), \(\in \{\text{ the continuous maps }\}\)
\(S\): \(= \{r \in J_1 \vert f (r) \in T_2 \setminus S_2\}\)
//
Statements:
\(S \neq \emptyset \land f (r_1) \in S_2\)
\(\implies\)
\(f (Inf (S)) \in Bou (S_2)\)
//
2: Proof
Whole Strategy: Step 1: see that \(t := Inf (S)\) exists; Step 2: take any open neighborhood of \(f (t)\), \(U_{f (t)}\), and a \(B_{t, \delta}\) such that \(f (B_{t, \delta} \cap J_1) \subseteq U_{f (t)}\); Step 3: see that \(f (B_{t, \delta} \cap J_1) \cap (T_2 \setminus S_2) \neq \emptyset\); Step 4: see that \(f (B_{t, \delta} \cap J_1) \cap S_2 \neq \emptyset\); Step 5: conclude the proposition.
Step 1:
\(Inf (S)\) exists, by the proposition that for any lower-closed interval and any nonempty subset, the infimum of the subset exists and equals the infimum of the subset on the real numbers set.
Let \(t := Inf (S)\).
Step 2:
Let \(U_{f (t)} \subseteq T_2\) be any open neighborhood of \(f (t)\).
As \(f\) is continuous, there is an open neighborhood of \(t\), \(U_t \subseteq J_1\), such that \(f (U_t) \subseteq U_{f (t)}\).
\(U_t = U'_t \cap J_1\), where \(U'_t \subseteq \mathbb{R}\) is an open neighborhood of \(t\) on \(\mathbb{R}\), by the definition of subspace topology.
There is a \(B_{t, \delta} \subseteq U'_t\), by the definition of Euclidean topology.
\(B_{t, \delta} \cap J_1 \subseteq U_t\), and \(f (B_{t, \delta} \cap J_1) \subseteq U_{f (t)}\).
Step 3:
Let us see that \(f (t) \in \overline{T_2 \setminus S_2}\).
When \(f (t) \in T_2 \setminus S_2\), \(f (B_{t, \delta} \cap J_1) \cap (T_2 \setminus S_2) \neq \emptyset\).
When \(f (t) \in S_2\), \(t\) is not the upper end of \(J_1\) even if \(J_1\) is upper-closed, because otherwise, \(S = \emptyset\), because \([r_1, t)\) would not contain any \(S\) point (otherwise, \(t\) would not be any lower bound) and \(t \notin S\), so, a \([t, t + \delta')\) where \(0 \lt \delta' \lt \delta\) is contained in \(J_1\), but not the whole of \([t, t + \delta')\) can be mapped into \(S_2\), because if so, \(t\) would not be any maximum of the lower bounds, so, \(f (B_{t, \delta} \cap J_1) \cap (T_2 \setminus S_2) \neq \emptyset\).
So, anyway, \(f (B_{t, \delta} \cap J_1) \cap (T_2 \setminus S_2) \neq \emptyset\), so, \(U_{f (t)} \cap (T_2 \setminus S_2) \neq \emptyset\).
That means that \(f (t) \in \overline{T_2 \setminus S_2}\), by the proposition that the closure of any subset is the union of the subset and the accumulation points set of the subset.
Step 4:
When \(t = r_1\), as \(f (r_1) \in S_2\), \(f (B_{t, \delta} \cap J_1) \cap S_2 \neq \emptyset\).
When \(r_1 \lt t\), there is a \(\delta' \in \mathbb{R}\) such that \(0 \lt \delta' \lt \delta\) and \((t - \delta', t)\) is contained in \(J_1\), and the whole \((t - \delta', t)\) is mapped into \(S_2\), because otherwise, \(t\) would not be any lower bound of \(S\), so, \(f (B_{t, \delta} \cap J_1) \cap S_2 \neq \emptyset\).
So, anyway, \(f (B_{t, \delta} \cap J_1) \cap S_2 \neq \emptyset\), so, \(U_{f (t)} \cap S_2 \neq \emptyset\).
That means that \(f (t) \in \overline{S_2}\), by the proposition that the closure of any subset is the union of the subset and the accumulation points set of the subset.
Step 5:
So, \(f (t) \in \overline{S_2} \cap \overline{T_2 \setminus S_2} = Bou (S_2)\).
