Proof by contrapositive: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>Yobot
m clean up, References after punctuation per WP:REFPUNC and WP:CITEFOOT using AWB (9345)
en>Anythingcouldhappen
Reverted to revision 618184849 by Monkbot (talk). (TW)
 
Line 1: Line 1:
[[Image:3-Manifold_3-Torus.png|right|frame| An image from inside a 3-Torus, generated by [[Jeffrey_Weeks_(mathematician)|Jeff Weeks]]' CurvedSpaces software. All of the cubes in the image are the same cube, since light in the manifold wraps around into closed loops, the effect is that the cube is tiling all of space. This space has finite volume and no boundary.]]
The author is called Irwin. Puerto Rico is where he and his wife live. His wife doesn't like it the way he does but what he truly likes performing is to do aerobics and he's been doing it for quite a whilst. Managing people is his occupation.<br><br>Look into my web-site :: [http://www.madcontact.com/members/ingebritchard/activity/110303/ www.madcontact.com]
 
In [[mathematics]], a '''3-manifold''' is a 3-dimensional [[manifold]].  The topological, [[Piecewise linear manifold|piecewise-linear]], and smooth categories are all equivalent in three dimensions, so little distinction is made in whether we are dealing with say, topological 3-manifolds, or smooth 3-manifolds.
 
Phenomena in three dimensions can be strikingly different from phenomena in other dimensions, and so there is a prevalence of very specialized techniques that do not generalize to dimensions greater than three.  This special role has led to the discovery of close connections to a diversity of other fields, such as [[knot theory]], [[geometric group theory]], [[hyperbolic geometry]],  [[number theory]], [[Teichmüller space|Teichmüller theory]], [[topological quantum field theory]], [[gauge theory]], [[Floer homology]], and [[partial differential equations]]. 3-manifold theory is considered a part of [[low-dimensional topology]] or [[geometric topology]].
 
A key idea in the theory is to study a 3-manifold by considering special [[surface]]s embedded in it.  One can choose the surface to be nicely placed in the 3-manifold, which leads to the idea of an [[incompressible surface]] and the theory of [[Haken manifold]]s, or one can choose the complementary pieces to be as nice as possible, leading to structures such as [[Heegaard splitting]]s, which are useful even in the non-Haken case.
 
[[William Thurston|Thurston's]] contributions to the theory allow one to also consider, in many cases, the additional structure given by a particular Thurston model geometry (of which there are eight).  The most prevalent geometry is hyperbolic geometry.  Using a geometry in addition to special surfaces is often fruitful.
 
The [[fundamental group]]s of 3-manifolds strongly reflect the geometric and topological information belonging to a 3-manifold. Thus, there is an interplay between [[group theory]] and topological methods.
 
== Important examples of 3-manifolds ==
 
* [[Euclidean 3-space]]
* [[3-sphere]]
* [[SO(3)]] (or 3-dimensional [[real projective space]])
* [[Torus|3-torus]]
* [[Hyperbolic 3-space]]
* [[Homology sphere#Poincaré homology sphere|Poincaré dodecahedral space]]
* [[Seifert–Weber space]]
* [[Gieseking manifold]]
 
===Hyperbolic link complements===
The following examples are particularly well-known and studied.
 
* [[Figure-eight knot (mathematics)|Figure eight knot]]
* [[Whitehead link]]
* [[Borromean rings]]
 
== Some important classes of 3-manifolds ==
 
* [[Graph manifold]]
* [[Haken manifold]]
* [[Homology sphere]]s
* [[Hyperbolic 3-manifold]]
* [[I-bundle]]s
* [[Knot and link complements]]
* [[Lens space]]
* [[Seifert fiber spaces]], [[Circle bundle]]s
* [[Spherical 3-manifold]]
* [[Surface bundles over the circle]]
* [[Torus bundle]]
 
The classes are not necessarily mutually exclusive.
 
== Some important structures on 3-manifolds ==
* [[Contact geometry]]
* [[Essential lamination]]
* [[Haken manifold]]
* [[Heegaard splitting]]
* [[Taut foliation]]
* [[Trigenus]]
 
== Foundational results ==
Some results are named as conjectures as a result of historical artifacts.
 
We begin with the purely topological:
 
* [[Moise's theorem]] – Every 3-manifold has a triangulation, unique up to common subdivision
** As corollary, every compact 3-manifold has a [[Heegaard splitting]].
* [[prime decomposition (3-manifold)|Prime decomposition theorem]]
* Kneser–Haken finiteness
* [[Loop theorem|Loop]] and [[Sphere theorem (3-manifolds)|sphere]] theorems
* [[Annulus theorem|Annulus]] and [[torus theorem]]
* [[JSJ decomposition]], also known as the toral decomposition
* [[Scott core theorem]]
* [[Lickorish-Wallace theorem]]
* [[Friedhelm Waldhausen|Waldhausen]]'s theorems on topological rigidity
* [[Waldhausen conjecture]] on Heegaard splittings
 
Theorems where geometry plays an important role in the proof:
 
* [[Smith conjecture]]
* [[Cyclic surgery theorem]]
 
Results explicitly linking geometry and topology:
 
* Thurston's [[hyperbolic Dehn surgery]] theorem
* The Jørgensen–Thurston theorem that the set of finite volumes of hyperbolic 3-manifolds has order type <math>\omega^\omega</math>.
* Thurston's [[hyperbolization theorem]] for Haken manifolds
* [[Tameness conjecture]], also called the Marden conjecture or tame ends conjecture
* [[Ending lamination conjecture]]
 
== Important conjectures ==
Some of these are thought to be solved, as of March 2007.  Please see specific articles for more information.
 
* [[Poincaré conjecture]] &mdash; see also [[Solution of the Poincaré conjecture]]
* [[Thurston's geometrization conjecture]]
* [[Virtually fibered conjecture]]
* [[Virtually Haken conjecture]]
* [[Cabling conjecture]]
* [[Surface subgroup conjecture]]
* [[Simple loop conjecture]]
* The smallest hyperbolic 3-manifold is the [[Weeks manifold]].
* [[Lubotzy-Sarnak conjecture]] on [[property tau]]
 
== References ==
*{{citation |last=Hempel |first=John |title=3-manifolds |year=2004 |publisher=American Mathematical Society |location=Providence, RI |isbn=0-8218-3695-1 }}
*{{citation |last=Jaco |first=William H. |title=Lectures on three-manifold topology |year=1980 |publisher=American Mathematical Society |location=Providence, RI |isbn=0-8218-1693-4 }}
*{{citation |last=Rolfsen |first=Dale |title=Knots and Links |year=1976 |publisher=American Mathematical Society |location=Providence, RI |isbn=0-914098-16-0 }}
*{{citation |last=Thurston |first=William P. |title=Three-dimensional geometry and topology |year=1997 |publisher=Princeton University Press |location=Princeton, NJ |isbn=0-691-08304-5 }}
*{{citation |last=Adams |first=Colin Conrad |title=The Knot Book |year=2002 |publisher=W.&nbsp;H. Freeman |location=New York |isbn=0-8050-7380-9|pages= |url= }}
*{{citation |last=Bing |first=R. H. |title=The Geometric Topology of 3-Manifolds |year=1983 |publisher=American Mathematical Society |series=Colloquium Publications |volume=40 |location=Providence, RI |isbn=0-8218-1040-5 |pages= |url= }}
 
==External links==
*{{citation |last=Hatcher |first=Allen |title=Notes on basic 3-manifold topology |publisher=Cornell University |url=http://www.math.cornell.edu/~hatcher/3M/3Mdownloads.html }}
 
[[Category:Geometric topology]]
[[Category:3-manifolds]]

Latest revision as of 07:42, 16 October 2014

The author is called Irwin. Puerto Rico is where he and his wife live. His wife doesn't like it the way he does but what he truly likes performing is to do aerobics and he's been doing it for quite a whilst. Managing people is his occupation.

Look into my web-site :: www.madcontact.com