B8.5 Graph Theory is helpful, but not required.
An important branch of discrete mathematics concerns properties of collections of subsets of a finite set. There are many beautiful and fundamental results, and there are still many basic open questions. The aim of the course is to introduce this very active area of mathematics, with many connections to other fields.
The student will have developed an appreciation of the combinatorics of finite sets.
Chains and antichains. Sperner's Lemma. LYM inequality. Dilworth's Theorem.
Shadows. Kruskal-Katona Theorem. Isoperimetry in the cube.
Intersecting families. Erdos-Ko-Rado Theorem. Cross-intersecting families. t-intersecting families. Fisher's Inequality. Frankl-Wilson Theorem. Application to Borsuk's Conjecture.
VC-dimension. Sauer-Shelah Theorem.