New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Properties of the wedge product #19

Open

3 of 7 tasks

MetalCreator666 opened this issue Jan 23, 2025 · 0 comments

Assignees

Collaborator

MetalCreator666 commented Jan 23, 2025 •

edited

Loading

Define and prove the following properties of the wedge product:

wedge_assoc ; associativity of wedge product
add_wedge , wedge_add ; addition distributive property
smul_wedge, wedge_smul ; scalar product can be pulled into wedge
wedge_antisymm ; antisymmetric property of wedge product
wedge_self_odd_zero ; wedge of k-form with itself is zero if k is odd
pullback_wedge ; distributive property of pullback over wedge product
ederiv_wedge ; Leibniz rule for exterior derivative

The text was updated successfully, but these errors were encountered:

MetalCreator666 self-assigned this

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment