意外なライプニッツ則（交換子のライプニッツ則）

数学

Rを非可換環とする。A,X,YをRの元とし、 $\phi_A(X)$ を
$\phi_A(X)=AX-XA$ 　で定める。
このとき、
$\phi_A(XY)=AXY-XYA\\~~~~~~~~~~~~~~=AXY-XAY+XAY-XYA\\~~~~~~~~~~~~~~=(AX-XA)Y+X(AY-YA)\\~~~~~~~~~~~~~~=\phi_A(X)Y+X\phi_A(Y)$
こんな単純な計算がライプニッツ則を満たすとは、意外でおもしろい。
証明も微分のそれと少し似ている。

微分のライプニッツ則の証明：
$(fg)'(x)\\\displaystyle=\frac{f(x+h)g(x+h)-f(x)g(x)}{h}\\\displaystyle=\frac{f(x+h)g(x+h)-f(x)g(x+h)+f(x)g(x+h)-f(x)g(x)}{h}\\\displaystyle=\frac{(f(x+h)-f(x))g(x+h)+f(x)(g(x+h)-g(x))}{h}=(f'g+fg')(x)$

以上の内容はhttps://mochi-mochi61.hatenablog.com/entry/2021/07/30/090438より取得しました。
このページはhttp://font.textar.tv/のウェブフォントを使用してます

不具合報告/要望等はこちらへお願いします。
モバイルやる夫Viewer Ver0.14