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:
“through the spaces of the dark
Midnight shakes the memory
As a madman shakes a dead geranium.”
—T.S. (Thomas Stearns)
“Trees appeared in groups and singly, revolving coolly and blandly, displaying the latest fashions. The blue dampness of a ravine. A memory of love, disguised as a meadow. Wispy clouds—the greyhounds of heaven.”
—Vladimir Nabokov (1899–1977)
“Perhaps basketball and poetry have just a few things in common, but the most important is the possibility of transcendence. The opposite is labor. In writing, every writer knows when he or she is laboring to achieve an effect. You want to get from here to there, but find yourself willing it, forcing it. The equivalent in basketball is aiming your shot, a kind of strained and usually ineffective purposefulness. What you want is to be in some kind of flow, each next moment a discovery.”
—Stephen Dunn (b. 1939)