Linear transformations as tensor.

The1337gamer
Messages
45
Reaction score
0
I was looking at this table here: http://en.wikipedia.org/wiki/Tensor#Examples

And i didn't understand why a (1,1) tensor is a linear transformation, I was wondering if someone could explain why this is.

A (1,1) tensor takes a vector and a one-form to a scalar.
But a linear transformation takes a vector to a vector.

Thanks.
 
Physics news on Phys.org
A bilinear form can take a vector to a vector or a covector to a covector:

Auvζv = γu
Auvωu = κv
 
I thought a bilinear form was the tensor product of 2 one-forms/linear functionals, so it would take two vectors to a scalar.
 
The1337gamer said:
I was looking at this table here: http://en.wikipedia.org/wiki/Tensor#Examples

And i didn't understand why a (1,1) tensor is a linear transformation, I was wondering if someone could explain why this is.

A (1,1) tensor takes a vector and a one-form to a scalar.
But a linear transformation takes a vector to a vector.

Thanks.

If your form is T(u,v) where u is a vector and v is a co-vector, consider the function f(u)=T(u,-). f(u) is a function which, when you plug in a co-vector you get a scalar. Those are exactly what vectors are (co-co vectors)
 
Assume all spaces are finite diml.

by plugging into one variable at a time, you see that bilinear maps from VxW to U is the same as linear maps from V to linear maps from W to U.

I.e. Bil(VxW,U) ≈ Lin(V,Lin(W,U)).

Write V* for linear maps from V to k, where k is the scalar field.
For finite diml spaces then Lin(Lin(V,k),k) = V** ≈ V.

essentially by definition of tensors, V*tensorW* ≈ (VtensorW)* ≈ Bil(VxW,k).

Thus V*tensorW ≈ Bil(VxW*,k) ≈ Lin(V,W**) ≈ Lin(V,W).

I.e. if ftensorw is an elementary (1,1) tensor in V*tensW,

then it maps the vector v in V to the vector

f(v).w in W. A general (1,1) tensor is a sum of such elementary ones and maps v to the corresponding sum of vectors in W.
 
##\textbf{Exercise 10}:## I came across the following solution online: Questions: 1. When the author states in "that ring (not sure if he is referring to ##R## or ##R/\mathfrak{p}##, but I am guessing the later) ##x_n x_{n+1}=0## for all odd $n$ and ##x_{n+1}## is invertible, so that ##x_n=0##" 2. How does ##x_nx_{n+1}=0## implies that ##x_{n+1}## is invertible and ##x_n=0##. I mean if the quotient ring ##R/\mathfrak{p}## is an integral domain, and ##x_{n+1}## is invertible then...
The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...
When decomposing a representation ##\rho## of a finite group ##G## into irreducible representations, we can find the number of times the representation contains a particular irrep ##\rho_0## through the character inner product $$ \langle \chi, \chi_0\rangle = \frac{1}{|G|} \sum_{g\in G} \chi(g) \chi_0(g)^*$$ where ##\chi## and ##\chi_0## are the characters of ##\rho## and ##\rho_0##, respectively. Since all group elements in the same conjugacy class have the same characters, this may be...
Back
Top