Image of compact connected is an interval: Let XX be a and topological space, and let f:XRf:X\to\mathbb{R} be a . Then f(X)Rf(X)\subseteq\mathbb{R} is a compact interval: there exist real numbers mMm\le M such that

f(X)=[m,M].f(X)=[m,M].
Equivalent characterizations

Equivalently, f(X)f(X) is an that is also compact in R\mathbb{R}.

Remarks