Math Amateur
Gold Member
 977
 39
I am reading John M. Lee's book: Introduction to Smooth Manifolds ...
I am focused on Chapter 3: Tangent Vectors ...
I need some help in fully understanding Lee's conversation on directional derivatives and derivations ... ... (see Lee's conversation/discussion posted below ... ... )
Lee defines a directional derivative and notes that taking a directional derivative of a function [itex]f[/itex] in [itex]\mathbb{R}^n[/itex] at a tangent vector [itex]v_a[/itex] is a linear operation ... ... and follows a product rule ... ... that is, for two functions at [itex]v_a[/itex] we have
[itex]D_{v_a} (fg) = f(a) D_{v_a} g + g(a) D_{v_a} f[/itex]
Lee then defines a derivation ... that seems to generalise the directional derivative to any linear map that satisfies the product rule (see definition and (3.2) below ...
... ... BUT ... ... why does Lee need a 'derivation' ... why not stay with the the directional derivative ... especially as Proposition 3.2 (see below) establishes an isomorphism between [itex]\mathbb{R}^n_a[/itex] by using a map:
[itex]v_a \mapsto D_{v_a}[/itex]
... that is a map that is onto the directional derivative ...
Can someone please explain why Lee is introducing the derivation ... ? ... and not just staying with the directional derivative ... ?
The relevant discussion in Lee, referred to above, is as follows:
I am focused on Chapter 3: Tangent Vectors ...
I need some help in fully understanding Lee's conversation on directional derivatives and derivations ... ... (see Lee's conversation/discussion posted below ... ... )
Lee defines a directional derivative and notes that taking a directional derivative of a function [itex]f[/itex] in [itex]\mathbb{R}^n[/itex] at a tangent vector [itex]v_a[/itex] is a linear operation ... ... and follows a product rule ... ... that is, for two functions at [itex]v_a[/itex] we have
[itex]D_{v_a} (fg) = f(a) D_{v_a} g + g(a) D_{v_a} f[/itex]
Lee then defines a derivation ... that seems to generalise the directional derivative to any linear map that satisfies the product rule (see definition and (3.2) below ...
... ... BUT ... ... why does Lee need a 'derivation' ... why not stay with the the directional derivative ... especially as Proposition 3.2 (see below) establishes an isomorphism between [itex]\mathbb{R}^n_a[/itex] by using a map:
[itex]v_a \mapsto D_{v_a}[/itex]
... that is a map that is onto the directional derivative ...
Can someone please explain why Lee is introducing the derivation ... ? ... and not just staying with the directional derivative ... ?
The relevant discussion in Lee, referred to above, is as follows:
Attachments

103.2 KB Views: 636

102.2 KB Views: 596

21.3 KB Views: 480