Tensors - Part 2

Linear Algebra
Post Reply
Tsakanikas Nickos
Community Team
Posts: 314
Joined: Tue Nov 10, 2015 8:25 pm

Tensors - Part 2

#1

Post by Tsakanikas Nickos »

Definition 1: Let $V$ be a finite-dimensional $\mathbb{R}$-vector space and let $k$ be a non-negative integer. A covariant $k$-tensor is a multilinear function $T \ \colon V \times \dots \times V \to \mathbb{R} $.

Definition 2: A covariant $k$-tensor is called alternating if its value changes sign by interchanging any pair of its arguments:
\[ T(X_{1}, \dots, X_{i}, \dots, X_{j}, \dots, X_{k}) = - T(X_{1}, \dots, X_{j}, \dots, X_{i}, \dots, X_{k}) \]whenever $ 1 \leq i < j \leq k $.



Show that the following are equivalent for a covariant $k$-tensor $T$:
  1. $T$ is alternating.
  2. For any vectors $X_{1}, \dots, X_{k} \in V $ and any permutation $ \sigma \in S_{k} $, it holds that
    \[ T( X_{\sigma(1)}, \dots, X_{\sigma(k)}) = \text{sgn}(\sigma) T(X_{1}, \dots, X_{k}) \]
  3. $T$ gives zero whenever two of its arguments are equal, that is
    \[ T(X_{1}, \dots, Y, \dots, Y, \dots X_{k}) = 0 \]
  4. $ T(X_{1}, \dots, X_{k}) = 0 $ whenever the vectors $ X_{1}, \dots, X_{k} \in V $ are linearly dependent.
  5. The components $T_{i_{1} \dots i_{k}} = T(E_{i_{1}}, \dots, E_{i_{k}})$ of $T$ with respect to any basis $ \left\{ E_{i} \right\} $ of $V$ change sign whenever two indices are interchanged.
Post Reply

Create an account or sign in to join the discussion

You need to be a member in order to post a reply

Create an account

Not a member? register to join our community
Members can start their own topics & subscribe to topics
It’s free and only takes a minute

Register

Sign in

Who is online

Users browsing this forum: No registered users and 8 guests