definition of \(J\)-slice of chart domain w.r.t. point
Topics
About: \(C^\infty\) manifold
The table of contents of this article
Starting Context
- The reader knows a definition of chart on \(C^\infty\) manifold with boundary.
Target Context
- The reader will have a definition of \(J\)-slice of chart domain with respect to 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\): \(\in \{\text{ the } d' \text{ -dimensional } C^\infty \text{ manifolds with boundary } \}\)
\( (U \subseteq M, \phi)\): \(\in \{\text{ the charts for } M\}\)
\( J\): \(\subseteq \{1, ..., d'\}\), \(= (j_1, ..., j_d)\)
\( u\): \(\in U\)
\( S_{J, \phi (u)} (\mathbb{R}^{d'})\): \(= \{r \in \mathbb{R}^{d'} \vert \forall j \in \{1, ..., d'\} \setminus J (r^j = \phi (u)^j)\}\)
\(*S_{J, u} (U)\): \(\subseteq U\)
//
Conditions:
\(\phi (S_{J, u} (U)) = \phi (U) \cap S_{J, \phi (u)} (\mathbb{R}^{d'})\)
//
2: Note
\(S_{J, u} (U)\) inevitably exists as a nonempty subset for any \(J\) and any \(u\), because \(\phi (u) \in \phi (U) \cap S_{J, \phi (u)} (\mathbb{R}^{d'})\) and \(S_{J, u} (U) = \phi^{-1} (\phi (U) \cap S_{J, \phi (u)} (\mathbb{R}^{d'}))\).
\(S_{J, \phi (u)} (\mathbb{R}^{d'})\) is like \(\{(\phi (u)^1, ..., x^{j_1}, ..., x^{j_d}, ..., \phi (u)^{d'}) \vert \forall j_l \in J (x^{j_l} \in \mathbb{R})\}\), where whether the 1st component is really \(\phi (u)^1\) or \(x^{j_1}\) and whether the last component is really \(\phi (u)^{d'}\) or \(x^{j_d}\) depend on \(J\).
Let \(\pi_J: \mathbb{R}^{d'} \to \mathbb{R}^d, (x^1, ..., x^{j_1}, ..., x^{j_d}, ..., x^{d'}) \mapsto (x^{j_1}, ..., x^{j_d})\) be the projection, where whether the 1st component is really \(x^1\) or \(x^{j_1}\) and whether the last component is really \(x^{d'}\) or \(x^{j_d}\) depend on \(J\).
\(\pi_J \vert_{S_{J, \phi (u)} (\mathbb{R}^{d'})}: S_{J, \phi (u)} (\mathbb{R}^{d'}) \subseteq \mathbb{R}^{d'} \to \mathbb{R}^d\) is a diffeomorphism, because it is bijective and \(C^\infty\) (there is the \(C^\infty\) extension, \(\pi_J: \mathbb{R}^{d'} \to \mathbb{R}^d\)), and the inverse is \(C^\infty\). Especially, \(\pi_J \vert_{S_{J, \phi (u)} (\mathbb{R}^{d'})}\) is a homeomorphism.
When \(d' \in J\), \(\pi_J \vert_{S_{J, \phi (u)} (\mathbb{R}^{d'}) \cap \mathbb{H}^{d'}}: S_{J, \phi (u)} (\mathbb{R}^{d'}) \cap \mathbb{H}^{d'} \subseteq \mathbb{H}^{d'} \to \mathbb{H}^d\) is a diffeomorphism: it is like \(: (\phi (u)^1, ..., x^{j_1}, ..., x^{j_d}) \mapsto (x^{j_1}, ..., x^{j_d})\) where \(0 \le x^{j_d}\), which is bijective and \(C^\infty\) (there are the standard chart for \(\mathbb{H}^{d'}\) and the standard chart for \(\mathbb{H}^d\) such that the components function is \(C^\infty\), because the components function has the \(C^\infty\) extension, \(\pi_J: \mathbb{R}^{d'} \to \mathbb{R}^d\)), and the inverse is \(C^\infty\) (there are the standard chart for \(\mathbb{H}^d\) and the standard chart for \(\mathbb{H}^{d'}\) such that the components function is \(C^\infty\), because the components function has the \(C^\infty\) extension, the inverse of \(\pi_J \vert_{S_{J, \phi (u)} (\mathbb{R}^{d'})}: \mathbb{R}^{d'} \to \mathbb{R}^d\)). Especially, \(\pi_J \vert_{S_{J, \phi (u)} (\mathbb{R}^{d'}) \cap \mathbb{H}^{d'}}\) is a homeomorphism.
When \(d' \notin J\) and \(0 \le \phi (u)^{d'}\) (we do not need the \(\phi (u)^{d'} \lt 0\) case, because we need this only for when the chart is a boundary chart, which guaranteed that \(0 \le \phi (u)^{d'}\)), \(\pi_J \vert_{S_{J, \phi (u)} (\mathbb{R}^{d'}) \cap \mathbb{H}^{d'}}: S_{J, \phi (u)} (\mathbb{R}^{d'}) \cap \mathbb{H}^{d'} \subseteq \mathbb{H}^{d'} \to \mathbb{R}^d\) is a diffeomorphism: it is like \(: (\phi (u)^1, ..., x^{j_1}, ..., x^{j_d}, ..., \phi (u)^{d'}) \mapsto (x^{j_1}, ..., x^{j_d})\), which is bijective and \(C^\infty\) (there are the standard chart for \(\mathbb{H}^{d'}\) and the standard chart for \(\mathbb{R}^d\) such that the components function is \(C^\infty\), because the components function has the \(C^\infty\) extension, \(\pi_J: \mathbb{R}^{d'} \to \mathbb{R}^d\)), and the inverse is \(C^\infty\) (there are the standard chart for \(\mathbb{R}^d\) and the standard chart for \(\mathbb{H}^{d'}\) such that the components function is \(C^\infty\), because the components function has the \(C^\infty\) extension, the inverse of \(\pi_J \vert_{S_{J, \phi (u)} (\mathbb{R}^{d'})}: \mathbb{R}^{d'} \to \mathbb{R}^d\)). Especially, \(\pi_J \vert_{S_{J, \phi (u)} (\mathbb{R}^{d'}) \cap \mathbb{H}^{d'}}\) is a homeomorphism. The condition, \(0 \le \phi (u)^{d'}\), is necessary, because otherwise, \(S_{J, \phi (u)} (\mathbb{R}^{d'}) \cap \mathbb{H}^{d'} = \emptyset\), which would not be homeomorphic to \(\mathbb{R}^d\).
Let us suppose that the chart is an interior chart.
\(\phi (U)\) is an open subset of \(\mathbb{R}^{d'}\).
So, \(\phi (S_{J, u} (U))\) is an open subset of \(S_{J, \phi (u)} (\mathbb{R}^{d'}) \subseteq \mathbb{R}^{d'}\).
So, \(\pi_J (\phi (S_{J, u} (U))) = \pi_J \vert_{S_{J, \phi (u)} (\mathbb{R}^{d'})} (\phi (S_{J, u} (U)))\) is an open subset of \(\mathbb{R}^d\).
\(\pi_J \circ \phi \vert_{S_{J, u} (U)}: S_{J, u} (U) \subseteq U \to \pi_J (\phi (S_{J, u} (U))) \subseteq \mathbb{R}^d\) is a homeomorphism, because it is \(\pi_J \vert_{\phi (U) \cap S_{J, \phi (u)} (\mathbb{R}^{d'})} \circ \phi \vert_{S_{J, u} (U)}\), and \(\phi \vert_{S_{J, u} (U)}: S_{J, u} (U) \subseteq U \to \phi (U) \cap S_{J, \phi (u)} (\mathbb{R}^{d'}) \subseteq \phi (U)\) and \(\pi_J \vert_{\phi (U) \cap S_{J, \phi (u)} (\mathbb{R}^{d'})}: \phi (U) \cap S_{J, \phi (u)} (\mathbb{R}^{d'}) \subseteq S_{J, \phi (u)} (\mathbb{R}^{d'}) \to \pi_J (\phi (S_{J, u} (U))) \subseteq \mathbb{R}^d\) are some homeomorphisms as some restrictions of homeomorphic \(\phi\) and \(\pi_J \vert_{S_{J, \phi (u)} (\mathbb{R}^{d'})}\): \(\phi (U) \cap S_{J, \phi (u)} (\mathbb{R}^{d'})\) as the codomain of \(\phi \vert_{S_{J, u} (U)}\) is the subspace of \(\phi (U)\), but as \(\phi (U)\) is the subspace of \(\mathbb{R}^{d'}\), the codomain is the subspace of \(\mathbb{R}^{d'}\), 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, while \(\phi (U) \cap S_{J, \phi (u)} (\mathbb{R}^{d'})\) as the domain of \(\pi_J \vert_{\phi (U) \cap S_{J, \phi (u)} (\mathbb{R}^{d'})}\) is the subspace of \(S_{J, \phi (u)} (\mathbb{R}^{d'})\), but as \(S_{J, \phi (u)} (\mathbb{R}^{d'})\) is the subspace of \(\mathbb{R}^{d'}\), the domain is the subspace of \(\mathbb{R}^{d'}\), likewise.
Let us suppose that the chart is a boundary chart.
\(\phi (U)\) is an open subset of \(\mathbb{H}^{d'}\) and \(\phi (U) \cap S_{J, \phi (u)} (\mathbb{R}^{d'}) = \phi (U) \cap S_{J, \phi (u)} (\mathbb{R}^{d'}) \cap \mathbb{H}^{d'}\).
So, \(\phi (S_{J, u} (U))\) is an open subset of \(S_{J, \phi (u)} (\mathbb{R}^{d'}) \cap \mathbb{H}^{d'} \subseteq \mathbb{H}^{d'}\).
So, \(\pi_J (\phi (S_{J, u} (U))) = \pi_J \vert_{S_{J, \phi (u)} (\mathbb{R}^{d'}) \cap \mathbb{H}^{d'}} (\phi (S_{J, u} (U)))\) is an open subset of \(\mathbb{H}^d\) or \(\mathbb{R}^d\) according to \(d' \in J\) or \(d' \notin J\).
\(\pi_J \circ \phi \vert_{S_{J, u} (U)}: S_{J, u} (U) \subseteq U \to \pi_J (\phi (S_{J, u} (U))) \subseteq \mathbb{H}^d \text{ or } \mathbb{R}^d\) is a homeomorphism, because it is \(\pi_J \vert_{\phi (U) \cap S_{J, \phi (u)} (\mathbb{R}^{d'}) \cap \mathbb{H}^{d'}} \circ \phi \vert_{S_{J, u} (U)}\), and \(\phi \vert_{S_{J, u} (U)}: S_{J, u} (U) \subseteq U \to \phi (U) \cap S_{J, \phi (u)} (\mathbb{R}^{d'}) \cap \mathbb{H}^{d'} \subseteq \phi (U)\) and \(\pi_J \vert_{\phi (U) \cap S_{J, \phi (u)} (\mathbb{R}^{d'}) \cap \mathbb{H}^{d'}}: \phi (U) \cap S_{J, \phi (u)} (\mathbb{R}^{d'}) \cap \mathbb{H}^{d'} \subseteq S_{J, \phi (u)} (\mathbb{R}^{d'}) \cap \mathbb{H}^{d'} \to \pi_J (\phi (S_{J, u} (U))) \subseteq \mathbb{H}^d \text{ or } \mathbb{R}^d\) are some homeomorphisms as some restrictions of homeomorphic \(\phi\) and \(\pi_J \vert_{S_{J, \phi (u)} (\mathbb{R}^{d'}) \cap \mathbb{H}^{d'}}\): \(\phi (U) \cap S_{J, \phi (u)} (\mathbb{R}^{d'}) \cap \mathbb{H}^{d'}\) as the codomain of \(\phi \vert_{S_{J, u} (U)}\) is the subspace of \(\phi (U)\), but as \(\phi (U)\) is the subspace of \(\mathbb{H}^{d'}\), the codomain is the subspace of \(\mathbb{H}^{d'}\), as before, while \(\phi (U) \cap S_{J, \phi (u)} (\mathbb{R}^{d'}) \cap \mathbb{H}^{d'}\) as the domain of \(\pi_J \vert_{\phi (U) \cap S_{J, \phi (u)} (\mathbb{R}^{d'}) \cap \mathbb{H}^{d'}}\) is the subspace of \(S_{J, \phi (u)} (\mathbb{R}^{d'}) \cap \mathbb{H}^{d'}\), but as \(S_{J, \phi (u)} (\mathbb{R}^{d'}) \cap \mathbb{H}^{d'}\) is the subspace of \(\mathbb{H}^{d'}\), the domain is the subspace of \(\mathbb{H}^{d'}\), likewise.
The reason why we have elaborated on those facts is that we are going to construct a chart, \((S_{J, u} (U) \subseteq S, \pi_J \circ \phi \vert_{S_{J, u} (U)})\), for any \(S \subseteq M\) that satisfies a certain condition (called "local-slice condition" or "local-slice-or-half-slice condition"), to make \(S\) an embedded submanifold with boundary of \(M\).
