Take the 2-minute tour ×
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.

3.10 Let $f\in\mathcal{C}^1[-1,1]$ such that $|f(t)|\leq 1$ and $|f'(t)|\leq\frac{1}{2}$ for all $t\in[-1,1]$. Let $$A=\{t\in[-1,1]\colon f(t)=t\}.$$ Is $A$ nonempty? If the answer is 'yes', what is its cardinality?

Well, I was trying like suppose $\exists t_1 \ni f(t_1)=t_1$ then if I apply mean value theorem on $[t_1,x]$ then $$f(x)-f(t_1)=f'(c)(x-t_1)$$ $$|f(x)-t_1|\le \frac{1}{2}|x-t_1|$$ then I can not proceed, where I can use the fact $|f(t)|\le 1$?

share|improve this question
2  
The first half of your question can be answered easily enough: consider the Intermediate Value Theorem applied to $g(t) = f(t)-t$. What can you say about the values of $g(-1)$ and $g(1)$? Similarly, the fact that $|f'(t)| \leq 1/2$ should let you produce bounds on $g'(t)$ on your interval; can you see what that matters? –  Steven Stadnicki Jul 20 '12 at 18:34
    
yes sir I got it thank you. –  Une Femme Douce Jul 20 '12 at 18:39

1 Answer 1

up vote 3 down vote accepted

First let $g(x)=f(x)-x$. Then $g(1) \geq 0$ and $g(-1) \leq 0$ imply that $g$ has a root.

Now, assume by contradiction that $f$ has two fixed points $t_1,t_2$, and apply the MVT on the interval between these two points.

share|improve this answer
    
ah! feeling bad :( why I did not take 2 fixed points :(. :) thank you for the answer :) –  Une Femme Douce Jul 20 '12 at 18:41

Your Answer

 
discard

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.