Up | 地図帳に情報を書き込む | 作成: 2018-01-14 更新: 2018-01-14 |
このことを,つぎのように捉える:
\(f(\bf x)\) は,\(M\) に関する情報である。 これを,地図帳の各ページ \(\phi\) に書き込むことにする。 この書き込みは,つぎの図式を可換にする関数 \( F_{\phi} \) ── 即ち,\( F_{\phi} = f \circ \phi^{-1}\) ──として表現される:
\(\phi\) に書き込まれた情報 \(f\) は,\(\phi\) と重なり部分をもつ \(\psi\) にも書き込まれている。 しかし,互いに翻訳できるといっても,つぎが成り立つのでなければ「地図帳」とは言えない:
ここで,「\(C^r\) 級」が効いてくる。 実際,「\(C^r\) 級」は, 「高度の変化の模様は,\( \phi\) で読んでも \( \psi\) でも同じ」の条件である。 |