# [SOLVED] Fixed point

Show 40 post(s) from this thread on one page
Page 2 of 2 First 12
• May 17th 2010, 09:19 AM
Dinkydoe
Bruno, I fixed my proof. Hopefully convincing now (Wink)

So we assumed $\displaystyle f$ had no fixpoint and $\displaystyle S=\left\{x:f(x)>x\right\}$, and $\displaystyle T= \left\{x:f(x)< x\right\}$.

As shown before we know that $\displaystyle S,T$ are closed under $\displaystyle f$

Now let $\displaystyle u= \sup(S)$. Then we have $\displaystyle u\in T$. Suppose that $\displaystyle u\in S$ then $\displaystyle f(u)>u$ but since $\displaystyle f(u)\in S$ this contradicts the fact that $\displaystyle u= \sup(S)$.

Now since $\displaystyle u\in T$ we have $\displaystyle f(u)< u$ and we can find $\displaystyle x_n\in (f(u), u)\cap S$ ( this is clearly true since $\displaystyle u = \sup(S)$

But then we have $\displaystyle f(u)<x_n<f(x_n)<u$ and this is a contradiction.
• May 18th 2010, 06:10 PM
Bruno J.
Quote:

Originally Posted by Dinkydoe
Bruno, I fixed my proof. Hopefully convincing now (Wink)

So we assumed $\displaystyle f$ had no fixpoint and $\displaystyle S=\left\{x:f(x)>x\right\}$, and $\displaystyle T= \left\{x:f(x)< x\right\}$.

As shown before we know that $\displaystyle S,T$ are closed under $\displaystyle f$

Now let $\displaystyle u= \sup(S)$. Then we have $\displaystyle u\in T$. Suppose that $\displaystyle u\in S$ then $\displaystyle f(u)>u$ but since $\displaystyle f(u)\in S$ this contradicts the fact that $\displaystyle u= \sup(S)$.

Now since $\displaystyle u\in T$ we have $\displaystyle f(u)< u$ and we can find $\displaystyle x_n\in (f(u), u)\cap S$ ( this is clearly true since $\displaystyle u = \sup(S)$

But then we have $\displaystyle f(u)<x_n<f(x_n)<u$ and this is a contradiction.

That works! (Cool)
Show 40 post(s) from this thread on one page
Page 2 of 2 First 12