- #1

- 441

- 0

g

_{c}

_{a}* dw

^{a}

_{b}

is there any reason for the resultant tensor should be dw

_{cb}vs. dw

_{bc}?

You are using an out of date browser. It may not display this or other websites correctly.

You should upgrade or use an alternative browser.

You should upgrade or use an alternative browser.

- Thread starter CPL.Luke
- Start date

- #1

- 441

- 0

g

is there any reason for the resultant tensor should be dw

- #2

diazona

Homework Helper

- 2,175

- 8

I guess the rule would be to keep left indices as left indices and right indices as right indices. In the example you give, I look at the sequence of indices "caab" and think of the two a's in the middle as "canceling out" - although that doesn't always work, when you're dealing with more complicated tensor products.

- #3

- 1,387

- 2

- #4

- 441

- 0

my question is more about why the order matters and how to determine the proper order in general. If you look at the first expression, its an expression to lower an index, but when this ndex gets lowered which side would it be on?

- #5

- 1,387

- 2

If you look at the first expression, its an expression to lower an index, but when this ndex gets lowered which side would it be on?

g

In general, the horizontal order doesn't change. Just turn a into c and bring it straight down.

- #6

- 441

- 0

g

in general when the indices come down do they go to the front of the line? or is there a situation where they would go to the back of the line?

and what about the covariant indices, if they are raised do they go to the front or back of the line at the top?

I think the above two questions are really where I'm getting hung up...

thankyou

- #7

George Jones

Staff Emeritus

Science Advisor

Gold Member

- 7,523

- 1,311

in general when the indices come down do they go to the front of the line? or is there a situation where they would go to the back of the line?

and what about the covariant indices, if they are raised do they go to the front or back of the line at the top?

The indices move straight vertically.

- #8

- 441

- 0

I still dont see the difference between a rank (1,1) tensor such as w

- #9

- 267

- 2

I still dont see the difference between a rank (1,1) tensor such as w^{a}_{b}and w_{b}^{a}, I may have to do more reading.

Sorry...misread the OP's post

Saying that a tensor is of type [tex] (r,s) [/tex] means that it has [tex] r [/tex] number of contravariant indices and [tex] s [/tex] number of covariant indices.

Contravariant and covariant vectors transform slightly different under coordinate transformations.

A contravariant vector [tex] \mathbf{v}=v^{\alpha} [/tex] transforms according to

[tex]

v^{\alpha}=x^{\alpha}_{, \beta}v^{\beta}

[/tex]

while a covariant vector [tex] \mathbf{u}=u_{\alpha} [/tex] transforms as

[tex]

u_{\alpha}=y^{\beta}_{, \alpha}u_{\beta}

[/tex]

It has to do with which vector space they live.

For the vector space [tex] V in a fixed basis [tex] \{\epsilon_{\alpha}\} [/tex], contravariant vectors are the row vectors [tex] x^{\alpha} [/tex] of contravariant components.

The dual space [tex] V^{*} [/tex] will have a dual base [tex] \{ e^{\alpha} \} [/tex] where the the covariant vectors are given by

[tex]

\mathbf{v}=\{e^{\alpha} \}v_{\alpha}

[/tex]

If [tex] V [/tex] and [tex] V^{*} [/tex] are isomorphic, then the space of tensors of a finite rank are symmetric about their indices....the tensors are invariant when you permute the indices.

Last edited:

- #10

- 1,387

- 2

If [tex] V [/tex] and [tex] V^{*} [/tex] are isomorphic, then the space of tensors of a finite rank are symmetric about their indices....the tensors are invariant when you permute the indices.

That seems to go against what I learnt. Here's how I currently understand it. All corrections welcome.

In general, [itex]T_{\mu \nu} \neq T_{\nu \mu}[/itex], right? There will always be an isomorphism between [itex] V [/itex] and [itex] V^{*} [/itex] since they're over the same field and of the same dimension, therefore, if [itex]\mathbb{K}[/itex] is the field, and [itex]n[/itex] the dimension, [itex] V [/tex] and [itex] V^{*} [/itex] are each isomorphic to [itex]\mathbb{K}^n[/itex], which implies that [itex] V [/itex] is isomorphic to [itex] V^{*} [/itex]. If we have a metric, [itex]g[/itex], there will be a

[tex]g:V\to V^*: g_{\mu \nu} v^\nu=v_\mu[/tex]

[tex]g:V^* \to V : g^{\mu \nu}v_\nu=v^\mu[/tex]

If no metric is defined, only the horizontal order of indices relative to others at the same height matters:

[tex]T^{\alpha \beta}\;_{\gamma}=T_{\gamma}\;^{\alpha \beta}=T^{\alpha}\;_{\gamma}\;^{\beta}[/tex]

so you don't need to keep track of them and could just write [itex]T^{\alpha \beta}_{\gamma}[/tex]. This is because there's no natural answer to the question: "Which tensor with an up index here corresponds to the tensor with a down index?"

But if a metric is defined, that question does have a definite answer, so you do have to keep track of the horizontal order of indices relative to those of both heights, up and down, because

[tex]g_{\alpha \mu} T^{\alpha}\,_{\nu} = T_{\mu \nu}[/tex]

[tex]g_{\alpha \mu} T_{\nu}\,^{\alpha} = T_{\nu \mu}[/tex]

and

[tex]T_{\mu \nu} \neq T_{\nu \mu}[/tex]

unless it [itex]T[/itex] happens to be symmetric. But in general, there's no guarantee that [itex]T[/itex] will be symmetric.

- #11

jcsd

Science Advisor

Gold Member

- 2,097

- 12

But that's more of an interesting factoid as we're clearly only interestred in the finite dimensional case where they are always isomorphic.

- #12

- 1,387

- 2

But that's more of an interesting factoid as we're clearly only interestred in the finite dimensional case where they are always isomorphic.

Ooh, thanks for that proviso, I hadn't thought of whether it would be different with infinite dimensions. Most of my reading has been confined to the case of finite dimensions. Is the rest okay?

- #13

- 1,387

- 2

Share: