Differential forms on tensors

185 Views Asked by At

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?

Thanks

1

There are 1 best solutions below

0
On

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,

AB,