Change of basis- contravariant, covariant components of a vector.

In summary, covariance and contravariance refer to how the components of a vector (or tensor) change when transforming to a different coordinate system. Covariant components are the components of a vector that change in the same way as the coordinate axes when transforming to a new coordinate system. In other words, they "move" with the axes.Contravariant components, on the other hand, change in the opposite way as the coordinate axes when transforming to a new coordinate system. In other words, they "stay still" while the axes move.This concept is important in mathematics and physics, particularly in the study of tensors and coordinate systems.
  • #1
Newtons Balls
20
0

Homework Statement


Let e[tex]_{i}[/tex] with i=1,2 be an orthonormal basis in two-dimensional Euclidean space ie. the metric is g[tex]_{ij}[/tex] = [tex]\delta _{ij}[/tex]. In the this basis the vector v has contravariant components [tex]v^{i}[/tex] = (1,2). Consider the new basis
[tex]e_{1}^{'} = 5e_{1} - 2e_{2}[/tex]
[tex]e_{2}^{'} = 3e_{1} - e_{2}[/tex]

a)Calculate the contravariant components of v in the new basis

a)Calculate the components of the metric in the new basis

a)Calculate the covariant components of v in the new basis

The Attempt at a Solution


Just a quick intro- I have no textbooks on linear algebra just the accompanying textbook to the module this question is from, unfortunately it doesn't get into much detail at all on the linear algebra side of things (this is a special relativity course).

Nevertheless, what I'm thinking is this:
I believe for part a) you just multiply the new basis transformations things by the old vector so that you end up with a new vector with components (1,1)? I've no idea what the contravariance has to do with this... I've read the definition of contravariant and covariant components and it seems to be to do with the derivatives between the two bases...

As for the metric...hmm I'm less sure about this. I know a metric defined the distance between two points in a particular space, such as in Euclidean its the kronecker delta so that it results from pythag: [tex]ds^{2}=dx^{2}+dy^{2}...[/tex]. Fairly irrelevant anyway, my thinking is you express the metric as a 2x2 matrix (as its 2-d space) and then transform it using the given change of bases?
This would result in(I think):
( 5 3)
(-2 -1)

This is probably all wrong :p

And as for determining the covariantcomponents I haven't even got a clue ^_^

This is pretty much all wrong but I haven't really got any idea, all I can find in the book I have on this module is the definition of metric, contravariant and covariant components with respect to tensors.

Thanks :biggrin:
 
Physics news on Phys.org
  • #2
Newtons Balls said:

Homework Statement


Let e[tex]_{i}[/tex] with i=1,2 be an orthonormal basis in two-dimensional Euclidean space ie. the metric is g[tex]_{ij}[/tex] = [tex]\delta _{ij}[/tex]. In the this basis the vector v has contravariant components [tex]v^{i}[/tex] = (1,2). Consider the new basis
[tex]e_{1}^{'} = 5e_{1} - 2e_{2}[/tex]
[tex]e_{2}^{'} = 3e_{1} - e_{2}[/tex]

a)Calculate the contravariant components of v in the new basis

a)Calculate the components of the metric in the new basis

a)Calculate the covariant components of v in the new basis

The Attempt at a Solution


Just a quick intro- I have no textbooks on linear algebra just the accompanying textbook to the module this question is from, unfortunately it doesn't get into much detail at all on the linear algebra side of things (this is a special relativity course).

Nevertheless, what I'm thinking is this:
I believe for part a) you just multiply the new basis transformations things by the old vector so that you end up with a new vector with components (1,1)? I've no idea what the contravariance has to do with this... I've read the definition of contravariant and covariant components and it seems to be to do with the derivatives between the two bases...

As for the metric...hmm I'm less sure about this. I know a metric defined the distance between two points in a particular space, such as in Euclidean its the kronecker delta so that it results from pythag: [tex]ds^{2}=dx^{2}+dy^{2}...[/tex]. Fairly irrelevant anyway, my thinking is you express the metric as a 2x2 matrix (as its 2-d space) and then transform it using the given change of bases?
This would result in(I think):
( 5 3)
(-2 -1)

This is probably all wrong :p

And as for determining the covariantcomponents I haven't even got a clue ^_^

This is pretty much all wrong but I haven't really got any idea, all I can find in the book I have on this module is the definition of metric, contravariant and covariant components with respect to tensors.

Thanks :biggrin:
First, you don't need to worry about the distinction between "contravariant" and "covariant" components. In Euclidean space, or any space in which the coordinate axes are always orthogonal, they are the same. So just think "components".

You are given that [itex]v^{i}[/itex] = (1,2) and[itex]e_{1}^{'} = 5e_{1} - 2e_{2}[/itex] and [itex]e_{2}^{'} = 3e_{1} - e_{2}[/itex]. You need to solve [itex]a a_1'+ be_2'= e_1+ 2e_2[/itex]. that is, [itex]a(5e_1- 2e_2)+ b(3e_1- e_2)= e_1+ 2e_2[/itex] Multiplying that out and setting coefficients of [itex]e_1[/itex] and [itex]e_2[/itex] equal gives you two equations for a and b.


As for the metric, you can think of it as given by [itex]ds^2= dx^2+ dy^2= de_1^2+ de_2^2[/itex]. Solving the given equations for [itex]e_1[/itex] and [itex]e_2[/itex] as functions of [itex]e_1'[/itex] and [itex]e_2'[/itex], you get [itex]e_1= -e_1'+ 2e_2'[/itex] and [itex]e_2= -3e_1'+ 5e_2'[/itex]. Then [itex]de_1= -de_1'+ 2de_2'[/itex] so [itex]de_1^2= de_1'^2- 4de_1'de_2'+ 4de_2'^2[/itex] and [itex]d_2= -3de_1'+ 5de_2'[/itex] so [itex]de_2^2= 9de_1'^2- 30de_1'de_2'+ 25de_2'^2[/itex]. Adding those, [itex]ds^2= 10de_1'^2-34de_1'de_2'+ 29de_2'^2[/itex]. Since the metric tensor is always symmetric, it is
[tex]\left[\begin{array}{cc}10 & -17 \\ -17 & 29\end{array}\right][/tex].

Of course, you are close with looking at the transformation matrix. The transformation matrix, from [itex]e_i[/itex] to [itex]e_i'[/itex] is
[tex]\left[\begin{array}{cc}5 & -2 \\ 3 & -1\end{array}\right][/tex]
so the transformation matrix the other way is its inverse
[tex]\left[\begin{array}{cc}-1 & 2 \\ -3 & 5\end{array}\right][/tex]

Multiplying that by its adjoint gives
[tex]\left[\begin{array}{cc}-1 & -3 \\ 2 & 5\end{array}\right]\left[\begin{array}{cc}-1 & 2 \\ -3 & 5\end{array}\right]= \left[\begin{array}{cc}10 & -17 \\ -17 & 29\end{array}\right]
 
  • #3
hello HallsofIvy,

a question for you. What is this covariance and contravariance?
Is it about the components of the vector (tensor) or the basis vectors of the chosen coord system?
Can you give a layman explanation?
thanks
 

1. What is a change of basis in vector spaces?

A change of basis refers to the process of representing a vector in a different coordinate system. This can be done by expressing the components of the vector in terms of a new set of basis vectors.

2. What are contravariant components of a vector?

Contravariant components of a vector are the coefficients that represent the vector's direction and magnitude in a particular coordinate system. These components transform in the opposite way as the basis vectors when there is a change of basis.

3. What are covariant components of a vector?

Covariant components of a vector are the coefficients that represent the vector's direction and magnitude in a particular coordinate system. These components transform in the same way as the basis vectors when there is a change of basis.

4. Why do we need to use contravariant and covariant components in vector spaces?

Contravariant and covariant components allow us to express a vector in different coordinate systems and simplify calculations in more complex vector spaces. They also help us understand how vectors behave under transformations.

5. How do we convert between contravariant and covariant components?

To convert between contravariant and covariant components, we use the metric tensor, which is a mathematical tool that describes the relationship between different coordinate systems. The metric tensor allows us to find the components of a vector in a new coordinate system by multiplying the old components by the metric tensor.

Similar threads

  • Calculus and Beyond Homework Help
Replies
18
Views
2K
  • Calculus and Beyond Homework Help
Replies
2
Views
2K
Replies
24
Views
1K
  • General Math
Replies
5
Views
1K
  • Advanced Physics Homework Help
Replies
5
Views
2K
  • Calculus and Beyond Homework Help
2
Replies
58
Views
3K
Replies
22
Views
2K
  • Calculus and Beyond Homework Help
Replies
16
Views
1K
  • Calculus and Beyond Homework Help
Replies
1
Views
1K
  • Calculus and Beyond Homework Help
Replies
2
Views
1K
Back
Top