Suppose M is pasallelizable, i e M has a tTiVa

VectoT bundle. (i e E MxR, M i n - dimensionak Smooth

manipold)
M has a
Lobal Smooth fsame.
Let (E,, - -,En) be a zlobal smooth frame

for M.
Define a boint wige 0sientoation on M bby
olecleang the basls ( E,l,, -Enlto b.
positively osiented a each beM.
This Pointuwi3 e orientation ContinuOUS
beca uBe every Þoint of M n the domain of
C8Lobal) osiented saime (E;)

M has aan entable 8lobal frame E ,E,)

M u oriented.

Let f M N be ientation PreseVeng

du Ffem0s phis m between n- dimens1O nal OsientEd
mani foldi, Let weA(N).
S s"(w). -
N M
To PrOve , i t suffices to ag8ume thock à
Compact ly sup ted in a single positively oriented
Smooth chart, because an Comb actIy SupportA
-fom on N Cam be witten as a ftnite sum
o Such forms means aff patition ounity
 suppoBe (U,f) 19
a positively osient Smooth
Thus, t h e support
domain containg
c h a r t On Nhoge

o Th

Jw:= (E*w -ú)

N

Since F u Oretotiom Pele7 Virg

F M
N

an Oriented Smoo th ehast

claim: (FLu) of)
covtaina the suppogt
domain
On M
M hoge

o w
f(0) a Oey subset af M
cleasl
becase i s an open set and f is diffeonosph
-im.

foand both
diffeomO7bW3
Since FeomorbW take2 intesiosg to integiovs
boundoasies to boundaojeg amo gets measure ze0

t+he Set of meaude

z ego.
So, f s o ) > U 2 aSmooth map that vistricts to
and oientatiom - Prezevinr di taomosphis
Again Sup w = pe M(F*, +o
eM (
)X )#o, (*ilbasi
eM (fP)) *n) +o
P o i n t - wrze

PeM cf f*n) +0
Since i diPfeomoYFhs m
s O 4 x , ---,fsXn) +o
EM : f S

-peM FtO
cf(u)
f a ) eM: w,+o}
Thus | sotp *uwc flu)|
So S #w)= F)).s
M
(4)Ft)
f poP)l)*.

toom d) and ) , we e t

Sw Jf()M
 atlas
Take S.teseo8 Tafhac

f-(\o,0,),), ("\(°,°,,v)
here ,,)= (
yz,3,*) = z
(z,9)
Amd yo¢(z,y) » L ( , )

Jac (4") (*,*) = 2

(z+) 22
an d
Jael v ob) C,o) =| det Jacl yob)G)<o

lunv) =? Ro} a
AAD o: (unv) ={iR-{o}}
Pfeom osphi3 m
connectcd s0
i
Az R e R-}o
detfJae(yo4) (*, s) o
s Not con3i3tently OTiented.
A A
Replace by y= heTe a ) = (-*1*)

Then
Than det [Jac(y'o 5)w) - det (Jaca) lyo$'l)
det(jaclVo6))(P) >o
So A
S(6), (V, y') } is a Consiztently oriented
a tlas S is osiented. (Take this atlas)
No u s e A ( R ) a3 u d z n dy+yayAdz

ou vide M into COmact domains. o întes

Let
E, f z , 2) s | z0}

Let D,-D - P= } (4,3)em" *+*e}

Let , DiE, be F,2,9) = (*,4, V - z - y )

FD2 E, be F, Ux,9) » e ¥ , - V-x)

Then D; aTe Compact domains ointeg and

,
E
F; (D;) - Et Int ( ; ) > int lE; )
,
ilt(D;)
dfeom osbiSm

E,nE,C JE, Oa E2.

C su h w c
E, UE,=S
e ill VeriPy that, i ckeesF e

otientaki o Preservina.

The OTientati om akla3 on s ig A.

Let U =
vn int (E,)
F F , "(u,)
F , ) (z,,VT-2 y)= ( - V - y 1-V-2y
VI- a o) V - Y

' 1-Vi--)= (-2

(-2) -

2V--
--VT- V

-E) =
Vi- y )
Sign Tac(o) ) sign det

O
-
sign det -
-

So F is Not o9ientation presesvirg

Take t instead F'=F
here 7C%) -l-*)

eFlz,») =(-* y, Vi-

hen det Jac (oF)= det Jacl dof). det jac

amd det Jac ( y'o F } ) d e t Jacl y'o4") d e t Tac l9* /70

o
SDF
F i osient atim Þoebervirg
Let U U intlE
FFV)

Let v -
VNint (E)
FF(V,) ylV)
oF(x 4) = y(x3, V - y =
-

- V - y -V-
fromi), uwe CAn e tha F =
f. at
(
foom te above calculam F, s not orientd
Fro th same OxT qunent cS We
have done n above
we et F , where sCz,3)=-*,)
amd F is orientatiom eresesvgng
Thus
F,)- (-*, },
CAnd F(<,y) =
(-z,¥, -V 1--y)

Fd - d (xo) = de--d*

(F'z) d (zo F) = ¢ ( VTy)

Vi-y V1-y
(F)d*) = d(xor) - d(-)=-
F(y) =d (yo FL) d () -dy
( F ) ( d ) = d(zoF}) = d ( - V r - y ) - d(VTy)

so,
eo F) d (zo F}) A d(3o F}) + goF) d lyoH)Ad(zo)
(F =

d d
dundy) t V-
(- dead y) - z dyadx - y dyady

dxady Y dxndy (dnd =o)

V--y
dendy dy.
V--
(-dr Ad}) +*
Y(dy ^ ( t* d
dnd +yT. dyndz - (
yv
-
V-2y hdy.
V- y
SG + JE)w
D2

d n d y++ dndy
-y -y

2 drndy

V1--yY

-2 CoS . r d T d e
-
de. thoorem)
Fubini'4
2
dr Cos
Vi-

tdt /1+ Cos6|Jo.

Y1-t
Jtdt (r)t+)) ( {fd
lotb-xd
V-1+t

4 dt T
(VE dt SEdt)-

-T( 2) =r
Let M,N be oriented n-manifolda with orientaton
atlase Am and tN and OTientatiom fosm
Mand N es pecttvely. 1 M N b e a
Local diffeomos phism

Since basi
(Xi) Positi vely orient ed gs

Xn)>o

M 4 % x , - Nn hese 8eCM), I>0.

oher e dx; ' aTe CoTrep0ndig pullbacke o X; 2

No( N),(X-Xn) =on-N).X -*-,X,) (Poitwie)
( nCt) - Ui,kn) >o

13 +vely ovierted
Thus
(U basifu
N),(x,,---,Xn) 70
un =
hxn n
heTe hec°CM) and h >.

n whare f= he M)
f>o.Cb >opar)
aN N f M b y
Let
O>0 Let
be tha
eC,)
Clote o
and (P)
MN
E
(V, ) and
esectively. and also
nu)cV
et these chasts ase Osieted