Friday, September 21, 2018

general relativity - Covariant and contravariant vectors


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 TM is called a covector field or a 1-form. Elements of TpM 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)

is a vector field (defined in a local coordinate neighborhood U), and not a one-form. What Weinberg simply means by casually saying that



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μ1xμr Tμ1μrν1νs dxν1dxνs

merely in terms of its components Tμ1μrν1νs, and in particular, the transformation property thereof under local coordinate transformations. Local basis elements, such as, e.g., xμ and dxν are often viewed as merely bookkeeping devices.


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:



  1. S. Weinberg, Gravitation and Cosmology, 1972.


No comments:

Post a Comment

classical mechanics - Moment of a force about a given axis (Torque) - Scalar or vectorial?

I am studying Statics and saw that: The moment of a force about a given axis (or Torque) is defined by the equation: $M_X = (\vec r \times \...