|
|
|
|
|
Whitehead ManifoldIn mathematics, the Whitehead manifold is an open 3-manifold that is contractible, but not homeomorphic to . Henry Whitehead discovered this puzzling object while he was trying to prove the Poincar conjecture. A contractible manifold is one that can continuously be shrunk to a point inside the manifold itself. For example, a ball is a contractible manifold. All manifolds homeomorphic to the ball are contractible, too. Are all contractible manifolds homeomorphic to a ball? For dimensions 1 and 2, the answer is classical and it is "yes". In dimension 2, it follows, for example, from the Riemann mapping theorem. Dimension 3 presents the first counterexample:- the Whitehead manifold. Take a copy of S3, the three-dimensional sphere. Now find a compact unknotted solid torus T1 inside the sphere. (A solid torus is an ordinary three-dimensional doughnut, i.e. a filled-in 2-torus, which is a topologically circle × disk.) The complement of the solid torus inside S3 is another solid torus. Now take a second solid torus T2 inside T1 so that T2 and a tubular neighborhood of the meridian curve of T1 is a thickened Whitehead link. Note that T2 is null-homotopic in T1, in particular avoiding the meridian of T1 Since the Whitehead link is symmetric, i.e. a homeomorphism of the 3-sphere switches components, it is also true that the meridian of T1 is also null-homotopic avoiding T2. Now embed T3 inside T2 in the same way as T2 lies inside T1, and so on; to infinity. Define W, the Whitehead continuum, to be T∞, or more precisely the intersection of all the Tk for k = 1,2,3, ... . The interesting space is S3\W which is a non-compact manifold without boundary. and so W is contractible; however W is not homeomorphic to . The reason is that it is not simply connected at infinity. More examples of open, contractible 3-manifolds may be constructed by proceeding in similar fashion and picking different embeddings of Ti+1 in Ti in the iterative process. Each embedding should be an unkotted solid torus in the 3-sphere. The essential properties are that the meridian of Ti should be null-homotopic in the complement of Ti+1, and in addition the longitude of Ti+1 should not be null-homotopic in .
|
 |
| |
|
|