Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

I Directional Derivatives and Derivations - Tangent Spaces

  1. Feb 23, 2016 #1
    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:


    ?temp_hash=50298ce87f9fc90b14414b8cd9b5c703.png
    ?temp_hash=50298ce87f9fc90b14414b8cd9b5c703.png
    ?temp_hash=50298ce87f9fc90b14414b8cd9b5c703.png
     
  2. jcsd
  3. Feb 23, 2016 #2

    fresh_42

    Staff: Mentor

    Without knowing the textbook I assume it is about Lie groups, too. They play a major role in physics and one way to study them is to consider the representations of their tangent space, their Lie algebras. Derivations play a major role there, e.g. the left multiplication in a Lie algebra is one. And if you study the multiplication and automorphisms of Lie groups you will end up with derivations in their corresponding Lie algebra.
    As you can see in what you uploaded a tangent vector is a function for which the product rule holds, a derivation.

    For short: it is often easier to study the Euclidean tangent spaces of a manifold than the manifold itself and obtain important results about the latter.
     
  4. Feb 23, 2016 #3
    I'm reading that same chapter in Lee's book too. From what I understand, the directional derivative works fine for a Euclidean manifold. But for an abstract manifold, you won't be be able to apply the same definition. So he generalizes the directional derivative to derivations. Then, given [itex] p \in M [/itex], he identifies [itex] T_p(M) [/itex] with [itex] T_{\phi(p)}(\mathbb{R}^n) [/itex], where this identification is independent of the coordinate chart. If you keep reading in the chapter and doing the mini-exercises along the way, you'll see how he does this. With this identification, we can think of the Euclidean tangent space instead, which is more intuitive.

    EDIT: Look at the picture at the top of page 60. That should give you a picture of what he's doing.
     
  5. Feb 27, 2016 #4
    Thanks fresh_42 and JonnyG ... appreciate your help ...

    Peter
     
  6. Mar 8, 2016 #5

    stevendaryl

    User Avatar
    Staff Emeritus
    Science Advisor

    I think that the author might be looking ahead to the case of more general manifolds than [itex]R^n[/itex].

    If you have an arbitrary manifold [itex]M[/itex], and you have a parametrized path [itex]\mathcal{P}(t)[/itex] (that is a continuous, smooth function of type [itex]R \rightarrow M[/itex]), you can implicitly define a kind of vector--the tangent vector to the path [itex]\mathcal{P}(t)[/itex]--by just giving its directional derivative:

    If [itex]v = \frac{d \mathcal{P}}{dt}[/itex], and [itex]a = \mathcal{P(0)}[/itex], then [itex]D_{v|a}[/itex] is that operator defined by:

    [itex]D_{v|a} f = \frac{d}{dt}|_{t=0} f(\mathcal{P}(t))[/itex]

    This is a generalization of the original definition, which assumed a simple form of [itex]\mathcal{P}(t)[/itex]: [itex]\mathcal{P}(t) = a + vt[/itex]. Adding a vector to a point doesn't make sense for an arbitrary smooth manifold, but you can still make sense of a parametrized path.

    Now, the problem with this generalization of the notion of a directional derivative is that it's not completely obvious that it forms a vector space. That is, if you have two directional derivatives: [itex]D_{v|a}[/itex] and [itex]D_{u|a}[/itex], can you always find a third directional derivative [itex]D_{w|a} = D_{u|a} + D_{v|a}[/itex]? You can, but it's not obvious. In contrast, the proof that derivations form a vector space is pretty trivial.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?
Draft saved Draft deleted