2024年3月3日日曜日

491: バウンダリー(境界)付きCマニフォールド(多様体)たちの任意のサブセット(部分集合)たち間のマップ(写像)でポイントにおいてローカルにディフェオモーフィックであるもの

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

バウンダリー(境界)付きCマニフォールド(多様体)たちの任意のサブセット(部分集合)たち間のマップ(写像)でポイントにおいてローカルにディフェオモーフィックであるものの定義

話題


About: バウンダリー(境界)付きCマニフォールド(多様体)

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、バウンダリー(境界)付きCマニフォールド(多様体)たちの任意のサブセット(部分集合)たち間のマップ(写像)でポイントにおいてローカルにディフェオモーフィックであるものの定義を得る。

オリエンテーション


本サイトにてこれまで議論された定義の一覧があります。

本サイトにてこれまで議論された命題の一覧があります。


本体


1: 定義


(空かもしれない)バウンダリー(境界)付き任意のCマニフォールド(多様体)たちM1,M2、任意のサブセット(部分集合)たちS1M1,S2M2、任意のポイントpS1に対して、以下を満たす任意のマップ(写像)f:S1S2、つまり、pのあるオープンネイバーフッド(開近傍)UpM1およびf(p)S2のあるオープンネイバーフッド(開近傍)Uf(p)M2があって、f|UpS1:UpS1Uf(p)S2はディフェオモーフィズムである


2: 注


典型的には、S1=M2およびS2=M2であり、すると、fはバウンダリー(境界)付きCマニフォールド(多様体)たち間のマップ(写像)でpにおいてローカルにディフェオモーフィックなものになる。


参考資料


<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>