description/proof of that domain restriction of open map on open subspace is open
Topics
About: topological space
The table of contents of this article
Starting Context
- The reader knows a definition of open map.
- The reader knows a definition of topological subspace.
- The reader admits the proposition that for any topological space and any topological subspace that is open on the base space, any subset of the subspace is open on the subspace if and only if it is open on the base space.
Target Context
- The reader will have a description and a proof of the proposition that the domain restriction of any open map on any open subspace is open.
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:
\(T'_1\): \(\in \{\text{ the topological spaces }\}\)
\(T_2\): \(\in \{\text{ the topological spaces }\}\)
\(f'\): \(: T'_1 \to T_2\), \(\in \{\text{ the open maps }\}\)
\(T_1\): \(\in \{\text{ the open topological subspaces of } T'_1\}\)
\(f\): \(: T_1 \to T_2, t_1 \mapsto f' (t_1)\)
//
Statements:
\(f \in \{\text{ the open maps }\}\)
//
2: Proof
Whole Strategy: Step 1: for each open subset, \(U_1 \subseteq T_1\), see that \(f (U_1) \subseteq T_2\) is open.
Step 1:
Let \(U_1 \subseteq T_1\) be any open subset.
\(U_1 \subseteq T'_1\) is open on \(T'_1\), by the proposition that for any topological space and any topological subspace that is open on the base space, any subset of the subspace is open on the subspace if and only if it is open on the base space.
\(f (U) = f' (U) \subseteq T_2\) is open on \(T_2\).
3: Note
Compare with the proposition that a domain restriction of an open map is not necessarily open.
