Is B^{ij}_i a Contravariant Vector?

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
2 replies · 2K views
cristina89
Messages
29
Reaction score
0

Homework Statement


B is a third order tensor. Show that [itex]B^{ij}_{i}[/itex] is a contravariant vector.

The Attempt at a Solution


Well... I just thought about a simple solution but I don't think I'm right. But anyways.
Considering [itex]B^{ij}_{i}[/itex]. If I raise the index i: [itex]g^{ij}B^{ij}_{i} = B^{ijj}[/itex]
And so I can say that B is a first order tensor = vector. And this is a contravariant vector.
Is this right?
 
Physics news on Phys.org


cristina89 said:

Homework Statement


B is a third order tensor. Show that [itex]B^{ij}_{i}[/itex] is a contravariant vector.

The Attempt at a Solution


Well... I just thought about a simple solution but I don't think I'm right. But anyways.
Considering [itex]B^{ij}_{i}[/itex]. If I raise the index i: [itex]g^{ij}B^{ij}_{i} = B^{ijj}[/itex]
You can't have the same index three times! Also, using the "summation convention" you sum over one "upper" and one "lower" index so even if you wrote [itex]g^{kj}B^{ij}_k[/itex], you would not be summing. Perhaps what you mean is [itex]g^k_jB^{ij}_k= B^i[/itex]

And so I can say that B is a first order tensor = vector. And this is a contravariant vector.
Is this right?
Well, what is the definition of a contravariant vector? Can you show that this satisfies that definition? Remember that it is NOT enough just to show that something can be written with a single index- you can write an array, in a given coordinate system, indexed with a single index- that does not make it a "vector". A vector must change coordinates correctly as the coordinate system changes. If I remember correctly (it's been a while!) one test for a contravariant vector, written as [itex]v^i[/itex], is that the combination [itex]g_{ij}v^iv^j[/itex] (essentially the vector length) is a scalar. Which, again, does not just mean "a number" in a given coordinate system. A scalar (0 order tensor) must not change when you change coordinate systems.
 


Equally well you can show that [itex]B^{ij}_i[/itex] transforms as a vector, ie. if I do a coordinate transform [itex]x^{i} \rightarrow x^{i'}[/itex], B should transform as
[tex]B^{i' j'}_{i'} = \frac{\partial x^{j'}}{\partial x^{j}} B^{ij}_i[/tex]