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.

Articles by others on the same topic (0)

There are currently no matching articles.