|
Emanuel Sperner
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 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, from 1928, says that the size of an antichain in the power set of an ''n''-set (a Sperner family) is at most the middle binomial coefficient(s). It has several proofs and numerous generalizations, including the Sperner property of a partially ordered set. Sperner's lemma, from 1928, states that every Sperner coloring of a triangulation of an ''n''-dimensional simplex 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 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Prusinowice, Opole Voivodeship
Prusinowice (German ''Waltdorf'') is a village in the administrative district of Gmina Pakosławice, within Nysa County, Opole Voivodeship, in south-western Poland. It lies approximately east of Pakosławice, north-east of Nysa, and west of the regional capital Opole. Notable residents * Emanuel Sperner 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 ... (1905–1980), German mathematician References Prusinowice {{Nysa-geo-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Theorem
In mathematics, a theorem is a statement that has been proved, or can be proved. The ''proof'' of a theorem is a logical argument that uses the inference rules of a deductive system to establish that the theorem is a logical consequence of the axioms and previously proved theorems. In the mainstream of mathematics, the axioms and the inference rules are commonly left implicit, and, in this case, they are almost always those of Zermelo–Fraenkel set theory with the axiom of choice, or of a less powerful theory, such as Peano arithmetic. A notable exception is Wiles's proof of Fermat's Last Theorem, which involves the Grothendieck universes whose existence requires the addition of a new axiom to the set theory. Generally, an assertion that is explicitly called a theorem is a proved result that is not an immediate consequence of other known theorems. Moreover, many authors qualify as ''theorems'' only the most important results, and use the terms ''lemma'', ''proposition'' and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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. For example, * a 0-dimensional simplex is a point, * a 1-dimensional simplex is a line segment, * a 2-dimensional simplex is a triangle, * a 3-dimensional simplex is a tetrahedron, and * a 4-dimensional simplex is a 5-cell. Specifically, a ''k''-simplex is a ''k''-dimensional polytope which is the convex hull of its ''k'' + 1 vertices. More formally, suppose the ''k'' + 1 points u_0, \dots, u_k \in \mathbb^ are affinely independent, which means u_1 - u_0,\dots, u_k-u_0 are linearly independent. Then, the simplex determined by them is the set of points : C = \left\ This representation in terms of weighted vertices is known as the barycentric coordinate system. A regular simplex is a simplex that is also a regular polytope. A ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Triangulation (geometry)
In geometry, a triangulation is a subdivision of a planar object into triangles, and by extension the subdivision of a higher-dimension geometric object into simplices. Triangulations of a three-dimensional volume would involve subdividing it into tetrahedra packed together. In most instances, the triangles of a triangulation are required to meet edge-to-edge and vertex-to-vertex. Types Different types of triangulations may be defined, depending both on what geometric object is to be subdivided and on how the subdivision is determined. * A triangulation T of \mathbb^d is a subdivision of \mathbb^d into d-dimensional simplices such that any two simplices in T intersect in a common face (a simplex of any lower dimension) or not at all, and any bounded set in \mathbb^d intersects only finitely many simplices in T. That is, it is a locally finite simplicial complex that covers the entire space. * A point-set triangulation, i.e., a triangulation of a discrete set of points \mathcal\su ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Sperner Coloring
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 simplex contains a cell whose vertices all have different colors. The initial result of this kind was proved by Emanuel Sperner, in relation with proofs of invariance of domain. Sperner colorings have been used for effective computation of fixed points and in root-finding algorithms, and are applied in fair division (cake cutting) algorithms. Finding a Sperner coloring or equivalently a Brouwer fixed point is now believed to be an intractable computational problem, even in the plane, in the general case. The problem is PPAD-complete, a complexity class invented by Christos Papadimitriou. According to the Soviet ''Mathematical Encyclopaedia'' (ed. I.M. Vinogradov), a related 1929 theorem (of Knaster, Borsuk and Mazurkiewicz) had ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 rank) in the poset.. Since every rank level is itself an antichain, the Sperner property is equivalently the property that some rank level is a maximum antichain. The Sperner property and Sperner posets are named after Emanuel Sperner, who proved 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 ... stating that the family of all subsets of a finite set (partially ordered by set inclusion) has this property. The lattice of partitions of a finite set typically lacks the Sperner property. Variations A ''k''-Sperner poset is a gr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 term in the polynomial expansion of the binomial power ; this coefficient can be computed by the multiplicative formula :\binom nk = \frac, which using factorial notation can be compactly expressed as :\binom = \frac. For example, the fourth power of is :\begin (1 + x)^4 &= \tbinom x^0 + \tbinom x^1 + \tbinom x^2 + \tbinom x^3 + \tbinom x^4 \\ &= 1 + 4x + 6 x^2 + 4x^3 + x^4, \end and the binomial coefficient \tbinom =\tfrac = \tfrac = 6 is the coefficient of the term. Arranging the numbers \tbinom, \tbinom, \ldots, \tbinom in successive rows for n=0,1,2,\ldots gives a triangular array called Pascal's triangle, satisfying the recurrence relation :\binom = \binom + \binom. The binomial coefficients occur in many areas of mathematics, a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Sperner Family
In combinatorics, a Sperner family (or Sperner system; named in honor of Emanuel Sperner), or clutter, is a family ''F'' of subsets of a finite set ''E'' in which none of the sets contains another. Equivalently, a Sperner family is an antichain in the inclusion lattice over the power set of ''E''. A Sperner family is also sometimes called an independent system or irredundant set. Sperner families are counted by the Dedekind numbers, and their size is bounded by Sperner's theorem and the Lubell–Yamamoto–Meshalkin inequality. They may also be described in the language of hypergraphs rather than set families, where they are called clutters. Dedekind numbers The number of different Sperner families on a set of ''n'' elements is counted by the Dedekind numbers, the first few of which are :2, 3, 6, 20, 168, 7581, 7828354, 2414682040998, 56130437228687557907788 . Although accurate asymptotic estimates are known for larger values of ''n'', it is unknown whether there exists an exa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Power Set
In mathematics, the power set (or powerset) of a set is the set of all subsets of , including the empty set and itself. In axiomatic set theory (as developed, for example, in the ZFC axioms), the existence of the power set of any set is postulated by the axiom of power set. The powerset of is variously denoted as , , , \mathbb(S), or . The notation , meaning the set of all functions from S to a given set of two elements (e.g., ), is used because the powerset of can be identified with, equivalent to, or bijective to the set of all the functions from to the given two elements set. Any subset of is called a ''family of sets'' over . Example If is the set , then all the subsets of are * (also denoted \varnothing or \empty, the empty set or the null set) * * * * * * * and hence the power set of is . Properties If is a finite set with the cardinality (i.e., the number of all elements in the set is ), then the number of all the subsets of is . This fact as ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 width. By Dilworth's theorem, this also equals the minimum number of chains (totally ordered subsets) into which the set can be partitioned. Dually, the height of the partially ordered set (the length of its longest chain) equals by Mirsky's theorem the minimum number of antichains into which the set can be partitioned. The family of all antichains in a finite partially ordered set can be given join and meet operations, making them into a distributive lattice. For the partially ordered system of all subsets of a finite set, ordered by set inclusion, the antichains are called Sperner families and their lattice is a free distributive lattice, with a Dedekind number of elements. More generally, counting the number of antichains of a finite pa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Königsberg
Königsberg (, ) was the historic Prussian city that is now Kaliningrad, Russia. Königsberg was founded in 1255 on the site of the ancient Old Prussian settlement ''Twangste'' by the Teutonic Knights during the Northern Crusades, and was named in honour of King Ottokar II of Bohemia. A Baltic port city, it successively became the capital of the Królewiec Voivodeship, the State of the Teutonic Order, the Duchy of Prussia and the provinces of East Prussia and Prussia. Königsberg remained the coronation city of the Prussian monarchy, though the capital was moved to Berlin in 1701. Between the thirteenth and the twentieth centuries, the inhabitants spoke predominantly German, but the multicultural city also had a profound influence upon the Lithuanian and Polish cultures. The city was a publishing center of Lutheran literature, including the first Polish translation of the New Testament, printed in the city in 1551, the first book in Lithuanian and the first Lutheran catechism, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 Vorlesungswesen''), the Hamburg Colonial Institute ('' Hamburgisches Kolonialinstitut''), and the Academic College ('' Akademisches Gymnasium''). The main campus is located in the central district of Rotherbaum, with affiliated institutes and research centres distributed around the city-state. The university has been ranked in the top 200 universities worldwide by the ''Times Higher Education Ranking'', the Shanghai Ranking and the CWTS Leiden Ranking, placing it among the top 1% of global universities. Seven Nobel Prize winners and one Wolf Prize winner are affiliated with UHH. On a national scale, '' U.S. News & World Report'' ranks UHH 7th and ''QS World University Rankings'' 14th out of a total of 426 German institutions of higher educa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.PNG "Click for more on -> Theorem")
.jpg "Click for more on -> Königsberg")
