796: For Topological Space Contained in Ambient Topological Space, if Space Is Ambient-Space-Wise Locally Topological Subspace of Ambient Space, Space Is Topological Subspace of Ambient Space

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

description/proof of that for topological space contained in ambient topological space, if space is ambient-space-wise locally topological subspace of ambient space, space is topological subspace of ambient space

---

Topics

About: topological space

---

The table of contents of this article

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

---

Starting Context

• The reader knows a definition of topological space.
• The reader knows a definition of subspace topology of subset of topological space.
• The reader admits the proposition that for any set, the intersection of the union of any possibly uncountable number of subsets and any subset is the union of the intersections of each of the subsets and the latter subset.
• The reader admits the proposition that any open set on any open topological subspace is open on the base space.

---

Target Context

• The reader will have a description and a proof of the proposition that for any topological space contained in any ambient topological space, if the space is ambient-space-wise locally topological subspace of the ambient space, the space is the topological subspace of the space.

---

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^{\prime }$: $\in \{\text{ the topological spaces }\}$
$T$: $\in \{\text{ the topological spaces }\}$, such that $T\subseteq T^{\prime }$
//

Statements:
$\mathrm{\forall }t\in T(\mathrm{\exists }{U}_t^{\prime }\in \{\text{ the open neighborhoods of }t\text{ on }{T}^{\prime }\}(U_t^{\prime }\cap T\in \{\text{ the open subsets of }T\}\wedge U_t^{\prime }\cap T\subseteq T\text{ as the subspace of }T=U_t^{\prime }\cap T\subseteq U_t^{\prime }\text{ as the subspace of }{U}_t^{\prime }))$
$⟹$
$T\in \{\text{ the topological subspaces of }{T}^{\prime }\}$
//

---

2: Note

In this article, $U_t^{\prime }\cap T\subseteq T$ denotes $U_t^{\prime }\cap T$ with the topology as the subspace of $T$; $U_t^{\prime }\cap T\subseteq U_t^{\prime }$ denotes $U_t^{\prime }\cap T$ with the topology as the subspace of $U_t^{\prime }$. They are different in general, because $U_t^{\prime }\cap T\subseteq T$ is based on the topology of $T$ while $U_t^{\prime }\cap T\subseteq U_t^{\prime }$ is based on the topology of $U_t^{\prime }$, which is the topological subspace of $T^{\prime }$.

A useful reference example is a figure-8 contained in ${\mathbb{R}}^2$, centered at the origin: the 2 curves from the origin approaches infinitely but not reach the origin.

It is not a topological subspace of ${\mathbb{R}}^2$, because an open neighborhood of the origin as a curve is not the intersection of any open subset of ${\mathbb{R}}^2$ and the figure-8: any open ball around the origin on ${\mathbb{R}}^2$ inevitably contains the 2 ends of the figure-8 that approach the origin.

This proposition specifically says "ambient-space-wise", because "space-wise locally topological subspace of the ambient space" does not guarantee the conclusion: the open neighborhood of the origin is a topological subspace of ${\mathbb{R}}^2$: as the open neighborhood of the origin excludes the 2 ends of the figure-8, it becomes the topological subspace, but that is not allowed for proving that $T$ is a topological subspace of $T^{\prime }$.

---

3: Proof

Whole Strategy: Step 1: let $U\subseteq T$ be any open subset of $T$, and find an open subset, $U^{\prime }\subseteq T^{\prime }$, of $T^{\prime }$ such that $U=U^{\prime }\cap T$; Step 2: let $U^{\prime }\subseteq T^{\prime }$ be any open subset of $T^{\prime }$, and see that $U^{\prime }\cap T$ is an open subset of $T$; Step 3: conclude the proposition.

Step 1:

Let $U\subseteq T$ be any open subset of $T$.

Let us find an open subset, $U^{\prime }\subseteq T^{\prime }$, of $T^{\prime }$ such that $U=U^{\prime }\cap T$.

Note that $U_t^{\prime }$ is the one chosen for each $t\in T$ according to the conditions of this proposition.

$T\subseteq {\cup }_{t\in T}{U}_t^{\prime }$. So, $U=U\cap {\cup }_{t\in T}{U}_t^{\prime }={\cup }_{t\in T}(U\cap U_t^{\prime })$, by the proposition that for any set, the intersection of the union of any possibly uncountable number of subsets and any subset is the union of the intersections of each of the subsets and the latter subset.

$U\cap U_t^{\prime }=U\cap U_t^{\prime }\cap T\subseteq U_t^{\prime }\cap T$ is an open subset of $U_t^{\prime }\cap T\subseteq T$, because $U$ is an open subset of $T$.

By the supposition, $U\cap U_t^{\prime }$ is an open subset of $U_t^{\prime }\cap T\subseteq U_t^{\prime }$. That means that there is an open subset, $U_t^{″}\subseteq U_t^{\prime }$, of $U_t^{\prime }$, such that $U\cap U_t^{\prime }=U_t^{″}\cap U_t^{\prime }\cap T$. Here, $U_t^{″}$ is an open subset of $T^{\prime }$, by the proposition that any open set on any open topological subspace is open on the base space, and so, $U_t^{″}\cap U_t^{\prime }$ is an open subset of $T^{\prime }$.

Now, $U={\cup }_{t\in T}(U\cap U_t^{\prime })={\cup }_{t\in T}(U_t^{″}\cap U_t^{\prime }\cap T)={\cup }_{t\in T}(U_t^{″}\cap U_t^{\prime })\cap T$, by the proposition that for any set, the intersection of the union of any possibly uncountable number of subsets and any subset is the union of the intersections of each of the subsets and the latter subset. But $U^{\prime }:={\cup }_{t\in T}(U_t^{″}\cap U_t^{\prime })$ is an open subset of $T^{\prime }$, and $U=U^{\prime }\cap T$.

Step 2:

Let $U^{\prime }\subseteq T^{\prime }$ be any open subset of $T^{\prime }$.

Let us see that $U^{\prime }\cap T$ is an open subset of $T$.

$U^{\prime }\cap T=U^{\prime }\cap T\cap {\cup }_{t\in T}{U}_t^{\prime }$, because $T\subseteq {\cup }_{t\in T}{U}_t^{\prime }$, $={\cup }_{t\in T}(U^{\prime }\cap T\cap U_t^{\prime })$, by the proposition that for any set, the intersection of the union of any possibly uncountable number of subsets and any subset is the union of the intersections of each of the subsets and the latter subset, $={\cup }_{t\in T}((U^{\prime }\cap U_t^{\prime })\cap (U_t^{\prime }\cap T))$.

As $U^{\prime }\cap U_t^{\prime }$ is an open subset of $U_t^{\prime }$, $(U^{\prime }\cap U_t^{\prime })\cap (U_t^{\prime }\cap T)$ is an open subset of $U_t^{\prime }\cap T\subseteq U_t^{\prime }$. By the supposition, $(U^{\prime }\cap U_t^{\prime })\cap (U_t^{\prime }\cap T)$ is an open subset of $U_t^{\prime }\cap T\subseteq T$.

As $U_t^{\prime }\cap T$ is an open subset of $T$ by the supposition, $(U^{\prime }\cap U_t^{\prime })\cap (U_t^{\prime }\cap T)$ is an open subset of $T$, by the proposition that any open set on any open topological subspace is open on the base space.

So, $U^{\prime }\cap T={\cup }_{t\in T}((U^{\prime }\cap U_t^{\prime })\cap (U_t^{\prime }\cap T))$ is open on $T$.

Step 3:

Step 1 and Step 2 have shown that any subset of $T$ is open if and only if it is the intersection of an open subset of $T^{\prime }$ and $T$, which means that $T$ is a topological subspace of $T^{\prime }$.

---

References

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