I am reading Guillemin & Pollack's Differential Topology and I love it so far. However, the chapter about orientation of a manifold makes me struggle quite a bit. I have yet fully understood it. In particular, I am lost every time the book says showing some way of defining an orientation on a manifold is smooth. For example, here is an excerpt
I totally understand the way an orientation is defined on S as the book described. But then I don't know how to show "smoothness" of this orientation.
My thinking is as follows. Please let me know if I am on the right track.
I am supposed to show that, for each $x \in S$, there exists a local parametrization $\phi :U\subset R^k \to E \subset S$, $\phi(0)=x$ such that $d\phi_u$ is an orientation preserving isomorphism with respect to the standard orientation on $R^k$, which is $\{e_1, e_2, ..., e_n\}$ being positive orientation, and the orientation on $T_u(S)$ constructed according to the book, for each $u\in E$.
Then I have to show that for any such two overlapping parametrization, the derivative of transition function has positive determinant.
Do you guys think there is a better way of showing "smoothness" than this. And please do not use anything not in GP's book.
Thank you.
