I know this proof is probably super easy but I'm really stuck. I don't want someone to solve it for me, I just want a hint.(adsbygoogle = window.adsbygoogle || []).push({});

One way is trivial:

suppose f continuous.

[0,1] compact and the continuous image of a compact space is compact so f([0,1]) is compact

Now the other direction...

here's some basic facts i have to work with:

1) R is metrizable

2) R is hausdorf

3) R is regular

4) R is normal

5) f([0,1]) is compact (by assumption) (so it follows that every open cover has a finite subcover)

6) f([0,1]) is closed (follows from 5 because R is Hausdorf and compact subset of Hausdorf space is closed)

7) R is NOT compact, but it's connected

8) [0,1] is connected and compact (every open cover has finite subcover, and no separate of [0,1])

I don't know, everything I try I Just get no where. Can someone give a hint on how/where to start? In showing f is continuous should I try the approach 1) pre-image under f of every open set U in f([0,1]) is open in [0,1] ? 2) pre-image under f of every closed set U in f([0,1]) is closed in [0,1] ? 3) maybe try a contradiction? Assume f is not continuous, which means there exists an open set U in f([0,1]) such that it's pre image is not open, etc.

**Physics Forums - The Fusion of Science and Community**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Graph of f:[0,1]->R compact <=> f continuous

Loading...

Similar Threads - Graph compact continuous | Date |
---|---|

A Questions about Covering maps, manifolds, compactness | Oct 26, 2017 |

A Algebraic topology applied to Neuroscience | Aug 26, 2017 |

A Half-face traversal on general polyhedra | Dec 27, 2016 |

I Constructing dimensions out of a graph structure? | Oct 3, 2016 |

Graph isomorphism problem-advance in complexity research | Jan 1, 2016 |

**Physics Forums - The Fusion of Science and Community**