If exist orientable atlas then exist nondegenerate n-form

74 Views Asked by At

Let $X$ is $n$-manifold with smooth atlas $\phi_\alpha : U_\alpha \to \mathbb{R}^n$ such that, for every $a \in U_\alpha \cap U_\beta$, $\phi_{\alpha \beta}' (\phi(a)) > 0$. I am need to proof, that there exist $n$-form $\omega \in \bigwedge^n T^* X$ such that $\forall a \in X$ $\omega(a)$ nondegerate on $T_a X$.

I am tried to define $\omega$ on every chart $U_\alpha$ in such way: $$\omega(a)(\gamma_1'(0),...,\gamma_n'(0)) = \det((\phi_\alpha \circ \gamma_1)'(0),...,(\phi_\alpha \circ \gamma_n)'(0))$$ but this definition isn't agreed on intersections, because: $$\det((\phi_\alpha \circ \gamma_1)'(0),...,(\phi_\alpha \circ \gamma_n)'(0)) = \det(\phi_{\beta \alpha}' (\phi_\beta(a)) \det ((\phi_\beta \circ \gamma_1)' (0),...,(\phi_\beta \circ \gamma_n)') \neq \det ((\phi_\beta \circ \gamma_1)' (0),...,(\phi_\beta \circ \gamma_n)'(0)) $$ for some $a \in U_\alpha \cap U_\beta$ so, I am a little confused, how I can define that form? Thank you!