The textbook(Introduction to the Classical Theory of Particles and Fields, by Boris Kosyakov) defines a hypersurface by F(x) = c, where F∈C∞[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 dxi∂F/∂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