4
$\begingroup$

Let $C^{0,1}([a,b])$ be the space of all Lipschitz-continuous functions $x\colon [a,b] \to \mathbb{R}$ with the metric $$ d_{0,1}(x,y) := \sup_{a \le t \le b} |x(t) - y(t)| + \sup_{a \le s,t \le b, s\ne t} \left| \frac{x(s) - x(t)}{s-t} - \frac{y(s) - y(t)}{s - t} \right|. $$ So that $x \in C^{0,1}([a,b])$ if $x \in C([a,b])$ and there exists a constant $L$ such that $$ |x(s) - x(t)| \le L|s-t| \qquad \forall s,t \in [a,b]. $$ Show that

a) The sphere $K = \{ x \in C^{0,1}([a,b]) : d_{0,1}(x,0) \le 1 \}$ is a compact subset of $(C([a,b]), \Delta)$.

b) $C^{0,1}([a,b])$ is not separable.

I knew the definitions, but I have no idea how the attack these problems, do you have any hints?

  • 0
    What is $\Delta$?2012-10-26
  • 0
    a) Hint: [Ascoli - Arzelà](http://en.wikipedia.org/wiki/Arzel%C3%A0%E2%80%93Ascoli_theorem)2012-10-26
  • 0
    I am not sure, but i guess the $\Delta$ means the metric.2012-10-26
  • 0
    In case you need some further hints than what is in Rudolf L.'s answer you should probably say what is missing. Note that $K$ is uniformly bounded ($\Delta(0,k) \leq 1$ for all $k \in K$) and equicontinuous ($L \leq 1$), so, using Arzela-Ascoli, you only have to check that $K$ is closed in $(C([a,b]),\Delta)$, but that's relatively easy. Also, Rudolf L. shows how to exhibit a discrete subset of size $\#\mathbb{R}$ in $C^{0,1}([a,b])$ so that it cannot be separable.2012-10-29

1 Answers 1