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.
Why does pullback of functions redirect here, rather than to the main article pullback? In set theory the pullback of functions $f:A \to C$ and $g:B \to C$ is the solution set $\{(x, y) \in A \times B \vert f(x) = g(y)\}$.
there is also the type theory definition of pullback of functions at pullback
1 to 5 of 5