compact manifold question


by redrzewski
Tags: compact, manifold
redrzewski
redrzewski is offline
#1
Jan18-12, 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 n-form, then a=dB where B is an n-1 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
Phys.Org News Partner Science news on Phys.org
Cougars' diverse diet helped them survive the Pleistocene mass extinction
Cyber risks can cause disruption on scale of 2008 crisis, study says
Mantis shrimp stronger than airplanes
quasar987
quasar987 is offline
#2
Jan19-12, 07:36 AM
Sci Advisor
HW Helper
PF Gold
quasar987's Avatar
P: 4,768
Your analysis is impeccable. Usually, when ppl say manifold, they mean "without boundary". Find out what Taylor means by manifold.
kdbnlin78
kdbnlin78 is offline
#3
Jan19-12, 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.

Jamma
Jamma is offline
#4
Jan20-12, 10:00 AM
P: 429

compact manifold question


That's a very nicely constructed counter-example, 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 n-1 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 Poincare-Hopf 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.
Jamma
Jamma is offline
#5
Jan20-12, 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.
zhentil
zhentil is offline
#6
Jan22-12, 01:05 PM
P: 491
Quote Quote by kdbnlin78 View Post
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.
This is not one of those cases. If Taylor's claim is correct, his terminology is non-standard.


Register to reply

Related Discussions
compact manifold Differential Geometry 9
Holonomy of compact Ricci-flat 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
compact-valued range doesnot imply compact graph Calculus 3