Ho due ( let be M Let K Recall The ( Linear d ( In any k - ' - math O two forms in n , ) sooner on . the of set te forms smooth - vector : multiply linear a real by ' no ) dimensional constants for d Law means ( space . map It → to r sequence tbd ) = k each dw a two the called → eh closet b steps of maps gives of d kernel these ' r ones successive all put e moving , , . real a is ' her ( dich are dimension denote 'T , a useful a , it b t d . d for forms w constants d- no . . is map sometimes Since , - eh : through go Nih , I derivative exterior is - forms add d It O - this that can manifold of simply or , to cohomology of smooth ) in L 29 encouraged are you model a r but I The de 12ham Jan Wed this too , is . . property called a , in sequence a a , b.) : torn . sequence this with I ' or in together maps I , gives that comply zero , composing . ) , " ) to = - { forms er w " I dw = 03 . → z \ k forms - @ in the in or i " rh ' - → ) called are Note forms w - then , d w - obtained is Recall the u If M IR forms closed and the about The not is " , y s if ! w discrepancy way M encoded is 't then dw . - - There is in glued the dx is . HMM ) k - O , - - , 1- form any fi " w fo - , du flu discrepancy a together globally . ] , nontrivial something measures ) that true . f groups - denoted : then be cohomology exact ) are dy always can forms locally , , - not is Lx ) O - guns it . - closed we . f - discrepancy ultimately the ( Integration some with exact are ' . Iffy dog = O true trially satisfies - r← } t y some : = is exists example of IR auto which closed converse doing by far dy = dcdq ) = then then O - w . due IfR the " I always are then dy - " Gr w - exact if { = , le forms exert that if d of image M , T , This n For . is us which a standard they are happen to name vector , spaces also be , abelian rs groups . } The L - cohomology th Hk ( M ) group her = l di is defined " sruti er the as quotient ) week - L d in = - ' Sh s nectar quotient of ← eh ' ) spaces closedk-formsexae.tk forms - { = do I the with if w - , relation equivalence y - O - for dd = w I some y n 't r e ' } i In Surprise under ! I It with all it's vector to get the some consists ; , the or all of forms exact assumptions HMM ) Hklm ) if O u interior reasonable on of e for exercises this IR . is dd - - closed . to set are to . k forms a aero , . compact manifold examples of this typed are dimensional find are ) integers following ful ) w M birth bk.IM The point of M w , the compact boundary spaces So The ( mild very with the " Thus some either particular . for some integers ) called the Betti of balm use Stokes numbers - theorem . M , 1 for that Show . ( meaning At I ° Note is 2 . Let M Hint the : 3 . Let M - Let's If Note So ! It ' CS ) It ' I ' (S ) - . 5 = forms { = { w er w/ " E = fer ° sit dfeo ] . , l IR ) " ' the O , that ? In IR on Problem I try ' " every 2 wry to this here din L di if w rose - q - this do since , ' looking ship can closed are } / you , Hols ) that without it idle HW how of outline or S Er w ' here . but , on all ) it ? from this all : M on It An ' already you HOLM ) guarantees know Lecture of M in . about worry path a functions is exact is We find end the S =L by equation ? lemma form to restrict what Poincare bo . just is O = this . closed ) connected are . function df " ) " r Holm solve IR M in forms exact I corrected is I.e smooth a you - points no does Can two no definition af how that . there's if f M ±IR are since The : any ) M there ! ( Hint any ' IR . at is . problem orcs are = ' no , ) O ? 2- . forms ) ) df for some f 3 . → . § - Suppose I Step w GLO ) = w , Hint Step 2 w The - fit the fancy But Conclusion far so equivalence Step step 3 4 : w Let and every H' Csl - that so w ) f. w , - w in so So do ) do be (w , I do Hi Csi ) IRL do of is ) thin w - - , O . . . ) " zero the by the precisely are = do u . is , W H in nonzero forms I . LS ) ' ' form - ! , . do ) equivalent Id to . f some H' CSD in the O = for def , is to 2 it = arbitrary an % - , N too fg then Stokes set to Js Ss = a ) , Show , " ' df = too S flo with is H' C zero glo = w forms 1in are let Therefore so the do - w show : : if this period're function smooth a e. f explicitly ! explicitly relation and Conclusion it integrals Let : to do do f some : . glo ) do construct converse way can you whose for integrate to : Prone : df - periodic function , O = meaning then smooth a g if Is that Prone : for do a vector l by Step 1) , . multiple of space ul DO ' basis do . → , the That's end found we've the problem of HOLS ) ' 4 . Optional Let we but - M S2 = Let 's ' ) - here I We - Gruen to , f , other if for any = dw by point flp ) other Sgp ' ppl dw w O - N p . , df - IR - - for some function f . Vp ftp . base a choose ) = independent we ) O = a point of . path fypw argue is Hks . as , that class tis integrating define and p Sppw Problems O = as pole that e - discuss written with north any T⇒: I. I - you shipped with w be the will H' ( SD form construct can Choose if this We . arbitrary be IR - . do that . w ' b' LSD must IR - can Let Ls ) . show ie ' It and =L you HOLS know - (5) bo IR - § , the from N . choice of path jp have w → . . I Picture : ! .io is u Snow , Hint : Stokes use Simplification i theorem ' you internet Nottodo but you think : application an can about ends it Remarks For . altogether the n bo bo (5) dimensional - =L , b, = - b I sphere O , df result . Yp doesn't it that the gives that & yp bz the , - - o , a = ' do actually fundamental theorem the of showing up which though , - , assume may ? So - not matter . calculus of desired as , . , LSD pattern - - . . , bae O = 53=1 is bn , = O , bn =L - Interesting things happen only at . the two ends . .
Purchase answer to see full attachment