Bounded Complex

Website Links For Chain

Information About Bounded Complex

	CATEGORIES ABOUT CHAIN COMPLEX
	homological algebra

	APPAREL
	BABY
	BEAUTY
	BOOKS
	CAR TOYS
	CELL PHONES
	DVD'S
	ELECTRONICS
	GOURMET FOOD
	GROCERIES
	HEALTH & PERSONAL
	HOME & GARDEN
	JEWELRY
	MUSIC
	MUSIC INSTRUMENTS
	OFFICE PRODUCTS
	SOFTWARE
	SPORTING GOODS
	TOOLS & HARDWARE
	TOYS
	VIDEO GAMES
	SHOPPING HOME
	MORE SHOPPING...

Applications of chain complexes usually define and apply their Homology Group s ( Cohomology Group s for cochain complexes); in more abstract settings various equivalence relations are applied to complexes (for example starting with the ''chain homotopy'' idea). Chain complexes are easily defined in Abelian Categories , also. FORMAL DEFINITION A chain complex $(A\_\backslash bullet,\; d\_\backslash bullet)$ is a sequence of Abelian Group s or Modules ''A''0, ''A''1, ''A''2, ... connected by Homomorphism s (called '''boundary operators''') ''d''''n'' : ''A''''n''→''A''''n''−1, such that the composition of any two consecutive maps is zero: ''d''''n'' o ''d''''n''+1 = 0 for all ''n''. They tend to be written out like so: ::$\backslash ldots\; o$ A_{n+1} \begin{matrix} d_{n+1} \ o \ \, \end{matrix} A_n \begin{matrix} d_n \ o \ \, \end{matrix} A_{n-1} \begin{matrix} d_{n-1} \ o \ \, \end{matrix} A_{n-2} o \ldots o A_2 \begin{matrix} d_2 \ o \ \, \end{matrix} A_1 \begin{matrix} d_1 \ o \ \, \end{matrix} A_0 \begin{matrix} d_0 \ o \ \, \end{matrix} 0. A variant on the concept of chain complex is that of ''cochain complex''. A cochain complex $(A^\backslash bullet,\; d^\backslash bullet)$ is a sequence of Abelian Group s or Modules ''A''0, ''A''1, ''A''2, ... connected by Homomorphism s ''d''''n'' : ''A''''n''→''A''''n''+1, such that the composition of any two consecutive maps is zero: ''d''''n''+1 o ''d''''n'' = 0 for all ''n'': ::$0\; o$ A_0 \begin{matrix} d_0 \ o \ \, \end{matrix} A_1 \begin{matrix} d_1 \ o \ \, \end{matrix} A_2 o \ldots o A_{n-1} \begin{matrix} d_{n-1} \ o \ \, \end{matrix} A_n \begin{matrix} d_n \ o \ \, \end{matrix} A_{n+1} o \ldots. The idea is basically the same. In either case, the index ''i'' in ''A''''i'' is referred to as the degree. A bounded chain complex is one in which Almost All the ''A''''i'' are 0; ''i.e.'', a finite complex extended to the left and right by 0's. An example is the complex defining the Homology Theory of a (finite) Simplicial Complex . A chain complex is '''bounded above''' if all degrees above some fixed degree ''N'' are 0, and is '''bounded below''' if all degrees below some fixed degree are 0. Clearly, a complex is bounded above and below Iff the complex is bounded. FUNDAMENTAL TERMINOLOGY Leaving out the indices, the basic relation on ''d'' can be thought of as d The image of ''d'' is the group of boundaries, or in a cochain complex, '''coboundaries'''. The subgroup sent to 0 by ''d'' is the group of '''cycles''', or in the case of a cochain complex, '''cocycles'''. From the basic relation, the (co)boundaries lie inside the (co)cycles. This phenomenon is studied in a systematic way using Homology Group s. EXAMPLES Singular Homology Suppose we are given a Topological Space ''X''. Define ''C''''n''(''X'') for Natural ''n'' to be the Free Abelian Group formally generated by Singular Simplices in ''X'', and define the boundary map ::$\backslash partial\_n:\; C\_n(X)\; o\; C\_\{n-1\}(X):\; \backslash ,\; (\backslash sigma:${Link without Title} o X) \mapsto

CHAIN MAPS

• :H_\bullet(A_\bullet, d_{A,\bullet}) ightarrow H_\bullet(B_\bullet, d_{B,\bullet}).

A continuous map of topological spaces induces chain maps in both the singular and de Rham chain complexes described above (and in general for the chain complex defining any Homology Theory of topological spaces) and thus a continuous map induces a map on homology. Because the map induced on a composition of maps is the composition of the induced maps, these homology theories are Functor s from the category of topological spaces with continuous maps to the category of abelian groups with group homomorphisms.


CHAIN HOMOTOPY

Chain homotopies give an important equivalence relation between chain maps. Chain homotopic chain maps induce the same maps on homology groups. The notion is modelled on the Homotopy concept for mappings of Topological Space , and reflects the fact that homotopic maps of continuous spaces induce the same maps on their homology. Chain homotopies have a geometric interpretation; it is described, for example, in the book of Bott and Tu.

Let (''A''_''n'', ''d''_''n'') and (''B''_''n'', ''d''′_''n'') be chain complexes and ''f'', ''g'' be chain maps from the first to the second. A chain homotopy between ''f'' and ''g'' is given by a ''homotopy operator'', a sequence of homomorphisms ''D''_''n'' from ''A''_''n'' to ''B''_''n''+1 such that



or adorned with full indices, as can be easily reconstructed for Diagram Chasing ,



The chain maps $f\; -\; g$ induce the same maps on homology because $(f-g)$ sends cycles to boundaries, which are zero in homology.

A weaker notion of equivalence of maps between chain complexes is that of a Quasi-isomorphism , which is a chain map in which the induced map on homology is an isomorphism. Maps of this kind form the morphisms of a Derived Category , whose objects are chain complexes.


REFERENCES

Raoul Bott and Loring Tu, ''Differential Forms in Algebraic Topology.'' Springer-Verlag, 1982.


SEE ALSO

• Homology


• Differential Graded Algebra