Continuous Maps on Intervals

Calculus Level 3

Let f : ( 0 , 1 ) [ 0 , 1 ] f : (0,1) \to [0,1] be bijective.

Can f f be continuous?

Yes No

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

2 solutions

Mark Hennings
Jun 6, 2017

Persistent application of the Intermediate Value Theorem shows us that if f : ( 0 , 1 ) R f\,:\, (0,1) \to \mathbb{R} is continuous, then it must be strictly monotonic.

As a flavour of the proof, suppose that f ( 1 3 ) < f ( 2 3 ) f(\tfrac13) < f(\tfrac23) . If 1 3 < x < 2 3 \tfrac13 < x < \tfrac23 and f ( x ) f ( 2 3 ) f(x) \ge f(\tfrac23) , then the IVT gives us 1 3 y x \tfrac13 \le y \le x with f ( y ) = f ( 2 3 ) f(y) = f(\tfrac23) . Thus f ( x ) < f ( 2 3 ) f(x) < f(\tfrac23) . Similarly f ( x ) > f ( 1 3 ) f(x) > f(\tfrac13) ,and hence f ( 1 3 ) < f ( x ) < f ( 2 3 ) f(\tfrac13) < f(x) < f(\tfrac23) . We can similarly show that f ( x ) < f ( 1 3 ) f(x) < f(\tfrac13) for x < 1 3 x < \tfrac13 and f ( x ) > f ( 2 3 ) f(x) > f(\tfrac23) for x > 2 3 x > \tfrac23 . From this, we can go through a few more cases to see that f ( x ) < f ( y ) f(x) < f(y) whenever 0 < x < y < 1 0 < x < y < 1 . Thus f f is strictly increasing. If f ( 1 3 ) > f ( 2 3 ) f(\tfrac13) > f(\tfrac23) , then f f will be strictly decreasing.

From this it is clear that the range of f f must be an open interval, and so cannot be [ 0 , 1 ] [0,1] .

1 \boxed{1} By contradiction. If f f was a bijective continuous function (homeomorphism), then f 1 f^{-1} would be also a homeomorphism, but [ 0 , 1 ] [0,1] is a compact set and ( 0 , 1 ) (0, 1) is not a compact sect, and compactness is a topological invariant, i.e, each homeomorphism gets a compact set from a compact set. Therefore, f f can't be a homeomorphism.

2 \boxed{2} By contradiction. If f f was a bijective continuous function (homeomorphism), then f 1 f^{-1} would be also a homeomorphism, and hence f 1 ( [ 0 , 1 ) ) f^{-1} ([0, 1)) would be a connected set (Contradiction).

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...