En mathématiques, un quasi-isomorphisme est une application induisant un isomorphisme en homologie. Cette définition s'applique aux morphismes de complexes différentiels et notamment aux complexes de chaines ou de cochaines, mais aussi aux applications continues entre espaces topologiques via les différentes théories d'homologie.

Property Value
dbo:abstract
  • En mathématiques, un quasi-isomorphisme est une application induisant un isomorphisme en homologie. Cette définition s'applique aux morphismes de complexes différentiels et notamment aux complexes de chaines ou de cochaines, mais aussi aux applications continues entre espaces topologiques via les différentes théories d'homologie. Toute équivalence d'homotopie est un quasi-isomorphisme mais la réciproque est fausse. En particulier, l'existence d'un quasi-isomorphisme entre deux espaces n'implique pas l'existence d'un quasi-isomorphisme réciproque. Cependant, si est un quasi-isomorphisme entre deux espaces simplement connexes, c'est une équivalence faible d'homotopie. Si et sont des CW-complexes, ceci implique que est une équivalence (forte) d'homotopie par le théorème de Whitehead. La relation d'équivalence engendrée par les quasi-isomorphismes est donc décrite par l'existence d'une chaine (zig-zag) de quasi-isomorphismes reliant deux espaces donnés. Le type d' (en) d'un espace est ainsi la classe d'équivalence induite les quasi-isomorphismes en homologie rationnelle. Deux complexes différentiels de groupes abéliens libres ou d'espaces vectoriels (ou, plus généralement, de modules libres sur un anneau principal)[réf. souhaitée] qui ont même homologie sont homotopiquement équivalents (donc quasi-isomorphes) mais les deux complexes suivants de groupes abéliens ont même homologie sans qu'il existe de quasi-isomorphisme entre eux (dans un sens ou dans l'autre) : (fr)
  • En mathématiques, un quasi-isomorphisme est une application induisant un isomorphisme en homologie. Cette définition s'applique aux morphismes de complexes différentiels et notamment aux complexes de chaines ou de cochaines, mais aussi aux applications continues entre espaces topologiques via les différentes théories d'homologie. Toute équivalence d'homotopie est un quasi-isomorphisme mais la réciproque est fausse. En particulier, l'existence d'un quasi-isomorphisme entre deux espaces n'implique pas l'existence d'un quasi-isomorphisme réciproque. Cependant, si est un quasi-isomorphisme entre deux espaces simplement connexes, c'est une équivalence faible d'homotopie. Si et sont des CW-complexes, ceci implique que est une équivalence (forte) d'homotopie par le théorème de Whitehead. La relation d'équivalence engendrée par les quasi-isomorphismes est donc décrite par l'existence d'une chaine (zig-zag) de quasi-isomorphismes reliant deux espaces donnés. Le type d' (en) d'un espace est ainsi la classe d'équivalence induite les quasi-isomorphismes en homologie rationnelle. Deux complexes différentiels de groupes abéliens libres ou d'espaces vectoriels (ou, plus généralement, de modules libres sur un anneau principal)[réf. souhaitée] qui ont même homologie sont homotopiquement équivalents (donc quasi-isomorphes) mais les deux complexes suivants de groupes abéliens ont même homologie sans qu'il existe de quasi-isomorphisme entre eux (dans un sens ou dans l'autre) : (fr)
dbo:wikiPageID
  • 5153315 (xsd:integer)
dbo:wikiPageLength
  • 4045 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 180150187 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:fr
  • Catégorie homotopique des complexes de chaînes (fr)
  • Espace formel (fr)
  • homotopie rationnelle (fr)
  • Catégorie homotopique des complexes de chaînes (fr)
  • Espace formel (fr)
  • homotopie rationnelle (fr)
prop-fr:langue
  • en (fr)
  • en (fr)
prop-fr:légende
  • Symbole utilisé pour marquer (fr)
  • un quasi-isomorphisme. (fr)
  • Symbole utilisé pour marquer (fr)
  • un quasi-isomorphisme. (fr)
prop-fr:trad
  • Homotopy category of chain complexes (fr)
  • Rational homotopy theory (fr)
  • Formal space (fr)
  • Homotopy category of chain complexes (fr)
  • Rational homotopy theory (fr)
  • Formal space (fr)
prop-fr:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • En mathématiques, un quasi-isomorphisme est une application induisant un isomorphisme en homologie. Cette définition s'applique aux morphismes de complexes différentiels et notamment aux complexes de chaines ou de cochaines, mais aussi aux applications continues entre espaces topologiques via les différentes théories d'homologie. (fr)
  • En mathématiques, un quasi-isomorphisme est une application induisant un isomorphisme en homologie. Cette définition s'applique aux morphismes de complexes différentiels et notamment aux complexes de chaines ou de cochaines, mais aussi aux applications continues entre espaces topologiques via les différentes théories d'homologie. (fr)
rdfs:label
  • Kvasiisomorfi (sv)
  • Quasi-isomorphism (en)
  • Quasi-isomorphisme (fr)
  • Quasiisomorphismus (de)
  • 擬同型 (ja)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of