Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
quick entry for pullback of differential forms, to be further expanded
I think there is an axiomatics where you fix what happens for functions (0-forms) and then you require that the general case of pullback commutes with the exterior differentiation of differential forms. There is a unique (linear over ground field) operation satisfying the two axioms, I think.
Yes, sure, this is part of the statement of the Properties-section.
But I wanted an elementary statement of the pullback the way I did it which makes sense before the de Rham differential is even introduced. Thatâ€™s how the development at geometry of physics proceeds.
Of course one could decide to proceed differently.
1 to 3 of 3