Fixpunkt/M nach M/Schnitt von Graph mit der Diagonalen/Aufgabe

Aus Wikiversity

Es sei eine Menge und es sei

eine Abbildung. Zeige, dass genau dann einen Fixpunkt besitzt, wenn der Durchschnitt des Graphen von mit der Diagonalen

nicht leer ist.