メールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。関数係数線形結合で書けます。このことを示すことにしましょう。ライプニッツ法則を満たすR線形写像Xと、接ベクトル場の関係についても述べます。これにて、「微分はライプニッツ法則に支配されている」というお話は完結です。寄り道しながら「微分はライプニッツ法則に支配されている」というタイトルの一連の記事で僕が言いたいことは、ライプニッツ法則という代数法則で定義される作用素と、解析(微積分)的に定義される微分作用素が実は同じものだよ、ってことです。そのことを述べる最短経路をとっているわけではありません。「微分はライプニッツ法則に支配されている」にて:関数ジャームの空間を定義します。「この機会に関数ジャームを紹介しました」という感じです。ジャームは、それだけでもけっこう役に立つ概念ですが、層の理論のなかで考えるのが自然かも知れません。局所性」にて:ユークリッド空間Rnの開集合Uで定義された関数の範囲では、後述の層(小さな開集合への制限)を使わなくても、前節最後の定理は出るような気がします。...[snip]...局所性を定式化するには、層の概念を使います。いえ、層の理論が必要なわけではなく、層の定義だけです。「層」という言葉を出す必要もないくらいです。「絶対必要ではないけど...」と断りながら、色々な概念をつまみ食い的に紹介しています。関数ジャーム(無限小近傍で定義された関数)や層(関数の制限や貼り合わせのメカニズム)は、どっちみち使う道具なので、無駄な寄り道ではないでしょう。今回も、寄り道スタイルで、幾つかの概念を紹介します。ローカルな用語・記法も含まれます(断り書きを入れてます)。r回微分可能で、微分した結果が連続であるような関数の全体とします。)、僕はあまり使いません。(重複を許して)r個選んで並べた作用素をfに作用させると(作用は可能だとして)、結果は連続関数になることです。