+- MKLab (https://mklab.gr)
+-- Forum: [INDEX] (https://mklab.gr/forumdisplay.php?fid=1)
+--- Forum: MATHEMATICS (https://mklab.gr/forumdisplay.php?fid=3)
+---- Forum: ARTICLES (https://mklab.gr/forumdisplay.php?fid=13)
+---- Thread: Eilenberg–Steenrod axioms (/showthread.php?tid=1264)
Eilenberg–Steenrod axioms - mklabgr - 07-22-2026
Eilenberg–Steenrod axioms
Summary
The Eilenberg–Steenrod axioms are a set of fundamental principles that characterize what a theory of homology should satisfy in algebraic topology. Introduced by Samuel Eilenberg and Norman Steenrod, these axioms describe the essential properties shared by ordinary homology theories, such as how spaces are assigned algebraic objects that capture their topological features. The axioms include dimension, additivity, homotopy invariance, exactness, and excision, ensuring that homology behaves consistently under continuous transformations and decompositions of spaces.
They provide a framework for proving that different constructions of homology are equivalent and establish homology as a powerful tool for studying geometric structures. The axioms also reveal the limitations of ordinary homology, since generalized homology theories exist that relax some of these requirements. Overall, the Eilenberg–Steenrod framework became a cornerstone of modern algebraic topology, connecting topology with abstract algebra and enabling deeper analysis of spaces through algebraic methods.
ARTICLE