Frequent Links
Algebraic topology
Algebraic topology is a branch of mathematics that uses tools from abstract algebra to study topological spaces. The basic goal is to find algebraic invariants that classify topological spaces up to homeomorphism, though usually most classify up to homotopy equivalence.
Although algebraic topology primarily uses algebra to study topological problems, using topology to solve algebraic problems is sometimes also possible. Algebraic topology, for example, allows for a convenient proof that any subgroup of a free group is again a free group.
Contents
Main branches of algebraic topology
Below are some of the main areas studied in algebraic topology:
Homotopy groups
In mathematics, homotopy groups are used in algebraic topology to classify topological spaces. The first and simplest homotopy group is the fundamental group, which records information about loops in a space. Intuitively, homotopy groups record information about the basic shape, or holes, of a topological space.
Homology
In algebraic topology and abstract algebra, homology (in part from Greek ὁμός homos "identical") is a certain general procedure to associate a sequence of abelian groups or modules with a given mathematical object such as a topological space or a group.^{[1]}
Cohomology
In homology theory and algebraic topology, cohomology is a general term for a sequence of abelian groups defined from a cochain complex. That is, cohomology is defined as the abstract study of cochains, cocycles, and coboundaries. Cohomology can be viewed as a method of assigning algebraic invariants to a topological space that has a more refined algebraic structure than does homology. Cohomology arises from the algebraic dualization of the construction of homology. In less abstract language, cochains in the fundamental sense should assign 'quantities' to the chains of homology theory.
Manifolds
A manifold is a topological space that near each point resembles Euclidean space. More precisely, each point of an ndimensional manifold has a neighbourhood that is diffeomorphic to the Euclidean space of dimension n. Lines and circles, but not figure eights, are onedimensional manifolds. Twodimensional manifolds are also called surfaces. Examples include the plane, the sphere, and the torus, which can all be realized in three dimensions, but also the Klein bottle and real projective plane which cannot be realized in three dimensions, but can be realized in four dimensions.
Knot theory
Knot theory is the study of mathematical knots. While inspired by knots that appear in daily life in shoelaces and rope, a mathematician's knot differs in that the ends are joined together so that it cannot be undone. In precise mathematical language, a knot is an embedding of a circle in 3dimensional Euclidean space, R^{3}. Two mathematical knots are equivalent if one can be transformed into the other via a deformation of R^{3} upon itself (known as an ambient isotopy); these transformations correspond to manipulations of a knotted string that do not involve cutting the string or passing the string through itself.
Complexes
A simplicial complex is a topological space of a certain kind, constructed by "gluing together" points, line segments, triangles, and their ndimensional counterparts (see illustration). Simplicial complexes should not be confused with the more abstract notion of a simplicial set appearing in modern simplicial homotopy theory. The purely combinatorial counterpart to a simplicial complex is an abstract simplicial complex.
A CW complex is a type of topological space introduced by J. H. C. Whitehead to meet the needs of homotopy theory. This class of spaces is broader and has some better categorical properties than simplicial complexes, but still retains a combinatorial nature that allows for computation (often with a much smaller complex).
Method of algebraic invariants
An older name for the subject was combinatorial topology, implying an emphasis on how a space X was constructed from simpler ones^{[2]} (the modern standard tool for such construction is the CWcomplex). In the 1920s and 1930s, there was growing emphasis on investigating topological spaces by finding correspondences from them to algebraic groups, which led to the change of name to algebraic topology.^{[3]} The combinatorial topology name is still sometimes used to emphasize an algorithmic approach based on decomposition of spaces.^{[4]}
In the algebraic approach, one finds a correspondence between spaces and groups that respects the relation of homeomorphism (or more general homotopy) of spaces. This allows one to recast statements about topological spaces into statements about groups, which have a great deal of manageable structure, often making these statement easier to prove. Two major ways in which this can be done are through fundamental groups, or more generally homotopy theory, and through homology and cohomology groups. The fundamental groups give us basic information about the structure of a topological space, but they are often nonabelian and can be difficult to work with. The fundamental group of a (finite) simplicial complex does have a finite presentation.
Homology and cohomology groups, on the other hand, are abelian and in many important cases finitely generated. Finitely generated abelian groups are completely classified and are particularly easy to work with.
Setting in category theory
In general, all constructions of algebraic topology are functorial; the notions of category, functor and natural transformation originated here. Fundamental groups and homology and cohomology groups are not only invariants of the underlying topological space, in the sense that two topological spaces which are homeomorphic have the same associated groups, but their associated morphisms also correspond — a continuous mapping of spaces induces a group homomorphism on the associated groups, and these homomorphisms can be used to show nonexistence (or, much more deeply, existence) of mappings.
One of the first mathematicians to work with different types of cohomology was Georges de Rham. One can use the differential structure of smooth manifolds via de Rham cohomology, or Čech or sheaf cohomology to investigate the solvability of differential equations defined on the manifold in question. De Rham showed that all of these approaches were interrelated and that, for a closed, oriented manifold, the Betti numbers derived through simplicial homology were the same Betti numbers as those derived through de Rham cohomology. This was extended in the 1950s, when Eilenberg and Steenrod generalized this approach. They defined homology and cohomology as functors equipped with natural transformations subject to certain axioms (e.g., a weak equivalence of spaces passes to an isomorphism of homology groups), verified that all existing (co)homology theories satisfied these axioms, and then proved that such an axiomatization uniquely characterized the theory.
Applications of algebraic topology
Classic applications of algebraic topology include:
 The Brouwer fixed point theorem: every continuous map from the unit ndisk to itself has a fixed point.
 The free rank of the nth homology group of a simplicial complex is the nth Betti number, which allows one to calculate the EulerPoincaré characteristic.
 One can use the differential structure of smooth manifolds via de Rham cohomology, or Čech or sheaf cohomology to investigate the solvability of differential equations defined on the manifold in question.
 A manifold is orientable when the topdimensional integral homology group is the integers, and is nonorientable when it is 0.
 The nsphere admits a nowherevanishing continuous unit vector field if and only if n is odd. (For n = 2, this is sometimes called the "hairy ball theorem".)
 The Borsuk–Ulam theorem: any continuous map from the nsphere to Euclidean nspace identifies at least one pair of antipodal points.
 Any subgroup of a free group is free. This result is quite interesting, because the statement is purely algebraic yet the simplest proof is topological. Namely, any free group G may be realized as the fundamental group of a graph X. The main theorem on covering spaces tells us that every subgroup H of G is the fundamental group of some covering space Y of X; but every such Y is again a graph. Therefore its fundamental group H is free. On the other hand this type of application is also handled more simply by the use of covering morphisms of groupoids, and that technique has yielded subgroup theorems not yet proved by methods of algebraic topology. (See the book by Higgins listed under groupoids.)
 Topological combinatorics
Notable algebraic topologists
 Frank Adams
 Enrico Betti
 Armand Borel
 Karol Borsuk
 Luitzen Egbertus Jan Brouwer
 William Browder
 Ronald Brown (mathematician)
 Henri Cartan
 Charles Ehresmann
 Samuel Eilenberg
 Hans Freudenthal
 Peter Freyd
 Pierre Gabriel
 Alexander Grothendieck
 Friedrich Hirzebruch
 Heinz Hopf
 Michael J. Hopkins
 Witold Hurewicz
 Egbert van Kampen
 Daniel Kan
 Hermann Künneth
 Solomon Lefschetz
 Jean Leray
 Saunders Mac Lane
 Mark Mahowald
 J. Peter May
 Barry Mazur
 John Milnor
 John Coleman Moore
 Jack Morava
 Emmy Noether
 Sergei Novikov
 Grigori Perelman
 Lev Pontryagin
 Nicolae Popescu
 Mikhail Postnikov
 Daniel Quillen
 JeanPierre Serre
 Stephen Smale
 Edwin Spanier
 Norman Steenrod
 Dennis Sullivan
 René Thom
 Hiroshi Toda
 Leopold Vietoris
 Hassler Whitney
 J. H. C. Whitehead
 Allen Hatcher
Important theorems in algebraic topology
See also
Notes
 ^ Fraleigh (1976, p. 163)
 ^ Fréchet, Maurice; Fan, Ky (2012), Invitation to Combinatorial Topology, Courier Dover Publications, p. 101, ISBN 9780486147888.
 ^ Henle, Michael (1994), A Combinatorial Introduction to Topology, Courier Dover Publications, p. 221, ISBN 9780486679662.
 ^ Spreer, Jonathan (2011), Blowups, slicings and permutation groups in combinatorial topology, Logos Verlag Berlin GmbH, p. 23, ISBN 9783832529833.
References
40x40px  Wikimedia Commons has media related to Algebraic topology. 
 Dylan G. L. Allegretti, Simplicial Sets and van Kampen's Theorem (Discusses generalized versions of van Kampen's theorem applied to topological spaces and simplicial sets).
 Bredon, Glen E. (1993), Topology and Geometry, Graduate Texts in Mathematics 139, Springer, ISBN 0387979263, retrieved 20080401.
 Ronald Brown, Higher dimensional group theory (2007) (Gives a broad view of higherdimensional van Kampen theorems involving multiple groupoids).
 R. Brown and A. Razak, A van Kampen theorem for unions of nonconnected spaces, Archiv. Math. 42 (1984) 85–88. "Gives a general theorem on the fundamental groupoid with a set of base points of a space which is the union of open sets."
 R. Brown, K. Hardie, H. Kamps, T. Porter: The homotopy double groupoid of a Hausdorff space., Theory Appl. Categories, 10:71–93 (2002).
 R. Brown and P.J. Higgins, On the connection between the second relative homotopy groups of some related spaces, Proc. London Math. Soc. (3) 36 (1978) 193–212. "The first 2dimensional version of van Kampen's theorem."
 R. Brown, P.J. Higgins, and R. Sivera. NonAbelian Algebraic Topology: filtered spaces, crossed complexes, cubical higher homotopy groupoids; European Mathematical Society Tracts in Mathematics Vol. 15, 2011, [1] This provides a homotopy theoretic approach to basic algebraic topology, without needing a basis in singular homology, or the method of simplicial approximation. It contains a lot of material on crossed modules.
 Fraleigh, John B. (1976), A First Course In Abstract Algebra (2nd ed.), Reading: AddisonWesley, ISBN 0201019841
 Greenberg, Marvin J. and John R. Harper. (1981), Algebraic Topology: A First Course, Revised edition, Mathematics Lecture Note Series, Westview/Perseus, ISBN 9780805335576. A functorial, algebraic approach originally by Greenberg with geometric flavoring added by Harper.
 Hatcher, Allen (2002), Algebraic Topology, Cambridge: Cambridge University Press, ISBN 0521795400. A modern, geometrically flavoured introduction to algebraic topology.
 P. J. Higgins, Categories and groupoids (1971) Van NostrandReinhold.
 Maunder, C. R. F. (1970), Algebraic Topology, London: Van Nostrand Reinhold, ISBN 0486691314.
 tom Dieck, T., Algebraic topology. EMS Textbooks in Mathematics. European Mathematical Society (EMS), Zürich (2008).
 E. R. van Kampen. On the connection between the fundamental groups of some related spaces. American Journal of Mathematics, vol. 55 (1933), pp. 261–267.
 Van Kampen's theorem at PlanetMath.org.
 Van Kampen's theorem result at PlanetMath.org.
Further reading
 Allen Hatcher, Algebraic topology. (2002) Cambridge University Press, xii+544 pp. ISBN 052179160X and ISBN 0521795400.
 Hazewinkel, Michiel, ed. (2001), "Algebraic topology", Encyclopedia of Mathematics, Springer, ISBN 9781556080104
 May JP (1999). A Concise Course in Algebraic Topology (PDF). U. Chicago Press. Retrieved 20080927. Section 2.7 provides a categorytheoretic presentation of the theorem as a colimit in the category of groupoids.
 Ronald Brown, Topology and groupoids (2006) Booksurge LLC ISBN 1419627228.

Lua error in Module:Authority_control at line 346: attempt to index field 'wikibase' (a nil value).