Continuous Function from Compact Hausdorff Space to Itself Fixes a Non-Empty Set

Theorem
Let $\struct {X, \tau}$ be a compact Hausdorff space.

Let $f : X \to X$ be a continuous function.

Then there exists a subset $A \subseteq T$ such that:


 * $\map f A = A$

Proof
Define a sequence of sets $\sequence {X_i}_{i \in \N}$ by:


 * $X_i = \begin{cases}X & i = 1 \\ \map f {X_{i - 1} } & i \ge 2\end{cases}$

Since:


 * $\map f X \subseteq X$

we have:


 * $X_i \subseteq X$

for each $i \in \N$.

Define:


 * $\ds A = \bigcap_{n \mathop = 1}^\infty X_n$

We have:

We aim to show that:


 * $\map f A = A$

Lemma 1
We have:

so:


 * $\map f A \subseteq A$

It remains to show that:


 * $A \subseteq \map f A$

Lemma 2
We then have:


 * $A = \map f A$

as required.