Skip to content

Instantly share code, notes, and snippets.

@chris-martin
Last active December 19, 2015 23:28
Show Gist options
  • Save chris-martin/6034673 to your computer and use it in GitHub Desktop.
Save chris-martin/6034673 to your computer and use it in GitHub Desktop.

Suppose f : R → R is continuous and that there is a point c such that f(f(c))=c. Show that f has a fixed point.


Let g(x) = f(x) - x. Note that g is continuous. Consider two points on g:

  • g(c) = f(c) - c

  • g(f(c)) = f(f(c)) - f(c) = c - f(c)

g(c) = -g(f(c))

If c = f(c), then c is a fixed point of f. Otherwise if c ≠ f(c), the intermediate value theorem implies ∃ a : g(a) = 0.

(0 = g(a) = f(a) - a))(f(a) = a)a is a fixed point of f.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment