はじめに読んで欲しい
この記事は初心者が書いています。間違っているところや不十分な解説などがあるかもしれません。見つけた際は優しく、易しく教えて欲しいです。大目に、或いは暖かい目で見て頂けるとうれしいです。
また、この記事の内容は
こちら
を参考にしました。
この記事では、開区間や開領域上の級関数がなすℝ代数をやと書いたり、加群の自己準同型環をと書きます。二項係数はと表します。
二項定理とライプニッツの定理と補題
二項定理とライプニッツの定理
二項定理
を環としたとき、が可換()なら任意の非負整数に対して
ライプニッツの定理
なら任意の非負整数に対して
乗のところとか二項係数とか見ると、やっぱり似ていますね。どちらとも帰納法を用いて似たように証明できますが、ここではその証明は書きません。
高校数学の美しい物語さん
などを見るといいかもです(環じゃないですが証明は同様です)。
ここではこの証明は書きません。証明は
数学の景色さん
などが分かりやすかったです(こっちの方が一般的に示されてます)。
さてシュワルツの定理は環の言葉を使うとこうも言えます。
こう言う言い換えをする意味は、微分というのを環の元として二項定理を適用したいからです。可換なのでうれしいです。
さてもう一つ、必要なことを用意します。これはちゃんと証明します。
とはそれぞれの第一成分での偏微分と第二成分での偏微分を表しています。変数の書き方がキモいですが、誰かいい書き方知りませんか。
直接示す。任意にをとったとき、が開区間であるから十分小さくを取ればとなる。
よって命題は示された。
証明の仕方が積の微分公式のに似ています。ここではとしていますはが、とおいた時もそんな風なものがな成り立ち、これを二変数関数の合成関数の微分公式と言うそうです。
この補題もまた言い換えます。
補題3のいい換え
を開区間としたとき、というℝ線形写像を考えるとき、
ここで出てくるとはからへの対角写像との合成です。このを使って証明ライプニッツの定理を証明します。
ライプニッツの定理の証明と一般化
ではいよいよライプニッツの定理について証明しましょう。もう一度定理を書いておきます。
ライプニッツの定理
に対して、と定義する。すると補題2より、
が言える。シュワルツの定理よりとはの元として可換であり、よっては二項定理で展開できる。
よって命題は示された。
書いてみると呆気無けないですね。呆気無いのでもう少し一般化してみます。
微分の一般化
を可換環として、加群にという加群の準同型が定まっているとする。
このとき加群の準同型が微分であるとは、任意のに対してが成り立つことをいう。
とはに入る積を表しているので、とかけばと書けます。これはでも見た、積の微分公式と同じ形です。
ただと違うのは、に入るこの積は分配律(双線形性)のみ満たしていて、結合性や可換性、単位性も仮定されないことにあります。
この定義からすぐに、補題3の言い換えのような事実が言えます。
テンソル積は底にある空間の直積に対応すると思います。はに対応していて、はに対応(同型ではない)していて、とはそれぞれ第一成分での偏微分と第二成分での偏微分に対応しています。テンソル積は積であると同時に多変数化でもあったわけです。そうすると、補題3で証明方法が積の微分公式の証明に似ていたことにも納得ができるような気がします。
また、と見た時、これはちゃんと可換になってくれます。よってここでも二項定理を考えることができます。
では、この一般化した微分の上でライプニッツの定理を証明します。
一般化した微分のライプニッツの定理
先程の議論に沿って証明する。
よって命題は示された。
証明できました。
ここで重要なのはが可換ということなので、例えば微分にという重さをつけて、という式が成り立つとした時にも似たような公式が成り立ちます。これをどう使うかは知りません。二項定理自体も
nakanoさん
の記事などを参考に一般化できますが、これを使えば面白い結果が出でてくるんでしょうか。
これとは逆の試みで、ライプニッツの定理から二項定理を導こうってことが
Wikipediaの二項定理
に書いてありました。指数関数を用いて証明する内容ですが、指数関係の性質とかネイピア数の定義とかに二項定理って必要じゃないのかなって思います。いや、循環論法とか気にするような場面じゃないのかな。
おわりに
ここまで読んでくれてありがとうございました。間違いなどがあったら教えてくださいっ。