I am reading Sean Carrol's book on General Relativity, and I just finished reading the proof that the gradient is a covariant vector or a one-form, but I am having a difficult time visualizing this. I usually visualize gradients as vector fields while I visualize one-forms with level sets. How to visualize the gradient as a one-form?
Answer
If you're going to take that path, then maybe you should be thinking more of a level set density, i.e. how closely spaced the level sets in question are. Sean Carrol's book is not wonted to me: if you can get a copy of Misner Thorne and Wheeler, the first few pages do a good job of this idea with their quaint "bong" machine that sounds a "bong" bell each time a vector pierces a level set. If you can't get this readily, then the early part of Kip Thorne's lectures here is also good
Anyhow, suppose we are given a scalar field ϕ(→x) and the tangent space TxM to x∈M in some manifold M, and we imagine riding along a vector X∈TxM in the tangent space: how often would we pierce level sets of ϕ: in MTW's quaint and unforgettable words (and wonderful sketches), how often would our bell sound as we rode along the vector? It would be ∇ϕ⋅X (i.e. the directional derivative). Thus ∇ϕ is a dual vector to the vector space of tangent vectors. It is a linear functional TxM→R on the tangent space: it takes a vector X∈TxM as its input and spits out the directional derivative ∇ϕ⋅X.
No comments:
Post a Comment