- #1
masterfool
- 5
- 0
I'm reading Flanders' Differential Forms with Applications to the Physical Sciences and I have some issues with problems 2 and 3 in chapter 3, which appear to ask the reader to compute the pullback a mapping from X to Y applied to a form over X, and I'm not sure how to interpret such a thing. Problem 3 reads:
Consider the mapping [tex]\phi : (x,y)\rightarrow (xy,1)[/tex] on E2 into E2. Compute [tex]\phi^{*}(dx)[/tex], [tex]\phi^{*}(dy)[/tex], and [tex]\phi^{*}(ydx)[/tex].
What I'm tempted to do is to consider phi as a mapping from [tex](x,y)[/tex] to [tex](x',y')[/tex], and instead compute [tex]\phi^{*}(dx')[/tex], [tex]\phi^{*}(dy')[/tex], and [tex]\phi^{*}(y'dx')[/tex], which would make everything easy as pie since then I'd just be computing the pullback of a form defined over the image space. But I'm not sure if that dumb little notational issue is all there is to it, or maybe I'm supposed to do something else, like first apply the identity map to [tex](dx,dy)[/tex] and then apply the pullback, which I must admit makes my head spin a little.
I have essentially the same issue with problem 2, which asks for the pullback of a form defined on the domain, and I'm tempted to say that's just the identity transformation (i.e. that the pullback is a projection operator). I also did a funky calculation and found just that, but I'm far from confident that I even understood what the question was.
Thanks for your help.
I apologize for the hideous appearance; I'm still wrestling with LATEX.
I also realized a bit too late that I should have posted this in "homework help" even though I'm not in a class, so sorry for that too.
Consider the mapping [tex]\phi : (x,y)\rightarrow (xy,1)[/tex] on E2 into E2. Compute [tex]\phi^{*}(dx)[/tex], [tex]\phi^{*}(dy)[/tex], and [tex]\phi^{*}(ydx)[/tex].
What I'm tempted to do is to consider phi as a mapping from [tex](x,y)[/tex] to [tex](x',y')[/tex], and instead compute [tex]\phi^{*}(dx')[/tex], [tex]\phi^{*}(dy')[/tex], and [tex]\phi^{*}(y'dx')[/tex], which would make everything easy as pie since then I'd just be computing the pullback of a form defined over the image space. But I'm not sure if that dumb little notational issue is all there is to it, or maybe I'm supposed to do something else, like first apply the identity map to [tex](dx,dy)[/tex] and then apply the pullback, which I must admit makes my head spin a little.
I have essentially the same issue with problem 2, which asks for the pullback of a form defined on the domain, and I'm tempted to say that's just the identity transformation (i.e. that the pullback is a projection operator). I also did a funky calculation and found just that, but I'm far from confident that I even understood what the question was.
Thanks for your help.
I apologize for the hideous appearance; I'm still wrestling with LATEX.
I also realized a bit too late that I should have posted this in "homework help" even though I'm not in a class, so sorry for that too.
Last edited: