5
$\begingroup$

Is $C([0,1])$ (I guesss with the max-norm) a compact space?

I have to know that because I want to apply Arzela Ascoli.

$\endgroup$
  • 2
    $\begingroup$ It is a real vector space... $\endgroup$ – Qiaochu Yuan Feb 14 '13 at 22:05
  • 1
    $\begingroup$ If it were, then so would be the subspace of constant functions, which is isometric (hence homeomorphic) to $\mathbb{R}$ (usual norm, non compact). $\endgroup$ – Julien Feb 14 '13 at 22:07
  • 1
    $\begingroup$ It’s not even locally compact; see this question. $\endgroup$ – Brian M. Scott Feb 14 '13 at 22:16
  • $\begingroup$ The subspace of functions $[0,1] \to [0,1]$ where $|f(x)-f(y)| \leq |x-y|$ is compact, that follows from Arzela-Ascoli. $\endgroup$ – sdcvvc Feb 14 '13 at 22:27
  • $\begingroup$ @scevvc: your set is unbounded, you need to assume a tiny bit more. $\endgroup$ – GEdgar Feb 14 '13 at 22:31
2
$\begingroup$

Consider $f_n(x) = \begin{cases} 0 & x \in [0,\frac{1}{2}-\frac{1}{n}) \\ 1+n(x-\frac{1}{2}) & x \in [\frac{1}{2}-\frac{1}{n}, \frac{1}{2}) \\ 1 & x\in [\frac{1}{2},1] \end{cases}$.

(Since you were considering Arzela Ascoli.)

$\endgroup$
  • 3
    $\begingroup$ That's a lot of work when you could consider $f_n(x)=n$. $\endgroup$ – Chris Eagle Feb 14 '13 at 22:20
  • 1
    $\begingroup$ I realize that, but the $f_n$ are bounded, which shows that it goes beyond considering constant functions, and it is easy to see that the $f_n$ are not equicontinuous, so it is really not a lot of work at all. $\endgroup$ – copper.hat Feb 14 '13 at 22:21
12
$\begingroup$

No, of course not. No (nontrivial) normed space is compact. The sets $\{v\mid\|v\|<n\}$ form an open cover with no finite subcover.

$\endgroup$
3
$\begingroup$

No it is not, but you don't need $\rm C([0,1])$ to be compact to apply Ascoli-Arzela, but that $[0,1]$ is compact !

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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