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

  • Context: Undergrad 
  • Thread starter Thread starter Math Amateur
  • Start date Start date
  • Tags Tags
    Product Wedge
Click For Summary
SUMMARY

The discussion centers on Loring W. Tu's Proposition 3.21 from "An Introduction to Manifolds" (Second Edition), which addresses the anticommutativity of the wedge product in differential geometry. Participants analyze the proof involving the sign function (sgn) and permutations of vectors. Peter initially sought clarification on the equality of two summations involving the sign function and vector products but later concluded that the relationship holds due to the properties of the sign function. The resolution confirms that sgn(σ) = sgn(στ)sgn(τ) is valid, affirming the correctness of his understanding.

PREREQUISITES
  • Understanding of differential geometry concepts, particularly the wedge product.
  • Familiarity with Loring W. Tu's "An Introduction to Manifolds" (Second Edition).
  • Knowledge of permutation notation and the sign function (sgn).
  • Basic grasp of vector spaces and linear algebra.
NEXT STEPS
  • Study the properties of the wedge product in differential geometry.
  • Review the concept of permutations and their role in multilinear algebra.
  • Explore additional examples of the sign function in combinatorial contexts.
  • Examine related propositions in Loring W. Tu's book for deeper insights.
USEFUL FOR

Students and professionals in mathematics, particularly those studying differential geometry, linear algebra, and combinatorial mathematics, will benefit from this discussion.

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: 646
  • Tu - 2 - Proposition 3.21 ... ... PART 2 ... ... .png
    Tu - 2 - Proposition 3.21 ... ... PART 2 ... ... .png
    28.7 KB · Views: 511
  • ?temp_hash=c2774c2ad79343dd31fd8b4065264395.png
    ?temp_hash=c2774c2ad79343dd31fd8b4065264395.png
    26.9 KB · Views: 946
  • ?temp_hash=c2774c2ad79343dd31fd8b4065264395.png
    ?temp_hash=c2774c2ad79343dd31fd8b4065264395.png
    28.7 KB · Views: 932
Last edited:
Physics news on Phys.org
Yes, that is correct. Well done! :smile:
 
  • Like
Likes   Reactions: Math Amateur

Similar threads

  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
Replies
8
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K