Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

With T: R^m -->R^n be linear transformation T(x) = B*x and if psi sub I is an elementary alternating k-tensor on R^n, then T*psisub I has the form:

$$ T^**\psi_I $$ = sigma sub [J] cJ*psi[J] where psiJ are the elementary alternating k-tensors on R^m and

where $I = (i_1,\ldots, i_k)$ and we can let $I_\sigma = (i_{\sigma(1)},\ldots, i_{\sigma(k)})$.

I'm trying to determine the coefficients of C sub J.

My proof:

T*f(x) = f(T(x)) = f(Bx) = ABx so the matrix T*f is AB

And if f = sigma sub [I] dsubI * psisub I is an alternating k-tensor on R^n, how can T*f be expressed in terms of the elementary k-tensors on R^m?


share|cite|improve this question
Why don't you write in TeX? – Riccardo.Alestra Mar 20 '12 at 9:15
I'm trying to learn – mary Mar 20 '12 at 9:20
What is $\phi$? What is $\psi$? – martini Mar 20 '12 at 9:31
The tensors phi sub I are elementary k-tensors on V corresponding to a basis a1, for V. – mary Mar 20 '12 at 9:52
Mary, after visiting this Latex site, you should be able to create equations without having to write "psi sub I" etc. – The Chaz 2.0 Mar 20 '12 at 13:02

if I understand you correctly, the $\phi_I$ are given by the property that $\phi_I(a_{j_1}, \ldots, a_{j_k}) = 1$ iff $(j_1, \ldots, j_k) = (i_1, \ldots, i_k)$ and $ = 0$ otherwise.

Supposing that, we have for $1 \le j_1, \ldots, j_k \le n$ \begin{align*} \phi_{I_\sigma}^\sigma(a_{j_1}, \ldots, a_{j_k}) &= \phi_{I_\sigma}(a_{\sigma(j_1)}, \ldots, a_{j_{\sigma(j_k)}})\\ &= \begin{cases}
1 & (\sigma(j_1), \ldots, \sigma(j_k)) = (\sigma(i_1), \ldots, \sigma(i_k))\\ 0 & \text{\otherwise} \end{cases}\\ &= \begin{cases} 1 & (j_1, \ldots, j_k) = (i_1,\ldots, i_k)\\ 0 & \text{\otherwise} \end{cases}\\ &= \phi_I(a_{j_1}, \ldots, a_{j_k}) \end{align*} so $\phi_{I_\sigma}^\sigma = \phi_I$. Regarding $\psi$, I still don't understand what you want to show,


share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.