486: バウンダリー(境界)付きマニフォールド(多様体)たちの任意のサブセット(部分集合)たち間のディフェオモーフィズム
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
バウンダリー(境界)付きマニフォールド(多様体)たちの任意のサブセット(部分集合)たち間のディフェオモーフィズムの定義
話題
About:
マニフォールド(多様体)
この記事の目次
開始コンテキスト
ターゲットコンテキスト
-
読者は、バウンダリー(境界)付きマニフォールド(多様体)たちの任意のサブセット(部分集合)たち間のディフェオモーフィズムの定義を得る。
オリエンテーション
本サイトにてこれまで議論された定義の一覧があります。
本サイトにてこれまで議論された命題の一覧があります。
本体
1: 定義
(空かもしれない)バウンダリー(境界)付き任意のマニフォールド(多様体)たち、任意のサブセット(部分集合)たちに対して、以下を満たす任意のバイジェクション(全単射)、つまり、インバース(逆)もである、ここで、性は、バウンダリー(境界)付きマニフォールド(多様体)たちの任意のサブセット(部分集合)たち間のマップ(写像)でポイントにおいてなもの、ここで、はを除外しを含む、の定義による
2: 注
本定義はディフェオモーフィックエクステンション(拡張)の存在によるものでないことを意識することが重要である: 1方向のためのあるエクステンション(拡張)および他方向のためのあるエクステンション(拡張)があるが、当該エクステンション(拡張)たちはお互いのインバース(逆)たちであると規定されていないし、各エクステンション(拡張)はインジェクティブ(単射)であるとさえも規定されていない。もしも、あなたがあるディフェオモーフィックエクステンション(拡張)があることを主張したければ、あなたはそれを証明しなければならないだろう。
参考資料
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>