Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

$C_0([a, b], \mathbb{R})$ is the space of real-valued continuous function on $[a, b]$. The hint says think Baire. So I assume that $C_0([a, b], \mathbb R)$ is $\sigma$-compact. Then it is the countable union of compact, and hence closed, subsets $M_i$. Since $C_0([a, b], \mathbb R)$ is a complete metric space, by Baire's theorem at least one of the $M_i$'s has a non-empty interior. But I got stuck here. I think I can derive a contradiction from this, but I'm not sure how. Any hints on how to solve this (using contradiction or not) would be much appreciated.

share|cite|improve this question
See also: – Martin Feb 5 '13 at 20:10
up vote 3 down vote accepted

Hint: Show that the closed unit ball is not compact. Now conclude that if $U$ is a compact set then it has an empty interior.

share|cite|improve this answer
I definitely see why the closed unit ball is not compact. But how can you conclude that if $U$ is compact then it has an empty interior? – Aden Dong Feb 5 '13 at 16:35
@AdenDong: If $U$ had a non-empty interior then there was some $x\in U$ such that there was an open ball $B\subseteq U$ such that $x\in B$. The closure of $B$ is a closed subset of $U$ and therefore compact. Show that this closure is homeomorphic to the closed unit ball (by scaling and translating) and derive contradiction. – Asaf Karagila Feb 5 '13 at 16:37
I see. Thank you very much! – Aden Dong Feb 5 '13 at 16:38

Hint : show that a subspace of a vector space that has not empty interior is equal to the whole space.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.