Separating submanifold: Difference between revisions
No edit summary |
m (2 revisions) |
||
| (One intermediate revision by the same user not shown) | |||
| Line 10: | Line 10: | ||
(In fact much weaker assumptions that simple connectedness suffice; all we need is that the first homology has no 2-torsion). | (In fact much weaker assumptions that simple connectedness suffice; all we need is that the first homology has no 2-torsion). | ||
Latest revision as of 19:58, 11 May 2008
This article defines a property of a submanifold inside a manifold
Definition
A submanifold of a connected manifold is termed separating if it has codimension 1, and if its complement in the manifold is disconnected.
Facts
- In a simply connected manifold, any compact connected submanifold of codimension one, is separating. For full proof, refer: compact connected implies separating in simply connected
(In fact much weaker assumptions that simple connectedness suffice; all we need is that the first homology has no 2-torsion).