2024年2月11日日曜日

471: ユークリディアンCマニフォールド(多様体)たちの任意のサブセット(部分集合)たち間のマップ(写像)たちで対応するポイントたちにおいてCkであるものたちに対して、コンポジション(合成)はポイントにおいてCkである

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

ユークリディアンCマニフォールド(多様体)たちの任意のサブセット(部分集合)たち間のマップ(写像)たちで対応するポイントたちにおいてCkであるものたちに対して、コンポジション(合成)はポイントにおいてCkであることの記述/証明

話題


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

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、任意のユークリディアンCマニフォールド(多様体)たちの任意のサブセット(部分集合)たち間の任意のマップ(写像)たちで対応するポイントたちにおいてCkであるものたち、ここで、kを含む、に対して、コンポジション(合成)は当該ポイントにおいてCkであるという命題の記述および証明を得る。

オリエンテーション


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

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


本体


1: 記述


任意のユークリディアンCマニフォールド(多様体)たちRd1,Rd2,Rd3、以下を満たす任意のサブセット(部分集合)たちS1Rd1,S2,S2Rd2,S3Rd3、つまり、S2S2、任意のポイントpS1、任意のナチュラルナンバー(自然数)(0を含む)または k、以下を満たす任意のマップ(写像)たちf1:S1S2,f2:S2S3、つまり、f1およびf2pおよびf1(p)においてCk、に対して、f2f1:S1S3pにおいてCkである。


2: 証明


k=0であると仮定しよう。

f2f1pにおいてコンティニュアス(連続)である、任意のトポロジカルスペース(空間)たち間の任意のマップ(写像)たちで対応するポイントたちにおいてコンティニュアス(連続)であるものに対して、コンポジション(合成)は当該ポイントにおいてコンティニュアス(連続)であるという命題によって。

を含んで1kであると仮定しよう。

f1(p)のあるオープンネイバーフッド(開近傍)Uf1(p)Rd2および以下を満たすあるマップ(写像)f2:Uf1(p)Rd3f1(p)においてCkであるもの、つまり、f2|Uf1(p)S2=f2|Uf1(p)S2、がある。pのあるオープンネイバーフッド(開近傍)UpRd1および以下を満たすあるマップ(写像)f1:UpRd2pにおいてCkであるもの、つまり、f1|UpS1=f1|UpS1、がある。f1pにおいてコンティニュアス(連続)である(定義の注を参照)から、pの以下を満たすあるオープンネイバーフッド(開近傍)UpUp、つまり、f1(Up)Uf1(p)、がある。f2f1|Up:UpRd3pにおいてCkである、ユークリディアンCマニフォールド(多様体)たちのオープンサブセット(開部分集合)たち間のマップ(写像)たちで対応するポイントたちにおいてCkであるものたちの通常のコンポジション(合成)として。f2f1|Up|UpS1=f2f1|UpS1=f2f1|UpS1、なぜなら、f1(UpS1)Uf1(p)S2Uf1(p)S2


参考資料


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