derivation

A map is a derivation at a point if it is

• linear
• follows the “Liebnitz rule” aka the product rule. For a point ,

If we don’t look at a single point, instead look at all points on a manifold we get that a derivation is a map

References

@lee2013 - Chapter 3