A description/proof of that for intersection of 2 subsets of topological space, its regarded as subspace of a subset as subspace, its regarded as subspace of other subset as subspace, and its regarded as subspace of basespace are same
Topics
About: topological space
The table of contents of this article
Starting Context
Target Context
- The reader will have a description and a proof of the proposition that for the intersection of any 2 subsets of any topological space, its regarded as the subspace of a subset as the subspace, its regarded as the subspace of the other subset as the subspace, and its regarded as the subspace of the basespace are same.
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: Description
For any topological space, \(T\), and any subsets, \(S_1, S_2 \subseteq T\), \(S_1 \cap S_2\) as the subspace of \(S_1\) as the subspace of \(T\), \(S_1 \cap S_2\) as the subspace of \(S_2\) as the subspace of \(T\), and \(S_1 \cap S_2\) as the subspace of \(T\) are the same.
2: Proof
This proof uses the proposition that in any nest of topological subspaces, the openness of any subset on any subspace does not depend on the superspace of which the subspace is regarded to be a subspace profusely, so, we will not mention it any more.
Let \(U \subseteq S_1 \cap S_2\) be any open subset with \(S_1 \cap S_2\) as the subspace of \(S_1\) as the subspace of \(T\).
\(U\) is an open subset of \(S_1 \cap S_2\) with \(S_1 \cap S_2\) as the subspace of \(T\). \(U\) is an open subset with \(S_1 \cap S_2\) as the subspace of \(S_2\) as the subspace of \(T\).
Let \(U \subseteq S_1 \cap S_2\) be any open subset with \(S_1 \cap S_2\) as the subspace of \(S_2\) as the subspace of \(T\).
\(U\) is an open subset of \(S_1 \cap S_2\) with \(S_1 \cap S_2\) as the subspace of \(T\). \(U\) is an open subset with \(S_1 \cap S_2\) as the subspace of \(S_1\) as the subspace of \(T\).
Let \(U \subseteq S_1 \cap S_2\) be any open subset with \(S_1 \cap S_2\) as the subspace of \(T\).
\(U\) is an open subset with \(S_1 \cap S_2\) as the subspace of \(S_1\) as the subspace of \(T\). \(U\) is an open subset with \(S_1 \cap S_2\) as the subspace of \(S_2\) as the subspace of \(T\).
So, the 3 topologies are the same.
