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

Click For Summary
A (1,2)-tensor can be viewed as a multilinear function, specifically an element of E⊗E*⊗E*. The discussion clarifies that the capital letters represent vectors in E, while the lowercase letters denote covectors in E*. The tensor is linear in each variable due to the properties of distributivity in real numbers. The participants emphasize that the definition of multilinearity allows for demonstrating this linearity. Overall, the conversation revolves around understanding the nature of tensors and their linearity properties.
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
732
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 32 ·
2
Replies
32
Views
4K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 28 ·
Replies
28
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
6
Views
2K