Reading Weinberg's Gravitation and Cosmology, I came across the sentence (p.115, above equation (4.11.8))
The partial derivative operator ∂/∂xμ is a covariant vector, or in other words a 1-form, [...]
Now, a section of T∗M is called a covector field or a 1-form. Elements of T∗pM are called tangent covectors. In books about differential geometry I read that tangent COvectors are called covariant vectors. How do I have to understand the quote from Weinberg's book?
Answer
OP is formally correct that ∂∂xμ ∈ Γ(TM|U)
The partial derivative operator ∂/∂xμ is a covariant vector, or in other words a 1-form,[...]
is just that
The local basis of vector fields
∂∂xμ = ∂yν∂xμ∂∂yνtransforms in the same way as the components η(x)μ = ∂yν∂xμη(y)νof a 1-form/covector [or a covariant (0,1) tensor] η = η(x)μdxμ = η(y)νdyν
under a local coordinate transformation xμ → yν=yν(x).
The point is that the (traditional) physicist often thinks of a (r,s) tensor T = ∂∂xμ1⊗⋯⊗∂∂xμr Tμ1…μrν1…νs dxν1⊗⋯⊗dxνs
In conclusion, Ref. 1 is probably not the best textbook to learn differential geometry from. For instance, already in eq. (4.11.12) on the very next page 116 Weinberg claims that the fact that the exterior derivative squares to zero, d2=0,
is known as Poincare's Lemma.
This is definitely not correct, cf. Wikipedia: The identity d2=0 means that exact forms are closed, while Poincare's Lemma states that the opposite holds locally: closed forms are locally exact (except for zero-forms).
References:
- S. Weinberg, Gravitation and Cosmology, 1972.
No comments:
Post a Comment