
#1
Jan1812, 11:52 PM

P: 117

I'm looking at prop 19.5 of Taylor's PDE book.
The theorem is: If M is a compact, connected, oriented manifold of dimension n, and a is an nform, then a=dB where B is an n1 form iff the ∫a over M is 0. I'm trying to understand why a=dB implies ∫a = 0. If M has no boundary, than this follows from Stokes theorem. However, if M has a boundary, then it seems like this is a counterexample: a = dx^dy, B=xdy, M=unit square in R^2 Here, ∫a = 1, and a=dB. The general definitions of compact manifold I've found don't assume no boundary. What am I missing? thanks 



#2
Jan1912, 07:36 AM

Sci Advisor
HW Helper
PF Gold
P: 4,768

Your analysis is impeccable. Usually, when ppl say manifold, they mean "without boundary". Find out what Taylor means by manifold.




#3
Jan1912, 08:53 AM

P: 34

I mean this with no patronisation intended, but you've answered your own question because in mathematics, a closed manifold is a special type of topological space, namely a compact manifold without boundary. In contexts where no boundary is possible, any compact manifold is a closed manifold.




#4
Jan2012, 10:00 AM

P: 429

compact manifold question
That's a very nicely constructed counterexample, you clearly understand the concepts reasonably well.
Indeed, this only applies to closed manifolds. However, I'm sure that you can fix it by asserting something about the behaviour of the n1 form at the boundary. E.g  if you assert that it vanishes to zero around some open neighbourhood of the boundary. There's a theorem about fixed points, I think it's called the PoincareHopf theorem, which says that for a vector field on some manifold with finitely many zero vectors, the sum of the indices of the fixed points is equal to the Euler characteristic of the surface, but if it has a boundary you need to make sure that all the vectors are outward pointing there. Perhaps there's something similar going on here. The suggestion I had above will definitely work though. 



#5
Jan2012, 10:02 AM

P: 429

Thinking about it, what I said is rubbish, just making the thing vanish near the boundary won't help at all, as an adjustment to your construction would show. So I imagine you do have to do something more inline with what I said in my second paragraph.




#6
Jan2212, 01:05 PM

P: 491




Register to reply 
Related Discussions  
compact manifold  Differential Geometry  9  
Holonomy of compact Ricciflat Kaehler manifold  Differential Geometry  0  
Real~~ How to show a compact set in Euclidean is also compact in another metic  Calculus & Beyond Homework  0  
PROVING INTERSECTION OF Any number of COMPACT SETS is COMPACT?  Calculus  4  
compactvalued range doesnot imply compact graph  Calculus  3 