Search results
Results from the WOW.Com Content Network
For instance, take X= S 2 × RP 3 and Y= RP 2 × S 3. Then X and Y have the same fundamental group, namely the cyclic group Z/2, and the same universal cover, namely S 2 × S 3; thus, they have isomorphic homotopy groups. On the other hand their homology groups are different (as can be seen from the Künneth formula); thus, X and Y are not ...
CW complexes satisfy the Whitehead theorem: a map between CW complexes is a homotopy equivalence if and only if it induces an isomorphism on all homotopy groups. A covering space of a CW complex is also a CW complex. [13] The product of two CW complexes can be made into a CW complex.
In fact, Rokhlin's theorem implies that a smooth compact spin 4-manifold has signature a multiple of 16. Michael Freedman used the intersection form to classify simply-connected topological 4-manifolds. Given any unimodular symmetric bilinear form over the integers, Q, there is a simply-connected closed 4-manifold M with intersection form Q.
Remarkably, Whitehead's theorem says that for CW complexes, a weak homotopy equivalence and a homotopy equivalence are the same thing. Another important result is the approximation theorem. First, the homotopy category of spaces is the category where an object is a space but a morphism is the homotopy class of a map. Then
Define W, the Whitehead continuum, to be =, or more precisely the intersection of all the for =,,, …. The Whitehead manifold is defined as X = S 3 ∖ W , {\displaystyle X=S^{3}\setminus W,} which is a non-compact manifold without boundary.
Two pairs (X 1, A) and (X 2, A) are said to be equivalent, if there is a simple homotopy equivalence between X 1 and X 2 relative to A. The set of such equivalence classes form a group where the addition is given by taking union of X 1 and X 2 with common subspace A. This group is natural isomorphic to the Whitehead group Wh(A) of the CW-complex A.
If a space X is contractible, then it is also acyclic, by the homotopy invariance of homology. The converse is not true, in general. Nevertheless, if X is an acyclic CW complex, and if the fundamental group of X is trivial, then X is a contractible space, as follows from the Whitehead theorem and the Hurewicz theorem.
In mathematics, specifically algebraic topology, the mapping cylinder [1] of a continuous function between topological spaces and is the quotient = (([,])) / where the denotes the disjoint union, and ~ is the equivalence relation generated by