Joe's confusion about contraction and direct product explained.

[Living_Dog]

In this problem the authors state:

"But <\omega^\alpha,e_\beta> is the contraction of \omega^\alpha\otimes e_\beta ,... "

I know that the first expression evaluates to the Kronecker delta in \alpha and \beta but the other expression is a 2x2 tensor. So how is the first (the identity tensor) the contraction (implying one less index) of the second, which is a 2^nd rank tensor??

Thanks in advance for any help you may give me.

-LD

 

[phyzguy]

It is confusing at first, but you need to understand the notation. The bold-faced quantities, omega and e, are one-forms and vectors, respectively. But their subscripts and superscripts do not refer to the components of omega and e, but are indices to denote which vector you are talking about. This is explained (briefly!) on page 51. Thus
\omega^{\alpha}
does not refer to the four components of a single one-form, but to a set of four one-forms. Then
&lt;\omega^{\alpha},e_{\beta}&gt;
is a set of 16 scalars, each of which is the innerproduct of one vector (one of the e's) and one one-form (one of the omegas). But the quantity:
\omega^{\alpha}\otimes e_{\beta}
is a set of 16 rank two tensors, each of which is the outer product of one e and one omega. So when I contract the rank-2 tensors on the RHS, I get a set of 16 scalar equations. Does this make sense?

 

[Living_Dog]

It is confusing at first, but you need to understand the notation. The bold-faced quantities, omega and e, are one-forms and vectors, respectively. But their subscripts and superscripts do not refer to the components of omega and e, but are indices to denote which vector you are talking about. This is explained (briefly!) on page 51. Thus
\omega^{\alpha}
does not refer to the four components of a single one-form, but to a set of four one-forms. Then
&lt;\omega^{\alpha},e_{\beta}&gt;
is a set of 16 scalars, each of which is the innerproduct of one vector (one of the e's) and one one-form (one of the omegas). But the quantity:
\omega^{\alpha}\otimes e_{\beta}
is a set of 16 rank two tensors, each of which is the outer product of one e and one omega. So when I contract the rank-2 tensors on the RHS, I get a set of 16 scalar equations. Does this make sense?

The 2^nd throws me off a bit. I understand both descriptions of these two expressions. What I am missing is how
&lt;\bold{\omega}^{\alpha},\bold{e}_{\beta}&gt;
is a contraction of
\bold{\omega}^{\alpha}\otimes \bold{e}_{\beta}.

E.g.

&lt;\bold{\omega}^{0},\bold{e}_{0}&gt; = 1

but

\bold{\omega}^{\alpha}\otimes\bold{e}_{\beta} = \left(\begin{array}{cccc}1&amp;0&amp;0&amp;0\\0&amp;1&amp;0&amp;0\\0&amp;0&amp;1&amp;0\\0&amp;0&amp;0&amp;1\end{array}\right)

So a contraction on the 2^nd expression would yield tr(\bold{\omega}^{\alpha}\otimes\bold{e}_{\beta}) = 4
Your reply has helped. I did forget that the indices are indicating which 4-component geometric object is being considered. Does the vector and 1-form have 4 components in the 1^st expression, but only one in the 2^nd??

Wait a second... I just re-read your 2nd statement:

"But the quantity \omega^{\alpha}\otimes e_{\beta} is a set of 16 rank two tensors, ..."

It is a set of 16 tensors, each of rank 2! So then the contraction is done on each of these 16 tensors of rank 2. So \bold{e}_{0} and \bold{\omega}^{0} both have 4 components. When you take their direct product you get a 4x4 tensor. Ok, now what is the contraction on these tensors? The same as the inner product?? (I think I am beginning to see...)

 

[phyzguy]

So you have:
&lt;\bold{\omega}^0,\bold{e}_0&gt;=1
and:
\bold{\omega}^0\otimes\bold{e}_0 = \left(\begin{array}{cccc}1&amp;0&amp;0&amp;0\\0&amp;0&amp;0&amp;0\\0&amp;0&amp;0&amp;0 \\0&amp;0&amp;0&amp;0\end{array}\right)
So when you contract the rank two tensor you get a scalar.
\bold{\omega}^{\alpha}\otimes\bold{e}_{\beta}
Is a set of 16 such tensors.

 

[Living_Dog]

So you have:
&lt;\bold{\omega}^0,\bold{e}_0&gt;=1
and:
\bold{\omega}^0\otimes\bold{e}_0 = \left(\begin{array}{cccc}1&amp;0&amp;0&amp;0\\0&amp;0&amp;0&amp;0\\0&amp;0&amp;0&amp;0 \\0&amp;0&amp;0&amp;0\end{array}\right)
So when you contract the rank two tensor you get a scalar.
\bold{\omega}^{\alpha}\otimes\bold{e}_{\beta}
Is a set of 16 such tensors.

\bold{\omega}^0\otimes\bold{e}_1 = \left(\begin{array}{cccc}0&amp;1&amp;0&amp;0\\0&amp;0&amp;0&amp;0\\0&amp;0&amp;0&amp;0 \\0&amp;0&amp;0&amp;0\end{array}\right)

\bold{\omega}^1\otimes\bold{e}_2 = \left(\begin{array}{cccc}0&amp;0&amp;0&amp;0\\0&amp;0&amp;1&amp;0\\0&amp;0&amp;0&amp;0 \\0&amp;0&amp;0&amp;0\end{array}\right)

\bold{\omega}^2\otimes\bold{e}_3 = \left(\begin{array}{cccc}0&amp;0&amp;0&amp;0\\0&amp;0&amp;0&amp;0\\0&amp;0&amp;0&amp;1 \\0&amp;0&amp;0&amp;0\end{array}\right)

etc...

So if I contract any of these 2nd rank tensors I will get '1' when the indices are along the diagonal (just as when I take the inner-product of any &lt;\bold{\omega}^{\alpha},\bold{e}_{\alpha}&gt;) and '0' when they aren't - like the ones I wrote above.

OHhhhh... I see now my confusion. I thought that the direct product yielded a 16 element tensor with ... "dyadic" type elements in their respective slots! Wow. They're not - they're those things above.

Thanks ever so much for all your help and patience with me phyzguy. May God richly bless you, in Jesus' name, amen.

-joe