Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Chain (algebraic topology)
Résumé
In algebraic topology, a -chain
is a formal linear combination of the -cells in a cell complex. In simplicial complexes (respectively, cubical complexes), -chains are combinations of -simplices (respectively, -cubes), but not necessarily connected. Chains are used in homology; the elements of a homology group are equivalence classes of chains.
For a simplicial complex , the group of -chains of is given by:
where are singular -simplices of . Note that any element in not necessary to be a connected simplicial complex.
Integration is defined on chains by taking the linear combination of integrals over the simplices in the chain with coefficients (which are typically integers).
The set of all k-chains forms a group and the sequence of these groups is called a chain complex.
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 is a path from point to point , where
and
are its constituent 1-simplices, then
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: 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.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.