Spaces With Isomorphic Homotopy Groups May Not Be Homotopy Equivalent
A word of caution: it is not enough to assume πn(X) is isomorphic to πn(Y) for each n ≥ 1 in order to conclude that X and Y are homotopy equivalent. One really needs a map f : X → Y inducing such isomorphisms in homotopy. For instance, take X= S2 × RP3 and Y= RP² × S³. Then X and Y have the same fundamental group, namely Z2, and the same universal cover, namely S² × S³; 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 homotopy equivalent.
The Whitehead theorem does not hold for general topological spaces or even for all subspaces of Rn. For example, the Warsaw circle, a subset of the plane, has all homotopy groups zero, but the map from the Warsaw circle to a single point is not a homotopy equivalence. The study of possible generalizations of Whitehead's theorem to more general spaces is part of the subject of shape theory.
Read more about this topic: Whitehead Theorem
Famous quotes containing the words spaces, groups and/or equivalent:
“We should read history as little critically as we consider the landscape, and be more interested by the atmospheric tints and various lights and shades which the intervening spaces create than by its groundwork and composition.”
—Henry David Thoreau (1817–1862)
“Belonging to a group can provide the child with a variety of resources that an individual friendship often cannot—a sense of collective participation, experience with organizational roles, and group support in the enterprise of growing up. Groups also pose for the child some of the most acute problems of social life—of inclusion and exclusion, conformity and independence.”
—Zick Rubin (20th century)
“In truth, politeness is artificial good humor, it covers the natural want of it, and ends by rendering habitual a substitute nearly equivalent to the real virtue.”
—Thomas Jefferson (1743–1826)