description/proof of that for \(C^\infty\) manifold with boundary, embedded submanifold with boundary of embedded submanifold with boundary is embedded submanifold with boundary of manifold with boundary
Topics
About: \(C^\infty\) manifold
The table of contents of this article
Starting Context
- The reader knows a definition of \(C^\infty\) manifold with boundary.
- The reader knows a definition of embedded submanifold with boundary of \(C^\infty\) manifold with boundary.
- The reader admits 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.
- The reader admits the proposition that for any \(C^\infty\) embedding between any \(C^\infty\) manifolds with boundary, the restriction of the embedding on any embedded submanifold with boundary domain is a \(C^\infty\) embedding.
Target Context
- The reader will have a description and a proof of the proposition that for any \(C^\infty\) manifold with boundary, any embedded submanifold with boundary of any embedded submanifold with boundary is an embedded submanifold with boundary of the manifold with boundary.
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:
\(M''\): \(\in \{\text{ the } C^\infty \text{ manifolds with boundary }\}\)
\(M'\): \(\in \{\text{ the embedded submanifolds with boundary of } M''\}\)
\(M\): \(\in \{\text{ the embedded submanifolds with boundary of } M'\}\)
//
Statements:
\(M\): \(\in \{\text{ the embedded submanifolds with boundary of } M''\}\)
//
2: Proof
Whole Strategy: Step 1: see that \(M\) is a topological subspace of \(M''\); Step 2: let \(\iota: M \to M'\) and \(\iota': M' \to M''\) be the inclusions, and see that \(\iota' \circ \iota: M \to M''\) is a \(C^\infty\) embedding; Step 3: conclude the proposition.
Step 1:
Let us see that \(M\) is a topological subspace of \(M''\).
\(M\) is a topological subspace of \(M'\). \(M'\) is a topological subspace of \(M''\).
Each subset of \(M\) is open or not open if and only if it is open or not open respectively with \(M\) regarded as the topological subspace of \(M''\), by 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, which means that \(M\) is indeed a topological subspace of \(M''\).
Step 2:
Let \(\iota: M \to M'\) and \(\iota': M' \to M''\) be the inclusions, which are \(C^\infty\) embeddings.
\(\iota' \circ \iota: M \to M''\) is the inclusion.
\(\iota' \circ \iota\) is a \(C^\infty\) embedding, by the proposition that for any \(C^\infty\) embedding between any \(C^\infty\) manifolds with boundary, the restriction of the embedding on any embedded submanifold with boundary domain is a \(C^\infty\) embedding.
Step 3:
So, \(M\) is an embedded submanifold with boundary of \(M''\).
