Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

let $K$ be a closed convex subset of a normed space $V$. For any $f: K \to K$ define the fixed-point set of $f$ as follows: $fix(f)=\{x$ belongs to $K$ $|f(x)=x \}$. I have to show that a nonempty subset of $K$ is a fixed point set of some continuous function $f:K \to K$ iff it is closed subset of $K$?

share|cite|improve this question
I'm thinking of the point, if F is a closed subset of K then u(x)= inf norm x-y with y belongs to K.I want to show this to be continuous function from K to [0, infinity) which is zero only on F. But i'm stuck with this thing, could anyone of you help me out? – Athar Raheel Ahmad Oct 24 '12 at 20:47
up vote 1 down vote accepted

First of all, the fact that the fixed point set is always closed follows directly from continuity. For the other direction your idea in the comment is a good start. Given a closed non-empty set $F\subseteq K$, fix some point $x_0 \in F$, and let $u(x)=\inf_{y\in F} \|x-y\|$ be the distance to $F$. Since $F$ is closed, $u(x)=0$ iff $x\in F$. Now define the map $f(x) = e^{-u(x)}x + (1-e^{-u(x)})x_0$. Since $K$ is convex, and $f(x)$ is a convex combination of $x$ and $x_0$, we get $f(K) \subseteq K$. For any $x\in F$ we have $e^{-u(x)}=1$, so $f(x)=x$. For any $x\in K \setminus F$ we have $f(x)-x = (1-e^{-u(x)}) (x-x_0) \ne 0$ since $x\ne x_0$ and $e^{-u(x)} \ne 1$. Together this shows that the fixed point set of $f$ in $K$ is exactly $F$.

share|cite|improve this answer
Thanks Lukas for your help,I hope now I can figure out the problem. – Athar Raheel Ahmad Oct 25 '12 at 14:55

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.