File:Chain homotopy.svg

Page contents not supported in other languages.
This is a file from the Wikimedia Commons
From Wikipedia, the free encyclopedia

Original file(SVG file, nominally 403 × 106 pixels, file size: 49 KB)

LaTeX source

\documentclass{amsart}
\usepackage{amsmath,amssymb,nopageno}
\usepackage[all]{xy}
\begin{document}
\begin{equation*}
\xymatrix@+3em{
{\dots} \ar[r]^{d_A^{n - 2}}
	& A^{n - 1}
		\ar[r]^{d_A^{n - 1}}
		\ar@<0.5ex>[d]^{g^{n - 1}}
		\ar@<-0.5ex>[d]_{f^{n - 1}}
		\ar[dl]|*+<1ex,1ex>{\scriptstyle h^{n - 1}}
	& A^n
		\ar[r]^{d_A^n}
		\ar@<0.5ex>[d]^{g^n}
		\ar@<-0.5ex>[d]_{f^n}
		\ar[dl]|*+<1ex,1ex>{\scriptstyle h^n}
	& A^{n + 1}
		\ar[r]^{d_A^{n + 1}}
		\ar@<0.5ex>[d]^{g^{n + 1}}
		\ar@<-0.5ex>[d]_{f^{n + 1}}
		\ar[dl]|*+<1ex,1ex>{\scriptstyle h^{n + 1}}
	& {\dots}
		\ar[dl]|*+<1ex,1ex>{\scriptstyle h^{n + 2}}\\
{\dots} \ar[r]^{d_B^{n - 2}}
	& B^{n - 1} \ar[r]^{d_B^{n - 1}}
	& B^n \ar[r]^{d_B^n}
	& B^{n + 1} \ar[r]^{d_B^{n + 1}}
	& {\dots}
}
\end{equation*}
\end{document}

Summary

Description

Let A be an additive category. The homotopy category K(A) is based on the following definition: if we have complexes A, B and maps f, g from A to B, a chain homotopy from f to g is a collection of maps (not a map of complexes) such that

or simply
This can be depicted as shown in the diagram.
Date 19 March 2007, 2008-02-06
Source Image:Chain homotopy.jpg
Author User:Ryan Reich, User:Stannered
Permission
(Reusing this file)
Public domain This work has been released into the public domain by its author, Ryan Reich at English Wikipedia. This applies worldwide.
In some countries this may not be legally possible; if so:
Ryan Reich grants anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law.
Other versions Image:Chain homotopy.jpg
SVG development
InfoField
 
The SVG code is valid.
 
This diagram was created with an unknown SVG tool.

Captions

Add a one-line explanation of what this file represents

Items portrayed in this file

depicts

19 March 2007

image/svg+xml

09126edd98a33f23b630199541a8c2d789b7e79a

49,708 byte

106 pixel

403 pixel

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeThumbnailDimensionsUserComment
current20:29, 13 January 2009Thumbnail for version as of 20:29, 13 January 2009403 × 106 (49 KB)Ryan Reich{{Information |Description=A depiction of a homotopy of two maps of chain complexes |Source=Created it myself |Date=01-13-2009 |Author=~~~ |Permission=See below |other_versions= }}
14:04, 6 February 2008Thumbnail for version as of 14:04, 6 February 2008795 × 208 (49 KB)Stannered{{Information |Description=Let ''A'' be an additive category. The homotopy category ''K(A)'' is based on the following definition: if we have complexes ''A'', ''B'' and maps ''f'', ''g'' from ''A'' to ''B'', a '''chain homotopy''' from ''f'' to ''g''
The following pages on the English Wikipedia use this file (pages on other projects are not listed):

Global file usage

The following other wikis use this file: