ところで、微分には次のような法則がありました。前半は「関数の和を微分したものは微分してから足したものと同じ」、さらに簡潔に話すと「微分という操作は和を保つ」ということです。後半は「関数の定数倍を微分したものは導関数の定数倍と同じ」、さらに簡潔に話すと「微分という操作は定数倍を保つ」ということです。これらのことから、微分作用素は線形性(和と定数倍)を保つということが分かります。この「和と定数倍を保つ」というところから微分作用素を「線形代数(ベクトルと行列)の範囲で」考えるという話が生まれるのです。この考えをもっと突き詰めたのが佐藤幹夫先生による「代数解析学」の話なのです。代数解析学の中心にあるのは微分作用素と、それが作用する関数たちの集まり(D加群)なのです。次回は「微分方程式」について書いてみようと思います。この記事を書いたブロガーsato「素直に、深く、面白く」がモットーの摂理男子。霊肉ともに生粋の道産子。