To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
English Articles
Improved in 24 Hours
Added in 24 Hours
Show all languages
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.

Weak equivalence (homotopy theory)

From Wikipedia, the free encyclopedia

In mathematics, a weak equivalence is a notion from homotopy theory that in some sense identifies objects that have the same "shape". This notion is formalized in the axiomatic definition of a model category.

A model category is a category with classes of morphisms called weak equivalences, fibrations, and cofibrations, satisfying several axioms. The associated homotopy category of a model category has the same objects, but the morphisms are changed in order to make the weak equivalences into isomorphisms. It is a useful observation that the associated homotopy category depends only on the weak equivalences, not on the fibrations and cofibrations.

Topological spaces

Model categories were defined by Quillen as an axiomatization of homotopy theory that applies to topological spaces, but also to many other categories in algebra and geometry. The example that started the subject is the category of topological spaces with Serre fibrations as fibrations and weak homotopy equivalences as weak equivalences (the cofibrations for this model structure can be described as the retracts of relative cell complexes XY[1]). By definition, a continuous mapping f: XY of spaces is called a weak homotopy equivalence if the induced function on sets of path components

is bijective, and for every point x in X and every n ≥ 1, the induced homomorphism

on homotopy groups is bijective. (For X and Y path-connected, the first condition is automatic, and it suffices to state the second condition for a single point x in X.)

For simply connected topological spaces X and Y, a map f: XY is a weak homotopy equivalence if and only if the induced homomorphism f*: Hn(X,Z) → Hn(Y,Z) on singular homology groups is bijective for all n.[2] Likewise, for simply connected spaces X and Y, a map f: XY is a weak homotopy equivalence if and only if the pullback homomorphism f*: Hn(Y,Z) → Hn(X,Z) on singular cohomology is bijective for all n.[3]

Example: Let X be the set of natural numbers {0, 1, 2, ...} and let Y be the set {0} ∪ {1, 1/2, 1/3, ...}, both with the subspace topology from the real line. Define f: XY by mapping 0 to 0 and n to 1/n for positive integers n. Then f is continuous, and in fact a weak homotopy equivalence, but it is not a homotopy equivalence.

The homotopy category of topological spaces (obtained by inverting the weak homotopy equivalences) greatly simplifies the category of topological spaces. Indeed, this homotopy category is equivalent to the category of CW complexes with morphisms being homotopy classes of continuous maps.

Many other model structures on the category of topological spaces have also been considered. For example, in the Strøm model structure on topological spaces, the fibrations are the Hurewicz fibrations and the weak equivalences are the homotopy equivalences.[4]

Chain complexes

Some other important model categories involve chain complexes. Let A be a Grothendieck abelian category, for example the category of modules over a ring or the category of sheaves of abelian groups on a topological space. Define a category C(A) with objects the complexes X of objects in A,

and morphisms the chain maps. (It is equivalent to consider "cochain complexes" of objects of A, where the numbering is written as

simply by defining Xi = Xi.)

The category C(A) has a model structure in which the cofibrations are the monomorphisms and the weak equivalences are the quasi-isomorphisms.[5] By definition, a chain map f: XY is a quasi-isomorphism if the induced homomorphism

on homology is an isomorphism for all integers n. (Here Hn(X) is the object of A defined as the kernel of XnXn−1 modulo the image of Xn+1Xn.) The resulting homotopy category is called the derived category D(A).

Trivial fibrations and trivial cofibrations

In any model category, a fibration that is also a weak equivalence is called a trivial (or acyclic) fibration. A cofibration that is also a weak equivalence is called a trivial (or acyclic) cofibration.


  1. ^ Hovey (1999), Definition 2.4.3.
  2. ^ Hatcher (2002), Theorem 4.32.
  3. ^ Is there the Whitehead theorem for cohomology theory?
  4. ^ Strøm (1972).
  5. ^ Beke (2000), Proposition 3.13.


  • Beke, Tibor (2000), "Sheafifiable homotopy model categories", Mathematical Proceedings of the Cambridge Philosophical Society, 129: 447–473, arXiv:math/0102087, Bibcode:2000MPCPS.129..447B, doi:10.1017/S0305004100004722, MR 1780498
  • Hatcher, Allen (2002), Algebraic Topology, Cambridge University Press, ISBN 0-521-79540-0, MR 1867354
  • Hovey, Mark (1999), Model Categories (PDF), American Mathematical Society, ISBN 0-8218-1359-5, MR 1650134
  • Strøm, Arne (1972), "The homotopy category is a homotopy category", Archiv der Mathematik, 23: 435–441, doi:10.1007/BF01304912, MR 0321082
This page was last edited on 10 April 2020, at 08:22
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.