471: ユークリディアンマニフォールド(多様体)たちの任意のサブセット(部分集合)たち間のマップ(写像)たちで対応するポイントたちにおいてであるものたちに対して、コンポジション(合成)はポイントにおいてである
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
ユークリディアンマニフォールド(多様体)たちの任意のサブセット(部分集合)たち間のマップ(写像)たちで対応するポイントたちにおいてであるものたちに対して、コンポジション(合成)はポイントにおいてであることの記述/証明
話題
About:
マニフォールド(多様体)
この記事の目次
開始コンテキスト
ターゲットコンテキスト
-
読者は、任意のユークリディアンマニフォールド(多様体)たちの任意のサブセット(部分集合)たち間の任意のマップ(写像)たちで対応するポイントたちにおいてであるものたち、ここで、はを含む、に対して、コンポジション(合成)は当該ポイントにおいてであるという命題の記述および証明を得る。
オリエンテーション
本サイトにてこれまで議論された定義の一覧があります。
本サイトにてこれまで議論された命題の一覧があります。
本体
1: 記述
任意のユークリディアンマニフォールド(多様体)たち、以下を満たす任意のサブセット(部分集合)たち、つまり、、任意のポイント、任意のナチュラルナンバー(自然数)(0を含む)または 、以下を満たす任意のマップ(写像)たち、つまり、およびはおよびにおいて、に対して、はにおいてである。
2: 証明
であると仮定しよう。
はにおいてコンティニュアス(連続)である、任意のトポロジカルスペース(空間)たち間の任意のマップ(写像)たちで対応するポイントたちにおいてコンティニュアス(連続)であるものに対して、コンポジション(合成)は当該ポイントにおいてコンティニュアス(連続)であるという命題によって。
を含んでであると仮定しよう。
のあるオープンネイバーフッド(開近傍)および以下を満たすあるマップ(写像)でにおいてであるもの、つまり、、がある。のあるオープンネイバーフッド(開近傍)および以下を満たすあるマップ(写像)でにおいてであるもの、つまり、、がある。はにおいてコンティニュアス(連続)である(定義の注を参照)から、の以下を満たすあるオープンネイバーフッド(開近傍)、つまり、、がある。はにおいてである、ユークリディアンマニフォールド(多様体)たちのオープンサブセット(開部分集合)たち間のマップ(写像)たちで対応するポイントたちにおいてであるものたちの通常のコンポジション(合成)として。、なぜなら、。
参考資料
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>