Covariant coordinates don't co-vary

In summary: That was easy!)In summary, the video discusses the slanted coordinate system and how to calculate norm and dot product. The attempt at a solution shows that the covariant and contravariant components of a vector do not always agree with each other. There is a contradiction between some definitions of covariant and contravariant components. The video provides a summary of how to calculate norm and dot product in Cartesian coordinates using the metric for the slanted coordinate system.
  • #1
George Keeling
Gold Member
173
41

Homework Statement


XYv.png

I am studying co- and contra- variant vectors and I found the video at youtube.com/watch?v=8vBfTyBPu-4 very useful. It discusses the slanted coordinate system above where the X, Y axes are at an angle of α. One can get the components of v either by dropping perpendiculars to the axes (vi) or by dropping a line parallel to the other axis (vi). These give correct results for the norm vivi and the dot product vi wi. (I have not shown w). So the vi are called contravariant and the vi are called covariant. According to the video Dirac thought this was a great example.

But both vi and vi contra-vary with a change of scale of the basis vectors. This contradicts some definitions of contravariant and covariant components, e.g. this one on Wikipedia. These definitions say that covariant components co-vary with a change of scale.

Is there a simple resolution to this apparent contradiction?

Homework Equations


Norm and dot product were calculated by expressing vi and vi in Cartesian coordinates. Quite a lot of equations! Along the way we found the metric for the slanted coordinate system.

The Attempt at a Solution


We can demonstrate the problem by drawing basis vectors on the diagram and then another set double their size.
 

Attachments

  • XYv.png
    XYv.png
    4.3 KB · Views: 1,620
  • Like
Likes JD_PM
Physics news on Phys.org
  • #2
The covariant and contravariant components belong to different basis vectors.
 
  • Like
Likes JD_PM, George Keeling and Cryo
  • #3
Why not think about vectors in terms of partial derivatives? You have space, which you can label with some coordinates ##\left\{x^{(1)}, x^{(2)}, \dots\right\}##. Imagine there is a differentiable, scalar function ##f=f\left(x^{(1)}, x^{(2)}, \dots\right)## defined everywhere in space. Consider the difference of the value of function between two closely-spaces points

##df=f\left(x^{(1)}+a^{1},\dots\right)-f\left(x^{(1)},\dots\right)##, where ##a^{\dots}\to 0##

Keeping only first order terms the result is:

##df=a^i \partial_i f + \mathcal{O}\left(a^2\right)##

Clearly the difference ##df## will not depend on the coorinate system. You can compute how the partial derivatives ##\partial_i f=\frac{\partial f}{\partial x^{(i)}}## change when you change the coordinates. It follows that ##a^i## must change in the 'opposite' way, to ensure invariance of ##df##: that's your contra-variant vector. The rules for changing the co-variant vectors, i.e. ##w_i##, follow from the fact that ##w_i a^i = scalar##, since ##w_i## is a linear functional over the vector space of contra-variant vectors, i.e. by definition ##w_i a^i = scalar##
 
  • Like
Likes JD_PM and George Keeling
  • #4
Thank you Orodruin. Cryo is a bit harder. Following Orodruin I immediately saw that I needed smaller covariant basis vectors which I call ex, ey. I realize that the up/down position of the indices is debatable. Now I have a new diagram showing a few of the basis vectors.
XYv2.png

To get v with the covariant coordinates we must have
v = vxex + vyey . . . . . . . (1)​
I have drawn them in on the diagram and ex is clearly smaller than ex, which I have conveniently drawn so that vx = 1. We must also have
vxex = vxex . . . . . . . (2)​
and similarly
vyey = vyey . . . . . . . (3)​
which give us
v = vxex + vyey . . . . . . . (4)​
which is as it should be.
(3) gives us
vy = ey(ey)-1vy . . . . . . . (5)​
where (ey)-1 is the inverse of ey: or ey(ey)-1 = 1.
(5) shows us that vy does indeed vary with ey with a strange constant of proportionality (ey)-1vy.

PS Is there a way to do hard spaces in BB Code? I couldn't see anything in https://www.physicsforums.com/help/bb-codes.
 

Attachments

  • XYv2.png
    XYv2.png
    6.3 KB · Views: 939
Last edited:
  • #5
Your diagram is not correct. Generally the dual basis is not parallel to the tangent basis (it is orthogonal to the coordinate surfaces, not tangent to the coordinate lines).
 
  • Like
Likes George Keeling
  • #6
Orodruin:
Is it true, like contravariants, that for covariant bases / coordinates

v = vxex + vyey
 
  • #7
A vector can be written in terms of any basis with the corresponding components. When you have a coordinate system with coordinate functions ##x^a## you can introduce the tangent basis ##\vec e_a = \partial \vec x/\partial x^a## and the dual basis ##\vec e^a = \nabla x^a##, respectively. The contravariant components by definition are those components that express a vector in the tangent basis and the covariant components by definition are those that express a vector in the dual basis.

You can write ##\vec v = v^a \vec e_a## or ##\vec v = v_a \vec e^a##, but generally this is not the same as ##v_a\vec e_a##, which does not make sense because you are then creating a vector that has the same contravariant components as the covariant components of ##\vec v## in this particular coordinate system.
 
  • Like
Likes JD_PM, vanhees71 and George Keeling
  • #8
I did say
George Keeling said:
covariant basis vectors which I call ex, ey. I realize that the up/down position of the indices is debatable.
. In that context the answer to my question
George Keeling said:
v = vxex + vyey
is yes because (positioning indices less debatably)
Orodruin said:
##\vec v = v_a \vec e^a##
.
Now that I have learned that ##\vec e^a = \nabla x^a##, it should be easy to make progress. (Famous last words)
 
  • #9
I think the other contributors already explained the significance of derivatives when talking about vectors on manifolds, which is what you are doing. I will just add one more thing about the dual space.

As I said in my earlier post one can introduce the space of contra-variant vectors ##v^i## through partial derivatives. What was confusing for me, when I was learning, is how to think about the dual space, i.e. ##v_i##. Sometimes people say that if ##v^i## is a vector then ##v_i## is like a surface through which this vector (field) ##v^i## flows. I do not quite like this (e.g. see Bachman "Geometric approach to differential forms" -> Sec. 5.7 "How not to visualize a differential 1-from"). What I have come to realize is that the best way to think about dual space is as functionals - which is the normal way do define it (e.g. Halmos "Finite-dimensional vector spaces").

I.e. you define your contra-variant vector space ##V## whichever way you like (as long as it makes sense). Then the dual space is a space ##V^*## of linear functions ##\mathbf{f}: V \to \mathbb{R}## (or ##\mathbb{C}##), i. e. if ##\mathbf{v}, \mathbf{w} \in V##, ##\alpha, \beta \in \mathbb{R}## (or ##\mathbb{C}##) and ##\mathbf{f} \in V^*## then:

##\mathbf{f}\left(\alpha\mathbf{v} + \beta\mathbf{w}\right) = \alpha \mathbf{f}\left(\mathbf{v} \right) + \beta \mathbf{f}\left(\mathbf{w} \right) = real\, number## (or ##complex\, number##)

This may be a weird way of looking at it, but it makes it plainly obvious that the dual space ##V^*## is different from ##V##. How do you square this with the conventional notions? Let's say your basis for (finite-dimensional) ##V## is ##\mathbf{e}_i##, i.e. ##\mathbf{v} \in V \implies \mathbf{v}=v^i\mathbf{e}_i##. Then you could introduce a basis-set of functionals ##\mathbf{q}^i: V\to \mathbb{R}## such that:

##\mathbf{q}^i \left(\mathbf{e}_j\right) = \delta^i_j =
\begin{cases}
1, & \text{if $i=j$}.\\
0, & \text{otherwise}.
\end{cases}
##

Then any member of dual space ##\mathbf{f} \in V^*## is given by ##\mathbf{f}=f_i \mathbf{q}^i##, and:

##f_i v^i = \mathbf{f}\left(\mathbf{v}\right) = f_i v^j \mathbf{q}^i \left(\mathbf{e}_j\right) = f_i v^j \delta^i_j##
 
Last edited:
  • Like
Likes George Keeling
  • #10
Thinking of dual space as of space of linear functions also explains why co-variant vectors must co-vary, since ##\mathbf{f}\left(\mathbf{v}\right)=scalar## is a statement that does not depend on coordinates, so that ##scalar## has to be the same irrespective of the coordinte system and basis sets used to span the vector and dual vector spaces.
 
  • #11
Following Orodruin's great tip
Orodruin said:
##ê^j = \nabla x^j##
(I am using ^ instead of → over basis vectors, after Sean Carroll.) Since I already knew the inverse metric of the skewed system, it was easy to calculate that
$$ ê^1=\hat x - \frac { \hat y } {\tan \alpha} \\
{\rm and} \phantom {10000000000000000000000000000000000000000000000000000000000}\\
ê^2=\frac { \hat y } {\sin \alpha} $$ where ##\hat x, \hat y## are the Cartesian basis vectors. In can now redraw my diagram (##x=1,y=2##)
XYv.png

##ê^x## is ##\pi / 2 - \alpha## below the Cartesian X axis. Therefore the angle between ##ê_y## and ##ê^x## is a right angle, and the projected line from ##v_y## is parallel to ##ê^x## as I should have known and Orodruin intimated when he wrote in #5 "the dual basis is ... orthogonal to the coordinate surfaces, not tangent to the coordinate lines". Likewise ##ê^y## is parallel to the projected line from ##v_x## and always on the Cartesian Y axis. In addition ##|ê^i |>|ê_i |##.

All this did not answer my original question that "both ##v^i## and ##v_i## contra-vary with a change of scale of the basis vectors". I had to use the pullback operator to find the metric of the primed system and then showed that if ##ê'_x=aê_x## and ##ê'_y=bê_y## (##a=2## in the diagram above) then
$$v'_x=a^2v'^x+abv'^y \cos \alpha\\
{\rm and} \phantom {10000000000000000000000000000000000000000000000000000000000}\\
v'_y=b^2v'^y+abv'^x \cos \alpha$$ Which does answer the question - the transformed covariant coordinates do covary with the contravariant basis vectors.

I have obviously left out quite a bit of detail. It is elsewhere. Thanks Dirac and PF and please like this post if I am correct.
 

Attachments

  • XYv.png
    XYv.png
    8.4 KB · Views: 864
Last edited:
  • #12
George Keeling said:

Homework Statement


View attachment 233849
I am studying co- and contra- variant vectors and I found the video at youtube.com/watch?v=8vBfTyBPu-4 very useful. It discusses the slanted coordinate system above where the X, Y axes are at an angle of α. One can get the components of v either by dropping perpendiculars to the axes (vi) or by dropping a line parallel to the other axis (vi). These give correct results for the norm vivi and the dot product vi wi. (I have not shown w). So the vi are called contravariant and the vi are called covariant. According laser to the video Dirac thought this was a great example.

But both vi and vi contra-vary with a change of scale of the basis vectors. This contradicts some definitions of contravariant and covariant components, e.g. this one on Wikipedia. These definitions say that covariant components co-vary with a change of scale.

Is there a simple resolution to this apparent contradiction?

Homework Equations


Norm and dot product were calculated by expressing vi and vi in Cartesian coordinates. Quite a lot of equations! Along the way we found the metric for the slanted coordinate system.

The Attempt at a Solution


We can demonstrate the problem by drawing basis vectors on the diagram and then another set double their size.
About the video you posted i have a question guys wouldn't the metric tensor need to be multiplied by 3 differentials since we're in 3-space? It seems like it would need dx dy dz. Can the metric tensor manipulate only dx and dy to move through 3-space? Not sure I understand.
 
  • #13
Welcome to Physics Forums aradii!
I re-watched that video but only part 1. The first five minutes are about any number of dimensions and we saw things like the metric equation ##ds^2=g_{ij}dx^idy^j## which is using the Einstein summation convention and ##i,j## run from ##0...(n-1)## or ##1...n## where ##n## is the number of dimensions. In the second half it is only talking about two dimensions, (Euclidean or oblique). In that case in Euclidean ##dx^1=dx , dx^2=dy## and there is no ##dx^3## which would have been ##dz##. The metric equation in full is$$
ds^2=g_{11}dxdx+g_{12}dxdy +g_{21}dydx +g_{22}dydy
$$Also the metric is always symmetric so ##g_{12}=g_{21}##
Hope that helps!
 
  • Like
Likes aradii
  • #14
aradii said:
About the video you posted i have a question guys wouldn't the metric tensor need to be multiplied by 3 differentials since we're in 3-space? It seems like it would need dx dy dz. Can the metric tensor manipulate only dx and dy to move through 3-space? Not sure I understand.
As described in #13, the metric is a type (0,2) tensor. It takes two tangent vectors and map them to a number (that we typically call the "inner product" between those vectors). In essence, this is why there are two ##dx^\mu## in the definition of the metric (although really it should be ##g = g_{\mu\nu} dx^\mu \otimes dx^\nu##, we physicists are often a bit sloppy with notation. What you seem to be thinking about is more akin to the volume form, which in an ##N##-dimensional metric space is an ##N##-form generally given by ##\eta = \sqrt{|g|} dx^1 \wedge \ldots \wedge dx^N##, where ##|g|## is the metric determinant. The metric ##g## describes the geometry of the space (in terms of lengths and angles between two vectors, which it has two ##dx##s) while the volume form ##\eta## describes volume elements and the volume spanned by ##N## vectors, which is why it has ##N## ##dx##s.
 
  • Like
Likes JD_PM, aradii and vanhees71

What does it mean when "covariant coordinates don't co-vary"?

When we say that covariant coordinates don't co-vary, we are referring to the fact that certain mathematical objects, such as tensors, do not transform in the same way under coordinate transformations as the coordinates themselves. This can lead to discrepancies and inconsistencies in mathematical equations.

Why is it important to understand the concept of "covariant coordinates don't co-vary"?

Understanding the limitations of covariant coordinates is crucial in many areas of science, particularly in physics and engineering. It can affect the accuracy and reliability of mathematical models and predictions, and can also lead to errors in experimental data analysis.

What are some common examples of "covariant coordinates don't co-vary" in science?

One example is in general relativity, where the metric tensor does not co-vary with the coordinates, leading to the phenomenon of curved space-time. Another example is in fluid dynamics, where the Navier-Stokes equations do not co-vary with the coordinate system, resulting in different solutions for different coordinate systems.

Can "covariant coordinates don't co-vary" be overcome or corrected?

While it is not possible to completely eliminate the issue of covariant coordinates not co-varying, there are mathematical techniques that can be used to minimize its effects. This includes using alternative coordinate systems or incorporating correction terms into equations.

Are there any real-world applications of "covariant coordinates don't co-vary"?

Yes, understanding the concept of covariant coordinates not co-varying is essential in many practical applications, such as in GPS technology, where the Earth's curved surface must be taken into account when calculating positions and distances on a flat map. It is also important in computer graphics and image processing, where transformations between different coordinate systems are used to manipulate and render images.

Similar threads

Replies
24
Views
1K
  • Advanced Physics Homework Help
Replies
31
Views
4K
  • General Math
Replies
5
Views
1K
Replies
22
Views
2K
Replies
11
Views
4K
  • Advanced Physics Homework Help
Replies
5
Views
4K
  • Calculus and Beyond Homework Help
Replies
18
Views
2K
  • Special and General Relativity
Replies
8
Views
1K
  • Special and General Relativity
Replies
3
Views
914
  • Special and General Relativity
Replies
2
Views
783
Back
Top