Algebraic topology is a branch of

topological space
In mathematics, a topological space is, roughly speaking, a geometrical space in which closeness is defined but cannot necessarily be measured by a numeric distance. More specifically, a topological space is a set whose elements are called poi ...

that near each point resembles

topological space
In mathematics, a topological space is, roughly speaking, a geometrical space in which closeness is defined but cannot necessarily be measured by a numeric distance. More specifically, a topological space is a set whose elements are called poi ...

of a certain kind, constructed by "gluing together" points,

mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...

that uses tools from abstract algebra
In mathematics, more specifically algebra, abstract algebra or modern algebra is the study of algebraic structures. Algebraic structures include groups, rings, fields, modules, vector spaces, lattices, and algebras over a field. The te ...

to study topological space
In mathematics, a topological space is, roughly speaking, a geometrical space in which closeness is defined but cannot necessarily be measured by a numeric distance. More specifically, a topological space is a set whose elements are called poi ...

s. The basic goal is to find algebraic invariants that classify topological spaces up to Two mathematical objects ''a'' and ''b'' are called equal up to an equivalence relation ''R''
* if ''a'' and ''b'' are related by ''R'', that is,
* if ''aRb'' holds, that is,
* if the equivalence classes of ''a'' and ''b'' with respect to ''R'' a ...

homeomorphism
In the mathematical field of topology, a homeomorphism, topological isomorphism, or bicontinuous function is a bijective and continuous function between topological spaces that has a continuous inverse function. Homeomorphisms are the isomo ...

, 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
In group theory, a branch of mathematics, given a group ''G'' under a binary operation ∗, a subset ''H'' of ''G'' is called a subgroup of ''G'' if ''H'' also forms a group under the operation ∗. More precisely, ''H'' is a subgrou ...

of a free group
In mathematics, the free group ''F'S'' over a given set ''S'' consists of all words that can be built from members of ''S'', considering two words to be different unless their equality follows from the group axioms (e.g. ''st'' = ''suu'' ...

is again a free group.
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 classifytopological space
In mathematics, a topological space is, roughly speaking, a geometrical space in which closeness is defined but cannot necessarily be measured by a numeric distance. More specifically, a topological space is a set whose elements are called poi ...

s. The first and simplest homotopy group is the fundamental group
In the mathematical field of algebraic topology, the fundamental group of a topological space is the group of the equivalence classes under homotopy of the loops contained in the space. It records information about the basic shape, or holes, of ...

, 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 andabstract algebra
In mathematics, more specifically algebra, abstract algebra or modern algebra is the study of algebraic structures. Algebraic structures include groups, rings, fields, modules, vector spaces, lattices, and algebras over a field. The te ...

, homology (in part from Greek ὁμός ''homos'' "identical") is a certain general procedure to associate a sequence
In mathematics, a sequence is an enumerated collection of objects in which repetitions are allowed and order matters. Like a set, it contains members (also called ''elements'', or ''terms''). The number of elements (possibly infinite) is call ...

of abelian group
In mathematics, an abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on the order in which they are written. That is, the group operation is comm ...

s or modules with a given mathematical object such as a topological space
In mathematics, a topological space is, roughly speaking, a geometrical space in which closeness is defined but cannot necessarily be measured by a numeric distance. More specifically, a topological space is a set whose elements are called poi ...

or a group.
Cohomology

In homology theory and algebraic topology, cohomology is a general term for asequence
In mathematics, a sequence is an enumerated collection of objects in which repetitions are allowed and order matters. Like a set, it contains members (also called ''elements'', or ''terms''). The number of elements (possibly infinite) is call ...

of abelian group
In mathematics, an abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on the order in which they are written. That is, the group operation is comm ...

s defined from a cochain complex
In mathematics, a chain complex is an algebraic structure that consists of a sequence of abelian groups (or modules) and a sequence of homomorphisms between consecutive groups such that the image of each homomorphism is included in the kernel of ...

. That is, cohomology is defined as the abstract study of cochains, cocycles, and coboundaries. Cohomology can be viewed as a method of assigning algebraic invariant
Invariant theory is a branch of abstract algebra dealing with actions of groups on algebraic varieties, such as vector spaces, from the point of view of their effect on functions. Classically, the theory dealt with the question of explicit descri ...

s to a topological space that has a more refined algebraic structure
In mathematics, an algebraic structure consists of a nonempty set ''A'' (called the underlying set, carrier set or domain), a collection of operations on ''A'' (typically binary operations such as addition and multiplication), and a finite set o ...

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 aEuclidean space
Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, that is, in Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics there are Euclidean ...

. Examples include the plane, the sphere
A sphere () is a geometrical object that is a three-dimensional analogue to a two-dimensional circle. A sphere is the set of points that are all at the same distance from a given point in three-dimensional space.. That given point is the ...

, and the torus
In geometry, a torus (plural tori, colloquially donut or doughnut) is a surface of revolution generated by revolving a circle in three-dimensional space about an axis that is coplanar with the circle.
If the axis of revolution does not t ...

, which can all be realized in three dimensions, but also the Klein bottle
In topology, a branch of mathematics, the Klein bottle () is an example of a non-orientable surface; it is a two-dimensional manifold against which a system for determining a normal vector cannot be consistently defined. Informally, it is a ...

and real projective plane
In mathematics, the real projective plane is an example of a compact non-orientable two-dimensional manifold; in other words, a one-sided surface. It cannot be embedded in standard three-dimensional space without intersecting itself. It has bas ...

which cannot be embedded in three dimensions, but can be embedded in four dimensions. Typically, results in algebraic topology focus on global, non-differentiable aspects of manifolds; for example Poincaré duality.
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 so that it cannot be undone. In precise mathematical language, a knot is anembedding
In mathematics, an embedding (or imbedding) is one instance of some mathematical structure contained within another instance, such as a group that is a subgroup.
When some object X is said to be embedded in another object Y, the embedding is gi ...

of a circle
A circle is a shape consisting of all points in a plane that are at a given distance from a given point, the centre. Equivalently, it is the curve traced out by a point that moves in a plane so that its distance from a given point is con ...

in 3-dimensional Euclidean space
Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, that is, in Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics there are Euclidean ...

, $\backslash mathbb^3$. Two mathematical knots are equivalent if one can be transformed into the other via a deformation of $\backslash mathbb^3$ upon itself (known as an ambient isotopy
In the mathematical subject of topology, an ambient isotopy, also called an ''h-isotopy'', is a kind of continuous distortion of an ambient space, for example a manifold, taking a submanifold to another submanifold. For example in knot theory, ...

); 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 aline segment
In geometry, a line segment is a part of a straight line that is bounded by two distinct end points, and contains every point on the line that is between its endpoints. The length of a line segment is given by the Euclidean distance between ...

s, triangle
A triangle is a polygon with three edges and three vertices. It is one of the basic shapes in geometry. A triangle with vertices ''A'', ''B'', and ''C'' is denoted \triangle ABC.
In Euclidean geometry, any three points, when non-colline ...

s, and their ''n''-dimensional counterparts (see illustration). Simplicial complexes should not be confused with the more abstract notion of a simplicial set
In mathematics, a simplicial set is an object composed of ''simplices'' in a specific way. Simplicial sets are higher-dimensional generalizations of directed graphs, partially ordered sets and categories. Formally, a simplicial set may be defined ...

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 (the modern standard tool for such construction is the CW complex). 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. The combinatorial topology name is still sometimes used to emphasize an algorithmic approach based on decomposition of spaces.. In the algebraic approach, one finds a correspondence between spaces and groups that respects the relation ofhomeomorphism
In the mathematical field of topology, a homeomorphism, topological isomorphism, or bicontinuous function is a bijective and continuous function between topological spaces that has a continuous inverse function. Homeomorphisms are the isomo ...

(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 group
In the mathematical field of algebraic topology, the fundamental group of a topological space is the group of the equivalence classes under homotopy of the loops contained in the space. It records information about the basic shape, or holes, of ...

s, or more generally homotopy theory, and through homology and cohomology
In mathematics, specifically in homology theory and algebraic topology, cohomology is a general term for a sequence of abelian groups, usually one associated with a topological space, often defined from a cochain complex. Cohomology can be viewed ...

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
A presentation conveys information from a speaker to an audience. Presentations are typically demonstrations, introduction, lecture, or speech meant to inform, persuade, inspire, motivate, build goodwill, or present a new idea/product. Presenta ...

.
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 andnatural transformation
In category theory, a branch of mathematics, a natural transformation provides a way of transforming one functor into another while respecting the internal structure (i.e., the composition of morphisms) of the categories involved. Hence, a natura ...

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
In the mathematical field of topology, a homeomorphism, topological isomorphism, or bicontinuous function is a bijective and continuous function between topological spaces that has a continuous inverse function. Homeomorphisms are the isomorp ...

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 non-existence (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
In mathematics, a differentiable manifold (also differential manifold) is a type of manifold that is locally similar enough to a vector space to allow one to apply calculus. Any manifold can be described by a collection of charts (atlas). One m ...

via de Rham cohomology, or Čech
Čech (feminine Čechová) is a Czech surname meaning Czech. It was used to distinguish an inhabitant of Bohemia from Slovaks, Moravians and other ethnic groups. Notable people with the surname include:
* Dana Čechová (born 1983), Czech table ...

or sheaf cohomology to investigate the solvability of differential equation
In mathematics, a differential equation is an equation that relates one or more unknown functions and their derivatives. In applications, the functions generally represent physical quantities, the derivatives represent their rates of change, a ...

s 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 Samuel Eilenberg and Norman Steenrod
Norman Earl Steenrod (April 22, 1910October 14, 1971) was an American mathematician most widely known for his contributions to the field of algebraic topology.
Life
He was born in Dayton, Ohio, and educated at Miami University and University o ...

generalized this approach. They defined homology and cohomology as functors equipped with natural transformation
In category theory, a branch of mathematics, a natural transformation provides a way of transforming one functor into another while respecting the internal structure (i.e., the composition of morphisms) of the categories involved. Hence, a natura ...

s 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 ''n''-disk to itself has a fixed point. * The free rank of the ''n''th homology group of a simplicial complex is the ''n''thBetti number
In algebraic topology, the Betti numbers are used to distinguish topological spaces based on the connectivity of ''n''-dimensional simplicial complexes. For the most reasonable finite-dimensional spaces (such as compact manifolds, finite simplicia ...

, which allows one to calculate the Euler–Poincaré characteristic.
* One can use the differential structure of smooth manifolds
In mathematics, a differentiable manifold (also differential manifold) is a type of manifold that is locally similar enough to a vector space to allow one to apply calculus. Any manifold can be described by a collection of charts (atlas). One m ...

via de Rham cohomology, or Čech
Čech (feminine Čechová) is a Czech surname meaning Czech. It was used to distinguish an inhabitant of Bohemia from Slovaks, Moravians and other ethnic groups. Notable people with the surname include:
* Dana Čechová (born 1983), Czech table ...

or sheaf cohomology to investigate the solvability of differential equation
In mathematics, a differential equation is an equation that relates one or more unknown functions and their derivatives. In applications, the functions generally represent physical quantities, the derivatives represent their rates of change, a ...

s defined on the manifold in question.
* A manifold is orientable
In mathematics, orientability is a property of some topological spaces such as real vector spaces, Euclidean spaces, surfaces, and more generally manifolds that allows a consistent definition of "clockwise" and "counterclockwise". A space i ...

when the top-dimensional integral homology group is the integers, and is non-orientable when it is 0.
* The ''n''-sphere admits a nowhere-vanishing 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
In mathematics, the Borsuk–Ulam theorem states that every continuous function from an ''n''-sphere into Euclidean ''n''-space maps some pair of antipodal points to the same point. Here, two points on a sphere are called antipodal if they are i ...

: any continuous map from the ''n''-sphere to Euclidean ''n''-space identifies at least one pair of antipodal points.
* Any subgroup of a free group
In mathematics, the free group ''F'S'' over a given set ''S'' consists of all words that can be built from members of ''S'', considering two words to be different unless their equality follows from the group axioms (e.g. ''st'' = ''suu'' ...

is free. This result is quite interesting, because the statement is purely algebraic yet the simplest known proof is topological. Namely, any free group ''G'' may be realized as the fundamental group of a graph ''X''. The main theorem on covering space A covering of a topological space X is a continuous map \pi : E \rightarrow X with special properties.
Definition
Let X be a topological space. A covering of X is a continuous map
: \pi : E \rightarrow X
such that there exists a discrete sp ...

s 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 .
* Topological combinatorics.
Notable algebraic topologists

Important theorems in algebraic topology

See also

Notes

References

* ''(Discusses generalized versions of van Kampen's theorem applied to topological spaces and simplicial sets).'' *. * ''(Gives a broad view of higher-dimensional van Kampen theorems involving multiple groupoids)''. *. "Gives a general theorem on the fundamental groupoid with a set of base points of a space which is the union of open sets." *. *. "The first 2-dimensional version of van Kampen's theorem." * This provides a homotopy theoretic approach to basic algebraic topology, without needing a basis insingular homology
In algebraic topology, singular homology refers to the study of a certain set of algebraic invariants of a topological space ''X'', the so-called homology groups H_n(X). Intuitively, singular homology counts, for each dimension ''n'', the ''n''-d ...

, or the method of simplicial approximation. It contains a lot of material on crossed modules.
*
*. A functorial, algebraic approach originally by Greenberg with geometric flavoring added by Harper.
*. A modern, geometrically flavoured introduction to algebraic topology.
*
*.
*
*
Further reading

* and . * * Section 2.7 provides a category-theoretic presentation of the theorem as a colimit in the category of groupoids. {{DEFAULTSORT:Algebraic Topology