Register to reply

Tangent vectors as derivations

by martin_blckrs
Tags: derivations, tangent, vectors
Share this thread:
martin_blckrs
#1
May9-09, 10:39 AM
P: 43
I've encountered a definition of the tangent vector via the notion of derivations on the manifold and I have some problems with it. I would actually like to show that every derivation can be expressed as a directional derivative, but I'm not ver successful in doing so.

I have this definition of the derivation:

A derivation X in the point p on the manifold M is a linear functional on [tex]C^{\infty}(M)[/tex] such that the Jacobi rule holds: [tex]X(fg) = X(f)g(p)+f(p)X(g)[/tex], where [tex]f,g \in C^{\infty}(M)[/tex]. (The tangent space in p is then the set of all derivations in p.)

Now we know that each directional derivative, i.e. each operator [tex]v_i\frac{\partial }{\partial x_i}[/tex] (in some local coordinates [tex]x_i[/tex]) is a derivation. Thus there is a map [tex]h: DD \rightarrow D [/tex] between the set of directional derivatives (DD) and the set of the derivations (D) and it is easy to see that this map is linear. Now I'd like to show that this map is bijective, i.e. that every derivation can be uniquely expressed by a directional derivative.

I'm able to show the injectivity of this map, by showing that the kernel of h is {0}. To do this, I take any directional derivative [tex]V=v_i\frac{\partial }{\partial x_i}[/tex] (in some coordinate chart U, with local coordinates [tex]x_i[/tex]) and plug in a function [tex]f_j=\chi x_j[/tex], where [tex]\chi[/tex] is a smooth bump function around the point p with support in the chart U. This gives us that all [tex]v_j=0[/tex] and thus V=0.

But how do I show surjectivity? Note that the the functions are defined globally on the whole manifold, not locally (i.e. not via germs). How can I do this?
Phys.Org News Partner Science news on Phys.org
What lit up the universe?
Sheepdogs use just two simple rules to round up large herds of sheep
Animals first flex their muscles
Hurkyl
#2
May9-09, 10:54 AM
Emeritus
Sci Advisor
PF Gold
Hurkyl's Avatar
P: 16,091
Note that the the functions are defined globally on the whole manifold, not locally (i.e. not via germs). How can I do this?
Well, you can use the usual approach -- solve the problem locally first, then collate the local solutions into a global one.
martin_blckrs
#3
May9-09, 12:25 PM
P: 43
Can you be more specific?

Hurkyl
#4
May9-09, 01:01 PM
Emeritus
Sci Advisor
PF Gold
Hurkyl's Avatar
P: 16,091
Tangent vectors as derivations

I'm not sure if I can without starting to do the problem for you!

You said that your problem is that things are defined globally, so you circumvent that by working locally: solve the problem on a coordinate chart rather than the whole manifold.

Now, typically one of three things happen:
(1) It's easy to assemble solutions on coordinate charts into a solution on the whole manifold.
(2) The fact that you can assemble solutions on coordinate charts into a solution on the whole manifold is a deep theorem.
(3) There is a homology group (or similar object) that tells you that cannot produce a solution on the whole manifold unless certain conditions are met.
martin_blckrs
#5
May9-09, 04:40 PM
P: 43
I'm not really sure what you mean by "solution".

I can prove the surjectivity in the R^n case. If I defined the derivation to be acting on the germs of [tex]C^{\infty}(M)[/tex] functions, I'd be done.

But since I defined the derivation to be defined on the whole [tex]C^{\infty}(M)[/tex], it's not clear to me, if this property will extend to the whole manifold (i.e. if it will still hold true if I take functions defined globally).

(also, the manifold isn't assumed to be paracompact)
Hurkyl
#6
May9-09, 06:55 PM
Emeritus
Sci Advisor
PF Gold
Hurkyl's Avatar
P: 16,091
Whoops, my bad, local-global isn't the general method you want to use, it's excision -- you want to prove that what happens away from P doesn't matter. Can't you use your bump function to show the values of your functions outside of your chart are irrelevant to the derivation?
zhentil
#7
May9-09, 07:37 PM
P: 491
You are acting on germs of [tex]C^{\infty}(M) [/tex] functions! Think of it this way: if two functions agree on a neighborhood of a point p, all derivatives (including the first one) of their difference vanish at p.
Hurkyl
#8
May9-09, 09:26 PM
Emeritus
Sci Advisor
PF Gold
Hurkyl's Avatar
P: 16,091
Quote Quote by zhentil View Post
You are acting on germs of [tex]C^{\infty}(M) [/tex] functions! Think of it this way: if two functions agree on a neighborhood of a point p, all derivatives (including the first one) of their difference vanish at p.
You're assuming that every derivation at p is a differential operator -- but that's essentially the very statement he is trying to prove!
zhentil
#9
May9-09, 10:33 PM
P: 491
I thought he figured out how to prove it otherwise. Never mind, here's a shot at it.

Fix a coordinate chart at p, and assume by restriction if necessary that the coordinate chart is a ball in R^n centered at 0. For x near p, we have

[tex] f(x)-f(0) = \int_0^1 \frac{d}{dt} f(tx) \text{ dt} = \int_0^1 \sum \frac{\partial f}{\partial x_i} (tx)(x_i) \text{ dt}
[/tex]

So if

[tex]f \in C^\infty(p), \text{ } f(x) = f(0) + \sum x_i g_i(x), \text{ where } g_i(0) = \frac{\partial f}{\partial x_i} (0)[/tex].

Since constants annihilate derivations, we have

[tex] D f(x) = D(f(0)) + \sum D[x_i g_i(x)] = 0 + \sum D(x_i) g_i(0) + \sum (0)D(g_i(x)) = \sum g_i(0)D(x_i) [/tex]

But that's a directional derivative, so we're done.
martin_blckrs
#10
May10-09, 03:43 AM
P: 43
Quote Quote by Hurkyl View Post
Whoops, my bad, local-global isn't the general method you want to use, it's excision -- you want to prove that what happens away from P doesn't matter. Can't you use your bump function to show the values of your functions outside of your chart are irrelevant to the derivation?
The problem is that I can only construct the bump functions locally in a coordinate chart. If I assumed the manifold to be paracompact, I could construct bump functions on the whole manifold, but I don't assume that.

Zhentil: My definition of derivation is not via germs of functions. The derivation acts on functions which are defined globally. Thus the proof for a coordinate chart is not sufficient.
Fredrik
#11
May10-09, 05:12 AM
Emeritus
Sci Advisor
PF Gold
Fredrik's Avatar
P: 9,383
The set of derivations at p has an obvious vector space structure, and the partial derivative operators at p clearly span a subspace of that vector space. The dimension of the subspace is the same as the dimension of the manifold. So if you can prove that the dimension of the tangent space at p (i.e. the vector space of derivations at p) isn't greater than the dimension of the manifold, you're done.
Hurkyl
#12
May10-09, 08:32 AM
Emeritus
Sci Advisor
PF Gold
Hurkyl's Avatar
P: 16,091
Quote Quote by martin_blckrs View Post
The problem is that I can only construct the bump functions locally in a coordinate chart. If I assumed the manifold to be paracompact, I could construct bump functions on the whole manifold, but I don't assume that.
The (sub)goal is to prove that points away from P don't matter -- therefore, you only need to use one bump function that vanishes outside of a neighborhood of P.

Or... (just checking) is the problem that you haven't realized you can take a bump function defined on your chart and turn it into a global function by defining it to be zero everywhere outside of your chart?


Register to reply

Related Discussions
Tangent vectors to a manifold Differential Geometry 32
Why are tangent vectors like this? Differential Geometry 4
Tangent spaces and derivations Differential Geometry 14
Tangent vectors Differential Geometry 21
Tangent vectors General Math 1