Sea f:[0,1]→[0,1] continua. Demuestra que existe c∈[0,1] tal que f(c)=c (un punto fijo).
Ver solución
- Definimos g(x)=f(x)−x, continua en [0,1] por ser diferencia de funciones continuas. Un punto fijo de f es un cero de g.
- Como f(0)∈[0,1]: g(0)=f(0)−0≥0. Como f(1)∈[0,1]: g(1)=f(1)−1≤0.
- Si g(0)=0 o g(1)=0, el punto fijo es c=0 o c=1.
- Si no, g(0)>0 y g(1)<0, y por el teorema de Bolzano existe c∈(0,1) con g(c)=0, es decir, f(c)=c.
- Ejemplo: con f(x)=cosx, que lleva [0,1] en [cos1,1]⊂[0,1], existe c con cosc=c.
Resultado final: Toda función continua de [0,1] en [0,1] tiene al menos un punto fijo.