エンベッデッドサブマニフォールド（部分多様体）、バウンダリー（境界）付き、に関するリストリクテッド（制限された）\(C^\infty\)ベクトルたちバンドル（束）はエンベッデッドサブマニフォールド（部分多様体）、バウンダリー（境界）付きであることの記述/証明
話題
About: \(C^\infty\)マニフォールド（多様体）
この記事の目次
開始コンテキスト
- 読者は、リストリクテッド（制限された）\(C^\infty\)ベクトルたちバンドル（束）の定義を知っている。
- 読者は、\(C^\infty\)マニフォールド（多様体）、バウンダリー（境界）付き、のエンベッデッドサブマニフォールド（部分多様体）、バウンダリー（境界）付き、の定義を知っている。
- 読者は、\(C^\infty\)マニフォールド（多様体）、バウンダリー（境界）付き、のオープン（開）サブマニフォールド（部分多様体）、バウンダリー（境界）付き、の定義を知っている。
- 読者は、任意の周囲トポロジカルスペース（空間）内に包含された任意のトポロジカルスペース（空間）に対して、もしも、当該スペース（空間）が、周囲スペース（空間）的にローカルに当該周囲スペース（空間）のトポロジカルサブスペース（部分空間）である場合、当該スペース（空間）は当該周囲スペース（空間）のトポロジカルサブスペース（部分空間）であるという命題を認めている。
- 読者は、任意の\(C^\infty\)マニフォールド（多様体）、その任意のバウンダリー（境界）付き、エンベッデッドサブマニフォールド（部分多様体）、バウンダリー（境界）付き、に対して、当該サブマニフォールド（部分多様体）、バウンダリー（境界）付き、上の各ポイントの周りに、当該マニフォールド（多様体）、バウンダリー（境界）付き、に対するあるトリビアライジングオープンサブセット（開部分集合）で当該サブマニフォールド（部分多様体）、バウンダリー（境界）付き、とのインターセクション（共通集合）が当該サブマニフォールド（部分多様体）、バウンダリー（境界）付き、に対するチャートドメイン（定義域）であるものがあるという命題を認めている。
- 読者は、任意の\(C^\infty\)マニフォールド（多様体）、バウンダリー付き、に対して、任意のエンベッデッドサブマニフォールド（部分多様体）、バウンダリー（境界）付き、の任意のエンベッデッドサブマニフォールド（部分多様体）、バウンダリー（境界）付き、は、当該マニフォールド（多様体）、バウンダリー付き、のエンベッデッドサブマニフォールド（部分多様体）、バウンダリー（境界）付き、であるという命題を認めている。
- 読者は、任意のマップ（写像）に対して、任意の、セット（集合）たちのインターセクション（共通集合）、のマップ（写像）プリイメージ（前像）はそれらセット（集合）たちのマップ（写像）プリイメージ（前像）たちのインターセクション（共通集合）であるという命題を認めている。
- 読者は、任意のコンティヌアス（連続）マップ（写像）の、ドメイン（定義域）およびコドメイン（余域）についてのリストリクション（制限）はコンティヌアス（連続）であるという命題を認めている。
ターゲットコンテキスト
- 読者は、任意の\(C^\infty\)ベクトルたちバンドル（束）に対して、任意のエンベッデッドサブマニフォールド（部分多様体）、バウンダリー（境界）付き、に関するリストリクテッド（制限された）\(C^\infty\)ベクトルたちバンドル（束）はエンベッデッドサブマニフォールド（部分多様体）、バウンダリー（境界）付きであるという命題の記述および証明を得る。
オリエンテーション
本サイトにてこれまで議論された定義たちの一覧があります。
本サイトにてこれまで議論された命題たちの一覧があります。
本体
1: 構造化された記述
ここに'構造化された記述'のルールたちがある。
エンティティ（実体）たち:
\((E', M', \pi')\): \(\in \{\text{ 全ての } C^\infty \text{ ベクトルたちバンドル（束）たち }\}\)
\(M\): \(\in \{M' \text{ の全ての } d \text{ -ディメンショナル（次元）エンベッデッドサブマニフォールド（部分多様体）、バウンダリー（境界）付き、たち }\}\)
\((E, M, \pi)\): \(= \text{ 当該リストリクテッド（制限された） } C^\infty \text{ ベクトルたちバンドル（束） }\)
//
ステートメント（言明）たち:
\(E \in \{E' \text{ の全てのエンベッデッドサブマニフォールド（部分多様体）、バウンダリー（境界）付き、たち }\}\)
//
2: 注
\(E\)は\(E'\)のイマーストサブマニフォールド（部分多様体）、バウンダリー（境界）付き、であることを既に私たちは知っている、リストリクテッド（制限された）\(C^\infty\)ベクトルたちバンドル（束）の定義の"注"によって。
定義上は、\(E\)は、あるエンベッデッドサブマニフォールド（部分多様体）、バウンダリー（境界）付き、\(M\)に対して、\(E'\)のエンベッデッドサブマニフォールド（部分多様体）、バウンダリー（境界）付き、である必要はない、しかし、実のところ、\(E\)は\(E'\)のエンベッデッドサブマニフォールド（部分多様体）、バウンダリー（境界）付き、である、それが、私たちが証明しようとすることである。
3: 証明
全体戦略: ステップ1: \(E\)は\(E'\)のサブスペース（部分空間）トポロジーを持つことを見る、任意の周囲トポロジカルスペース（空間）内に包含された任意のトポロジカルスペース（空間）に対して、もしも、当該スペース（空間）が、周囲スペース（空間）的にローカルに当該周囲スペース（空間）のトポロジカルサブスペース（部分空間）である場合、当該スペース（空間）は当該周囲スペース（空間）のトポロジカルサブスペース（部分空間）であるという命題によって; ステップ2: インクルージョン（封入）\(\iota: E \to E'\)は\(C^\infty\)エンベディング（埋め込み）であることを見る。
ステップ1:
\(E\)は\(E'\)のサブスペース（部分空間）トポロジーを持つことを見よう。
私たちは、任意の周囲トポロジカルスペース（空間）内に包含された任意のトポロジカルスペース（空間）に対して、もしも、当該スペース（空間）が、周囲スペース（空間）的にローカルに当該周囲スペース（空間）のトポロジカルサブスペース（部分空間）である場合、当該スペース（空間）は当該周囲スペース（空間）のトポロジカルサブスペース（部分空間）であるという命題を適用する。
\(m \in M\)は任意のものとしよう。
\(m\)の周りに\(M'\)に対する以下を満たすトリビアライジングオープンサブセット（開部分集合）\(U'_m \subseteq M'\)、つまり、\(U_m := U'_m \cap M\)は\(M\)に対するチャートドメイン（定義域）である、がある、任意の\(C^\infty\)マニフォールド（多様体）、その任意のバウンダリー（境界）付き、エンベッデッドサブマニフォールド（部分多様体）、バウンダリー（境界）付き、に対して、当該サブマニフォールド（部分多様体）、バウンダリー（境界）付き、上の各ポイントの周りに、当該マニフォールド（多様体）、バウンダリー（境界）付き、に対するあるトリビアライジングオープンサブセット（開部分集合）で当該サブマニフォールド（部分多様体）、バウンダリー（境界）付き、とのインターセクション（共通集合）が当該サブマニフォールド（部分多様体）、バウンダリー（境界）付き、に対するチャートドメイン（定義域）であるものがあるという命題によって。当該チャートは\((U_m \subseteq M, \phi_m)\)であるとしよう。
対応する\(U'_\beta\)たちおよび\((U_\beta \subseteq M, \phi_\beta)\)たちは、リストリクテッド（制限された）\(C^\infty\)ベクトルたちバンドル（束）の定義の中で\(E\)のトポロジーおよびアトラスを構成するために使われるものたちとして妥当である: \(U_\beta\)は\(M\)のエンベッデッドサブマニフォールド（部分多様体）、バウンダリー（境界）付き、である、\(C^\infty\)マニフォールド（多様体）、バウンダリー（境界）付き、のオープン（開）サブマニフォールド（部分多様体）、バウンダリー（境界）付き、の定義に対する"注"によって、そして、\(U_\beta\)は\(M'\)のエンベッデッドサブマニフォールド（部分多様体）、バウンダリー（境界）付き、である、任意の\(C^\infty\)マニフォールド（多様体）、バウンダリー付き、に対して、任意のエンベッデッドサブマニフォールド（部分多様体）、バウンダリー（境界）付き、の任意のエンベッデッドサブマニフォールド（部分多様体）、バウンダリー（境界）付き、は、当該マニフォールド（多様体）、バウンダリー付き、のエンベッデッドサブマニフォールド（部分多様体）、バウンダリー（境界）付き、であるという命題によって。\(\{(U_\beta \subseteq M, \phi_\beta) \vert \beta \in B\}\)および\(\{U'_\beta \vert \beta \in B\}\)および\(\{\Phi'_\beta: \pi'^{-1} (U'_\beta) \to U'_\beta \times \mathbb{R}^k \vert \beta \in B\}\)を取る、それに応じて。
\(E\)上の各ポイントに対して、任意の周囲トポロジカルスペース（空間）内に包含された任意のトポロジカルスペース（空間）に対して、もしも、当該スペース（空間）が、周囲スペース（空間）的にローカルに当該周囲スペース（空間）のトポロジカルサブスペース（部分空間）である場合、当該スペース（空間）は当該周囲スペース（空間）のトポロジカルサブスペース（部分空間）であるという命題に対する当該ポイントの\(E'\)上におけるオープンネイバーフッド（開近傍）を\(\pi'^{-1} (U'_\beta)\)として取ろう。
\(\pi'^{-1} (U'_\beta)\)は本当に当該定理が要求するものであることを見よう。
\(\pi'^{-1} (U'_\beta)\)は本当に、当該ポイントの\(E'\)上におけるオープンネイバーフッド（開近傍）である、なぜなら、当該ポイントはその中に包含されており、\(U'_\beta\)は\(M'\)上でオープン（開）であり、\(\pi'\)はコンティニュアス（連続）である。
\(\pi'^{-1} (U'_\beta) \cap E\)は\(E\)のオープンサブセット（開部分集合）であるか？
はい、なぜなら、\(\pi'^{-1} (U'_\beta) \cap E = \pi'^{-1} (U'_\beta) \cap \pi'^{-1} (M) = \pi'^{-1} (U'_\beta \cap M)\)、任意のマップ（写像）に対して、任意の、セット（集合）たちのインターセクション（共通集合）、のマップ（写像）プリイメージ（前像）はそれらセット（集合）たちのマップ（写像）プリイメージ（前像）たちのインターセクション（共通集合）であるという命題によって、\( = \pi^{-1} (U_\beta)\)、それは\(E\)上でオープン（開）である、なぜなら、\(U_\beta\)は\(M\)上でオープン（開）であり、\(\pi\)はコンティニュアス（連続）である。
\(\pi'^{-1} (U'_\beta) \cap E \subseteq E \text{ 、 } E \text{ のサブスペース（部分空間）として }\)は、\(\pi'^{-1} (U'_\beta) \cap E \subseteq \pi'^{-1} (U'_\beta) \text{ 、 } \pi'^{-1} (U'_\beta) \text{ のサブスペース（部分空間）として }\)に等しいか？
\(\pi'^{-1} (U'_\beta) \cap E \subseteq E\)は、\(\pi^{-1} (U_\beta)\)に他ならず、\(\Phi_\beta: \pi^{-1} (U_\beta) \to U_\beta \times \mathbb{R}^k\)はホメオモーフィック（位相同形写像）である。
各サブセット（部分集合）\(S \subseteq \pi'^{-1} (U'_\beta) \cap E\)に対して、\(S \cap E = S \cap \pi^{-1} (U_\beta)\)、なぜなら、\(S \cap \pi^{-1} (U_\beta) \subseteq S \cap E\)は明らかである一方で、各\(p \in S \cap E\)に対して、\(p \in S \subseteq \pi'^{-1} (U'_\beta)\)、それが含意するのは、\(\pi' (p) = \pi (p) \in U'_\beta\)、しかし、\(\pi (p) \in M\)でもある、したがって、\(\pi (p) \in U'_\beta \cap M = U_\beta\)、したがって、\(p \in \pi^{-1} (U_\beta)\)、そして、\(p \in S \cap \pi^{-1} (U_\beta)\)、したがって、\(S \cap E \subseteq S \cap \pi^{-1} (U_\beta)\)。
特に、\(\pi'^{-1} (U'_\beta) \cap E = \pi'^{-1} (U'_\beta) \cap \pi^{-1} (U_\beta)\)。
\(\Phi'_\beta: \pi'^{-1} (U'_\beta) \to U'_\beta \times \mathbb{R}^k\)はホメオモーフィック（位相同形写像）である、そして、\(\Phi'_\beta \vert_{\pi'^{-1} (U'_\beta) \cap E}: \pi'^{-1} (U'_\beta) \cap E = \pi'^{-1} (U'_\beta) \cap \pi^{-1} (U_\beta) \to \Phi'_\beta (\pi'^{-1} (U'_\beta) \cap \pi^{-1} (U_\beta)) = \Phi'_\beta (\pi^{-1} (U_\beta)) = \Phi_\beta (\pi^{-1} (U_\beta)) = U_\beta \times \mathbb{R}^k \subseteq U'_\beta \times \mathbb{R}^k\)はホメオモーフィック（位相同形写像）である、任意のコンティヌアス（連続）マップ（写像）の、ドメイン（定義域）およびコドメイン（余域）についてのリストリクション（制限）はコンティヌアス（連続）であるという命題によって。注意として、それがホメオモーフィック（位相同形写像）であるのは、ドメイン（定義域）\(\pi'^{-1} (U'_\beta) \cap E\)は\(\pi'^{-1} (U'_\beta)\)のサブスペース（部分空間）とみなされ、コドメイン（余域）\(U_\beta \times \mathbb{R}^k\)は\(U'_\beta \times \mathbb{R}^k\)のサブスペース（部分空間）とみなされてのことである。
アイデンティティマップ（恒等写像）\(id: U_\beta \times \mathbb{R}^k \to U_\beta \times \mathbb{R}^k \subseteq U'_\beta \times \mathbb{R}^k\)のことを考えよう。実のところ、\(U_\beta \times \mathbb{R}^k \subseteq U'_\beta \times \mathbb{R}^k\)の\(U'_\beta \times \mathbb{R}^k\)のサブスペース（部分空間）とみなされたものは、\(U_\beta \times \mathbb{R}^k\)に他ならない、なぜなら、\(M\)は\(M'\)のトポロジカルサブスペース（部分空間）である。
さて、\(\pi'^{-1} (U'_\beta) \cap E \subseteq E = \pi^{-1} (U_\beta)\)の各オープンサブセット（開部分集合）\(U\)に対して、\(\Phi_\beta (U) \subseteq U_\beta \times \mathbb{R}^k\)はオープン（開）である; \(id (\Phi_\beta (U)) \subseteq U_\beta \times \mathbb{R}^k \subseteq U'_\beta \times \mathbb{R}^k\)はオープン（開）である; \({\Phi'_\beta \vert_{\pi'^{-1} (U'_\beta) \cap E}}^{-1} (id (\Phi_\beta (U))) \subseteq \pi'^{-1} (U'_\beta) \cap E \subseteq \pi'^{-1} (U'_\beta)\)はオープン（開）である。実のところ、その\({\Phi'_\beta \vert_{\pi'^{-1} (U'_\beta) \cap E}}^{-1} \circ id \circ \Phi_\beta\)はアイデンティティマップ（恒等写像）である、なぜなら、\(\Phi_\beta\)は\(\Phi'_\beta\)のリストリクション（制限）である。それが示すのは、\(\pi'^{-1} (U'_\beta) \cap E \subseteq E\)の各オープンサブセット（開部分集合）は\(\pi'^{-1} (U'_\beta) \cap E \subseteq \pi'^{-1} (U'_\beta)\)上でオープン（開）であるということ。
同様に、\(\pi'^{-1} (U'_\beta) \cap E \subseteq \pi'^{-1} (U'_\beta)\)の各オープンサブセット（開部分集合）\(U\)に対して、\(\Phi'_\beta \vert_{\pi'^{-1} (U'_\beta) \cap E} (U) \subseteq U_\beta \times \mathbb{R}^k \subseteq U'_\beta \times \mathbb{R}^k\)はオープン（開）である; \({id}^{-1} (\Phi'_\beta \vert_{\pi'^{-1} (U'_\beta) \cap E} (U)) \subseteq U_\beta \times \mathbb{R}^k\)はオープン（開）である; \({\Phi_\beta}^{-1} ({id}^{-1} (\Phi'_\beta \vert_{\pi'^{-1} (U'_\beta) \cap E} (U)) \subseteq \pi'^{-1} (U'_\beta) \cap E \subseteq E\)はオープン（開）である。実のところ、その\({\Phi_\beta}^{-1} \circ {id}^{-1} \circ \Phi'_\beta \vert_{\pi'^{-1} (U'_\beta) \cap E}\)はアイデンティティマップ（恒等写像）である、なぜなら、\(\Phi_\beta\)は\(\Phi'_\beta\)のリストリクション（制限）である。それが示すのは、\(\pi'^{-1} (U'_\beta) \cap E \subseteq \pi'^{-1} (U'_\beta)\)の各オープンサブセット（開部分集合）は\(\pi'^{-1} (U'_\beta) \cap E \subseteq E\)上でオープン（開）であるということ。
したがって、はい、\(\pi'^{-1} (U'_\beta) \cap E \subseteq E \text{ 、 } E\text{ のサブスペース（部分空間）として }\)は、\(\pi'^{-1} (U'_\beta) \cap E \subseteq \pi'^{-1} (U'_\beta) \text{ 、 } \pi'^{-1} (U'_\beta) \text{ のサブスペース（部分空間）として }\)に等しい。
したがって、\(E\)は\(E'\)のトポロジカルサブスペース（部分空間）である。
ステップ2:
インクルージョン（封入）\(\iota: E \to E'\)は\(C^\infty\)エンベディング（埋め込み）であることを見よう。
\(\iota\)は\(C^\infty\)イマージョンであることを私たちは既に知っている、なぜなら、\(E\)は\(E'\)のイマーストサブマニフォールド（部分多様体）、バウンダリー（境界）付き、である。
コドメイン（余域）リストリクション（制限）\(\iota': E \to \iota (E) \subseteq E'\)はホメオモーフィック（位相同形写像）である、なぜなら、\(E\)は\(E'\)のサブスペース（部分空間）トポロジーを持つ、ステップ1によって、そして、\(\iota'\)はアイデンティティマップ（写像）である。
したがって、\(\iota\)は\(C^\infty\)エンベディング（埋め込み）である。
