I Anticommutativity of Wedge Product .... Tu, Proposition 3.21

  • I
  • Thread starter Thread starter Math Amateur
  • Start date Start date
  • Tags Tags
    Product Wedge
Math Amateur
Gold Member
MHB
Messages
3,920
Reaction score
48
I am reading Loring W.Tu's book: "An Introduction to Manifolds" (Second Edition) ...

I need help in order to fully understand Tu's Proposition 3.21 ... ...

Proposition 3.21 reads as follows:
?temp_hash=c2774c2ad79343dd31fd8b4065264395.png

?temp_hash=c2774c2ad79343dd31fd8b4065264395.png


In the above proof by Tu we read the following:

" ... ...

... ##= \sum_{ \sigma_{ k + l } } ( \text{ sgn } \sigma ) f( v_{ \sigma \tau (l+1) }, \cdot \cdot \cdot , v_{ \sigma \tau (l+k) }) g ( v_{ \sigma \tau (1) }, \cdot \cdot \cdot , v_{ \sigma \tau (l) })####= ( \text{ sgn } \tau ) \sum_{ \sigma_{ k + l } } ( \text{ sgn } \sigma \tau ) g ( v_{ \sigma \tau (1) }, \cdot \cdot \cdot , v_{ \sigma \tau (l) }) f( v_{ \sigma \tau (l+1) }, \cdot \cdot \cdot , v_{ \sigma \tau (l+k) })##

... ... ... "
Can someone please explain/demonstrate how/why we have that##\sum_{ \sigma_{ k + l } } ( \text{ sgn } \sigma ) f( v_{ \sigma \tau (l+1) }, \cdot \cdot \cdot , v_{ \sigma \tau (l+k) }) g ( v_{ \sigma \tau (1) }, \cdot \cdot \cdot , v_{ \sigma \tau (l) })####= ( \text{ sgn } \tau ) \sum_{ \sigma_{ k + l } } ( \text{ sgn } \sigma \tau ) g ( v_{ \sigma \tau (1) }, \cdot \cdot \cdot , v_{ \sigma \tau (l) }) f( v_{ \sigma \tau (l+1) }, \cdot \cdot \cdot , v_{ \sigma \tau (l+k) })##Help will be much appreciated ... ...

Peter

============================================================================

*** EDIT ***I have been reflecting on my question/problem in the above post ... ... and I think I have resolved the problem ...Since ##\text{ sgn } \tau## is ##+1## or ##-1## then ##\text{ sgn } \tau \tau = 1## ...Therefore we have##\text{ sgn } \sigma = \text{ sgn } \sigma \tau \tau = \text{ sgn } \tau \text{ sgn } \sigma \tau##which answers the question ... ...Is that correct ... ... ?

Peter
 

Attachments

  • Tu - 1 - Proposition 3.2 ... ... PART 1 ... ... .png
    Tu - 1 - Proposition 3.2 ... ... PART 1 ... ... .png
    26.9 KB · Views: 612
  • Tu - 2 - Proposition 3.21 ... ... PART 2 ... ... .png
    Tu - 2 - Proposition 3.21 ... ... PART 2 ... ... .png
    28.7 KB · Views: 483
  • ?temp_hash=c2774c2ad79343dd31fd8b4065264395.png
    ?temp_hash=c2774c2ad79343dd31fd8b4065264395.png
    26.9 KB · Views: 905
  • ?temp_hash=c2774c2ad79343dd31fd8b4065264395.png
    ?temp_hash=c2774c2ad79343dd31fd8b4065264395.png
    28.7 KB · Views: 900
Last edited:
Physics news on Phys.org
Yes, that is correct. Well done! :smile:
 
  • Like
Likes Math Amateur
Back
Top