Weak equivalence (homotopy theory)
|This article needs additional citations for verification. (August 2009) (Learn how and when to remove this template message)|
In mathematics, a weak equivalence is a notion from homotopy theory which in some sense identifies objects that have the same basic "shape". This notion is formalized in the axiomatic definition of a closed model category.
A closed model category by definition contains a class of morphisms called weak equivalences, and these morphisms become isomorphisms upon passing to the associated homotopy category. In particular, if the weak equivalences of two model categories containing the same objects and morphisms are defined in the same way, the resulting homotopy categories will be the same, regardless of the definitions of fibrations and cofibrations in the respective categories.
Different model categories define weak equivalences differently. For example, in the category of (bounded) chain complexes, one might define a model structure where the weak equivalences are those morphisms
are isomorphisms for all n ≥ 0. However, this is not the only possible choice of weak equivalences for this category: one could also define the class of weak equivalences to be those maps that are chain homotopy equivalences of complexes.
For another example, the category of CW complexes can be given the structure of a model category where the weak equivalences are the weak homotopy equivalences i.e. those morphisms X → Y that induce isomorphisms in homotopy groups
for all choices of basepoints x ∈ X, y ∈ Y, and all n ≥ 0.