Combinatorial topology
   HOME

TheInfoList



OR:

In
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 ...
, 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 classify ...
, dating from the time when topological invariants of spaces (for example the Betti numbers) 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 t ...
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 comm ...
s. This point of view is often attributed to Emmy Noether, and so the change of title may reflect her influence. The transition is also attributed to the work of
Heinz Hopf Heinz Hopf (19 November 1894 – 3 June 1971) was a German mathematician who worked on the fields of topology and geometry. Early life and education Hopf was born in Gräbschen, Germany (now , part of Wrocław, Poland), the son of Eliza ...
, 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, 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 ...
. 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 topolo ...
and
category theory Category theory is a general theory of mathematical structures and their relations that was introduced by Samuel Eilenberg and Saunders Mac Lane in the middle of the 20th century in their foundational work on algebraic topology. Nowadays, ca ...
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 poin ...
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-dimensio ...
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'' * Topological combinatorics * Topological graph theory


Notes


References

* * * * {{DEFAULTSORT:Combinatorial Topology Algebraic topology Combinatorics es:Topología combinatoria