Batchelor vortex: Difference between revisions
en>Lockley m remove context tag |
en>Addbot m Bot: Migrating 1 interwiki links, now provided by Wikidata on d:q4868731 |
||
| Line 1: | Line 1: | ||
In [[mathematics]], the '''prime decomposition theorem for 3-manifolds''' states that every [[compact space|compact]], [[orientability|orientable]] [[3-manifold]] is the [[connected sum]] of a unique ([[up to]] [[homeomorphism]]) collection of [[prime manifold|prime 3-manifold]]s. | |||
A manifold is ''prime'' if it cannot be presented as a connected sum of more than one manifold, none of which is the sphere of the same dimension. This condition is necessary since for any manifold M of dimension <math>n</math> it is true that | |||
:<math>M=M\#S^n.</math> | |||
(where ''M#S<sup>n</sup>'' means the connected sum of ''M'' and ''S<sup>n</sup>''). If ''P'' is a prime 3-manifold then either it is ''S''<sup>2</sup> × ''S''<sup>1</sup> or the non-orientable ''S''<sup>2</sup> [[fiber bundle|bundle]] over ''S''<sup>1</sup>, | |||
or it is [[irreducible manifold|irreducible]], which means that any embedded 2-sphere bounds a ball. So the theorem can be restated to say that there is a unique connected sum decomposition into irreducible 3-manifolds and fiber bundles of ''S''<sup>2</sup> over ''S''<sup>1</sup>. | |||
The prime decomposition holds also for non-orientable 3-manifolds, but the uniqueness statement must be modified slightly: every compact, non-orientable 3-manifold is a connected sum of irreducible 3-manifolds and non-orientable ''S''<sup>2</sup> [[fiber bundle|bundle]]s over ''S''<sup>1</sup>. This sum is unique as long as we specify that each summand is either irreducible or a non-orientable ''S''<sup>2</sup> [[fiber bundle|bundle]] over ''S''<sup>1</sup>. | |||
The proof is based on [[normal surface]] techniques originated by [[Hellmuth Kneser]]. Existence was proven by Kneser, but the exact formulation and proof of the uniqueness was done more than 30 years later by [[John Milnor]]. | |||
==References== | |||
* J. Milnor, ''A unique decomposition theorem for 3-manifolds'', [[American Journal of Mathematics]] 84 (1962), 1–7. | |||
[[Category:3-manifolds]] | |||
Latest revision as of 23:17, 14 March 2013
In mathematics, the prime decomposition theorem for 3-manifolds states that every compact, orientable 3-manifold is the connected sum of a unique (up to homeomorphism) collection of prime 3-manifolds.
A manifold is prime if it cannot be presented as a connected sum of more than one manifold, none of which is the sphere of the same dimension. This condition is necessary since for any manifold M of dimension it is true that
(where M#Sn means the connected sum of M and Sn). If P is a prime 3-manifold then either it is S2 × S1 or the non-orientable S2 bundle over S1, or it is irreducible, which means that any embedded 2-sphere bounds a ball. So the theorem can be restated to say that there is a unique connected sum decomposition into irreducible 3-manifolds and fiber bundles of S2 over S1.
The prime decomposition holds also for non-orientable 3-manifolds, but the uniqueness statement must be modified slightly: every compact, non-orientable 3-manifold is a connected sum of irreducible 3-manifolds and non-orientable S2 bundles over S1. This sum is unique as long as we specify that each summand is either irreducible or a non-orientable S2 bundle over S1.
The proof is based on normal surface techniques originated by Hellmuth Kneser. Existence was proven by Kneser, but the exact formulation and proof of the uniqueness was done more than 30 years later by John Milnor.
References
- J. Milnor, A unique decomposition theorem for 3-manifolds, American Journal of Mathematics 84 (1962), 1–7.