Rational homotopy equivalence
ID: rational-homotopy-equivalence
A map between simply connected spaces is a rational homotopy equivalence when it induces isomorphisms in every degree. Equivalently it induces an equivalence of their rationalizations, or a rational homology isomorphism by the rational Whitehead theorem. Spaces have the same rational homotopy type when they are connected by a zigzag of such maps. This is distinct from rational homotopy equivalence of algebraic cycles.
New to topics? Read the docs here!