I need to prove that for every continuous function f:X->X of a metric and compact space X, which satisfy for each two different x and y in X p(f(x),f(y))<p(x,y) where p is the metric on X, there's a fixed point, i.e there exist x0 s.t f(x0)=x0.(adsbygoogle = window.adsbygoogle || []).push({});

obviously i thought assuming there isnt such a point i.e that for every x in X f(x)!=x

now because X is compact and it's a metric space it's equivalent to sequence compactness, i.e that for every sequence of X there exist a subsequence of it that converges to x0.

now [tex]p(f(x_{n_k}),x_{n_k})[/tex], because they are not equal then there exist e0 such that: [tex]p(f(x_{n_k}),x_{n_k})>=e0[/tex]

now if x_n_k=f(y_n_k) y_n_k!=x_n_k, we can write it as:

p(x_n_k,x0)+p(x0,y_n_k)>=p(x_n_k,y_n_k)>e0

now if y_n_k were converging to x0, it will be easier, not sure how to procceed...

what do you think?

**Physics Forums - The Fusion of Science and Community**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Compactness and continuity.

Loading...

Similar Threads - Compactness continuity | Date |
---|---|

I Lorentz group is non-compact | Sep 11, 2017 |

A Compact Lie group | Sep 4, 2017 |

A Continuous map from one manifold to another | May 15, 2016 |

Does a compact manifold always have bounded sectional curvature? | Dec 9, 2013 |

Compactability and Killing vectors | Oct 4, 2013 |

**Physics Forums - The Fusion of Science and Community**