Orientation of hypersurface

Question

Some books on mean curvature flow (e.g. Mantegazza, Ecker) state that an embedded hypersurface in $\mathbb{R}^{k+1}$ is orientable (Mantegazza page 3, Ecker page 110). In other words, they assume the existence of a globally defined (unit) normal field along the embedded hypersurface.

Does anyone know how to prove this? Isn't the Mobius strip able to be embedded in Euclidean space, yet it isn't orientable?

For some definitions, let $M$ be a smooth $k$-dimensional manifold. A smooth map $\varphi:M\rightarrow\mathbb{R}^{k+1}$ is a hypersurface (an immersion) if its differential is injective. It is an embedding if it is also a homeomorphism onto its image $\varphi(M)$. An immersed hypersurface is a subset $S\subset\mathbb{R}^{k+1}$ which is a $k$-dimensional manifold such that the inclusion map $\iota:S\hookrightarrow\mathbb{R}^{k+1}$ is an immersion. An embedded hypersurface is a subset $S\subset\mathbb{R}^{k+1}$ which is a $k$-dimensional manifold whose topology conicides with the subspace topology inherited from $\mathbb{R}^{k+1}$ and the inclusion is an embedding.

We can also characterise an embedded hypersurface using single-slice adapted charts: Each point $p\in S$ is contained in a coordinate neighborhood of a single-slice chart $(U,\mathsf{u})$ on $\mathbb{R}^{k+1}$ adapted to $S$ such that $U\cap S=\{(u^1,...,u^{k+1})\;|\;u^{k+1}=0\}$. The pair $(U\cap S,\mathsf{proj}_{\mathbb{R}^k}\circ\mathsf{u}|_{U\cap S})$ is then a chart for $S$ and as we range over $p\in S$ we get an atlas for $S$.

Answer 1

Theorem
Every closed embedded hypersurface of $S\subset \mathbb R^{k+1}$ is orientable.
Proof
The hypersurface $S$ is defined by family $(U_i,f_i)$ where the $U_i$'s are an open covering of $\mathbb R^{k+1}$ and the $f_i:U_i\to \mathbb R$ are $C^\infty$ functions subject the condition that there exist $C^\infty$ functions $g_{ij}:U_i\cap U_j\to \mathbb R^\star$ satisfying $f_i=g_{ij}f_j$ on $U_i\cap U_j$.
We then have $S\cap U_i=f_i^{-1}(0)$ (here we used $S$ is closed).

Those $g_{ij}$ define a line bundle $L$ on $\mathbb R^{k+1}$, which is necessarily trivial like all line bundles on $\mathbb R^{k+1}$, since $\mathbb R^{k+1}$ is contractible.
But then the restriction $L|S$ of $L$ to $S$ is trivial too and since that restriction is the normal bundle of the embedding $S\hookrightarrow \mathbb R^{k+1}$, that normal bundle is trivial, which implies that $S$ is orientable.

[Note carefully that connectedness or compactness of $S$ is not assumed]

Edit
In this more recent answer I prove independently that the smooth hypersurface $S$ has a global equation, which implies that it is orientable.

Answer 2

Another solution that uses some algebraic topology: without loss of generality assume $M$ is connected of dimension $k-1$, and therefore is a compact connected hypersurface without boundary in the compactification $S^{k}$. Using $\mathbb{Z}_2$ coefficients everything is oriented, so we can use Poincare duality to get that $H^{k-1}(M) \cong \mathbb{Z}_2$. The top degree part of the long exact sequence of relative cohomology of the pair $(S^k, M)$ looks like $$ 0 \to H^{k-1}(M) \to H^k(S^k, M) \to H^k(S^k) \to H^k(M) \to 0$$Replacing the groups that we know gives $$0 \to \mathbb{Z}_2 \to H^k(S^k, M) \to \mathbb{Z}_2 \to 0$$ which shows that $H^k(S^k, M) \cong \mathbb{Z}_2^{2}$. A straightforward argument using excision and tubular neighbourhoods shows that $H^*(S^k, M) \cong H^*_c(S^k \setminus M)$ where $H^*_c$ denotes the compactly supported cohomology, so we have that $$H^k_c(S^k\setminus M) \cong \mathbb{Z}_2^2$$ By Poincare duality (noting that $S^k \setminus M$ is an open subset of $S^k$ and hence oriented) we have $H_0(S^k \setminus M) \cong \mathbb{Z}_2^2$, so $S^k \setminus M$ has two components, one of which must contain the point $\infty$. The normal bundle of $M$ in $S^k$ can therefore be trivialised by choosing a section that always points towards infinity. Therefore $M$ itself is orientable because it has a trivial normal bundle in $S^k$. Looking at the situation in $\mathbb{R}^k$, the section that we defined is essentially the Gauss map for $M$.