Een klein beetje grafentheorie, een sterk gevolg: het lemma van Sperner

Het lemma van Sperner is een resultaat dat de kracht van de grafentheorie als didactisch onderwerp opnieuw laat zien: met minimale kennis van grafen leid je een bewijs af met een diep resultaat. Het lemma kan bewezen worden met sterkere leerlingen in de 2[latex]^\text{e}[/latex] of 3[latex]^\text{e}[/latex] graad, die niet terugdeinzen voor een streepje abstractie. Het lemma is de discrete variant van de stelling van Brouwer en legt zo een link tussen continue en discrete wiskunde. Een graaf [latex]G=(V,E)[/latex] bestaat uit twee eindige verzamelingen [latex]V[/latex] en [latex]E[/latex]. De elementen van [latex]V[/latex] worden knopen genoemd, en die van [latex]E[/latex] bogen. Elke boog…