Examples
The motivating example comes from algebraic topology: the simplicial homology of a simplicial complex X. Here An is the free abelian group or module whose generators are the n-dimensional oriented simplexes of X. The mappings are called the boundary mappings and send the simplex with vertices
to the sum
(which is considered 0 if n = 0).
If we take the modules to be over a field, then the dimension of the n-th homology of X turns out to be the number of "holes" in X at dimension n.
Using this example as a model, one can define a singular homology for any topological space X. We define a chain complex for X by taking An to be the free abelian group (or free module) whose generators are all continuous maps from n-dimensional simplices into X. The homomorphisms arise from the boundary maps of simplices.
In abstract algebra, one uses homology to define derived functors, for example the Tor functors. Here one starts with some covariant additive functor F and some module X. The chain complex for X is defined as follows: first find a free module F1 and a surjective homomorphism p1: F1 → X. Then one finds a free module F2 and a surjective homomorphism p2: F2 → ker(p1). Continuing in this fashion, a sequence of free modules Fn and homomorphisms pn can be defined. By applying the functor F to this sequence, one obtains a chain complex; the homology Hn of this complex depends only on F and X and is, by definition, the n-th derived functor of F, applied to X.
Read more about this topic: Homology (mathematics)
Famous quotes containing the word examples:
“There are many examples of women that have excelled in learning, and even in war, but this is no reason we should bring em all up to Latin and Greek or else military discipline, instead of needle-work and housewifry.”
—Bernard Mandeville (16701733)
“No rules exist, and examples are simply life-savers answering the appeals of rules making vain attempts to exist.”
—André Breton (18961966)
“In the examples that I here bring in of what I have [read], heard, done or said, I have refrained from daring to alter even the smallest and most indifferent circumstances. My conscience falsifies not an iota; for my knowledge I cannot answer.”
—Michel de Montaigne (15331592)