Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2021/iii/paper-115/1/d/solution

Real line bundles over a paracompact space are classified by
Euclidean space is a contractible space, so its first cohomology vanishes and every real line bundle on it is trivial. Apply this to the defining bundle from part (c). In a global trivialization, is a smooth real function with and . Thus , or a metric-dual normal vector field, gives a global orientation of the normal line. Combining this with the standard orientation of gives an orientation of using the same normal-first convention as the outward-normal-first boundary orientation. Hence every properly embedded hypersurface in is orientable.

New to topics? Read the docs here!