1
$\begingroup$

Suppose that $f$ is a function defined in $[a;b]$ to $[a;b]$ and continuous on $[a;b]$. The problem is I haven't the definition of the function, this is more abstract, but even if how can I prove that $f$ would have a fixed point?

  • 0
    You asked this [before](http://math.stackexchange.com/questions/211251/continuity-in-an-interval).2012-10-12

3 Answers 3

2

Note that a fixed point is when $f(x) = x$ or $f(x) - x = 0$. Consider the function $f(x) -x$. Can it be everywhere positive? Can it be everywhere negative? As it is continuous, it thus has to have a zero.

  • 0
    pourjour, you are saying it doesn't have to be $f(x)=x$, and then you are finding that $f(2)=2$. In other words, you are finding that $x=2$ is a solution of the equation $f(x)=x$, which is exactly what Karolis and LevDub and N. S. are telling you to do.2012-10-12
1

I think you can prove it using the properties of the real line. If $f(a)=a$ or $f(b)=b$ then the result follows. If not then $f(a)\gt a$ and $f(b)\lt b$ try using the continuity of $f$ to show that $\sup\{x\in [a,b]\space|\space f(x)\gt x\}$ is a fixed point for $f$.

0

A related problem. Here is what you are looking for Brouwer fixed-point theorem.

In the plane: Every continuous function $f$ from a closed disk to itself has at least one fixed point.

This can be generalized to an arbitrary finite dimension:

In Euclidean space: Every continuous function from a closed ball of a Euclidean space to itself has a fixed point.

A slightly more general version is as follows:

Convex compact set: Every continuous function f from a convex compact subset K of a Euclidean space to K itself has a fixed point.

An even more general form is better known under a different name:

Schauder fixed point theorem: Every continuous function from a convex compact subset K of a Banach space to K itself has a fixed point.