# Thread:

1. ## Homeomorphism of the circle

Let $f: \mathbb{S}^1 \rightarrow \mathbb{S}^1$ be an orientation preserving homeomorphism with at least one fixed point. Show that every periodic point of $f$ has period 1, i.e. is a fixed point.

Anybody got an idea?

2. Let p0 be a fixed point and p be a periodic point with period n, that is, f^n(p) = f(f(...f(p))) = p while f^k(p) not equals p if k < n.
Let A be the shorter arc between p0 and p, since f is a homeomorphism, f(A) is also an arc with f(p) being the second end point. ( p0 is the first one).
Suppose the length of f(A) is greater than A. Denote this fact simply as f(A) > A.
Since f(A) contains A, f(f(A)) contains f(A). And since f(f(p)) does not equal to f(p), we get f(f(A)) > f(A).
With this process we get a series of arcs, f(A) < f(f(A)) < ... f^n(A). Now f^n(p) = p, so f^n(A) must cover the circle S^1 one or more times, ending at p. So A is covered at least twice.
While f^n is also a homemorphism, a contradiction.

3. ok thanks. Can we somehow expand this proof to prove the following fact?
If $f: \mathbb{S}^1 \rightarrow \mathbb{S}^1$ is an orientation preserving homeomorphism with at least one of minimal period MATH]n > 1[/tex], dhow that then every periodic point of $f$ has minimal period n.

4. g=f^n is an orientation preserving homemorphism having at least one fixed point. According to your first question, every periodic point of g is a fixed point, that is, a periodic point of period n for f. DONE.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 4, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9223456382751465, "perplexity_flag": "middle"}