Nos han dado lo siguiente,
Dejemos que $, \colon [0, 1] \to [0, 1]$ sean funciones (no necesariamente continuas) tales que
- $(x) (x)$ para todos $x [0, 1]$ .
- El conjunto $K = \{\,(x, y); (x) y (x)\,\}$ está cerrado en $\mathbb R^2$ .
Demuestre que existe $t [0, 1]$ tal que $(t, t) K$ .
Creemos que si $K$ está cerrada, entonces debe estar conectada por un camino. En cuyo caso, tenemos una función continua de $[0,1]$ a $[0,1]$ que está contenida en $K$ . Por lo tanto podemos utilizar el teorema del valor intermedio para demostrar que esta función debe tener un punto fijo, lo que concluiría nuestro argumento.
Nuestra dificultad es que no podemos demostrar que $K$ está realmente conectada por un camino, aunque cada ejemplo de $$ and $$ que podemos pensar que satisfacen las propiedades requeridas hacen $K$ camino conectado.