Understanding the Tensor Product of Two One-Forms in Differential Geometry

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
2 replies · 2K views
"Don't panic!"
Messages
600
Reaction score
8
I'm relatively new to differential geometry and would like to check that this is the correct definition for the tensor product of (for simplicity) two one-forms [itex]\alpha,\;\beta\;\;\in V^{\ast}[/itex]: [tex](\alpha\otimes\beta)(\mathbf{v},\mathbf{w})=\alpha (\mathbf{v})\beta (\mathbf{w})[/tex] where [itex]\alpha\otimes\beta\;\;\in V^{\ast}\otimes V^{\ast}[/itex] and [itex]\mathbf{v},\;\mathbf{w}\;\;\in V[/itex].
Given this, is it correct to write, [tex](dx^{\mu}\otimes dx^{\nu})(\mathbf{v},\mathbf{w})=dx^{\mu}(\mathbf{v})dx^{\nu}(\mathbf{w})=V^{\mu}W^{\nu}[/tex]
where we have expressed [itex]\mathbf{v}=V^{\mu}\partial_{\mu}[/itex] and [itex]\mathbf{w}=W^{\nu}\partial_{\nu}[/itex] in terms of a coordinate basis [itex]\lbrace\partial_{\mu}\rbrace[/itex] for [itex]V[/itex], and [itex]\lbrace dx^{\mu}\otimes dx^{\nu}\rbrace[/itex] is a coordinate basis for [itex]V^{\ast}\otimes V^{\ast}[/itex] (with [itex]\lbrace dx^{\mu}\rbrace[/itex] a basis for [itex]V^{\ast}[/itex]). As such, if we express [itex]\alpha[/itex] and [itex]\beta[/itex] in terms of the coordinate basis [itex]\lbrace dx^{\mu}\rbrace[/itex] as [itex]\alpha = \alpha_{\mu}dx^{\mu}[/itex] and [itex]\beta = \beta_{\nu}dx^{\nu}[/itex], respectively, we have [tex](\alpha\otimes\beta)(\mathbf{v},\mathbf{w})=\alpha (\mathbf{v})\beta (\mathbf{w})=\alpha_{\mu}\beta_{\nu}dx^{\mu}\otimes dx^{\nu}(\mathbf{v},\mathbf{w})=\alpha_{\mu}\beta_{\nu}V^{\mu}W^{\nu}[/tex].

Would this be correct at all?
 
Physics news on Phys.org
Excellent, thanks.