バウンダリー（境界）付きトポロジカルマニフォールド（多様体）に対するマキシマルアトラスの定義
話題
About: トポロジカルマニフォールド（多様体）
この記事の目次
開始コンテキスト
ターゲットコンテキスト
- 読者は、バウンダリー（境界）付きトポロジカルマニフォールド（多様体）に対するマキシマルアトラスの定義を得る。
オリエンテーション
本サイトにてこれまで議論された定義の一覧があります。
本サイトにてこれまで議論された命題の一覧があります。
本体
1: 定義
任意のバウンダリー（境界）付きトポロジカルマニフォールド（多様体）\(M\)に対して、互いに\(C^\infty\)コンパティブル（互換）なチャートたちで\(M\)をカバーするものたちの任意のセット（集合）で任意の可能な\(C^\infty\)コンパティブル（互換）チャートが既に追加され済みであるもの、ここで、"互いに\(C^\infty\)コンパティブル（互換）なチャートたち"が意味するのは、任意の2チャートたち\((U_1 \subseteq M, \phi_1)\)および\((U_2 \subseteq M, \phi_2)\)に対して、\(\phi_2 \circ {\phi_1}^{-1}\vert_{\phi_1 (U_1 \cap U_2)}: \phi_1 (U_1 \cap U_2) \to \phi_2 (U_1 \cap U_2)\)および\(\phi_1 \circ {\phi_2}^{-1}\vert_{\phi_2 (U_1 \cap U_2)}: \phi_2 (U_1 \cap U_2) \to \phi_1 (U_1 \cap U_2)\)は各ポイントにおいて\(C^\infty\)である（\(U_1 \cap U_2 = \emptyset\)である時は、当該チャートたちは空虚に\(C^\infty\)コンパティブル（互換）である）、ここで、\(\phi_j (U_1 \cap U_2)\)は必ずしも\(\mathbb{R}^d\)上でオープン（開）ではないが、\(C^\infty\)性は、ユークリディアン\(C^\infty\)マニフォールド（多様体）たちの任意のサブセット（部分集合）間のマップ（写像）でポイントにおいて\(C^k\)であるもの、ここで、\(k\)は\(0\)を除外し\(\infty\)を含む、の定義による
2: 注
"マキシマルコンティニュアス（連続）アトラス"について、互いにコンティニュアス（連続）にコンパティブル（互換）なチャートたちで\(M\)をカバーするものたちのセット（集合）として話すことはできるが、私たちはそうしない、なぜなら、それに対しては何の選択もない（それはユニークに決定される、なぜなら、任意の2チャートたちは不可避にコンティニュアス（連続）にコンパティブル（互換）である）; 私たちが特に"マキシマルアトラス"について本定義によって話すのは、それがいくつかの可能な複数の候補たちからあるアトラスを選択するという問題だからである。
