Let f : ( 0 , 1 ) → [ 0 , 1 ] be bijective.
Can f be continuous?
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.
1 By contradiction. If f was a bijective continuous function (homeomorphism), then f − 1 would be also a homeomorphism, but [ 0 , 1 ] is a compact set and ( 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 can't be a homeomorphism.
2 By contradiction. If f was a bijective continuous function (homeomorphism), then f − 1 would be also a homeomorphism, and hence f − 1 ( [ 0 , 1 ) ) would be a connected set (Contradiction).
Problem Loading...
Note Loading...
Set Loading...
Persistent application of the Intermediate Value Theorem shows us that if f : ( 0 , 1 ) → R is continuous, then it must be strictly monotonic.
As a flavour of the proof, suppose that f ( 3 1 ) < f ( 3 2 ) . If 3 1 < x < 3 2 and f ( x ) ≥ f ( 3 2 ) , then the IVT gives us 3 1 ≤ y ≤ x with f ( y ) = f ( 3 2 ) . Thus f ( x ) < f ( 3 2 ) . Similarly f ( x ) > f ( 3 1 ) ,and hence f ( 3 1 ) < f ( x ) < f ( 3 2 ) . We can similarly show that f ( x ) < f ( 3 1 ) for x < 3 1 and f ( x ) > f ( 3 2 ) for x > 3 2 . From this, we can go through a few more cases to see that f ( x ) < f ( y ) whenever 0 < x < y < 1 . Thus f is strictly increasing. If f ( 3 1 ) > f ( 3 2 ) , then f will be strictly decreasing.
From this it is clear that the range of f must be an open interval, and so cannot be [ 0 , 1 ] .