132: For Map Between Topological Spaces and Domain Point, if There Are Superspaces of Domain and Codomain, Open Neighborhoods of Point and of Point Image on Superspaces, and Continuous Map from Domain Neighborhood into Codomain neighborhood That Is Restricted to Original Map on Intersection of Domain Neighborhood and Original Domain, Original Map Is Continuous at Point

<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 between topological spaces and domain point, if there are superspaces of domain and codomain, open neighborhoods of point and of point image on superspaces, and continuous map from domain neighborhood into codomain neighborhood that is restricted to original map on intersection of domain neighborhood and original domain, original map is continuous at point

---

Topics

About: topological space

---

The table of contents of this article

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

---

Starting Context

• The reader knows a definition of topological space.
• The reader knows a definition of continuous map at point.
• The reader admits the proposition that for any topological space and any sub topological space 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 for any map between any topological spaces and any domain point, if there are some superspaces of the domain and the codomain, some open neighborhoods of the point and of the point image on the superspaces, and a continuous map from the domain neighborhood into the codomain neighborhood that is restricted to the original map on the intersection of the domain neighborhood and the original domain, the original map is continuous at the point.

---

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$
$p$: $\in T_1$
//

Statements:
(
$\mathrm{\exists }{T}_1^{\prime },T_2^{\prime }\in \{\text{ the topological spaces }\}(T_1\subseteq T_1^{\prime }\wedge T_1\in \{\text{ the topological subspaces of }{T}_1^{\prime }\}\wedge T_2\subseteq T_2^{\prime }\wedge T_2\in \{\text{ the topological subspaces of }{T}_2^{\prime }\})$
$\wedge$
$\mathrm{\exists }{U}_p^{\prime }\in \{\text{ the open neighborhoods of }p\text{ on }{T}_1^{\prime }\}\wedge \mathrm{\exists }{U}_{f(p)}^{\prime }\in \{\text{ the open neighborhoods of }f(p)\text{ on }{T}_2^{\prime }\}\wedge \mathrm{\exists }{f}^{\prime }:U_p^{\prime }\to U_{f(p)}^{\prime }(f^{\prime }{|}_{U_p^{\prime }\cap T_1}=f{|}_{U_p^{\prime }\cap T_1}\wedge f^{\prime }\in \{\text{ the continuous maps }\})$
)
$⟹$
$f\in \{\text{ the maps continuous at }p\}$
//

---

2: Natural Language Description

For any topological spaces, $T_1,T_2$, any map, $f:T_1\to T_2$, and any point, $p\in T_1$, if there are some topological spaces, $T_1^{\prime },T_2^{\prime }$, such that $T_1\subseteq T_1^{\prime }$ and $T_1$ is a topological subspace of $T_1^{\prime }$ and $T_2\subseteq T_2^{\prime }$ and $T_2$ is a topological subspace of $T_2^{\prime }$, an open neighborhood, $U_p^{\prime }\subseteq T_1^{\prime }$, of $p$ on $T_1^{\prime }$ and an open neighborhood, $U_{f(p)}^{\prime }\subseteq T_2^{\prime }$, of $f(p)$ on $T_2^{\prime }$, and a continuous map, $f^{\prime }:U_p^{\prime }\to U_{f(p)}^{\prime }$, such that $f^{\prime }{|}_{U_p^{\prime }\cap T_1}=f{|}_{U_p^{\prime }\cap T_1}$, $f$ is continuous at $p$.

---

3: Proof

Let us suppose that there are such $T_1^{\prime },T_2^{\prime },U_p^{\prime },U_{f(p)}^{\prime },f^{\prime }$.

For any open neighborhood, $U_{f(p)}\subseteq T_2$, of $f(p)$ on $T_2$, there is an open neighborhood, $U_{f(p)}^{″}\subseteq T_2^{\prime }$, of $f(p)$ on $T_2^{\prime }$, such that $U_{f(p)}=U_{f(p)}^{″}\cap T_2$. $U_{f(p)}^{\prime }\cap U_{f(p)}^{″}$ is open on $T_2^{\prime }$ and on $U_{f(p)}^{\prime }$, and $f^{\prime -1}(U_{f(p)}^{\prime }\cap U_{f(p)}^{″})$ is open on $U_p^{\prime }$ and so, on $T_1^{\prime }$, by the proposition that for any topological space and any sub topological space 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. $U_p:=f^{\prime -1}(U_{f(p)}^{\prime }\cap U_{f(p)}^{″})\cap T_1$ is open on $T_1$.

In fact, $U_p$ is named so because $p\in U_p$, because $f^{\prime }(p)=f(p)\in U_{f(p)}^{\prime }$ and $f^{\prime }(p)=f(p)\in U_{f(p)}=U_{f(p)}^{″}\cap T_2$, so, $f^{\prime }(p)\in U_{f(p)}^{\prime }\cap U_{f(p)}^{″}$, so, $p\in f^{\prime -1}(U_{f(p)}^{\prime }\cap U_{f(p)}^{″})$ and of course, $p\in T_1$.

$f(U_p)\subseteq U_{f(p)}$, because for each $p^{\prime }\in U_p$, $f(p^{\prime })=f^{\prime }(p^{\prime })$ because $p^{\prime }\in U_p^{\prime }\cap T_1$ (as $U_p$ is in the domain of $f^{\prime }$), so, $f(p^{\prime })\in U_{f(p)}^{\prime }\cap U_{f(p)}^{″}$ (as $U_p$ is in the preimage of $U_{f(p)}^{\prime }\cap U_{f(p)}^{″}$ under $f^{\prime }$), but as $f$ is into $T_2$, $f(p^{\prime })\in T_2$, so, $f(p^{\prime })\in U_{f(p)}^{\prime }\cap U_{f(p)}^{″}\cap T_2$, but as $U_{f(p)}=U_{f(p)}^{″}\cap T_2$, $f(p^{\prime })\in U_{f(p)}^{\prime }\cap U_{f(p)}\subseteq U_{f(p)}$.

So, for each neighborhood, $U_{f(p)}$, of $f(p)$ on $T_2$, there is a neighborhood, $U_p$, of $p$ on $T_1$, such that $f(U_p)\subseteq U_{f(p)}$, which is nothing but the definition of continuousness at point.

---

4: Note

The superspaces are usually taken to be some $C^{\mathrm{\infty }}$ manifolds, and the usual aim of bringing in the extended map is to check the continuousness of the original map with the extended map, which is expected to have a coordinates function representation, whose continuousness can be checked in norm sense, which equals the continuousness of the extended map, by the proposition that for any map between $C^{\mathrm{\infty }}$ manifolds, its continuousness in the topological sense equals its continuousness in the norm sense for the coordinates functions.

Note that the subspaces do not necessarily have any chart, because a subspace is not necessarily a $C^{\mathrm{\infty }}$ manifold and may be just a topological space, so, there may be no coordinates function representation of the map, by which the continuousness of the map could be checked.

Bringing in an arbitrary in-norm-sense continuous function between the topological subspaces that (the function) is not based on any superspaces should not guarantee the continuousness of the original map in topological sense, unless proved otherwise.

---

References

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