In
mathematics, combinatorial topology was an older name for
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 classif ...
, dating from the time when
topological invariants of spaces (for example the
Betti 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 ...
s) were regarded as derived from combinatorial decompositions of spaces, such as decomposition into
simplicial complex
In mathematics, a simplicial complex is a set composed of points, line segments, triangles, and their ''n''-dimensional counterparts (see illustration). Simplicial complexes should not be confused with the more abstract notion of a simplicial ...
es. After the proof of the
simplicial approximation theorem
In mathematics, the simplicial approximation theorem is a foundational result for algebraic topology, guaranteeing that continuous mappings can be (by a slight deformation) approximated by ones that are piecewise of the simplest kind. It applies ...
this approach provided rigour.
The change of name reflected the move to organise topological classes such as cycles-modulo-boundaries explicitly into
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 com ...
s. This point of view is often attributed to
Emmy Noether
Amalie Emmy Noether Emmy is the ''Rufname'', the second of two official given names, intended for daily use. Cf. for example the résumé submitted by Noether to Erlangen University in 1907 (Erlangen University archive, ''Promotionsakt Emmy Noeth ...
, and so the change of title may reflect her influence. The transition is also attributed to the work of
Heinz Hopf, who was influenced by Noether, and to
Leopold Vietoris
Leopold Vietoris (; ; 4 June 1891 – 9 April 2002) was an Austrian mathematician, World War I veteran and supercentenarian. He was born in Radkersburg and died in Innsbruck.
He was known for his contributions to topology—notably the Mayer– ...
and
Walther Mayer
Walther Mayer (11 March 1887 – 10 September 1948) was an Austrian mathematician, born in Graz, Austria-Hungary. With Leopold Vietoris he is the namesake of the Mayer–Vietoris sequence in topology.. He served as an assistant to Albert Einstein, ...
, who independently defined homology.
A fairly precise date can be supplied in the internal notes of the
Bourbaki group
Nicolas Bourbaki () is the collective pseudonym of a group of mathematicians, predominantly French alumni of the École normale supérieure - PSL (ENS). Founded in 1934–1935, the Bourbaki group originally intended to prepare a new textbook i ...
. While topology was still ''combinatorial'' in 1942, it had become ''algebraic'' by 1944. This corresponds also to the period where
homological algebra
Homological algebra is the branch of mathematics that studies homology in a general algebraic setting. It is a relatively young discipline, whose origins can be traced to investigations in combinatorial topology (a precursor to algebraic topology ...
and
category theory were introduced for the study 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 po ...
s, and largely supplanted combinatorial methods.
Azriel Rosenfeld (1973) proposed
digital topology for a type of
image processing
An image is a visual representation of something. It can be two-dimensional, three-dimensional, or somehow otherwise feed into the visual system to convey information. An image can be an artifact, such as a photograph or other two-dimension ...
that can be considered as a new development of combinatorial topology. The digital forms of the
Euler characteristic
In mathematics, and more specifically in algebraic topology and polyhedral combinatorics, the Euler characteristic (or Euler number, or Euler–Poincaré characteristic) is a topological invariant, a number that describes a topological spac ...
theorem and the
Gauss–Bonnet theorem were obtained by Li Chen and Yongwu Rong.
A 2D
grid cell topology already appeared in the Alexandrov–Hopf book Topologie I (1935).
See also
*''
Hauptvermutung
The ''Hauptvermutung'' of geometric topology is a now refuted conjecture asking whether any two triangulations of a triangulable space have subdivisions that are combinatorially equivalent, i.e. the subdivided triangulations are built up in the s ...
''
*
Topological combinatorics The mathematical discipline of topological combinatorics is the application of topological and algebro-topological methods to solving problems in combinatorics.
History
The discipline of combinatorial topology used combinatorial concepts in to ...
*
Topological graph theory
Notes
References
*
*
*
*
{{DEFAULTSORT:Combinatorial Topology
Algebraic topology
Combinatorics
es:Topología combinatoria