Thursday, 29 June 2017

differential geometry - Is partial derivative a vector or dual vector?


The textbook(Introduction to the Classical Theory of Particles and Fields, by Boris Kosyakov) defines a hypersurface by F(x) = c,

where FC[M4,R]. Differentiating gives dF = (μF)dxμ = 0.
The text then says dxμ is a covector and μF a vector. I learnt from another book that dxμ are 4 dual vectors(in Minkowski space), μ indexes dual vector themselves, not components of a single dual vector. So I think μF should also be 4 vectors, each being the directional derivative along a coordinate axis. But this book later states that (μF)dxμ=0 describes a hyperplane Σ with normal μF spanned by vectors dxμ, and calls Σ a tangent plane (page 33-34). This time, it seems to treat μF as a single vector and dxμ as vectors. But I think dxμ should span a cotangent space.


I need some help to clarify these things.


[edit by Ben Crowell] The following appears to be the text the question refers to, from Appendix A (which Amazon let me see through its peephole):




Elie Cartan proposed to use differential coordinates dxi as a convenient basis of 1-forms. The differentials dxi transform like covectors [...] Furthermore, when used in the directional derivative dxiF/xi, dxi may be viewed as a linear functional which takes real values on vectors F/xi. The line elements dxi are called [...] 1-forms.





No comments:

Post a Comment

Understanding Stagnation point in pitot fluid

What is stagnation point in fluid mechanics. At the open end of the pitot tube the velocity of the fluid becomes zero.But that should result...