Assume that p is non-zero. If the form dp/p were exact, then locally a primitive would be log(p)+const; this is easily seen not to work as soon as you can "loop around" S (e.g. restrict everything to a line intersecting S and see what happens there). Thus the form dp/p is exact if and only if S is empty, and hence if and only if p is constant.
No comments:
Post a Comment