# Basic Tensor question

I have 2 basic questions:
1. Since a type (m,n) tensor can be created by component by component multiplication of m contravariant and n covariant vectors, does this mean an (m,n) tensor can always be decomposed into m contravariant and n covariant tensors? Uniquely?
2. Since a tensor in GR , or perhaps even more generally, is invariant with a change in coordinate system, can the vectors used to create it by component by component multiplication each be of different coordinate systems? And, if so, would the coordinate transformation equations for the multi-coordinate system tensor be the same form as the contravariant and covariant transformation equations for moving a tensor from one coordinate system to another?

Orodruin
Staff Emeritus
Homework Helper
Gold Member
Since a type (m,n) tensor can be created by component by component multiplication of m contravariant and n covariant vectors, does this mean an (m,n) tensor can always be decomposed into m contravariant and n covariant tensors? Uniquely?

No, the opposite statement is not generally true. What is true is that you can decompose tensors into linear combinations of such products.

ChrisVer
Gold Member
2. Since a tensor in GR , or perhaps even more generally, is invariant with a change in coordinate system

Where did you get that from? A tensor changes when you change the coordinates... That's also why in GR when you want to make an invariant object you'd contract the indices somehow. Also the tensor equations remain unchanged in form.
The only tensor that remains unchanged is the one that is equal to zero... in that case no matter the change the tensor will always look like 0 in every coordinate system.

Where did you get that from? A tensor changes when you change the coordinates... That's also why in GR when you want to make an invariant object you'd contract the indices somehow. Also the tensor equations remain unchanged in form.
The only tensor that remains unchanged is the one that is equal to zero... in that case no matter the change the tensor will always look like 0 in every coordinate system.

I think the tensor components change the tensor does not.

Orodruin
Staff Emeritus
Homework Helper
Gold Member
The only tensor that remains unchanged is the one that is equal to zero...

This is not true. A counter example is the Kronecker delta tensor (and its generalisations).

ChrisVer
Gold Member
I think the tensor components change the tensor does not.

How do you define then the tensor? I mean the fact that the components change means that the tensor also changes (not its ranks etc).

This is not true. A counter example is the Kronecker delta tensor (and its generalisations).

Yup that went out of my mind...

Nugatory
Mentor
How do you define then the tensor? I mean the fact that the components change means that the tensor also changes (not its ranks etc).

Well, a vector is a (rank-one contravariant) tensor, and it's the same vector even though its components change with your choice of coordinate system.... That's how we can write ##\vec{F}=m\vec{a}## without committing to any particular coordinate system.

It's a tensor if the components transform according to the tensor transformation rule. Once you know that the object you're dealing with has that property, you can make various coordinate-independent statements about both the tensor and its components.

Orodruin
Staff Emeritus
Homework Helper
Gold Member
How do you define then the tensor?

To add to what Nugatory said: You start from a vector space and define the tensor product of vectors in that space. A general tensor is a linear combination of such products. There is no need to reference a particular coordinate system in the construction and the transformation properties of the components drop out of the definition as a result of the transformation of the individual basis vectors in the original vector space.

I really do not like the general physicist way of introducing tensors as objects with certain transformation properties, it obscures what a tensor is and hides what is really going on.

Fredrik
Staff Emeritus
Gold Member
I mean the fact that the components change means that the tensor also changes (not its ranks etc).
Take a function ##T:V^*\times V\times V\to\mathbb R## for example. The component ##T(e^i,e_j,e_k)## changes when you change the ordered basis ##(e_1,\dots,e_n)##, but the tensor T doesn't.

When we make the substitutions ##e_i\to f_i## (for all i) in the string of text ##T(e^i,e_j,e_k)##, we get an entirely different string of text ##T(f^i,f_j,f_k)##, which (typically) represents a different number, because the ##f_i## represent different vectors than the ##e_i##. But those substitutions can't change a string of text like T or 3, that doesn't contain any symbols for the basis vectors. The symbol T will still represent the same function, just like the symbol 3 will continue to represent the integer successor of 2.

I guess that the reason why this can be confusing is that tensors are often defined using some specific ordered basis. For example, suppose that ##(e_1,\dots,e_n)## is an ordered basis and that ##\{T^i{}_{jk}|i,j,k\in\{1,\dots,n\}\}## is some set of numbers. We can now define a tensor ##T## by saying that ##T## is the unique multilinear map from ##V^*\times V\times V## into ##\mathbb R## such that ##T(e^i,e_j,e_k)=T^i{}_{jk}## for all i,j,k. Now the symbol ##T## represents a specific tensor, just like the symbol 3 represents a specific number, and is therefore unaffected by the substitution ##e_i\to f_i##.

The key thing to remember is that a change of ordered basis changes symbols, but not their meaning.

Orodruin
Staff Emeritus
Homework Helper
Gold Member
I guess that the reason why this can be confusing is that tensors are often defined using some specific ordered basis.
I think the key point of confusion is the fact that tensors are presented in physics classes as objects which transform so-and-so under coordinate transformations, most often leading students to mix up tensors themselves with their components.

Fredrik
Staff Emeritus