العربية
中国
Français
Deutsch
Ελληνική
हिन्दी
Italiano
日本語
Português
Русский
EspañolEILENBERG-STEENROD AXIOMS
In mathematics, specifically in algebraic topology, the 'Eilenberg-Steenrod axioms' are properties that homology theories of topological spaces have in common. The quintessential example of a homology theory satisfying the axioms is singular homology, developed by Samuel Eilenberg and Norman Steenrod.
Indeed, one can define a homology theory as a sequence of functors satisfying the Eilenberg-Steenrod axioms. The axiomatic approach, which was developed in 1945, allows one to prove results, such as the Mayer-Vietoris sequence, that are common to all homology theories satisfying the axioms.
If one omits the dimension axiom (described below), then the remaining axioms define what is called an extraordinary homology theory. Extraordinary cohomology theories arise in K-theory and cobordism.
The Eilenberg-Steenrod axioms apply to a sequence of functors from the category of pairs of topological spaces to the category of abelian groups, together with a natural transformation called the 'boundary map'. The axioms are:
# 'Homotopy': Homotopic maps induce the same map in homology.
# 'Excision': If ''(X, A)'' is a pair and ''U'' is a subset of ''X'' such the closure of ''U'' is contained in the interior of ''A'', then the inclusion map induces an isomorphism in homology.
# 'Dimension': Let ''P'' be the one-point space; then for all .
# 'Additivity': If , then
# 'Exactness': Each pair ''(X, A)'' induces a long exact sequence in homology, via the inclusions and :
::
If ''P'' is the one point space then ''H0(P)'' is called the 'coefficient group'. For example, singular homology (taken with integer coefficients, as is most common) has as coefficients the integers.
Some facts about homology groups can be derived directly from the axioms, such as the fact that homotopically equivalent spaces have isomorphic homology groups.
The homology of some relatively simple spaces, such as ''n''-spheres, can be calculated directly from the axioms. From this it can be easily shown that the (''n''-1)-sphere is not a deformation retract of the n-disk.
A "homology-like" theory satisfying all of the Eilenberg-Steenrod axioms except the dimension axiom is called an 'extraordinary homology theory'. Important examples of these were found in the 1950s, such as topological K-theory and cobordism theory. To be more precise, those examples showed the interest of the extraordinary cohomology theory concept, and came with homology theories dual to them.
★ Samuel Eilenberg, Norman E. Steenrod, ''Axiomatic approach to homology theory'', Proc. Nat. Acad. Sci. U. S. A. 31, (1945). 117--120.
★ Samuel Eilenberg, Norman E. Steenrod, ''Foundations of algebraic topology'', Princeton University Press, Princeton, New Jersey, 1952. xv+328 pp.
★ Glen Bredon: ''Topology and Geometry'', 1993, ISBN 0-387-97926-3.
Indeed, one can define a homology theory as a sequence of functors satisfying the Eilenberg-Steenrod axioms. The axiomatic approach, which was developed in 1945, allows one to prove results, such as the Mayer-Vietoris sequence, that are common to all homology theories satisfying the axioms.
If one omits the dimension axiom (described below), then the remaining axioms define what is called an extraordinary homology theory. Extraordinary cohomology theories arise in K-theory and cobordism.
| Contents |
| Formal definition |
| Consequences |
| Dimension axiom |
| References |
Formal definition
The Eilenberg-Steenrod axioms apply to a sequence of functors from the category of pairs of topological spaces to the category of abelian groups, together with a natural transformation called the 'boundary map'. The axioms are:
# 'Homotopy': Homotopic maps induce the same map in homology.
# 'Excision': If ''(X, A)'' is a pair and ''U'' is a subset of ''X'' such the closure of ''U'' is contained in the interior of ''A'', then the inclusion map induces an isomorphism in homology.
# 'Dimension': Let ''P'' be the one-point space; then for all .
# 'Additivity': If , then
# 'Exactness': Each pair ''(X, A)'' induces a long exact sequence in homology, via the inclusions and :
::
If ''P'' is the one point space then ''H0(P)'' is called the 'coefficient group'. For example, singular homology (taken with integer coefficients, as is most common) has as coefficients the integers.
Consequences
Some facts about homology groups can be derived directly from the axioms, such as the fact that homotopically equivalent spaces have isomorphic homology groups.
The homology of some relatively simple spaces, such as ''n''-spheres, can be calculated directly from the axioms. From this it can be easily shown that the (''n''-1)-sphere is not a deformation retract of the n-disk.
Dimension axiom
A "homology-like" theory satisfying all of the Eilenberg-Steenrod axioms except the dimension axiom is called an 'extraordinary homology theory'. Important examples of these were found in the 1950s, such as topological K-theory and cobordism theory. To be more precise, those examples showed the interest of the extraordinary cohomology theory concept, and came with homology theories dual to them.
References
★ Samuel Eilenberg, Norman E. Steenrod, ''Axiomatic approach to homology theory'', Proc. Nat. Acad. Sci. U. S. A. 31, (1945). 117--120.
★ Samuel Eilenberg, Norman E. Steenrod, ''Foundations of algebraic topology'', Princeton University Press, Princeton, New Jersey, 1952. xv+328 pp.
★ Glen Bredon: ''Topology and Geometry'', 1993, ISBN 0-387-97926-3.
This article provided by Wikipedia. To edit the contents of this article, click here for original source.
psst.. try this: add to faves
