description/proof of that open subset of \(C^\infty\) trivializing open subset is \(C^\infty\) trivializing open subset
Topics
About: \(C^\infty\) manifold
The table of contents of this article
Starting Context
- The reader knows a definition of \(C^\infty\) trivializing open subset and \(C^\infty\) local trivialization.
- The reader admits the proposition that for any topological space and any topological subspace 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.
- The reader admits the proposition that any restriction of any continuous map on the domain and the codomain is continuous.
- The reader admits the proposition that for any map between any arbitrary subsets of any \(C^\infty\) manifolds with boundary \(C^k\) at any point, where \(k\) includes \(\infty\), the restriction on any domain that contains the point is \(C^k\) at the point.
- The reader admits the proposition that for any map between any arbitrary subsets of any \(C^\infty\) manifolds with boundary \(C^k\) at any point, where \(k\) includes \(\infty\), the restriction or expansion on any codomain that contains the range is \(C^k\) at the point.
Target Context
- The reader will have a description and a proof of the proposition that any open subset of any \(C^\infty\) trivializing open subset is a \(C^\infty\) trivializing open subset.
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 }\}\)
\(E\): \(\in \{\text{ the } C^\infty \text{ manifolds with boundary }\}\)
\(k\): \(\in \mathbb{N} \setminus \{0\}\)
\(\pi\): \(: E \to M\), \(\in \{\text{ the } C^\infty \text{ maps }\}\)
\(U\): \(\in \{\text{ the } C^\infty \text{ trivializing open subsets of } M\}\)
\(\Phi\): \(: \pi^{-1} (U) \to U \times \mathbb{R}^k\), \(\in \{\text{ the } C^\infty \text{ local trivializations }\}\)
\(V\): \(\in \{\text{ the open subsets of } U\}\)
\(\Phi \vert_{\pi^{-1}} (V)\): \(: \pi^{-1} (V) \to V \times \mathbb{R}^k\)
//
Statements:
\(V \in \{\text{ the } C^\infty \text{ trivializing open subsets of } M\}\)
\(\land\)
\(\Phi \vert_{\pi^{-1}} (V) \in \{\text{ the } C^\infty \text{ local trivializations }\}\)
//
2: Proof
Whole Strategy: Step 1: see that \(V\) is an open subset of \(M\); Step 2: see that \(\Phi \vert_{\pi^{-1}} (V)\) is indeed \(: \pi^{-1} (V) \to V \times \mathbb{R}^k\); Step 3: see that \(\Phi \vert_{\pi^{-1}} (V)\) is a homeomorphism; Step 4: see that for each \(m \in V\), \(\Phi \vert_{\pi^{-1}} (V) \vert_{\pi^{-1} (m)}: \pi^{-1} (m) \to \{m\} \times \mathbb{R}^k\) is a 'vectors spaces - linear morphisms' isomorphism; Step 5: see that \(\Phi \vert_{\pi^{-1}} (V)\) is a diffeomorphism.
Step 1:
\(V\) is an open subset of \(M\), by the proposition that for any topological space and any topological subspace 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.
Step 2:
\(\Phi \vert_{\pi^{-1}} (V)\) is indeed \(: \pi^{-1} (V) \to V \times \mathbb{R}^k\), because for each \(m \in U\), \(\Phi \vert_{\pi^{-1}} (m)\) is 'vectors spaces - linear morphisms' isomorphic \(: \pi^{-1} (m) \to \{m\} \times \mathbb{R}^k\).
Step 3:
\(\Phi \vert_{\pi^{-1}} (V)\) is a homeomorphism, because it is the domain and the codomain restriction of homeomorphic \(\Phi\), by the proposition that any restriction of any continuous map on the domain and the codomain is continuous.
Step 4:
For each \(m \in V\), \(\Phi \vert_{\pi^{-1}} (V) \vert_{\pi^{-1} (m)}: \pi^{-1} (m) \to \{m\} \times \mathbb{R}^k\) is a 'vectors spaces - linear morphisms' isomorphism, because it equals \(\Phi \vert_{\pi^{-1} (m)}\), which is a 'vectors spaces - linear morphisms' isomorphism.
Step 5:
\(\Phi \vert_{\pi^{-1}} (V)\) is a diffeomorphism, because it is the domain and the codomain restriction of \(\Phi\), by the proposition that for any map between any arbitrary subsets of any \(C^\infty\) manifolds with boundary \(C^k\) at any point, where \(k\) includes \(\infty\), the restriction on any domain that contains the point is \(C^k\) at the point and the proposition that for any map between any arbitrary subsets of any \(C^\infty\) manifolds with boundary \(C^k\) at any point, where \(k\) includes \(\infty\), the restriction or expansion on any codomain that contains the range is \(C^k\) at the point.
