Exterior derivative - Wikipedia: "so d( f ∗ω) = f ∗dω, where f ∗ denotes the pullback of f . This follows from that f ∗ω(·), by definition, is ω( f∗(·)), f∗ being the pushforward of f . Thus d is a natural transformation from Ωk to Ωk+1.
"
'via Blog this'
No comments:
Post a Comment