Show that a (1,2)-tensor is a linear function

Click For Summary
SUMMARY

A (1,2)-tensor, represented as an element of the tensor product space ##E\otimes E^*\otimes E^*##, is a multilinear function that operates on two vectors and one covector. The tensor can be expressed as $$T=\sum_{\rho=1}^r U_\rho \otimes v_\rho \otimes w_\rho$$, where ##U_\rho## are vectors in ##E## and ##v_\rho, w_\rho## are covectors in ##E^*##. This structure allows the tensor to be linear in each variable, adhering to the principles of distributivity and scalar multiplication.

PREREQUISITES
  • Understanding of tensor products, specifically ##E\otimes E^*\otimes E^*##
  • Familiarity with linear algebra concepts such as vectors and covectors
  • Knowledge of multilinear maps and their properties
  • Basic understanding of real number field properties, particularly distributivity
NEXT STEPS
  • Study the properties of multilinear maps in depth
  • Explore the implications of the tensor product in various mathematical contexts
  • Learn about the relationship between tensors and linear transformations
  • Investigate applications of tensors in physics and engineering
USEFUL FOR

Mathematicians, physicists, and engineering professionals interested in advanced linear algebra and tensor analysis.

KungFu
Messages
9
Reaction score
1
Homework Statement
problem:
1a) show that a (1,2)-tensor T is a linear function T: ##E^* x E x E ##
(A (1,2)-tensor is a tensor that takes one vector from E and two covectors form the dual space #E^*#
Relevant Equations
I need some help on where to start.
I know that a tensor can be seen as a linear function.
I know that the tensor product of three spaces can be seen as a multilinear map satisfying distributivity by addition and associativity in multiplication by a scalar.
 
Physics news on Phys.org
Your explanation of ##(1,2)## is ambiguous. Is it an element of ##E\otimes E^*\otimes E^*## or an element of ##E^*\otimes E\otimes E##? Let us assume we have a tensor ##T\in E\otimes E^*\otimes E^*##. This means we have
$$
T=\sum_{\rho=1}^r U_\rho \otimes v_\rho \otimes w_\rho\; , \; (X,Y) \longmapsto \sum_{\rho=1}^r U_\rho \cdot v_\rho(X) \cdot w_\rho(Y) \in E
$$
What kind of function is ##T## then? The situation for ##T'\in E^*\otimes E \otimes E## is accordingly.
 
Last edited:
fresh_42 said:
Your explanation of ##(1,2)## is ambiguous. Is it an element of ##E\otimes E^*\otimes E^*## or an element of ##E^*\otimes E\otimes E##? Let us assume we have a tensor ##T\in E\otimes E^*\otimes E^*##. This means we have
$$
T=\sum_{\rho=1}^r U_\rho \otimes v_\rho \otimes w_\rho\; , \; (X,Y) \longmapsto \sum_{\rho=1}^r U_\rho \otimes v_\rho(X) \otimes w_\rho(Y) \in E
$$
What kind of function is ##T## then? The situation for ##T'\in E^*\otimes E \otimes E## is accordingly.

yes, sorry, I had a typo in my description. it is an element of ##E\otimes E^*\otimes E^*##

Can you please explain to me what the capital U and the w and v are in your expression? and also the X and the Y
 
KungFu said:
yes, sorry, I had a typo in my description. it is an element of ##E\otimes E^*\otimes E^*##

Can you please explain to me what the capital U and the w and v are in your expression? and also the X and the Y
The tensor isn't a linear function in that case. What is it?
 
fresh_42 said:
The tensor isn't a linear function in that case. What is it?

The tensor is a mulitlinear function, but why?, I don't see the arguments. I have been told that it is linear in each variable, due to the distributivity of the field R (real numbers), but can I show it, or is it just by definition ?
 
You can show it with the definition, see my corrected post #2. I made a copy and paste error and forgot to change ##\otimes## into ##\cdot## which I now did.
 

Similar threads

  • · Replies 10 ·
Replies
10
Views
3K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 7 ·
Replies
7
Views
908
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 32 ·
2
Replies
32
Views
4K
  • · Replies 9 ·
Replies
9
Views
4K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 28 ·
Replies
28
Views
1K
  • · Replies 1 ·
Replies
1
Views
4K
Replies
6
Views
2K