- #1

- 306

- 1

Kevin

- Thread starter homology
- Start date

- #1

- 306

- 1

Kevin

- #2

HallsofIvy

Science Advisor

Homework Helper

- 41,833

- 956

- #3

Hurkyl

Staff Emeritus

Science Advisor

Gold Member

- 14,916

- 19

This particular definition has the advantage of being constructive: it's built out of concepts you already understand.

It also has the advantage of being directly related to the concept it's trying to capture: tangent vector, by this definition, is precisely the class of things that are going in the "same direction" at that point.

Of course, in the end, it doesn't really matter if you choose to use this definition, or some other equivalent definition. It's the properties that tangent vectors have that matters.

- #4

- 306

- 1

Let's see if I can word my question better. So at some point p in your manifold, why not let the tangent space be the collection of all linear combinations of derivatives of curves passing through p (and evaluated at p)? I realize that this is just one definition (I like the derivation definition better), but I'm just not sure why we bother to form equivalence classes. However, I'm sure that there's a good reason, something fairly obvious most likely.

Thanks for your patience,

Kevin

- #5

Hurkyl

Staff Emeritus

Science Advisor

Gold Member

- 14,916

- 19

(Tangent space has a more obvious definition when we're dealing with a vector space, so I'll assume we don't need to define that)

- #6

- 306

- 1

Well I don't see any reason to bring R^n into the discussion yet.

- #7

Hurkyl

Staff Emeritus

Science Advisor

Gold Member

- 14,916

- 19

Then how do you give meaning to the phrase "derivative of a curve"?

- #8

- 306

- 1

- #9

HallsofIvy

Science Advisor

Homework Helper

- 41,833

- 956

- #10

Hurkyl

Staff Emeritus

Science Advisor

Gold Member

- 14,916

- 19

You've defined "the tangent space at the point P in the coordinate chart A".

But that's not good enough, because now you'll have to carry the baggage of coordinates around with you wherever you go, which is a bad thing.

So now, how do you plan to proceed to get a definition of "the tangent space at the point P"?

- #11

- 306

- 1

So, let's see what I've learned. a point p in a manifold sits in all kinds of coordinate chart domains. And the images of those domains don't necessarily intersect in R^n. So when we define the tangent vector of a path g, at p, then we'll get different vectors (in R^n) depending on which chart we use. This of course sucks, because the tangent of a curve at a point ought to be independent of the coordinates. Okay, so two curves (at p) are equivalent (make the same tangent vector in T_pM) if their images have the same tangent vector in R^n under some chart.

So two curves, h and g at p are equivalent if there is some chart x, such that the derivative of x(g) = x(h) at some p.

Is that okay?

Again, thanks,

Kevin

- #12

Hurkyl

Staff Emeritus

Science Advisor

Gold Member

- 14,916

- 19

I remember when I first saw that definition, I thought to myself "I don't like that definition. I'll work out my own"... then once I started getting happy with my definition, I realized that I had essentially just replicated that definition.

Incidentally, you could carry your approach further:

You could look at all of the (x, v) pairs where x is a coordinate chart and v is a tangent vector at p in x. You could then say (x, v) ~ (y, w) iff the change of coordinate map from x to y would map v to w. Then, you could take**these** equivalence classes, and define **that** to be the tangent space at P.

You'd still have to prove this is an equivalence relation, but the work is roughly equivalent to proving that the usual definition is well-defined.

In summary, you could let the tangent vector v be the set of pairs of coordinate charts with v's coordinate representation, instead of letting v be the set of curves to which its tangent.

I just cracked open Spivak's__Differential Geometry__ and skimmed the section on the tangent bundle.

He starts by defining, for R^n (and its subspaces), the tangent space at a point p.

He then defines the notion of a__vector bundle__.

He then states a theorem asserting the existance of a vector bundle with special properties (which we call the tangent bundle). The proof he uses is basically:

(1) Use the above idea to construct the tangent spaces at points p. (and**not** using an equivalence class of curves)

(2) Assemble all of the tangent spaces into the tangent bundle.

(3) Prove that it really is a vector bundle satisfying the special properties.

However, once he's done this, he then goes on to mention the equivalence classes of curves definition, asserting that it is "really the same" to the tangent bundle. He gives another construction as well.

P.S. it does sound to me like you've got the equivalence classes of curves definition. Just don't forget someone needs to prove that definition is independent of the choice of charts!

Incidentally, you could carry your approach further:

You could look at all of the (x, v) pairs where x is a coordinate chart and v is a tangent vector at p in x. You could then say (x, v) ~ (y, w) iff the change of coordinate map from x to y would map v to w. Then, you could take

You'd still have to prove this is an equivalence relation, but the work is roughly equivalent to proving that the usual definition is well-defined.

In summary, you could let the tangent vector v be the set of pairs of coordinate charts with v's coordinate representation, instead of letting v be the set of curves to which its tangent.

I just cracked open Spivak's

He starts by defining, for R^n (and its subspaces), the tangent space at a point p.

He then defines the notion of a

He then states a theorem asserting the existance of a vector bundle with special properties (which we call the tangent bundle). The proof he uses is basically:

(1) Use the above idea to construct the tangent spaces at points p. (and

(2) Assemble all of the tangent spaces into the tangent bundle.

(3) Prove that it really is a vector bundle satisfying the special properties.

However, once he's done this, he then goes on to mention the equivalence classes of curves definition, asserting that it is "really the same" to the tangent bundle. He gives another construction as well.

P.S. it does sound to me like you've got the equivalence classes of curves definition. Just don't forget someone needs to prove that definition is independent of the choice of charts!

Last edited:

- #13

George Jones

Staff Emeritus

Science Advisor

Gold Member

- 7,393

- 1,022

"In particular, I have laid considerable stress on the basic ideas of 'tangent space structure', which I develop from several different points of view: some geometric, some more algebraic. My experience in teaching this subject for a number of years is that a firm understanding of the various way of describing tangent spaces is the key to attaining a grasp of differential geometry that goes beyond just a superficial aquiescence in the jargon of the subject."

Isham decribes tangent vectors as both as equivalence classes of curves, and as derivations. He shows that the equivalence class definition gives a nice conceptual picture of a push-forward ("linearization") of a map between manifolds.

Regards,

George

- #14

- 255

- 0

that's a very nice quote. I would daresay that it applies to virtually every mathematical idea. A key to understanding any mathematical discipline is to be able to non-trivially describe any of its components in more than one way.George Jones said:Here's what Chris Isham has to say in the preface of his very nice book Modern Differential Geometry for Physicists:

"In particular, I have laid considerable stress on the basic ideas of 'tangent space structure', which I develop from several different points of view: some geometric, some more algebraic. My experience in teaching this subject for a number of years is that a firm understanding of the various way of describing tangent spaces is the key to attaining a grasp of differential geometry that goes beyond just a superficial aquiescence in the jargon of the subject."

- #15

- 306

- 1

So I'm stuck on transitivity. Clearly our relation is reflexive and symmetric. But let's say we have three paths, a, b, c and in our manifold M. and that

a ~b and b~c

So there exists a chart x such that the tangent of a and the tangent of b are equal under x and there exists a chart y such that the tangents of b and c are equal under y.

Now I suspect I may be making this too hard, but I can't see how to get a chart for a to be equivalent to c. I've stuck in x^-1 composite x and played with the change of coordinates diffeo and play with chain rule, but I end up some derivative stuff I can't get rid of. Any ideas?

Thanks,

Kevin

- #16

George Jones

Staff Emeritus

Science Advisor

Gold Member

- 7,393

- 1,022

The definition of tangency at p of 2 curves is chart-independent. Pick a chart that has p in its domain and use this for all 3 curves.

Regards,

George

- #17

- 306

- 1

- #18

George Jones

Staff Emeritus

Science Advisor

Gold Member

- 7,393

- 1,022

If a is tangent to b in one chart, a is tangent to b in all charts.

To show ((a tangent to b) and (b tangent to c)) implies (a tangent to c),

it suffices to show that this statement is true in one chart.

Maybe the definitiion of tangency is the thing that's giving you problems.

Regards,

George

- #19

Hurkyl

Staff Emeritus

Science Advisor

Gold Member

- 14,916

- 19

I assume you meant to compose y with x^-1! I'd like to suggest simply calling the functionI've stuck in x^-1 composite x and played with the change of coordinates diffeo and play with chain rule, but I end up some derivative stuff I can't get rid of. Any ideas?

- #20

- 306

- 1

Okay so let p be a point in a manifold M and let **a**, **b**, and **c** be paths in M. Now suppose that **a**~**b** and that **b**~**c**.

Then we know that there exists charts*x* and *y* such that:

(I'm going to use @ as composition)

(1) d(*x*@**a**)/dt = d(*x*@**b**)/dt

(2) d(*y*@**b**)/dt = d(*y*@**c**)/dt

I would like to find a chart*z*, such that

(3) d(*z*@**a**)dt = d(*z*@**c**)/dt

Well one thing I thought of doing is to put*x^-1@x* into the RHS of (2) to get

(4) d{(*y*@*x^-1*)@(*x*@**b**)/dt

You're right Hurkyl we could just call*y@x-1* *f*, its nice and differentiable. So we'd have

(5) d{*f*@(*x*@**b**)}/dt

So carrying out this differentiation,*f* maps **R**^n to **R**^n, and *x*@**b** maps **R** to **R**^n so we if we let **J***f* be the jacobian of *f* we have, upon rewriting (2)

(6)** J***f*(d(*x*@**b**)/dt = d(*y*@**c**)/dt

Now using (1), we have

(7)**J***f*(d(*x*@**a**)/dt = d(*y*@**c**)/dt

Now at this point, its probably my weak calc.3. This jacobian is an isomorphism (because*f* is diffeo) from the tangent space at *x*(p) to the tangent space at *y*(p), and...I want to say that the Jacobian takes tangents of curves to tangents of image curves, but that fact may rely on what I'm trying to prove. I'm going to work on that aspect for a bit. This is what I have so far. Thanks for your help.

Kevin

Then we know that there exists charts

(I'm going to use @ as composition)

(1) d(

(2) d(

I would like to find a chart

(3) d(

Well one thing I thought of doing is to put

(4) d{(

You're right Hurkyl we could just call

(5) d{

So carrying out this differentiation,

(6)

Now using (1), we have

(7)

Now at this point, its probably my weak calc.3. This jacobian is an isomorphism (because

Kevin

Last edited:

- #21

George Jones

Staff Emeritus

Science Advisor

Gold Member

- 7,393

- 1,022

To simplify notation, let x: U -> R^n and y: U -> R^n be 2 charts with common domains, and suppose p in U. If the domains aren't common, assume p is in the intersection of the domains. Let and b be curves with a(0) = b(0) = p. Define f = x o a and g = x o b, so these are maps from a subset of R in R^n. a and b are tangent at p iff f'(0) = g'(0). Note also that f(0) = g(0).

Now assume a and b are tangent with respect to the chart x. Show that this implies that they are tangent with respect to the chart y. Using Hurkyl's nice notation, define F = y o x^(-1), so that F maps a subset of R^n into a subset of R^n. Define the y representation of the the curves a and b by (not an element of U!) u = y o a and v = y o b that both map a subset of R into R^n.

Note that u = F o f and v = F o g. By the advanced calculus version of the chain rule, u'(0) = F'(f(0)) o f'(0) and v'(0) = F'(g(0)) o g'(0). Since f(0) = g(0) and f'(0) = g'(0), u'(0) = v'(0).

Therefore, the definition of tangency is chart-independent. Therefore it suffices to show that transititivity holds in a single chart, which really just comes down to the fact that the "equals" relation is transitive.

Regards,

George

- #22

mathwonk

Science Advisor

Homework Helper

- 11,058

- 1,246

these operators can be axiomatized as derivations on the algebra of local functions near the point.

then one shows that all such derivation operators do arise from differentiation along curves through the point.

this definition does not even use the charts, although verification of its properties does.

this definition then generalizes to the algebraic setting as the "zariski tangent space" to an algebraic variety, and also to objects which are not manifolds.

- Last Post

- Replies
- 1

- Views
- 2K

- Last Post

- Replies
- 11

- Views
- 4K

- Last Post

- Replies
- 32

- Views
- 9K

- Replies
- 13

- Views
- 6K

- Last Post

- Replies
- 9

- Views
- 4K

- Last Post

- Replies
- 2

- Views
- 2K

- Last Post

- Replies
- 9

- Views
- 1K

- Last Post

- Replies
- 4

- Views
- 2K

- Replies
- 4

- Views
- 2K

- Replies
- 6

- Views
- 1K