Chain (algebraic topology)

Chain (algebraic topology)

In algebraic topology, a simplicial k-chain is a formal linear combination of k-simplices.[1]

Integration on chains

Integration is defined on chains by taking the linear combination of integrals over the simplices in the chain with coefficients typically integers. The set of all k-chains forms a group and the sequence of these groups is called a chain complex.

Boundary operator on chains

The boundary of a polygonal curve is a linear combination of its nodes; in this case, some linear combination of A1 through A6. Assuming the segments all are oriented left-to-right (in increasing order from Ak to Ak+1), the boundary is A6 − A1.
A closed polygonal curve, assuming consistent orientation, has null boundary.

The boundary of a chain is the linear combination of boundaries of the simplices in the chain. The boundary of a k-chain is a (k−1)-chain. Note that the boundary of a simplex is not a simplex, but a chain with coefficients 1 or −1 – thus chains are the closure of simplices under the boundary operator.

Example 1: The boundary of a path is the formal difference of its endpoints: it is a telescoping sum. To illustrate, if the 1-chain c = t_1 + t_2 + t_3\, is a path from point v_1\, to point v_4\,, where t_1=[v_1, v_2]\,, t_2=[v_2, v_3]\, and t_3=[v_3, v_4]\, are its constituent 1-simplices, then

\begin{align}
\partial_1 c
&= \partial_1(t_1 + t_2 + t_3)\\
&= \partial_1(t_1) + \partial_1(t_2) + \partial_1(t_3)\\
&= \partial_1([v_1, v_2]) + \partial_1([v_2, v_3]) + \partial_1([v_3, v_4]) \\
&= ([v_2]-[v_1]) + ([v_3]-[v_2]) + ([v_4]-[v_3]) \\
&= [v_4]-[v_1].
\end{align}

Example 2: The boundary of the triangle is a formal sum of its edges with signs arranged to make the traversal of the boundary counterclockwise.

A chain is called a cycle when its boundary is zero. A chain that is the boundary of another chain is called a boundary. Boundaries are cycles, so chains form a chain complex, whose homology groups (cycles modulo boundaries) are called simplicial homology groups.

Example 3: A 0-cycle is a linear combination of points such that the sum of all the coefficients is 0. Thus, the 0-homology group measures the number of path connected components of the space.

Example 4: The plane punctured at the origin has nontrivial 1-homology group since the unit circle is a cycle, but not a boundary.

In differential geometry, the duality between the boundary operator on chains and the exterior derivative is expressed by the general Stokes' theorem.

References


Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • List of algebraic topology topics — This is a list of algebraic topology topics, by Wikipedia page. See also: topology glossary List of topology topics List of general topology topics List of geometric topology topics Publications in topology Topological property Contents 1… …   Wikipedia

  • Chain (disambiguation) — A chain is a sequence of connected links. Chain may also refer to: Chain may refer to: Necklace a jewelry which is worn around the neck Mail (armour) (or chainmail ), a type of armor made of interlocking chain links Chain tool, small mechanical… …   Wikipedia

  • Chain complex — Bicomplex redirects here. For the number, see Bicomplex number In mathematics, chain complex and cochain complex are constructs originally used in the field of algebraic topology. They are algebraic means of representing the relationships between …   Wikipedia

  • Algebraic structure — In algebra, a branch of pure mathematics, an algebraic structure consists of one or more sets closed under one or more operations, satisfying some axioms. Abstract algebra is primarily the study of algebraic structures and their properties. The… …   Wikipedia

  • Glossary of topology — This is a glossary of some terms used in the branch of mathematics known as topology. Although there is no absolute distinction between different areas of topology, the focus here is on general topology. The following definitions are also… …   Wikipedia

  • List of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… …   Wikipedia

  • Outline of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… …   Wikipedia

  • List of mathematics articles (C) — NOTOC C C closed subgroup C minimal theory C normal subgroup C number C semiring C space C symmetry C* algebra C0 semigroup CA group Cabal (set theory) Cabibbo Kobayashi Maskawa matrix Cabinet projection Cable knot Cabri Geometry Cabtaxi number… …   Wikipedia

  • Emmy Noether — Amalie Emmy Noether Born 23 March 1882(1882 03 23) …   Wikipedia

  • Homological algebra — is the branch of mathematics which studies homology in a general algebraic setting. It is a relatively young discipline, whose origins can be traced to investigations in combinatorial topology (a precursor to algebraic topology) and abstract… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”