Paper 1, Section I, 2F2 F

Topics in Analysis
Part II, 2018

State and prove Sperner's lemma concerning colourings of points in a triangular grid.

Suppose that \triangle is a non-degenerate closed triangle with closed edges α1,α2\alpha_{1}, \alpha_{2} and α3\alpha_{3}. Show that we cannot find closed sets AjA_{j} with AjαjA_{j} \supseteq \alpha_{j}, for j=1,2,3j=1,2,3, such that

j=13Aj=Δ, but j=13Aj=\bigcup_{j=1}^{3} A_{j}=\Delta, \text { but } \bigcap_{j=1}^{3} A_{j}=\emptyset