- #1

- 125

- 0

- Thread starter dumbQuestion
- Start date

- #1

- 125

- 0

- #2

jgens

Gold Member

- 1,581

- 50

First consider the continuous surjection [itex]f:(0,1) \rightarrow [0,1][/itex] defined as follows:

[tex]

f(x) = \left\{

\begin{array}{lcl}

0 & : & x \in \left(0,\frac{1}{4}\right)\\[0.3em]

2x-\frac{1}{2} & : & x \in \left[\frac{1}{4},\frac{3}{4}\right]\\[0.3em]

1 & : & x \in \left(\frac{3}{4},1\right)

\end{array}

\right.

[/tex]

Now to answer your other questions ...

[tex]

f(x) = \left\{

\begin{array}{lcl}

0 & : & x \in \left(0,\frac{1}{4}\right)\\[0.3em]

2x-\frac{1}{2} & : & x \in \left[\frac{1}{4},\frac{3}{4}\right]\\[0.3em]

1 & : & x \in \left(\frac{3}{4},1\right)

\end{array}

\right.

[/tex]

Now to answer your other questions ...

Not all continuous maps satisfy this property. Those that do are called 'proper'.but isn't it also the case that the inverse image of a compact set must be compact?

Assuming that you give [itex]\mathbb{R}[/itex] its usual topology and assuming you mean bounded with respect to the Euclidean metric, then yes.and a set in R is compact iff its closed and bounded right?

Last edited:

- #3

lavinia

Science Advisor

Gold Member

- 3,236

- 623

map any set with any topology to a point. This map is continuous and its image is compact.

- #4

- 349

- 1

Clearly the problem is that this function is not injective. Same problem with the example by jgens.

Does there exist an injective continuous function mapping (0,1) onto [0,1]? Assume there is, and suppose f(a)=0 and f(b)=1. WLOG assume b>a and let e>0 be small enough so that b+e<1. Since 1 is the max value of f, f(b+e) is strictly between 0 and 1. By the IVT, there exists c between a and b such that f(c)=f(b+e). So f can't be injective after all.

More generally if f is injective and continuous from an interval of R into R, then it must be monotonic and its inverse must be continuous as well.

- #5

Bacle2

Science Advisor

- 1,089

- 10

and Y Hausdorff , is a homeomorphism. And (0,1) and [0,1] are not homeomorphic

for many reasons: [0,1] is compact and (0,1) is not, or (0,1) is 1-connected and

[0,1] is not -- e.g., delete the endpoints of [0,1], and the space remains connected

( I think k-connectedness is also called the Euler number). This also shows there are

no continuous bijections between (0,1) and [0,1) (because [0,1) is not 1-connected;

remove 0, and it remains connected.)

- Last Post

- Replies
- 6

- Views
- 1K

- Replies
- 5

- Views
- 2K

- Last Post

- Replies
- 3

- Views
- 817

- Last Post

- Replies
- 9

- Views
- 6K

- Last Post

- Replies
- 35

- Views
- 29K

- Replies
- 3

- Views
- 4K

- Last Post

- Replies
- 1

- Views
- 1K

- Replies
- 15

- Views
- 724

- Replies
- 4

- Views
- 925

- Replies
- 7

- Views
- 3K