2024年2月4日日曜日

470: バウンダリー(境界)付きCマニフォールド(多様体)たちの任意のサブセット(部分集合)たち間のCkマップ(写像)、ここで、kを含む

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

バウンダリー(境界)付きCマニフォールド(多様体)たちの任意のサブセット(部分集合)たち間のCkマップ(写像)、ここで、kを含むの定義

話題


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

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、バウンダリー(境界)付きCマニフォールド(多様体)たちの任意のサブセット(部分集合)たち間のCkマップ(写像)、ここで、kを含む、の定義を得る。

オリエンテーション


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

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


本体


1: 定義


(空かもしれない)バウンダリー(境界)付きの任意のCマニフォールド(多様体)たちM1,M2、任意のサブセット(部分集合)たちS1M1,S2M2、任意のナチュラルナンバー(自然数)(0を含む)またはkに対して、以下を満たす任意のマップ(写像)f:S1S2、つまり、それは各ポイントにおいてCkである、ポイントにおいてコンティニュアス(連続)なマップ(写像)の定義によってかバウンダリー(境界)付きCマニフォールド(多様体)たちの任意のサブセット(部分集合)たち間のマップ(写像)でポイントにおいてCkなもの、ここで、k0を除外しを含む、の定義によって


2: 注


k=0に対する本定義は、明らかに別の記事内に記述されているコンティニュアス(連続)マップ(写像)の定義に等しい。


参考資料


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