Dus als ik uw uitleg goed begrijp, dan induceert de oriënteerbare variëteit X een oriëntatie op rand(X) op deze manier: Zij X oriënteerbar, dan bestaat er een familie van parametrisaties genoteerd als (Ua,fa) zodat als fa:Ua- $>$ Va en fb:Ub- $>$ Vb dan is de determinant van dfa(dfb) $>$ 0. Nu is(Wa=Ua $\cap $ rand(X),ga=fa|rand(X) $\cap $ Ua) wat we willen voor de rand(X). Nu zie ik niet hoe dfa(dfb) $>$ 0 impliceert dat dga(dgb) $>$ 0?Rafik
3-5-2023
Je orienteert eerst het inwendige en breid de parametriseringen uit tot de rand; je kun dat doen zo dat $\{x:x_k=0\}$ naar de rand gaat en de $k$-de eenheidsvector naar binnen wijst.
Dan kun je beperken tot $\mathbb{R}^{k-1}$ en zien dat je met een $k-1$ bij $k-1$ determinant te maken hebt.
Zie ook hier, en verdere referenties.
kphart
8-5-2023
#97708 - Algebra - Student universiteit België