491: バウンダリー(境界)付きマニフォールド(多様体)たちの任意のサブセット(部分集合)たち間のマップ(写像)でポイントにおいてローカルにディフェオモーフィックであるもの
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
バウンダリー(境界)付きマニフォールド(多様体)たちの任意のサブセット(部分集合)たち間のマップ(写像)でポイントにおいてローカルにディフェオモーフィックであるものの定義
話題
About:
バウンダリー(境界)付きマニフォールド(多様体)
この記事の目次
開始コンテキスト
ターゲットコンテキスト
-
読者は、バウンダリー(境界)付きマニフォールド(多様体)たちの任意のサブセット(部分集合)たち間のマップ(写像)でポイントにおいてローカルにディフェオモーフィックであるものの定義を得る。
オリエンテーション
本サイトにてこれまで議論された定義の一覧があります。
本サイトにてこれまで議論された命題の一覧があります。
本体
1: 定義
(空かもしれない)バウンダリー(境界)付き任意のマニフォールド(多様体)たち、任意のサブセット(部分集合)たち、任意のポイントに対して、以下を満たす任意のマップ(写像)、つまり、のあるオープンネイバーフッド(開近傍)およびのあるオープンネイバーフッド(開近傍)があって、はディフェオモーフィズムである
2: 注
典型的には、およびであり、すると、はバウンダリー(境界)付きマニフォールド(多様体)たち間のマップ(写像)でにおいてローカルにディフェオモーフィックなものになる。
参考資料
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>