Homology theory
A homology ( ancient Greek ὁμός homos , "similar, equal", and λόγος logos , here: "relationship, analogy, proportion") is a mathematical object . It is a sequence of mathematical objects, the homology groups . The singular homology is one of the most important characteristics of a homology . Homologies were developed in the field of algebraic topology . Later they were also viewed as purely algebraic objects, from which the branch of homological algebra developed. The original motivation for defining homology groups was the observation that shapes can be distinguished by their holes (for example in the classification of surfaces ). However, since holes are "not there" it is not obvious how to define holes mathematically. Homology is a mathematical approach to formalize the existence of holes. Certain “very fine” holes are invisible to homology; here u can. U. the homotopy groups, which are more difficult to determine , can be used.
In the area of algebraic topology, the homologies or the homology groups are invariants of a topological space , so they help to distinguish topological spaces.
Construction of homology groups
The general procedure is as follows: First a chain complex is assigned to a mathematical object , which contains information about . A chain complex is a sequence of modules over a solid ring , connected by homomorphisms , so that the sequential execution of two of these maps is the zero map : for each . This means that the image of the -th figure is always contained in the core of the -th figure. The -th homology group of is now defined as the quotient module
A chain complex is called exact if the image of the -th image is always the core of the -th image; the homology groups of thus measure “how inexact” the assigned chain complex is.
Examples
The first example comes from algebraic topology : the simplicial homology of a simplicial complex . Here is the free module over the n -dimensional oriented simplices of . The figures are called edge figures and form the simplex with the corners
on the alternating sum of the "edge areas"
from.
For modules over a body (i.e. vector spaces), the dimension of the n -th homology group of describes the number of n -dimensional holes of .
With this example one can define a simplicial homology for every topological space . The chain complex for is defined in such a way that the free module over all continuous mappings is from the n -dimensional unit simplex after . The homomorphisms result from the simplicial edge maps.
In homological algebra , homology is used to define derived functors . There one considers an additive functor and a module . The chain complex for is constructed as follows: Let be a free module and an epimorphism , let be a free module, which is supposed to have the property that an epimorphism exists, so you get a sequence of free modules and homomorphisms and by using a chain complex. The n th homology of this complex depends on how it can be shown only by and from. One writes and calls the nth derived functor of .
Homology functors
The chain complexes form a category : A morphism - they say: a chain mapping - from the chain complex to the chain complex is a sequence of module homomorphisms , so that for every n . The n th homology group can be understood as a functor from the category of chain complexes to the category of modules above the underlying ring .
If the chain complex is functionally dependent (i.e. each morphism induces a chain mapping from the chain complex of to that of ) then the functors of the category to which it belongs are in the category of modules.
A difference between homology and cohomology is that the chain complexes in cohomology depend contravariantly on and therefore the homology groups (which are then called cohomology groups and are referred to in this context as) are contravariant functors. Furthermore, one usually has a canonical ring structure on the graduate cohomology group, there is nothing comparable on the level of homology.
properties
If a chain complex is such that all (except for a finite number) are zero and all others are finitely generated free modules, then one can use the Euler characteristic
define. It can be shown that the Euler characteristic can also be expressed in terms of homology:
In algebraic topology, this provides two ways of calculating the invariant for the object from which the chain complex was generated.
of chain complexes provides a long exact sequence of homology groups
All images in this exact sequence induced by the mappings between the chain complexes except the figures , the connecting homomorphisms are called and their existence with the snake lemma is proved.
See also
Web links
- Eric W. Weisstein : Homology . In: MathWorld (English).
reference
- ^ Wilhelm Pape: Concise dictionary of the Greek language. Braunschweig 31914, Volume 2, pp. 58-61. Keyword λόγος , meaning C.5 ( online version )