Verify the expression.

**vercammen** · December 19th 2012, 06:13 AM

$T:V \rightarrow W$ is a linear transformation and $S \in L^k (W).$

Is it true that $T^*(S^{\delta})= (T^* (S))^{\delta}, \delta \in S_k$ ?

**chiro** · December 20th 2012, 12:14 AM

Hey vercammen.

This might be a dumb question, but is W just a matrix? Also what does raising W to the delta do with regards to the map?

**vercammen** · December 20th 2012, 03:46 AM

As far as I understood U,W are vector fields, S in a k-tensor on W (can be written using basis); S = sum of all possible k-tuples.

**chiro** · December 20th 2012, 11:46 AM

So is delta an Einstein summation?

**vercammen** · December 20th 2012, 01:16 PM

just a permutation, I guess

**chiro** · December 20th 2012, 01:25 PM

The reason I ask is that if it is just a summation, then it should hold (the identity that is).

The reason has to do with distributivity of matrix multiplication,

**vercammen** · December 20th 2012, 01:35 PM

I asked a professor, he told me it's just the matter of using the definitions...

**vercammen** · December 22nd 2012, 02:35 PM

Here is what I did, but unfortunately it was graded as incorrect.

On the k-tensor powers the induced map is $T:V^{\otimes k}\to W^{\otimes k}$ which on pure tensors is $T(v_1\otimes v_2\otimes \ldots \otimes v_k)=T(u_1)\otimes T(u_2)\otimes \ldots T(u_k)$

If $\sigma$ is a permutation, then $(u_1\otimes \ldots u_k)^\sigma=u_{\sigma^{-1}(1)}\otimes \ldots \otimes u_{\otimes k}$ and thus we can immediately verify the identity

$T(u_1\otimes \ldots u_k)^\sigma=T((u_1\otimes \ldots u_k)^\sigma)$

because both sides will equal $T(u_{\sigma^{-1}(1)})\otimes \ldots T(u_{\sigma^{-1}(k)})$

Because pure tensors span the k-tensor power space, we conclude that

$T(v^\sigma)=T(v)^\sigma$ (1)

Now let's get back to the problem.

By definition, $T^*(S^\sigma)(x)=S^\sigma(T(x))$ which is $S(T(x))^\sigma$

Now by two consecutive applications of (1), $S(T(x))^\sigma=S(T(x)^\sigma)=S(T(x^\sigma))$ and that is, by definition, $(T^*S)(x^\sigma)$ - which again by definition equals $(T^*S)^\sigma(x)$

Thread: Verify the expression.

LinkBack

Thread Tools

Display

Verify the expression.

Re: Verify the expression.

Re: Verify the expression.

Re: Verify the expression.

Re: Verify the expression.

Re: Verify the expression.

Re: Verify the expression.

Re: Verify the expression.

Similar Math Help Forum Discussions

Question about series and finding an expression/closed form expression

changing the log expression to equal expression with exponent

Create sum expression from algebraic expression

Write the trigonometric expression as an algebraic expression in U

Verify Trig expression

Search Tags