MathOverflow is a question and answer site for professional mathematicians. 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 $C$ be a nonempty bounded closed convex subset, say the unit ball, of $\ell^2(\mathbb{N})$. Let $T: C\to 2^C$ be a map such that $T(x)$ is nonempty closed for each $x$, and that $$D(Tx,Ty)\le \|x-y\|$$ for all $x,y\in C$, where $D$ is the Hausdorff metric defined by $$D(A,B)=\inf\lbrace r>0: N_r(A)\supset B, N_r(B)\supset A\rbrace,$$ $N_r(S) =\lbrace x\in C: d(x,S)\lt r\rbrace$ being the $r$-neighborhood of $S$.

The question is whether $T$ has a fixed point, i.e. a point $x\in C$ such that $x\in Tx$.

The answer is yes if $T$ is a contraction, i.e. replacing the $\le \|x-y\|$ by $\le \lambda \|x-y\|$ for some $0\le\lambda<1$ in the definition; or if $Tx$ is compact for each $x$.

share|cite|improve this question
out of curiousity: does this have anything to do with monotone maps? – Suvrit Nov 23 '10 at 20:49
I think Browder had used monotone maps to investigate this type of problems. Check his book "Nonlinear Functional Analysis" vol. 2. – TCL Nov 24 '10 at 17:51

Probably the paper Fixed Point Properties Related to Multivalued Mappings answers your question...

share|cite|improve this answer
I will take a look. – TCL Jan 9 '11 at 18:10

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.