Emanuel Sperner (9 December 1905 – 31 January 1980) was a German
mathematician, best known for two
theorems. He was born in
Waltdorf (near Neiße,
Upper Silesia, now
Nysa, Poland), and died in
Sulzburg-Laufen,
West Germany. He was a student at
Carolinum in Nysa and then
Hamburg University
The University of Hamburg (german: link=no, Universität Hamburg, also referred to as UHH) is a public research university in Hamburg, Germany. It was founded on 28 March 1919 by combining the previous General Lecture System ('' Allgemeines Vor ...
where his advisor was
Wilhelm Blaschke. He was appointed Professor in
Königsberg in 1934, and subsequently held posts in a number of universities until 1974.
Sperner's theorem
Sperner's theorem, in discrete mathematics, describes the largest possible families of finite sets none of which contain any other sets in the family. It is one of the central results in extremal set theory. It is named after Emanuel Sperner, who ...
, from 1928, says that the size of an
antichain
In mathematics, in the area of order theory, an antichain is a subset of a partially ordered set such that any two distinct elements in the subset are incomparable.
The size of the largest antichain in a partially ordered set is known as its w ...
in the
power set of an ''n''-set (a
Sperner family) is at most the middle
binomial coefficient
In mathematics, the binomial coefficients are the positive integers that occur as coefficients in the binomial theorem. Commonly, a binomial coefficient is indexed by a pair of integers and is written \tbinom. It is the coefficient of the t ...
(s). It has several proofs and numerous generalizations, including the
Sperner property of a partially ordered set In order-theoretic mathematics, a graded partially ordered set is said to have the Sperner property (and hence is called a Sperner poset), if no antichain within it is larger than the largest rank level (one of the sets of elements of the same ran ...
.
Sperner's lemma
In mathematics, Sperner's lemma is a combinatorial result on colorings of triangulations, analogous to the Brouwer fixed point theorem, which is equivalent to it. It states that every Sperner coloring (described below) of a triangulation of an ...
, from 1928, states that every
Sperner coloring of a
triangulation
In trigonometry and geometry, triangulation is the process of determining the location of a point by forming triangles to the point from known points.
Applications
In surveying
Specifically in surveying, triangulation involves only angle me ...
of an ''n''-dimensional
simplex
In geometry, a simplex (plural: simplexes or simplices) is a generalization of the notion of a triangle or tetrahedron to arbitrary dimensions. The simplex is so-named because it represents the simplest possible polytope in any given dimension. ...
contains a cell colored with a complete set of colors. It was proven by Sperner to provide an alternate proof of a theorem of
Lebesgue characterizing
dimensionality of
Euclidean spaces. It was later noticed that this lemma provides a direct proof of the
Brouwer fixed-point theorem without explicit use of
homology
Homology may refer to:
Sciences
Biology
*Homology (biology), any characteristic of biological organisms that is derived from a common ancestor
* Sequence homology, biological homology between DNA, RNA, or protein sequences
*Homologous chrom ...
.
Sperner's students included
Kurt Leichtweiss and
Gerhard Ringel
Gerhard Ringel (October 28, 1919 in Kollnbrunn, Austria – June 24, 2008 in Santa Cruz, California) was a German mathematician. He was one of the pioneers in graph theory and contributed significantly to the proof of the Heawood conjecture ...
.
References
External links
Sperner's photos– from the
Mathematical Research Institute of Oberwolfach
The Oberwolfach Research Institute for Mathematics (german: Mathematisches Forschungsinstitut Oberwolfach) is a center for mathematical research in Oberwolfach, Germany. It was founded by mathematician Wilhelm Süss in 1944.
It organizes weekl ...
{{DEFAULTSORT:Sperner, Emanuel
1905 births
1980 deaths
People from Nysa County
People from the Province of Silesia
20th-century German mathematicians
Combinatorialists
Kolegium Carolinum Neisse alumni
University of Freiburg alumni
University of Freiburg faculty
University of Hamburg alumni
University of Hamburg faculty
University of Königsberg faculty
University of Strasbourg faculty
University of Bonn faculty