2016/09/15 by Hurlbert, Glenn, Kamat, Vikram · 1 citation
#05D05 #Combinatorics (math.CO) #FOS: Mathematics
paper · doi:10.48550/arxiv.1609.04714
A set system F is intersecting if any pair of sets in F have a nonempty intersection. A fundamental theorem of Erdős, Ko and Rado states that if F is an intersecting family of r-subsets of [n]=1,...,n, and n>= 2r, then the cardinality of F is at most the cardinality of the family of all r-subsets of [n] containing a fixed element. Furthermore, when n>2r, equality holds if and only if F is the family of all r-subsets of [n] containing a fixed element. This characterization was proved as part of a stronger result by Hilton and Milner. In this note, we provide new injective proofs of the Erdős--Ko--Rado and the Hilton--Milner theorems.