2024年2月25日日曜日

486: バウンダリー(境界)付きCマニフォールド(多様体)たちの任意のサブセット(部分集合)たち間のディフェオモーフィズム

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

バウンダリー(境界)付きCマニフォールド(多様体)たちの任意のサブセット(部分集合)たち間のディフェオモーフィズムの定義

話題


About: Cマニフォールド(多様体)

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、バウンダリー(境界)付きCマニフォールド(多様体)たちの任意のサブセット(部分集合)たち間のディフェオモーフィズムの定義を得る。

オリエンテーション


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

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


本体


1: 定義


(空かもしれない)バウンダリー(境界)付き任意のCマニフォールド(多様体)たちM1,M2、任意のサブセット(部分集合)たちS1M1,S2M2に対して、以下を満たす任意のCバイジェクション(全単射)f:S1S2、つまり、インバース(逆)f1:S2S1Cである、ここで、C性は、バウンダリー(境界)付きCマニフォールド(多様体)たちの任意のサブセット(部分集合)たち間のマップ(写像)でポイントにおいてCkなもの、ここで、k0を除外しを含む、の定義による


2: 注


本定義はディフェオモーフィックエクステンション(拡張)の存在によるものでないことを意識することが重要である: 1方向のためのあるCエクステンション(拡張)および他方向のためのあるCエクステンション(拡張)があるが、当該Cエクステンション(拡張)たちはお互いのインバース(逆)たちであると規定されていないし、各Cエクステンション(拡張)はインジェクティブ(単射)であるとさえも規定されていない。もしも、あなたがあるディフェオモーフィックエクステンション(拡張)があることを主張したければ、あなたはそれを証明しなければならないだろう。


参考資料


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