quick question about interpretation of contravariant and covariant componentsby enfield Tags: components, contravariant, covariant, interpretation 

#1
Apr912, 05:23 PM

P: 22

Can the covariant components of a vector, v, be thought of as v multiplied by a matrix of linearly independent vectors that span the vector space, and the contravariant components of the same vector, v, the vector v multiplied by the *inverse* of that same matrix?
thinking about it like that makes it easy to see why the covariant and contravariant components are equal when the basis is the normalized mutually orthogonal one, for example, because then the matrix is just the identity one, which is its own inverse. that's what the definitions i read seem to imply. Thanks! 



#2
Apr1012, 04:42 AM

P: 4,570

At first I didn't get what you were getting at but I think I do now. The way I interpret what you said is to think about the metric tensor and its conjugate. The metric tensor written in g^{ij} vs g_{ij} represents the metric from A to B vs B to A and in this context if we look at covariant vs contravariant then under this interpretation all we are doing is from A to B in one and from B to A in another. But then I tried to think about the situation when you have a mixed tensor. In the metric situation it makes sense like you have alluded to with matrices but for the mixed tensor, my guess if all tensors are multilinear objects, then they should have a matrix expansion through finding the tensor product decomposition and then subsequently getting the matrix form of the multilinear representation which like other matrices, has a basis and if invertible has an inverse map. I'd be interested to hear your reply on this if you don't mind. 



#3
Apr1012, 08:58 PM

P: 22

thanks for the thoughtful response!
okay, i hadn't read about tensors yet when i posted this  just the definitions of contra and covariant vector components. now i have a bit though. As I understand them, the contra and covariant components of a vector can be defined in many ways (as the result of multiplying any invertible matrix with the right dimensions by the vector). But with tensors, the matrix that is used to define the components is exclusively the Jacobian. this pdf has an accessible section near the start on "Jacobian matrices and metric tensors": http://medlem.spray.se/gorgelo/tensors.pdf. So using the Jacobian to define them you might have [tex] A_v = Jv [/tex] and [tex] B_v=J^{1}v [/tex] (A would be the covariant components of v here i think because they covary with the Jacobian), and then the the metric tensor could be interpreted as J^2 or the inverse of that, depending on which way you were relating the components, which is obviously the matrix that would relate A and B to each other. 



#4
Apr1112, 07:53 AM

Math
Emeritus
Sci Advisor
Thanks
PF Gold
P: 38,904

quick question about interpretation of contravariant and covariant components
Yes, if your coordinate system has perpendicular straight lines as coordinate lines "covariant" and "contravariant" components are the same.
Another way of looking at is is this. To identify a point in a coordinate system, we can drop perpendiculars from the point to each of the coordiate axes, then measure the distance from the foot of the perpendicular to the origin. Another way is, again, drop perpendiculars from the point to each of the coordinate axes and this time measure the distance, along that perpendicular, from the point to the foot of the perpendicular. As long as the coordinate axes are perpendicular straight lines, those are the same. But other wise, the first gives the "contravariant components" and the second the "covariant components". 


Register to reply 
Related Discussions  
quick, simple question about contraviant and covariant components  Special & General Relativity  1  
Contravariant vs Covariant components  misprint?  Linear & Abstract Algebra  1  
Covariant and contravariant components  Advanced Physics Homework  2  
contravariant components to covariant  Advanced Physics Homework  1  
Change of basis contravariant, covariant components of a vector.  Calculus & Beyond Homework  2 