The
mathematical
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
discipline of topological combinatorics is the application of
topological
Topology (from the Greek words , and ) is the branch of mathematics concerned with the properties of a geometric object that are preserved under continuous deformations, such as stretching, twisting, crumpling, and bending; that is, wit ...
and
algebro-topological methods to solving problems in
combinatorics
Combinatorics is an area of mathematics primarily concerned with counting, both as a means and as an end to obtaining results, and certain properties of finite structures. It is closely related to many other areas of mathematics and has many ...
.
History
The discipline of
combinatorial topology In mathematics, combinatorial topology was an older name for algebraic topology, dating from the time when topological invariants of spaces (for example the Betti numbers) were regarded as derived from combinatorial decompositions of spaces, such a ...
used combinatorial concepts in topology and in the early 20th century this turned into the field of
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 invariant (mathematics), invariants that classification theorem, classify topological spaces up t ...
.
In 1978 the situation was reversed—methods from algebraic topology were used to solve a problem in combinatorics—when
László Lovász
László Lovász (; born March 9, 1948) is a Hungarian mathematician and professor emeritus at Eötvös Loránd University, best known for his work in combinatorics, for which he was awarded the 2021 Abel Prize jointly with Avi Wigderson. He ...
proved the
Kneser conjecture, thus beginning the new field of topological combinatorics. Lovász's proof used the
Borsuk–Ulam theorem and this theorem retains a prominent role in this new field. This theorem has many equivalent versions and analogs and has been used in the study of
fair division
Fair division is the problem in game theory of dividing a set of resources among several people who have an Entitlement (fair division), entitlement to them so that each person receives their due share. The central tenet of fair division is that ...
problems.
In another application of
homological methods to
graph theory
In mathematics and computer science, graph theory is the study of ''graph (discrete mathematics), graphs'', which are mathematical structures used to model pairwise relations between objects. A graph in this context is made up of ''Vertex (graph ...
, Lovász proved both the undirected and directed versions of a
conjecture
In mathematics, a conjecture is a conclusion or a proposition that is proffered on a tentative basis without proof. Some conjectures, such as the Riemann hypothesis or Fermat's conjecture (now a theorem, proven in 1995 by Andrew Wiles), ha ...
of
András Frank: Given a
''k''-connected graph ''G'', ''k'' points
, and ''k'' positive
integer
An integer is the number zero (0), a positive natural number (1, 2, 3, ...), or the negation of a positive natural number (−1, −2, −3, ...). The negations or additive inverses of the positive natural numbers are referred to as negative in ...
s
that sum up to
, there exists a partition
of
such that
,
, and
spans a connected subgraph.
In 1987 the
necklace splitting problem
Necklace splitting is a picturesque name given to several related problems in combinatorics and measure theory. Its name and solutions are due to mathematicians Noga Alon and Douglas B. West.
The basic setting involves a necklace with beads of ...
was solved by
Noga Alon using the Borsuk–Ulam theorem. It has also been used to study
complexity problems in
linear decision tree algorithms and the
Aanderaa–Karp–Rosenberg conjecture. Other areas include
topology of partially ordered sets and
Bruhat orders.
Additionally, methods from
differential topology
In mathematics, differential topology is the field dealing with the topological properties and smooth properties of smooth manifolds. In this sense differential topology is distinct from the closely related field of differential geometry, which ...
now have a combinatorial analog in
discrete Morse theory.
See also
*
Sperner's lemma
*
Discrete exterior calculus
*
Topological graph theory
*
Combinatorial topology In mathematics, combinatorial topology was an older name for algebraic topology, dating from the time when topological invariants of spaces (for example the Betti numbers) were regarded as derived from combinatorial decompositions of spaces, such a ...
*
Finite topological space
In mathematics, a finite topological space is a topological space for which the underlying set (mathematics), point set is finite set, finite. That is, it is a topological space which has only finitely many elements.
Finite topological spaces are ...
References
*.
Further reading
*.
*.
*.
*.
*.
*.
*.
{{DEFAULTSORT:Topological Combinatorics
Combinatorics
Topology
Algebraic topology