rational homotopy equivalence
A rational homotopy equivalence is the notion of equivalence of topological spaces as used in rational homotopy theory. Where a weak homotopy equivalence in ordinary homotopy theory identifies spaces under morphisms that induce isomorphisms on all homotopy groups, rational homotopy equivalences identify spaces under morphisms that induce isomorphisms on all rationalized homotopy groups.
For and be simply connected topological spaces and a continuous map between them, is called a rational homotopy equivalence if the following equivalent conditions are satisfied:
it induces an isomorphism on rationalized homotopy groups: ;
it induces an isomorphism on rational homology groups: ;
it induces an isomorphism on rational cohomology groups: ;
it induces a weak homotopy equivalence on the rationalizations and : .
This appears as definition 1.17 in the review