Leibniz rule

From Maths
Jump to: navigation, search

Definition

A function [math]f:A\rightarrow B[/math] is said to satisfy the Leibniz rule[1][2] if:


[math]f(ab)=af(b)+bf(a)[/math]

It usually involves a lot of abuse of notation and a letter that is an operator.

Example

Take: [math]D:C^\infty_p(\mathbb{R}^n)\rightarrow\mathbb{R}[/math] - a Derivation if it is also [ilmath]\mathbb{R}-[/ilmath]Linear then:

[math]D(fg) = fDg + gDf[/math] - which the reader should recognise as the product rule from calculus.

See also

References

  1. Introduction to Smooth Manifolds - Second Edition - John M Lee
  2. An introduction to manifolds - Second Edition - Loring W. Tu