3
$\begingroup$

Prove that if $X\subset \mathbb R$ and if every continuous function $f:X \to \mathbb R$ is bounded. Then $X$ is compact.

My proof in $\mathbb R$ is only this. It's clear that if $X$ is compact, it's true. If $X$ is not compact in $\mathbb R$, it's because it's not bounded, and in this case for example, the identity function is continuous on $X$ (restriction of continuous function are continuous because are the composite of the inclusion of $X$ on $\mathbb R$ and the identity on $\mathbb R$, and both are continuous). If it's not closed, it doesn't have some limit point, say $a$; I think that the function $f ( x) = \frac{1} {{x - a}}$ is continuous and also unbounded ( I'm not completely sure of the continuity).

Here I used the characterization via closed and bounded, but, how general is this result? It is true in metric spaces? Or in topological spaces? My proof will not serve for this cases.

  • 0
    The proof is about the same for $\Bbb{R}^p$. For general metric spaces it is not true in general, since compact sets are not characterized the same as in $\Bbb{R}^p$.2011-10-29
  • 0
    Well, I Know that it´s true for spaces such that compact are equivalent to closed and bounded, But I can not say that it is false in all other cases, just because my proof is not valid in these...2011-10-29
  • 0
    A metrizable space is compact if and only if every compatible metric is bounded. See [this answer](http://math.stackexchange.com/questions/58815/). The idea is that if the space is not compact, there is a sequence $\{x_n\}$ without convergent subsequence (in particular it is closed and discrete), so you can define a function $f:\{x_n\} \to \mathbb{R}$ by $f(x_n) = n$, which is continuous. [Tietze's extension theorem](http://en.wikipedia.org/wiki/Tietze_extension_theorem) lets you extend this function to a continuous function $F$ on all of $X$, so there is an unbounded continuous function.2011-10-29

1 Answers 1