Problem with definition of tensor

In summary: Yeah, strongly agree with that....especially since students are often taught that a tensor is a mysterious and magical thing that can do all sorts of fancy things.
  • #1
ShayanJ
Insights Author
Gold Member
2,810
604
In textbooks, a tensor is usually defined in terms of its transformation properties. But this definition actually seems vague when it comes to checking a set of quantities to see whether they form a tensor or not. Imagine I have four functions and want to see whether they form a 2d 2nd rank tensor together or not. Then if I want to use the transformation properties, I should check whether ## f_{ij}=J(i,k)J(j,l)f'_{kl} ##. But that's weird because that needs us to know what is ## f'_{kl} ## which means we should have an accepted method of transformation. But what is that method? Surely just replacing the coordinates doesn't work. Another way I thought of was through seeing tensors as operators. Then we would want the tranformed operator to do the same thing as the old operator, to the transformed vectors. But this method seems too subjective and doesn't seem general enough.
So I want to know, how can I check whether a bunch of functions form a tensor or not?
Thanks
 
Physics news on Phys.org
  • #2
Shyan said:
But that's weird because that needs us to know what is fkl f'_{kl} which means we should have an accepted method of transformation.

You do not necessarily need a transformation rule for this, what you need to know is what the expression for ##f'_{k'l'}## is. For example, take the permutation symbol ##\varepsilon_{ijk}## and ask yourself whether the object that takes values 1 if the indices are an even permutation and -1 if they are an odd permutation of 123 is a tensor. There is no transformation rule involved here, just an assumption on how the components look in different frames.

That being said, I am not a big fan of introducing tensors by defining the transformation properties. Instead, it is more elegant to define them as linear maps or linear combinations of outer products. The transformation properties follow from these definitions and you can still check whether a given set of functions fulfil the transformation rules the components of a tensor would have to fulfil.
 
  • #3
Orodruin said:
You do not necessarily need a transformation rule for this, what you need to know is what the expression for ##f'_{k'l'}## is. For example, take the permutation symbol ##\varepsilon_{ijk}## and ask yourself whether the object that takes values 1 if the indices are an even permutation and -1 if they are an odd permutation of 123 is a tensor. There is no transformation rule involved here, just an assumption on how the components look in different frames.

That being said, I am not a big fan of introducing tensors by defining the transformation properties. Instead, it is more elegant to define them as linear maps or linear combinations of outer products. The transformation properties follow from these definitions and you can still check whether a given set of functions fulfil the transformation rules the components of a tensor would have to fulfil.

OK, so let's consider your favorite definitions. Then given a set of functions, can you check that whether there is a tensor with those components or not?
 
  • #4
Shyan said:
OK, so let's consider your favorite definitions. Then given a set of functions, can you check that whether there is a tensor with those components or not?

As long as you are given the components in all frames, yes. It should only be a matter of checking whether the transformation rules are obeyed, i.e., take your knowledge about the expression of the functions and insert into the transformation rules.
 
  • #5
Orodruin said:
As long as you are given the components in all frames, yes. It should only be a matter of checking whether the transformation rules are obeyed, i.e., take your knowledge about the expression of the functions and insert into the transformation rules.
So information about the functions in only one frame is insufficient for that. Knowing this, now it seems really a bad idea to me to define tensors in terms of their transformation properties.
Thanks man
 
  • #6
Shyan said:
So information about the functions in only one frame is insufficient for that. Knowing this, now it seems really a bad idea to me to define tensors in terms of their transformation properties.

Well, it does have its merits. However, I think that it is a way that has had many students utterly confused about what a tensor is and what they are good for in physics. I strongly believe that introducing tensors to students with the approach "a tensor has the following transformation properties, just eat it" is not a good way to have them learn.
 
  • #7
Orodruin said:
Well, it does have its merits. However, I think that it is a way that has had many students utterly confused about what a tensor is and what they are good for in physics. I strongly believe that introducing tensors to students with the approach "a tensor has the following transformation properties, just eat it" is not a good way to have them learn.
Yeah, strongly agree with that. I've seen many students confused with that definition. But the problem is, other definitions seem to require the student to be able to make sense of other parts of mathematics at least a bit.
 
  • #8
Shyan said:
So information about the functions in only one frame is insufficient for that. Knowing this, now it seems really a bad idea to me to define tensors in terms of their transformation properties.
Thanks man
If you know the functions in one frame and know that it is a tensor then it is easy to use those transformation properties to determine them in any other frame. If you know the functions in one frame and want to prove from this that it is a tensor, of course, you cannot do it. There exist an infinite number of "objects" that have those specific functions in one frame, other values in other frames, some of which are tensors and some of which are not.
 
  • Like
Likes jim mcnamara
  • #9
That is precisely why "definitions" like this are rubbish. And when you say in textbooks, you mean in physics textbooks. In good ones i.e. maths textbooks tensors are defined properly and without ambiguities.
 
  • #10
martinbn said:
That is precisely why "definitions" like this are rubbish. And when you say in textbooks, you mean in physics textbooks. In good ones i.e. maths textbooks tensors are defined properly and without ambiguities.
Some physicists do that to reduce the amount of math the student has to struggle with. Some students actually appreciate that but I don't like it because it takes some years for that student to understand the subject at a level that he could reach much sooner if they committed themselves to learning the concept in a more proper way.
But I can still point out some physicists that write in a way you may like. For instance I can point to my favorite SR book. I think you'll like its treatment of tensors, or at least won't hate it!(Actually all of the material in the book is as nice as the treatment of tensors

EDIT:
or even nicer!):biggrin:
 
Last edited:
  • Like
Likes hunt_mat
  • #11
Shyan said:
In textbooks, a tensor is usually defined in terms of its transformation properties. But this definition actually seems vague when it comes to checking a set of quantities to see whether they form a tensor or not. Imagine I have four functions and want to see whether they form a 2d 2nd rank tensor together or not. Then if I want to use the transformation properties, I should check whether ## f_{ij}=J(i,k)J(j,l)f'_{kl} ##. But that's weird because that needs us to know what is ## f'_{kl} ## which means we should have an accepted method of transformation.
Right, a 4-tuple of functions can't possibly be a tensor. The tensor would be something like a map that associates a 4-tuple of functions with each coordinate system. Then you can consider two arbitrary coordinate systems x and x', and the corresponding 4-tuples ##(f_1,f_2,f_3,f_4)## and ##(f_1',f_2',f_3',f_4')##.

This is handled much more elegantly in math books (e.g. "Linear algebra done wrong" by Sergei Treil or "Introduction to smooth manifolds" by Lee) and a few physics books (e.g. "A first course in general relativity" by Schutz, chapter 3 I think). For example, a tensor of type (1,2) over a vector space V would be a multilinear map ##T:V^*\times V\times V\to\mathbb R##, where V* is the dual space of V (the set of all linear maps from V to ℝ). Given an ordered basis ##(e_1,\dots,e_n)## for V, you can define an ordered basis for V* by ##e^i(e_j)=\delta^i_j##. The components of T are the numbers ##T^i{}_{jk}## defined by ##T^i{}_{jk}=T(e^i,e_j,e_k)##. The tensor transformation law describes how the components change when you change the ordered basis for V (as well as the associated ordered basis for V*).

In differential geometry, V is the tangent space of a manifold at some point p. Its elements are called tangent vectors at p. The elements of V* are called cotangent vectors at p. A coordinate system is a map from a subset of the manifold into ##\mathbb R^n##. It can be shown that every coordinate system with p in its domain can be used to define an ordered basis for the tangent space at p. So a change of coordinates induces a change of ordered basis.
 

1. What is a tensor?

A tensor is a mathematical object that represents a multilinear relationship between sets of vectors and covectors. It is often used to describe the geometric properties of objects in physics and engineering.

2. How is a tensor different from a vector or a matrix?

A vector is a one-dimensional tensor, while a matrix is a two-dimensional tensor. Tensors have more dimensions and can represent more complex relationships between vectors and covectors.

3. What are the properties of a tensor?

Tensors are multilinear, meaning they are linear in each of their arguments. They also exhibit symmetry or antisymmetry depending on their type. Additionally, tensors can be transformed under coordinate changes.

4. What is the problem with the definition of a tensor?

The main problem with the definition of a tensor is that it can be difficult to understand and visualize, especially when dealing with tensors of higher dimensions. This can make it challenging to apply tensor concepts in practical applications.

5. How are tensors used in science?

Tensors are used in various fields of science, such as physics, engineering, and computer science. They are particularly useful in describing the properties of objects in relativity, electromagnetism, and fluid dynamics. Tensors are also important in machine learning and data analysis.

Similar threads

  • Differential Geometry
Replies
3
Views
3K
  • Differential Geometry
Replies
6
Views
2K
  • Differential Geometry
Replies
8
Views
2K
Replies
2
Views
2K
  • Differential Geometry
Replies
7
Views
2K
  • Special and General Relativity
Replies
10
Views
2K
  • Linear and Abstract Algebra
Replies
1
Views
753
  • General Math
Replies
1
Views
1K
  • Calculus and Beyond Homework Help
Replies
2
Views
2K
  • Advanced Physics Homework Help
Replies
5
Views
2K
Back
Top