definition of \(C^\infty\) map projected from \(C^\infty\) map from finite-product \(C^\infty\) manifold with boundary by fixing domain components except \(j\)-th based on point
Topics
About: \(C^\infty\) manifold
The table of contents of this article
Starting Context
Target Context
- The reader will have a definition of \(C^\infty\) map projected from \(C^\infty\) map from finite-product \(C^\infty\) manifold with boundary by fixing domain components except \(j\)-th based on 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:
\( \{M_1, ..., M_{n - 1}\}\): \(\subseteq \{\text{ the } C^\infty \text{ manifolds }\}\)
\( M_n\): \(\in \{\text{ the } C^\infty \text{ manifolds with boundary }\}\)
\( M_1 \times ... \times M_n\): \(= \text{ the finite-product } C^\infty \text{ manifold with boundary }\)
\( M\): \(\in \{\text{ the } C^\infty \text{ manifolds with boundary }\}\)
\( f\): \(: M_1 \times ... \times M_n \to M\), \(\in \{\text{ the } C^\infty \text{ maps }\}\)
\( m_0\): \(\in M_1 \times ... \times M_n\)
\( j\): \(\in \{1, ..., n\}\)
\(*f_{j, m_0}\): \(: M_j \to M, m \mapsto f (m_0^1, ..., m, ..., m_0^n)\), where \(m\) is for the \(j\)-th slot
//
Conditions:
//
2: Note
Let us see that \(f_{j, m_0}\) is indeed \(C^\infty\).
Let \(m \in M_j\) be any.
\(\widetilde{m} := (m_0^1, ..., m, ..., m_0^n) = (\widetilde{m}^1, ..., \widetilde{m}^n)\).
As \(f\) is \(C^\infty\) at \(\widetilde{m}\), there are a chart around \(\widetilde{m}\), \((U_\widetilde{m} \subseteq M_1 \times ... \times M_n, \phi_\widetilde{m})\), and a chart around \(f (\widetilde{m})\), \((U_{f (\widetilde{m})} \subseteq M, \phi_{f (\widetilde{m})})\), such that \(f (U_\widetilde{m}) \subseteq U_{f (\widetilde{m})}\) and \(\phi_{f (\widetilde{m})} \circ f \circ {\phi_\widetilde{m}}^{-1}: \phi_\widetilde{m} (U_\widetilde{m}) \to \phi_{f (\widetilde{m})} (U_{f (\widetilde{m})})\) is \(C^\infty\) at \(\phi_\widetilde{m} (\widetilde{m})\).
By the of finite-product \(C^\infty\) manifold with boundary, \((U_\widetilde{m} \subseteq M_1 \times ... \times M_n, \phi_\widetilde{m})\) can be chosen as \(U_\widetilde{m} = U_{1, \widetilde{m}^1} \times ... \times U_{n, \widetilde{m}^n}\) and \(\phi_\widetilde{m} = \phi_{1, \widetilde{m}^1} \times ... \times \phi_{n, \widetilde{m}^n}\), where \((U_{j, \widetilde{m}^j} \subseteq M_j, \phi_{j, \widetilde{m}^j})\) is a chart for \(M_j\), while \(U_\widetilde{m} = U_{1, {m_0}^1} \times ... \times U_{j, m} \times ... \times U_{n, {m_0}^n}\) and \(\phi_\widetilde{m} = \phi_{1, {m_0}^1} \times ... \times \phi_{j, m} \times ... \times \phi_{n, {m_0}^n}\).
Obviously, \({\phi_\widetilde{m}}^{-1} = {\phi_{1, {m_0}^1}}^{-1} \times ... \times {\phi_{j, m}}^{-1} \times ... \times {\phi_{n, {m_0}^n}}^{-1}\).
\((U_{j, m} \subseteq M_j, \phi_{j, m})\) is the chart around \(m\).
\(f_{S, m_0} (U_{j, m}) \subseteq U_{f (\widetilde{m})}\), because for each \(m' \in U_{j, m}\), \(f_{S, m_0} (m') = f ((m_0^1, ..., m', ..., m_0^n))\), but \((m_0^1, ..., m', ..., m_0^n) \in U_{1, {m_0}^1} \times ... \times U_{j, m} \times ... \times U_{n, {m_0}^n} = U_\widetilde{m}\) while \(f (U_\widetilde{m}) \subseteq U_{f (\widetilde{m})}\).
Let us think of \(\phi_{f (\widetilde{m})} \circ f_{S, m_0} \circ {\phi_{j, m}}^{-1}: \phi_{j, m} (U_{j, m}) \to \phi_{f (\widetilde{m})} (U_{f (\widetilde{m})})\).
It is \(\phi_{f (\widetilde{m})} \circ f_{S, m_0} \circ {\phi_{j, m}}^{-1}: x' \mapsto \phi_{f (\widetilde{m})} \circ f_{j, m_0} (m') = \phi_{f (\widetilde{m})} \circ f ((m_0^1, ..., m', ..., m_0^n))\).
That is in fact same with \(\phi_{f (\widetilde{m})} \circ f \circ {\phi_\widetilde{m}}^{-1}\) where \((\phi_{\widetilde{m}^1} (m_0^1), ..., \widehat{x'}, ..., \phi_{\widetilde{m}^n} (m_0^n))\) is fixed.
As \(\phi_{f (\widetilde{m})} \circ f \circ {\phi_\widetilde{m}}^{-1}\) is \(C^\infty\) at \(\phi_\widetilde{m} (\widetilde{m})\), it is \(C^\infty\) with respect to \(x'\), so, \(\phi_{f (\widetilde{m})} \circ f_{S, m_0} \circ {\phi_{j, m}}^{-1}\) is \(C^\infty\) with respect to \(x'\).
So, \(f_{S, m_0}\) is \(C^\infty\) at \(m\).
