6
$\begingroup$

It is not hard to show that if $f: X \rightarrow X$ is a continuous map and $X$ is a Hausdorff space, then the set of fixed points is closed in $X$. We basically just look at the diagonal and consider the map $g: X \rightarrow X \times X$ defined by $g(x)=(x,f(x))$.

What happens if we drop the condition that $X$ is Hausdorff? I guess the set of fixed points is not closed anymore. What would be an example? I tried looking at the cofinite topology but didn't find an example.

  • 1
    The cofinite topology on any infinite set $X$ should indeed provide a ($T_1$) example, as you mention in the question. Any finite-to-one function from $X$ to $X$ is continuous w.r.t. this topology, and you can realize any subset of $X$ as the set of fixed points of such a function (in fact you can get away with a permutation for almost any subset).2011-08-05

1 Answers 1

9

Here is a nice example. Let $X$ be a set with $|X|>2$, and give $X$ the trivial topology (so the only open sets are $\varnothing$ and $X$). Let $a,b\in X$ be distinct points. Then the map $f:X\to X$ with $f(a)=b$, $f(b)=a$, and $f(x)=x$ for any $x\neq a,b$ has as its set of fixed points $X\setminus\{a,b\}$, which is not closed because the only closed sets are $\varnothing$ and $X$.

It is easy to see that $X$ is not Hausdorff; because the only open sets available to us are $\varnothing$ and $X$, we can't separate distinct points with disjoint open sets.

  • 2
    Very nice. You can reduce to $X=\{0,1\}$ with trivial topology and a constant function $f(x)=0$ as well.2011-08-05
  • 0
    Ah, good point, that's a tad simpler than my example. Also, I wonder if $X$ is Hausdorff $\iff$ $\text{Fix}(f)\subseteq X$ is closed for every continuous $f:X\to X$; it seems plausible.2011-08-05
  • 0
    @Zev Chonoles: nice! thanks.2011-08-05
  • 0
    @Zev: I would be very surprised if this were true, but it doesn't seem easy to construct a counterexample. Any counterexample needs to be infinite and $T_1$, but not Hausdorff, and I don't have good constructions for such spaces which don't result in a huge collection of endomorphisms...2011-08-05
  • 0
    @Qiaochu: Note that Zev's "conjecture" (if to use this word, after that other thread) implies $T_1$, as any constant function will only have one fixed point, so in particular all points are closed.2011-08-05
  • 0
    @Qiaochu, Asaf: I've [posted this as a question](http://math.stackexchange.com/questions/55853).2011-08-05
  • 0
    Ha. I meant $T_1$. My apologies.2011-08-05
  • 0
    A related question is given here: http://math.stackexchange.com/questions/837746/fixed-points-limit-set2014-06-17