Proving the Wedge Product of 2 One-Forms is a 2-Form

Click For Summary

Discussion Overview

The discussion revolves around the mathematical proof that the wedge product of two one-forms results in a two-form, focusing on the transformation properties of the resulting tensor. Participants explore the necessary conditions for this transformation to hold, including the notation and mathematical operations involved.

Discussion Character

  • Technical explanation
  • Debate/contested

Main Points Raised

  • One participant presents the expression for the wedge product of two one-forms and attempts to demonstrate that it behaves as a (0,2) tensor under coordinate transformations.
  • Another participant questions the use of the term "matrices" in the context of the discussion, suggesting that the components are merely numbers.
  • A third participant critiques the notation used for indices, emphasizing the importance of clarity in tensor notation and providing a correct form for the transformation law of a second-rank tensor.
  • There is a suggestion that the product of tensor components should be treated as the commutative product of real numbers, which may simplify the argument being made.

Areas of Agreement / Disagreement

Participants express differing views on notation and the interpretation of the components involved in the transformation, indicating that there is no consensus on these aspects of the discussion.

Contextual Notes

There are concerns about the clarity of notation and the assumptions regarding the commutativity of the product in the context of tensor components, which remain unresolved.

Silviu
Messages
612
Reaction score
11
Hello! I was trying to show that the wedge product of 2 one-forms is a 2-form. So we have ## (A \wedge B)_{\mu \nu} = A_\mu B_\nu - A_\nu B_\mu ##. So to show that this is a (0,2) tensor, we need to show that ##(A \wedge B)_{\mu' \nu'} = \Lambda_{\mu'}^\mu \Lambda_{\nu'}^\nu (A \wedge B)_{\mu \nu}##. But ##A_{\mu'} B_{\nu'} - A_{\nu'} B_{\mu'} = \Lambda_{\mu'}^\mu A_\mu \Lambda_{\nu'}^\nu B_\nu - \Lambda_{\nu'}^\nu A_\nu \Lambda_{\mu'}^\mu B_\mu ##. I am not sure how to proceed from here, as the matrices don't commute, so I can't bring the ##\Lambda## in the front. What should I do?
 
Physics news on Phys.org
What matrices? Those are just numbers.
 
  • Like
Likes   Reactions: vanhees71
Also again, be warned about this sloppy notation of indizes. You should put the prime on the symbol (or in addition to the symbol). Otherwise the equations don't make sense strictly speaking (I know that some unfortunate textbooks use this very dangerous notation). Also make sure that both the "vertical and horizontal" placement of the indices is accurate. For a 2nd-rank tensor the transformation law should be written as
$$T_{\mu \nu}'={\Lambda^{\rho}}_{\mu} {\Lambda^{\sigma}}_{\nu} T^{\rho \sigma}.$$
Concerning your question, Orodruin has given you the right hint. The tensor components are all numbers, and thus the product is the usual commutative product of real numbers!
 

Similar threads

  • · Replies 9 ·
Replies
9
Views
1K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 13 ·
Replies
13
Views
1K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 7 ·
Replies
7
Views
1K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 1 ·
Replies
1
Views
947
  • · Replies 16 ·
Replies
16
Views
2K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K