The largest possible antichain of subsets of an n-element set, meaning a family in which no member is a subset of another, has size equal to the central binomial coefficient, achieved by taking all subsets of the middle size. Proved by Emanuel Sperner, it is a foundational result of extremal set theory, distinct from the same mathematician's combinatorial lemma on simplex triangulations.
Facts
StatementSperner's theorem, in discrete mathematics, describes the largest possible families of finite sets none of which contain any other sets in the family. 1 Classification
Statement Form Sperner's Theorem
Filter Results1 entry
Connections
Has Statement Form
In Branch
Principal Result Of
Source Sperner's Theorem (Wikipedia)
Proved By
Source Sperner's Theorem (Wikipedia)
Sources
1. Sperner's Theorem (Wikipedia)
Wikimedia Foundationlead paragraph, opening sentence
Sperner's theorem, in discrete mathematics, describes the largest possible families of finite sets none of which contain any other sets in the family.
lead paragraph, sentence naming the publication year
It is named after Emanuel Sperner, who published it in 1928.
Principal Result Of: Emanuel Sperner, Lead sentence of the article on the result
It is named after Emanuel Sperner, who published it in 1928.
Proved By: Emanuel Sperner, Lead paragraph
It is named after Emanuel Sperner, who published it in 1928.
In Group: Ramsey Theory and Extremal Combinatorics, Lead section
in discrete mathematics, describes the largest possible families of finite sets none of which contain any other sets in the family.
View the Source Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.