Elementary proof of fixed point theorem.

ArcanaNoir
Messages
778
Reaction score
4
I'd like someone to check this proof out for violations of math law. It seems like hackery to me, but then so does a lot of what my professor says, so maybe it's not. If it's flawed, just tell me why. Please don't suggest other ways to prove this, that's my job this weekend.

Thanks :)

p.s. This is my first post using \LaTeX, since my discovery that it was there all along (used to see the raw text).

Homework Statement


f: [0,1] \to [0,1] and f is continuous \Rightarrow \exists x \in [0,1] : f(x)=x

Homework Equations


Anything elementary calculus. Trying to keep it as simple as possible.

The Attempt at a Solution



let g(x)=x
Then g(0) \le f(x) \le g(1)
or, g(a) \le f(x) \le g(b) where [a,b]=[0,1]

\lim_{a\to x^-}{g(a)} = \lim_{b\to x^+}{g(b)} = x
therefore
\lim_{x\to x}{f(x)} = x

Since f(x) takes on the same value as g(x) at some point x, f(x)=g(x)=x at this point.

So, for some x \in [0,1], f(x)=x
 
Last edited:
Physics news on Phys.org
ArcanaNoir said:
I'd like someone to check this proof out for violations of math law. It seems like hackery to me, but then so does a lot of what my professor says, so maybe it's not. If it's flawed, just tell me why. Please don't suggest other ways to prove this, that's my job this weekend.

Thanks :)

p.s. This is my first post using \LaTeX, since my discovery that it was there all along (used to see the raw text).

Homework Statement


f: [0,1] \to [0,1] and f is continuous \Rightarrow \exists x \in [0,1] : f(x)=x


Homework Equations


Anything elementary calculus. Trying to keep it as simple as possible.


The Attempt at a Solution


This "proof" is flawed. Comments on each line below.

let g(x)=x
Then g(0) \le f(x) \le g(1)
No point renaming x to something else. This just says 0<f(x)<1
or, g(a) \le f(x) \le g(b) where [a,b]=[0,1]

And this just says the same thing.

\lim_{a\to x^-}{g(a)} = \lim_{b\to x^+}{g(b)} = x
But a and b are constants. But anyway, x is presumably known to be continuous.

therefore
\lim_{x\to x}{f(x)} = x
Strange way to write a limit and f(x) = x doesn't follow from anything you have done.
Since f(x) takes on the same value as g(x) at some point x, f(x)=g(x)=x at this point.

So, for some x \in [0,1], f(x)=x

You aren't close. You said no suggestions. Do you want a hint?
 
No thanks on the hint. I guess it's back to the drawing board. Thanks for the input :)
 
There are two things I don't understand about this problem. First, when finding the nth root of a number, there should in theory be n solutions. However, the formula produces n+1 roots. Here is how. The first root is simply ##\left(r\right)^{\left(\frac{1}{n}\right)}##. Then you multiply this first root by n additional expressions given by the formula, as you go through k=0,1,...n-1. So you end up with n+1 roots, which cannot be correct. Let me illustrate what I mean. For this...

Similar threads

Back
Top