description/proof of that for continuous map from product topological space into topological space, induced map with set of components of domain fixed is continuous
Topics
About: topological space
The table of contents of this article
- Starting Context
- Target Context
- Orientation
- Main Body
- 1: Structured Description 1
- 2: Natural Language Description 1
- 3: Proof 1
- 4: Structured Description 2
- 5: Natural Language Description 2
- 6: Proof 2
Starting Context
- The reader knows a definition of product topology.
- The reader knows a definition of continuous map.
Target Context
- The reader will have a description and a proof of the proposition that for any continuous map from any product topological space into any topological space, the induced map with any set of some components of the domain fixed is continuous.
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 1
Here is the rules of Structured Description.
Entities:
\(A'\): \(\in \{\text{ the possibly uncountable index sets }\}\)
\(\{T_\alpha \vert \alpha \in A'\}\): \(T_\alpha \in \{\text{ the topological spaces }\}\)
\(T'_1\): \(= \times_{\alpha \in A'} T_\alpha\), \(= \text{ the product topological space }\)
\(T'_2\): \(\in \{\text{ the topological spaces }\}\)
\(f'\): \(: T'_1 \to T'_2\), \(\in \{\text{ the continuous maps }\}\)
\(A''\): \(\subset A'\)
\(T''_1\): \(= \times_{\alpha \in A''} T_\alpha\), \(= \text{ the product topological space }\)
\(t_\alpha\): \(\in T_\alpha\) for each \(\alpha \in A' \setminus A''\)
\(\pi_{A''}\): \(: T'_1 \to T''_1\), which takes the \(A''\) components
\(\tau_{A''}\): \(: T''_1 \to T'_1\), which adds the \(A' \setminus A''\) components as \(t_\alpha\) s
\(f''\): \(: T''_1 \to T'_2, t'' \mapsto f' (\tau_{A''} (t''))\)
//
Statements:
\(f'' \in \{\text{ the continuous maps }\}\)
//
2: Natural Language Description 1
For any possibly uncountable index set, \(A'\), any set of topological spaces, \(\{T_\alpha \vert \alpha \in A'\}\), the product topological space, \(T'_1 = \times_{\alpha \in A'} T_\alpha\), any topological space, \(T'_2\), any continuous map, \(f': T'_1 \to T'_2\), any subset, \(A'' \subset A'\), the product topological space, \(T''_1 = \times_{\alpha \in A''} T_\alpha\), any \(t_\alpha \in T_\alpha\) for each \(\alpha \in A' \setminus A''\), the map, \(\pi_{A''}: T'_1 \to T''_1\), which takes the \(A''\) components, the map, \(\tau_{A''}: T''_1 \to T'_1\), which adds the \(A' \setminus A''\) components as \(t_\alpha\) s, and \(f'': T''_1 \to T'_2, t'' \mapsto f' (\tau_{A'} (t''))\), \(f'''\) is a continuous map.
3: Proof 1
Whole Strategy: Step 1: for each point, \(p'' \in T''_1\), take \(p' := \tau_{A''} (p'') \in T'_1\), and for each neighborhood of \(f' (p')\), \(N'_{f' (p')}\), take an open neighborhood of \(p'\), \(\times_{\alpha \in A'} U_{\alpha, \beta} \subseteq T'_1\), such that \(f' (\times_{\alpha \in A'} U_{\alpha, \beta}) \subseteq N'_{f' (p')}\); Step 2: see that \(\times_{\alpha \in A''} U_{\alpha, \beta} \subseteq T''_1\) is an open neighborhood of \(p''\) such that \(f'' (\times_{\alpha \in A''} U_{\alpha, \beta}) \subseteq N'_{f' (p')}\).
Step 1:
Let \(p'' \in T''_1\) be any.
Let \(p' := \tau_{A''} (p'') \in T'_1\).
For any neighborhood of \(f' (p') \in T'_2\), \(N'_{f' (p')} \subseteq T'_2\), there is an open neighborhood of \(p'\), \(U'_{p'} \subseteq T'_1\), such that \(f' (U'_{p'}) \subseteq N'_{f' (p')}\), because \(f'\) is continuous.
\(U'_{p'} = \cup_{\beta \in B} \times_{\alpha \in A'} U_{\alpha, \beta}\) where \(B\) is any possibly uncountable index set and \(U_{\alpha, \beta}\) is an open subset of \(T_\alpha\) with each of only finite of \(U_{\alpha, \beta}\) s for each \(\beta\) is not \(T_\alpha\), by Note for the definition of product topology. \(p' \in \times_{\alpha \in A'} U_{\alpha, \beta}\) for a \(\beta\), and we can take only that single \(\times_{\alpha \in A'} U_{\alpha, \beta}\), because that is an open neighborhood of \(p'\) and satisfies \(f (\times_{\alpha \in A'} U_{\alpha, \beta}) \subseteq N'_{f' (p')}\).
\(\times_{\alpha \in A''} U_{\alpha, \beta}\) is an open neighborhood of \(p''\) and \(f'' (\times_{\alpha \in A''} U_{\alpha, \beta}) \subseteq f' (\times_{\alpha \in A'} U_{\alpha, \beta}) \subseteq N'_{f' (p')}\), because for each \(q \in f'' (\times_{\alpha \in A''} U_{\alpha, \beta})\), \(q = f'' (q'')\) for a \(q'' \in \times_{\alpha \in A''} U_{\alpha, \beta}\), but \(\tau_{A''} (p'') \in \times_{\alpha \in A'} U_{\alpha, \beta}\), and \(p'' = f'' (q'') = f' (\tau_{A'} (q'')) \in f' (\times_{\alpha \in A'} U_{\alpha, \beta})\).
So, \(f''\) is continuous at any point, \(p'' \in T''_1\), and so, is continuous all over.
4: Structured Description 2
Here is the rules of Structured Description.
Entities:
\(J'\): \(= \{1, ..., n\}\)
\(\{T_j \vert j \in J'\}\): \(T_j \in \{\text{ the topological spaces }\}\)
\(T'_1\): \(= T_1 \times . . . \times T_n\), \(= \text{ the product topological space }\)
\(T'_2\): \(\in \{\text{ the topological spaces }\}\)
\(f'\): \(: T'_1 \to T'_2\), \(\in \{\text{ the continuous maps }\}\)
\(J''\): \(\subset J'\)
\(T''_1\): \(= \times_{j \in J''} T_j\), \(= \text{ the product topological space }\)
\(t_j\): \(\in T_j\) for each \(j \in J' \setminus J''\)
\(\pi_{J''}\): \(: T'_1 \to T''_1\), which takes the \(J''\) components
\(\tau_{J''}\): \(: T''_1 \to T'_1\), which adds the \(J' \setminus J''\) components as \(t_j\) s
\(f''\): \(: T''_1 \to T'_2, t'' \mapsto f' (\tau_{J''} (t''))\)
//
Statements:
\(f'' \in \{\text{ the continuous maps }\}\)
//
5: Natural Language Description 2
For \(J' = \{1, ..., n\}\), any set of topological spaces, \(\{T_j \vert j \in J'\}\), the product topological space, \(T'_1 = T_1 \times . . . \times T_n\), any topological space, \(T'_2\), any continuous map, \(f': T'_1 \to T'_2\), any subset, \(J'' \subset J'\), the product topological space, \(T''_1 = \times_{j \in J''} T_j\), any \(t_j \in T_j\) for each \(j \in J' \setminus J''\), the map, \(\pi_{J''}: T'_1 \to T''_1\), which takes the \(J''\) components, \(\tau_{J''}: T''_1 \to T'_1\), which adds the \(J' \setminus J''\) components as \(t_j\) s, and \(f'': T''_1 \to T'_2, t'' \mapsto f' (\tau_{J''} (t''))\), \(f''\) is a continuous map.
6: Proof 2
Whole Strategy: Step 1: for each point, \(p'' \in T''_1\), take \(p' := \tau_{J''} (p'') \in T'_1\), and for each neighborhood of \(f' (p')\), \(N'_{f' (p')}\), take an open neighborhood of \(p'\), \(U_{1, \beta} \times ... \times U_{n, \beta} \subseteq T'_1\), such that \(f' (U_{1, \beta} \times ... \times U_{n, \beta}) \subseteq N'_{f' (p')}\); Step 2: see that \(\times_{j \in J''} U_{j, \beta} \subseteq T''_1\) is an open neighborhood of \(p''\) such that \(f'' (\times_{j \in J''} U_{j, \beta}) \subseteq N'_{f' (p')}\).
Step 1:
Let \(p'' \in T''_1\) be any.
Let \(p' := \tau_{J''} (p'') \in T'_1\).
For any neighborhood of \(f' (p') \in T'_2\), \(N'_{f' (p')} \subseteq T'_2\), there is an open neighborhood of \(p'\), \(U'_{p'} \subseteq T'_1\), such that \(f' (U'_{p'}) \subseteq N'_{f' (p')}\), because \(f'\) is continuous.
\(U'_{p'} = \cup_{\beta \in B} (U_{1, \beta} \times ... \times U_{n, \beta})\) where \(B\) is any possibly uncountable index set and \(U_{j, \beta}\) is an open subset of \(T_j\), by Note for the definition of product topology. \(p' \in U_{1, \beta} \times ... \times U_{n, \beta}\) for a \(\beta\), and we can take only that single \(U_{1, \beta} \times ... \times U_{n, \beta}\), because that is an open neighborhood of \(p'\) and satisfies \(f' (U_{1, \beta} \times ... \times U_{n, \beta}) \subseteq N'_{f' (p')}\).
Step 2:
\(\times_{j \in J''} U_{j, \beta}\) is an open neighborhood of \(p''\) and \(f'' (\times_{j \in J''} U_{j, \beta}) \subseteq f' (U_{1, \beta} \times ... \times U_{n, \beta}) \subseteq N'_{f' (p')}\), because for each \(q \in f'' (\times_{j \in J''} U_{j, \beta})\), there is a \(q'' \in \times_{j \in J''} U_{j, \beta}\) such that \(q = f'' (q'')\), and \(\tau_{J'} (q'') \in U_{1, \beta} \times ... \times U_{n, \beta}\), and \(q = f'' (q'') = f' (\tau_{J''} (q'')) \in f' (U_{1, \beta} \times ... \times U_{n, \beta})\).
So, \(f''\) is continuous at any point, \(p'' \in T''_j\), and so, is continuous all over.
